This article includes a list of references, but its sources remain unclear because it has insufficient inline citations. (February 2008) (Learn how and when to remove this template message)
In mereology, an area of philosophical logic, 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.
If point-sized objects are always simple, then a gunky object does not have any point-sized parts. By usual accounts of gunk, such as Alfred Tarski's in 1929, three-dimensional gunky objects also do not have other degenerate parts shaped like one-dimensional curves or two-dimensional surfaces. (See also Whitehead's point-free geometry.)
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.
Gunk has also played an important role in the history of topology 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 (Cartwright 1975).) It seems reasonable to assume that if space is gunky, a receptacle is gunky and then a material object is possibly gunky.
The term was first used by David Lewis in his work Parts of Classes (1991). Dean W. Zimmerman defends the possibility of atomless gunk (1996b). See also Hud Hudson (2007).
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. 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. 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. 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. 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.
Possibly the most influential formulation of a theory of gunky spacetime comes from A. N. Whitehead in his seminal work Process and Reality. 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.
The possibility of gunk
- Nihilism is either necessarily true, or necessarily false.
- Gunk is metaphysically possible.
- If gunk is metaphysically possible, the nihilism is not necessarily true.
- Therefore, nihilism is necessarily false.
This argument is interesting because all it turns upon is whether or not gunk is even possible, not whether or not the actual world is a gunky one. Sider defends 1) by appealing to the fact that since nihilism is a metaphysical thesis, it must be true or false of necessity. In defense of 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. 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 world, 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. 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 (2007) and Miller (2010).
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 (2004) and Roca-Royes (2010) have 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.
- Zimmerman, Dean (editor) Oxford Studies in Metaphysics: Volume 4 (Oup Oxford 2008) Arntzenius, Frank "Gunk, Topology and Measure"
- Sider, Theodore (1993). "Van Inwagen and the Possibility of Gunk". Analysis. 53 (4): 285–259. doi:10.2307/3328252. JSTOR 3328252.
- 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.
- Arntzenius, Frank (2011). Gunk, Topology, and Measure. The Western Ontario Series in Philosophy of Science. 75. pp. 327–343. doi:10.1007/978-94-007-0214-1_16. ISBN 978-94-007-0213-4.
- Roeper, Peter (1997). "Region-Based Topology". Journal of Philosophical Logic. 26 (3): 251–309. doi:10.1023/a:1017904631349.
- Whitehead, Alfred North (1978) . Process and Reality. New York, NY: The Free Press. ISBN 978-0-02-934580-1.
- Cameron, Ross (2007). "The Contingency of Composition". Philosophical Studies. 136: 99–121. doi:10.1007/s11098-007-9144-6.
- Miller, Kristie (2010). "The Existential Quanitifier, Composition and Contingency". Erkenntnis. 73 (2): 211–235. doi:10.1007/s10670-010-9250-2.
- 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.
- Roca-Royes, Sonia (2010). "Conceivability and De Re Modal Knowledge". Nous. 45: 22–49. CiteSeerX 10.1.1.170.8738. doi:10.1111/j.1468-0068.2010.00757.x.
- Cartwright, Richard, 1975, "Scattered Objects", in Keith Lehrer, ed., Analysis and Metaphysics (Dordrecht: Reidel, 1975), pp. 153–171. Reprinted in Philosophical Essays, pp. 171–186.
- Hud Hudson, 2007. "Simples and Gunk", Philosophy Compass 2 (2), pp. 291–302. doi:10.1111/j.1747-9991.2007.00068.x
- Lewis, David, 1970. "Nominalistic Set Theory", Noûs 4, pp. 225–40. JSTOR 2214424
- Lewis, David, 1991. Parts of Classes, Cambridge: Basil Blackwell.
- Sider, Ted, 1993. "Van Inwagen and the Possibility of Gunk", Analysis. 53(4): 285-289. doi:10.1093/analys/53.4.285, JSTOR 3328252
- Tarski, Alfred, 1929. "Foundations of the Geometry of Solids."
- Zimmerman, Dean W., 1996a. "Indivisible Parts and Extended Objects: Some Philosophical Episodes from Topology’s Prehistory." Monist 79(1). 148–180. JSTOR 27903469
- Zimmerman, Dean W., 1996b. "Could Extended Objects Be Made Out of Simple Parts? An Argument for 'Atomless Gunk'", Philosophy and Phenomenological Research 56: 1-29. JSTOR 2108463