Link’s Revenge: A Case Study in Natural Language Mereology
-
Eric Snyder
Abstract
Most philosophers are familiar with the metaphysical puzzle of the statue and the clay. A sculptor begins with some clay, eventually sculpting a statue from it. Are the clay and the statue one and the same thing? Apparently not, since they have different properties. For example, the clay could survive being squashed, but the statue could not. The statue is recently formed, though the clay is not, etc. Godehart Link 1983’s highly influential analysis of the count/mass distinction recommends that English draws a distinction between uncountable “stuff” and countable “things”. There are two mereological relations, related in specific ways. Our primary question here is whether an empirically adequate account of the mass/count distinction really does require distinguishing “things” from “stuff”, and thus postulating two corresponding mereological relations, or if instead positing only one sort of entity and corresponding mereological relation is sufficient, as other semantic theories would have it. This question is meant to be one of what we call natural language mereology. We are asking about the mereological commitments of English, or perhaps competent speakers of English, and not about ultimate reality as such. There is no pretense that we will definitively solve the metaphysical puzzle of the statue and clay.
Abstract
Most philosophers are familiar with the metaphysical puzzle of the statue and the clay. A sculptor begins with some clay, eventually sculpting a statue from it. Are the clay and the statue one and the same thing? Apparently not, since they have different properties. For example, the clay could survive being squashed, but the statue could not. The statue is recently formed, though the clay is not, etc. Godehart Link 1983’s highly influential analysis of the count/mass distinction recommends that English draws a distinction between uncountable “stuff” and countable “things”. There are two mereological relations, related in specific ways. Our primary question here is whether an empirically adequate account of the mass/count distinction really does require distinguishing “things” from “stuff”, and thus postulating two corresponding mereological relations, or if instead positing only one sort of entity and corresponding mereological relation is sufficient, as other semantic theories would have it. This question is meant to be one of what we call natural language mereology. We are asking about the mereological commitments of English, or perhaps competent speakers of English, and not about ultimate reality as such. There is no pretense that we will definitively solve the metaphysical puzzle of the statue and clay.
Chapters in this book
- Frontmatter I
- Contents V
- Preface IX
-
Part I: Philosophy of Logic
- Link’s Revenge: A Case Study in Natural Language Mereology 3
- Universal Translatability: An Optimality- Based Justification of (Classical) Logic 37
- Invariance and Necessity 55
- Translations Between Logics: A Survey 71
- On the Relation of Logic to Metalogic 91
- Free Logic and the Quantified Argument Calculus 105
- Dependencies Between Quantifiers Vs. Dependencies Between Variables 117
- Three Types and Traditions of Logic: Syllogistic, Calculus and Predicate Logic 133
- Truth, Paradox, and the Procedural Conception of Fregean Sense 153
- Wittgenstein and Frege on Assertion 169
- Assertions and Their Justification: Demonstration and Self-Evidence 183
- Surprises in Logic: When Dynamic Formality Meets Interactive Compositionality 197
-
Part II: Philosophy of Mathematics
- Neologicist Foundations: Inconsistent Abstraction Principles and Part-Whole 215
- What Hilbert and Bernays Meant by “Finitism” 249
- Wittgenstein and Turing 263
- Remarks on Two Papers of Paul Bernays 297
- The Significance of the Curry-Howard Isomorphism 313
- Reductions of Mathematics: Foundation or Horizon? 327
- What Are the Axioms for Numbers and Who Invented Them? 343
-
Part III: Wittgenstein
- Following a Rule: Waismann’s Variation 359
- Propositions in Wittgenstein and Ramsey 375
- An Unexpected Feature of Classical Propositional Logic in the Tractatus 385
- Ontology in Tractatus Logico-Philosophicus: A Topological Approach 397
- Adding 4.0241 to TLP 415
- Understanding Wittgenstein’s Wood Sellers 429
- On the Infinite, In-Potentia: Discovery of the Hidden Revision of Philosophical Investigations and Its Relation to TS 209 Through the Eyes of Wittgensteinian Mathematics 441
- Incomplete Pictures and Specific Forms: Wittgenstein Around 1930 457
- „Man kann die Menschen nicht zum Guten führen“ – Zur Logik des moralischen Urteils bei Wittgenstein und Hegel 473
- Der Status mathematischer und religiöser Sätze bei Wittgenstein 485
- Gutes Sehen 499
- Wittgenstein’s Conjecture 515
- Index of Names 535
- Index of Subjects 539
Chapters in this book
- Frontmatter I
- Contents V
- Preface IX
-
Part I: Philosophy of Logic
- Link’s Revenge: A Case Study in Natural Language Mereology 3
- Universal Translatability: An Optimality- Based Justification of (Classical) Logic 37
- Invariance and Necessity 55
- Translations Between Logics: A Survey 71
- On the Relation of Logic to Metalogic 91
- Free Logic and the Quantified Argument Calculus 105
- Dependencies Between Quantifiers Vs. Dependencies Between Variables 117
- Three Types and Traditions of Logic: Syllogistic, Calculus and Predicate Logic 133
- Truth, Paradox, and the Procedural Conception of Fregean Sense 153
- Wittgenstein and Frege on Assertion 169
- Assertions and Their Justification: Demonstration and Self-Evidence 183
- Surprises in Logic: When Dynamic Formality Meets Interactive Compositionality 197
-
Part II: Philosophy of Mathematics
- Neologicist Foundations: Inconsistent Abstraction Principles and Part-Whole 215
- What Hilbert and Bernays Meant by “Finitism” 249
- Wittgenstein and Turing 263
- Remarks on Two Papers of Paul Bernays 297
- The Significance of the Curry-Howard Isomorphism 313
- Reductions of Mathematics: Foundation or Horizon? 327
- What Are the Axioms for Numbers and Who Invented Them? 343
-
Part III: Wittgenstein
- Following a Rule: Waismann’s Variation 359
- Propositions in Wittgenstein and Ramsey 375
- An Unexpected Feature of Classical Propositional Logic in the Tractatus 385
- Ontology in Tractatus Logico-Philosophicus: A Topological Approach 397
- Adding 4.0241 to TLP 415
- Understanding Wittgenstein’s Wood Sellers 429
- On the Infinite, In-Potentia: Discovery of the Hidden Revision of Philosophical Investigations and Its Relation to TS 209 Through the Eyes of Wittgensteinian Mathematics 441
- Incomplete Pictures and Specific Forms: Wittgenstein Around 1930 457
- „Man kann die Menschen nicht zum Guten führen“ – Zur Logik des moralischen Urteils bei Wittgenstein und Hegel 473
- Der Status mathematischer und religiöser Sätze bei Wittgenstein 485
- Gutes Sehen 499
- Wittgenstein’s Conjecture 515
- Index of Names 535
- Index of Subjects 539