Gunk (mereology)
   HOME
*





Gunk (mereology)
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 necess ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Mereology
In logic, philosophy and related fields, mereology ( (root: , ''mere-'', 'part') and the suffix ''-logy'', 'study, discussion, science') is the study of parts and the wholes they form. Whereas set theory is founded on the membership relation between a set and its elements, mereology emphasizes the meronomic relation between entities, which—from a set-theoretic perspective—is closer to the concept of inclusion between sets. Mereology has been explored in various ways as applications of predicate logic to formal ontology, in each of which mereology is an important part. Each of these fields provides its own axiomatic definition of mereology. A common element of such axiomatizations is the assumption, shared with inclusion, that the part-whole relation orders its universe, meaning that everything is a part of itself ( reflexivity), that a part of a part of a whole is itself a part of that whole ( transitivity), and that two distinct entities cannot each be a part of the othe ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Zeno Of Elea
Zeno of Elea (; grc, Ζήνων ὁ Ἐλεᾱ́της; ) was a pre-Socratic Greek philosopher of Magna Graecia and a member of the Eleatic School founded by Parmenides. Aristotle called him the inventor of the dialectic. He is best known for his paradoxes, which Bertrand Russell described as "immeasurably subtle and profound". Life Little is known for certain about Zeno's life. Although written nearly a century after Zeno's death, the primary source of biographical information about Zeno is Plato's ''Parmenides'' and he is also mentioned in Aristotle's ''Physics''. In the dialogue of ''Parmenides'', Plato describes a visit to Athens by Zeno and Parmenides, at a time when Parmenides is "about 65", Zeno is "nearly 40", and Socrates is "a very young man".Plato, ''Parmenides'127b–e (at footnote n. 2) Assuming an age for Socrates of around 20 and taking the date of Socrates' birth as 469 BC gives an approximate date of birth for Zeno of 490 BC. Plato says that Zeno was "tall ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Keith Lehrer
Keith Lehrer (born January 10, 1936) is Emeritus Regent's Professor of philosophy at the University of Arizona and a research professor of philosophy at the University of Miami, where he spends half of each academic year. Education and career Lehrer received his PhD in philosophy from Brown University where he studied under Richard Taylor and Roderick Chisholm. He joined the faculty at the University of Arizona in 1973, where he helped build a major graduate program. Prior to that, he taught at the University of Rochester. His research interests include epistemology, free will, rational consensus, Thomas Reid and, recently, aesthetics. Lehrer is a former president of the Pacific Division of the American Philosophical Association (APA) and also served as the APA executive director for a number of years. He is an elected Fellow of the American Academy of Arts and Sciences. Lehrer, and his wife Adrienne Lehrer, are also artists. Their work has been on display at the Vincent ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Mereotopology
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. History and motivation Mereotopology begins in philosophy with theories articulated by A. N. Whitehead in several books and articles he published between 1916 and 1929, drawing in part on the mereogeometry of De Laguna (1922). The first to have proposed the idea of a point-free definition of the concept of topological space in mathematics was Karl Menger in his book ''Dimensionstheorie'' (1928) -- see also his (1940). The early historical background of mereotopology is documented in Bélanger and Marquis (2013) and Whitehead's early work is discussed in Kneebone (1963: ch. 13.5) and Simons (1987: 2.9.1). The theory of Whitehead's 1929 ''Process and Reality'' augmented the part-whole relation with topological notions such as co ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Endurantism
Endurantism or endurance theory is a philosophical theory of persistence and identity. According to the endurantist view, material objects are persisting three-dimensional individuals wholly present at every moment of their existence, which goes with an A-theory of time. This conception of an individual as always present is opposed to perdurantism or four-dimensionalism, which maintains that an object is a series of temporal parts or stages, requiring a B-theory of time. The use of "endure" and "perdure" to distinguish two ways in which an object can be thought to persist can be traced to David Lewis. One serious problem of endurantism is the problem of temporary intrinsics raised by David Lewis. Lewis claims that intrinsic properties of objects would change over time. Thus, endurantism cannot harmonize identity with change and then cannot explain persistence clearly even if endurantists appeal to intrinsic properties. Endurantists may argue that intrinsic properties are relat ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Perdurantism
Perdurantism or perdurance theory is a philosophical theory of persistence and identity.Temporal parts
– Stanford Encyclopedia of Philosophy
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. David Lewis in "On The Plurality of World" states that change is "the possession of different properties by different temporal parts of an object" (12). Take any perdura ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Mereological Essentialism
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. Definitions Mereological essentialism is typically taken to be a thesis about concrete material objects, but it may also be applied to abstract objects, such as a set or proposition. If mereological essentialism is correct, a proposition, or thought, has its parts essentially; in other words, it has ontological commitments to all its conceptual components. Endurantism and Perdurantism The two prominent, competing material models of mereological essentialism are endurantism and perdurantism. It is important to note that neither endurantism nor perdurantism imply mereological essentialism. One may advocate for ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Mereological Nihilism
In philosophy, mereological nihilism (also called compositional 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. Explanation Our everyday perceptual experience suggests that we are surrounded by macrophysical objects that have other, smaller objects as their proper parts. For example, there seem to be such objects as tables, which appear to be composed of various other objects, such as the table-legs, a flat surface, and perhaps the nails or bolts holding those pieces together. Those latter objects, in turn, appear to be composed of still smaller objec ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Mereology
In logic, philosophy and related fields, mereology ( (root: , ''mere-'', 'part') and the suffix ''-logy'', 'study, discussion, science') is the study of parts and the wholes they form. Whereas set theory is founded on the membership relation between a set and its elements, mereology emphasizes the meronomic relation between entities, which—from a set-theoretic perspective—is closer to the concept of inclusion between sets. Mereology has been explored in various ways as applications of predicate logic to formal ontology, in each of which mereology is an important part. Each of these fields provides its own axiomatic definition of mereology. A common element of such axiomatizations is the assumption, shared with inclusion, that the part-whole relation orders its universe, meaning that everything is a part of itself ( reflexivity), that a part of a part of a whole is itself a part of that whole ( transitivity), and that two distinct entities cannot each be a part of the othe ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Mereological Nihilism
In philosophy, mereological nihilism (also called compositional 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. Explanation Our everyday perceptual experience suggests that we are surrounded by macrophysical objects that have other, smaller objects as their proper parts. For example, there seem to be such objects as tables, which appear to be composed of various other objects, such as the table-legs, a flat surface, and perhaps the nails or bolts holding those pieces together. Those latter objects, in turn, appear to be composed of still smaller objec ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Physics
Physics is the natural science that studies matter, its fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge which relates to the order of nature, or, in other words, to the regular succession of events." Physics is one of the most fundamental scientific disciplines, with its main goal being to understand how the universe behaves. "Physics is one of the most fundamental of the sciences. Scientists of all disciplines use the ideas of physics, including chemists who study the structure of molecules, paleontologists who try to reconstruct how dinosaurs walked, and climatologists who study how human activities affect the atmosphere and oceans. Physics is also the foundation of all engineering and technology. No engineer could design a flat-screen TV, an interplanetary spacecraft, or even a better mousetrap without first understanding the basic laws of physic ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Cardinalities
In mathematics, the cardinality of a set is a measure of the number of elements of the set. For example, the set A = \ contains 3 elements, and therefore A has a cardinality of 3. Beginning in the late 19th century, this concept was generalized to infinite sets, which allows one to distinguish between different types of infinity, and to perform arithmetic on them. There are two approaches to cardinality: one which compares sets directly using bijections and injections, and another which uses cardinal numbers. The cardinality of a set is also called its size, when no confusion with other notions of size is possible. The cardinality of a set A is usually denoted , A, , with a vertical bar on each side; this is the same notation as absolute value, and the meaning depends on context. The cardinality of a set A may alternatively be denoted by n(A), , \operatorname(A), or \#A. History A crude sense of cardinality, an awareness that groups of things or events compare with other groups ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]