Gunk (mereology)

Last updated

In mereology, an area of metaphysics, the term gunk applies to any whole whose parts all have further proper parts. That is, a gunky object is not made of indivisible atoms or simples . Because parthood is transitive, any part of gunk is itself gunk. The term was first used by David Lewis in his work Parts of Classes (1991), [1] in which he conceived of the possibility of "atomless gunk", [2] which was shortened to "gunk" by later writers. Dean W. Zimmerman defends the possibility of atomless gunk. [3]

Contents

If point-sized objects are always simple, then a gunky object does not have any point-sized parts, and may be best described by an approach such as Whitehead's point-free geometry. By usual accounts of gunk, such as Alfred Tarski's in 1929, [4] three-dimensional gunky objects also do not have other degenerate parts shaped like one-dimensional curves or two-dimensional surfaces.

Gunk is an important test case for accounts of the composition of material objects: for instance, Ted Sider has challenged Peter van Inwagen's account of composition because it is inconsistent with the possibility of gunk. Sider's argument also applies to a simpler view than van Inwagen's: mereological nihilism, the view that only material simples exist. If nihilism is necessarily true, then gunk is impossible. But, as Sider argues, because gunk is both conceivable and possible, nihilism is false, or at best a contingent truth. [5]

Gunk has also played an important role in the history of topology [6] in recent debates concerning change, contact, and the structure of physical space. The composition of space and the composition of material objects are related by receptacles—regions of space that could harbour a material object. (The term receptacles was coined by Richard Cartwright.) [7] It seems reasonable to assume that if space is gunky, a receptacle is gunky and then a material object is possibly gunky.

History

Arguably, discussions of material gunk run all the way back to at least Aristotle and possibly as far back as Anaxagoras, and include such thinkers as William of Ockham, René Descartes, and Alfred Tarski. [5] [8] However, the first contemporary mentionings of gunk is found in the writings of A. N. Whitehead and Bertrand Russell, and later in the writings of David Lewis. [8] Elements of gunk thought are present in Zeno's famous paradoxes of plurality. Zeno argued that if there were such things as discrete instants of time, then objects can never move through time. Aristotle's solution to Zeno's paradoxes involves the idea that time is not made out of durationless instants, but ever smaller temporal intervals. Every interval of time can be divided into smaller and smaller intervals, without ever terminating in some privileged set of durationless instants. [9] In other words, motion is possible because time is gunky. Despite having been a relatively common position in metaphysics, after Cantor's discovery of the distinction between denumerable and non-denumerable infinite cardinalities, and mathematical work by Adolf Grünbaum, gunk theory was no longer seen as a necessary alternative to a topology of space made out of points. [8] Recent mathematical work in the topology of spacetime by scholars such as Peter Roeper and Frank Arntzenius have reopened the question of whether a gunky spacetime is a feasible framework for doing physics. [9] [10]

Possibly the most influential formulation of a theory of gunky spacetime comes from A. N. Whitehead in his seminal work Process and Reality. [11] Whitehead argues that there are no point regions of space and that every region of space has some three-dimensional extension. Under a Whiteheadian conception of spacetime, points, lines, planes, and other less-than-three-dimensional objects are constructed out of a method of "extensive abstraction", in which points, lines, and planes are identified with infinitely converging abstract sets of nested extended regions. [11]

Incompossible with mereological nihilism

Ted Sider has argued that even the possibility of gunk undermines another position, that of mereological nihilism. [5] Sider's argument is as follows:

  1. Nihilism is either necessarily true, or necessarily false.
  2. Gunk is metaphysically possible.
  3. If gunk is metaphysically possible, then nihilism is not necessarily true.
  4. Therefore, nihilism is necessarily false.

This argument only depends on whether or not gunk is even possible, not whether or not the actual world is a gunky one. Sider defends premise #1 by appealing to the fact that since nihilism is a metaphysical thesis, it must be true or false of necessity. [5] In defense of premise #2, Sider argues that since a gunk world is conceivable; that is, we can imagine a gunky world without any internal contradiction, the gunk must be possible. Premise #3 follows from an understanding of necessity and possibility that stems from an understanding of possible world semantics. Simply put, a proposition P is necessarily false if and only if it is false in all possible worlds, and if a proposition P is possible, it is true in at least one possible world. Thus, if a proposition is possible, then it is not necessarily false, as it is not false in all possible worlds. The conclusion, #4, follows deductively from the other premises.

Sider's argument is valid, so most strategies to resist the argument have focused on denying one or more of his premises. Strategies that deny #1 have been called the "contingency defense". Deniers of #1 say that the facts that determine the composition of objects are not necessary facts, but can differ in different possible worlds. As such, nihilism is a contingent matter of fact, and the possibility of gunk does not undermine the possibility of nihilism. This is the strategy endorsed by Cameron [12] and Miller. [13]

Alternatively, one could deny #2 and say that gunk is metaphysically impossible. Most strategies that take this route deny #2 in virtue of denying another relatively common intuition: that conceivability entails metaphysical possibility. Although this metaphysical principle dates back to at least the works of Descartes, recent work by philosophers such as Marcus [14] and Roca-Royes [15] has shed some doubt on the reliability of conceivability as a guide to metaphysical possibility. Furthermore, Sider's own arguments in defense of #1 seem to undermine the argument: gunk is also a metaphysical thesis, thus, it seems that (like #1) it would also have to be either necessarily true or necessarily false. The argument would only work if gunk were necessarily true, but this would amount to question-begging.

See also

Related Research Articles

<span class="mw-page-title-main">Metaphysics</span> Study of fundamental reality

Metaphysics is the branch of philosophy that examines the fundamental structure of reality. It is traditionally seen as the study of mind-independent features of reality but some modern theorists understand it as an inquiry into the conceptual schemes that underlie human thought and experience.

In philosophy, physicalism is the view that "everything is physical", that there is "nothing over and above" the physical, or that everything supervenes on the physical. Physicalism is a form of ontological monism—a "one substance" view of the nature of reality as opposed to a "two-substance" or "many-substance" (pluralism) view. Both the definition of "physical" and the meaning of physicalism have been debated.

Mereology is the philosophical study of part-whole relationships, also called parthood relationships. As a branch of metaphysics, mereology examines the connections between parts and their wholes, exploring how components interact within a system. This theory has roots in ancient philosophy, with significant contributions from Plato, Aristotle, and later, medieval and Renaissance thinkers like Thomas Aquinas and John Duns Scotus. Mereology gained formal recognition in the 20th century through the pioneering works of Polish logician Stanisław Leśniewski, who introduced it as part of a comprehensive framework for logic and mathematics, and coined the word "mereology". The field has since evolved to encompass a variety of applications in ontology, natural language semantics, and the cognitive sciences, influencing our understanding of structures ranging from linguistic constructs to biological systems.

Roderick Milton Chisholm was an American philosopher known for his work on epistemology, metaphysics, free will, value theory, and the philosophy of perception.

A philosophical zombie is a being in a thought experiment in philosophy of mind that is physically identical to a normal human being but does not have conscious experience.

In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts.

Peter van Inwagen is an American analytic philosopher and the John Cardinal O'Hara Professor of Philosophy at the University of Notre Dame. He is also a research professor of philosophy at Duke University each spring. He previously taught at Syracuse University, earning his PhD from the University of Rochester in 1969 under the direction of Richard Taylor. Van Inwagen is one of the leading figures in contemporary metaphysics, philosophy of religion, and philosophy of action. He was the president of the Society of Christian Philosophers from 2010 to 2013.

Perdurantism or perdurance theory is a philosophical theory of persistence and identity. The debate over persistence currently involves three competing theories—one three-dimensionalist theory called "endurantism" and two four-dimensionalist theories called "perdurantism" and "exdurantism". For a perdurantist, all objects are considered to be four-dimensional worms and they make up the different regions of spacetime. It is a fusion of all the perdurant's instantaneous time slices compiled and blended into a complete mereological whole. Perdurantism posits that temporal parts alone are what ultimately change. Katherine Hawley in How Things Persist states that change is "the possession of different properties by different temporal parts of an object".

In philosophy, mereological nihilism is the metaphysical thesis that there are no objects with proper parts. Equivalently, mereological nihilism says that mereological simples, or objects without any proper parts, are the only material objects that exist. Mereological nihilism is distinct from ordinary nihilism insofar as ordinary nihilism typically focuses on the nonexistence of common metaphysical assumptions such as ethical truths and objective meaning, rather than the nonexistence of composite objects.

Metaphysical nihilism is the philosophical theory that there might have been no objects at all—that is, that there is a possible world in which there are no objects at all; or at least that there might have been no concrete objects at all, so that even if every possible world contains some objects, there is at least one that contains only abstract objects.

Trenton Merricks is an American philosopher and the Commonwealth Professor of Philosophy at the University of Virginia. While Merricks' primary field of study is metaphysics, he has also published scholarship in epistemology, philosophy of language, and philosophy of religion.

In contemporary mereology, a simple is any thing that has no proper parts. Sometimes the term "atom" is used, although in recent years the term "simple" has become the standard.

In philosophy, four-dimensionalism is the ontological position that an object's persistence through time is like its extension through space. Thus, an object that exists in time has temporal parts in the various subregions of the total region of time it occupies, just like an object that exists in a region of space has at least one part in every subregion of that space.

In contemporary metaphysics, temporal parts are the parts of an object that exist in time. A temporal part would be something like "the first year of a person's life", or "all of a table from between 10:00 a.m. on June 21, 1994 to 11:00 p.m. on July 23, 1996". The term is used in the debate over the persistence of material objects. Objects typically have parts that exist in space—a human body, for example, has spatial parts like hands, feet, and legs. Some metaphysicists believe objects have temporal parts as well.

In philosophy, mereological essentialism is a mereological thesis about the relationship between wholes, their parts, and the conditions of their persistence. According to mereological essentialism, objects have their parts necessarily. If an object were to lose or gain a part, it would cease to exist; it would no longer be the original object but a new and different one.

Jonathan Schaffer is an American philosopher specializing in metaphysics and also working in epistemology, mind, and language. He is best known for his work on grounding and his development of monism, and is also a notable proponent of contrastivism.

In philosophy, specifically in the area of metaphysics, counterpart theory is an alternative to standard (Kripkean) possible-worlds semantics for interpreting quantified modal logic. Counterpart theory still presupposes possible worlds, but differs in certain important respects from the Kripkean view. The form of the theory most commonly cited was developed by David Lewis, first in a paper and later in his book On the Plurality of Worlds.

Metaphysics is the branch of philosophy that investigates principles of reality transcending those of any particular science. Cosmology and ontology are traditional branches of metaphysics. It is concerned with explaining the fundamental nature of being and the world. Someone who studies metaphysics can be called either a "metaphysician" or a "metaphysicist".

Compositional objects are wholes instantiated by collections of parts. If an ontology wishes to permit the inclusion of compositional objects it must define which collections of objects are to be considered parts composing a whole. Mereology, the study of relationships between parts and their wholes, provides specifications on how parts must relate to one another in order to compose a whole.

This is a glossary of mereology. Mereology is the philosophical study of part-whole relationships, also called parthood relationships.

References

  1. Giberman, Daniel; Philosophy Documentation Center (2020). "What it takes to be hunky". Thought: A Journal of Philosophy. 9 (1): 51–57. doi:10.1002/tht3.442. ISSN   2161-2234.
  2. Lewis, David K. (1991). Parts of classes. Oxford: Blackwell. ISBN   978-0-631-17655-8.
  3. Zimmerman, Dean W. (1996). "Could Extended Objects Be Made Out of Simple Parts? An Argument for "Atomless Gunk"". Philosophy and Phenomenological Research. 56 (1): 1–29. doi:10.2307/2108463. ISSN   0031-8205.
  4. Tarski, Alfred; Corcoran, John (1983). "Foundations of the Geometry of Solids". Logic, semantics, metamathematics: papers from 1923 to 1938 (2. ed.,ed. and introd. by John Corcoran ed.). Indianapolis, Ind: Hackett. ISBN   978-0-915144-76-1.
  5. 1 2 3 4 Sider, Theodore (1993). "Van Inwagen and the Possibility of Gunk". Analysis. 53 (4): 285–259. doi:10.2307/3328252. JSTOR   3328252.
  6. Zimmerman, Dean (editor) Oxford Studies in Metaphysics: Volume 4 (Oup Oxford 2008) Arntzenius, Frank "Gunk, Topology and Measure"
  7. Chisholm, Roderick M.; Lehrer, Keith, eds. (1975). Analysis and metaphysics: essays in honor of R. M. Chisholm. Philosophical studies series in philosophy ; v. 4. Dordrecht, Holland ; Boston: D. Reidel Pub. Co. pp. 157–171. ISBN   978-90-277-0571-6.
  8. 1 2 3 Zimmerman, Dean (1996). "Could Extended Objects Be Made Out of Simple Parts?: An Argument for "Atomless Gunk"". Philosophy and Phenomenological Research. 56 (1): 1–29. doi:10.2307/2108463. JSTOR   2108463.
  9. 1 2 Arntzenius, Frank (2011). "Gunk, Topology and Measure". Logic, Mathematics, Philosophy, Vintage Enthusiasms (PDF). The Western Ontario Series in Philosophy of Science. Vol. 75. pp. 327–343. doi:10.1007/978-94-007-0214-1_16. ISBN   978-94-007-0213-4.
  10. Roeper, Peter (1997). "Region-Based Topology". Journal of Philosophical Logic. 26 (3): 251–309. doi:10.1023/a:1017904631349. S2CID   20680298.
  11. 1 2 Whitehead, Alfred North (1978) [1927]. Process and Reality . New York, NY: The Free Press. ISBN   978-0-02-934580-1.
  12. Cameron, Ross (2007). "The Contingency of Composition". Philosophical Studies. 136: 99–121. doi:10.1007/s11098-007-9144-6. S2CID   170144586.
  13. Miller, Kristie (2010). "The Existential Quanitifier, Composition and Contingency". Erkenntnis. 73 (2): 211–235. doi:10.1007/s10670-010-9250-2. S2CID   120042042.
  14. Marcus, Eric (2004). "Why Zombies Are Inconceivable". Australasian Journal of Philosophy. 82 (3): 477–490. CiteSeerX   10.1.1.188.9979 . doi:10.1080/713659880. S2CID   523774.
  15. Roca-Royes, Sonia (2010). "Conceivability and De Re Modal Knowledge". Noûs. 45: 22–49. CiteSeerX   10.1.1.170.8738 . doi:10.1111/j.1468-0068.2010.00757.x.

Further reading