Simple (philosophy)
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. Simples are to be contrasted with Gunk (mereology), atomless gunk (where something is "gunky" if it is such that every proper part has a further proper part). Necessarily, given the definitions, everything is either composed of simples, gunk or a mixture of the two. Classical mereology is consistent with both the existence of gunk and either finite or infinite simples (see Hodges and Lewis 1968). The Simple Question Mirroring the special composition question is the Simple Question.Markosian 1998 It asks what the jointly necessary and sufficient conditions are for ''x'' to be a mereological simple. In the literature this question explicitly concerns what it is for a material object to lack proper parts, although there is no reason why similar questions cannot be asked of things from other ontological categ ... [...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 o ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
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 nec ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Special Composition Question
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]   |
|
Ontological
In metaphysics, ontology is the philosophical study of being, as well as related concepts such as existence, becoming, and reality. Ontology addresses questions like how entities are grouped into categories and which of these entities exist on the most fundamental level. Ontologists often try to determine what the categories or highest kinds are and how they form a system of categories that encompasses classification of all entities. Commonly proposed categories include substances, properties, relations, states of affairs and events. These categories are characterized by fundamental ontological concepts, including particularity and universality, abstractness and concreteness, or possibility and necessity. Of special interest is the concept of ontological dependence, which determines whether the entities of a category exist on the most fundamental level. Disagreements within ontology are often about whether entities belonging to a certain category exist and, if so, how the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Logical Consequence
Logical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically ''follows from'' one or more statements. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises. The philosophical analysis of logical consequence involves the questions: In what sense does a conclusion follow from its premises? and What does it mean for a conclusion to be a consequence of premises?Beall, JC and Restall, Greg, Logical Consequence' The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.). All of philosophical logic is meant to provide accounts of the nature of logical consequence and the nature of logical truth. Logical consequence is necessary and formal, by way of examples that explain with formal proof and models of interpretation. A sentence is said to be a logical con ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Doctrine Of Arbitrarily Undetatched Parts
Doctrine (from la, doctrina, meaning "teaching, instruction") is a codification of beliefs or a body of teachings or instructions, taught principles or positions, as the essence of teachings in a given branch of knowledge or in a belief system. The etymological Greek analogue is "catechism". Often the word ''doctrine'' specifically suggests a body of religious principles as promulgated by a church. ''Doctrine'' may also refer to a principle of law, in the common-law traditions, established through a history of past decisions. Religious usage Examples of religious doctrines include: * Christian theology: ** Doctrines such as the Trinity, the virgin birth and atonement ** The Salvation Army ''Handbook of Doctrine'' **Transubstantiation and Marian teachings in Roman Catholic theology. The department of the Roman Curia which deals with questions of doctrine is called the Congregation for the Doctrine of the Faith. ** The distinctive Calvinist doctrine of "double" predestina ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Atomism
Atomism (from Greek , ''atomon'', i.e. "uncuttable, indivisible") is a natural philosophy proposing that the physical universe is composed of fundamental indivisible components known as atoms. References to the concept of atomism and its atoms appeared in both ancient Greek and ancient Indian philosophical traditions. Leucippus is the earliest figure whose commitment to atomism is well attested and he is usually credited with inventing atomism. He and other ancient Greek atomists theorized that nature consists of two fundamental principles: ''atom'' and ''void''. Clusters of different shapes, arrangements, and positions give rise to the various macroscopic substances in the world.Berryman, Sylvia, "Ancient Atomism", ''The Stanford Encyclopedia of Philosophy'' (Fall 2008 Edition), Edward N. Zalta (ed.)online/ref> The particles of chemical matter for which chemists and other natural philosophers of the early 19th century found experimental evidence were thought to be indivisibl ... [...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 o ... [...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 obj ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Monad (philosophy)
The term ''monad'' () is used in some cosmic philosophy and cosmogony to refer to a most basic or original substance. As originally conceived by the Pythagoreans, the Monad is the Supreme Being, divinity or the totality of all things. In the philosophy of Gottfried Wilhelm Leibniz, there are infinite monads, which are the basic and immaterial elementary particles, or simplest units, that make up the universe. Historical background According to Hippolytus, the worldview was inspired by the Pythagoreans, who called the first thing that came into existence the "monad", which begat (bore) the dyad (from the Greek word for two), which begat the numbers, which begat the point, begetting lines or finiteness, etc. It meant divinity, the first being, or the totality of all beings, referring in cosmogony (creation theories) variously to source acting alone and/or an indivisible origin and equivalent comparators. Pythagorean and Platonic philosophers like Plotinus and Porphyry c ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ned Markosian
Ned Markosian is an American philosopher. He is currently professor of philosophy at the University of Massachusetts Amherst. Markosian is of Armenian descent and has four brothers. He received his BA from Oberlin College and his PhD in Philosophy from UMass Amherst in 1990. His doctoral advisor was Gareth Matthews. Markosian has previously taught at Lawrence University, University of New Hampshire, West Virginia University, Bay Path College, University of Hartford, and Western Washington University. He has been at UMass Amherst since Fall 2015. Markosian's work is primarily on metaphysics, namely philosophy of time, metaphysics of physical/material objects, freedom and determinism, and personal identity. He was also written on ethics, epistemology, decision theory, philosophy of language, philosophy of science, philosophy of religion, and history of philosophy. Markosian has delivered lectures in over a dozen countries. He has visited Armenia on several occasions. In 2013 he ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |