Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Mereology> ?p ?o }
- Mereology abstract "In philosophy and mathematical logic, mereology (from the Greek μέρος, root: μερε(σ)-, \"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 their 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 other (antisymmetry), thus forming a poset. A variant of this axiomatization denies that anything is ever part of itself (irreflexive) while accepting transitivity, from which antisymmetry follows automatically.Although mereology is an application of mathematical logic, what could be argued to be a sort of \"proto-geometry\", it has been wholly developed by logicians, ontologists, linguists, engineers, and computer scientists, especially those working in artificial intelligence.\"Mereology\" can also refer to formal work in General Systems Theory on system decomposition and parts, wholes and boundaries (by, e.g., Mihajlo D. Mesarovic (1970), Gabriel Kron (1963), or Maurice Jessel (see Bowden (1989, 1998)). A hierarchical version of Gabriel Kron's Network Tearing was published by Keith Bowden (1991), reflecting David Lewis's ideas on Gunk. Such ideas appear in theoretical computer science and physics, often in combination with Sheaf, Topos, or Category Theory. See also the work of Steve Vickers on (parts of) specifications in Computer Science, Joseph Goguen on physical systems, and Tom Etter (1996, 1998) on Link Theory and Quantum mechanics.In computer science, the class concept of object-oriented programming lends a mereological aspect to programming not found in either imperative programs or declarative programs. Method inheritance enriches this application of mereology by providing for passing procedural information down the part-whole relation, thereby making method inheritance a naturally arising aspect of mereology.".
- Mereology wikiPageExternalLink Nicolas-Mass-nouns-and-plural-logic-Revised-2.pdf.
- Mereology wikiPageExternalLink boundary.
- Mereology wikiPageExternalLink mereology.
- Mereology wikiPageExternalLink 4.2.
- Mereology wikiPageExternalLink 1071509430.
- Mereology wikiPageExternalLink Space_2007.pdf.
- Mereology wikiPageExternalLink pietrusz.pdf.
- Mereology wikiPageExternalLink ap.pdf.
- Mereology wikiPageExternalLink 1404-002.ps.
- Mereology wikiPageExternalLink 76l18850p2325p16.
- Mereology wikiPageExternalLink Synergy_and_Dysergy_in_Mereologic_Geometries.
- Mereology wikiPageID "375380".
- Mereology wikiPageLength "34022".
- Mereology wikiPageOutDegree "216".
- Mereology wikiPageRevisionID "685656891".
- Mereology wikiPageWikiLink Abstract_and_concrete.
- Mereology wikiPageWikiLink Alfred_North_Whitehead.
- Mereology wikiPageWikiLink Alfred_Tarski.
- Mereology wikiPageWikiLink Antisymmetric_relation.
- Mereology wikiPageWikiLink Aristotle.
- Mereology wikiPageWikiLink Arity.
- Mereology wikiPageWikiLink Artificial_intelligence.
- Mereology wikiPageWikiLink Asymmetric_relation.
- Mereology wikiPageWikiLink Atomism.
- Mereology wikiPageWikiLink Attitude_polarization.
- Mereology wikiPageWikiLink Axiom.
- Mereology wikiPageWikiLink Axiom_of_extensionality.
- Mereology wikiPageWikiLink Axiom_of_regularity.
- Mereology wikiPageWikiLink Axiom_schema.
- Mereology wikiPageWikiLink Axiomatic_system.
- Mereology wikiPageWikiLink Bertrand_Russell.
- Mereology wikiPageWikiLink Binary_relation.
- Mereology wikiPageWikiLink Boolean_algebra.
- Mereology wikiPageWikiLink Boolean_algebra_(structure).
- Mereology wikiPageWikiLink Boundary_(topology).
- Mereology wikiPageWikiLink Category:Mathematical_logic.
- Mereology wikiPageWikiLink Category:Mereology.
- Mereology wikiPageWikiLink Category:Ontology.
- Mereology wikiPageWikiLink Category:Predicate_logic.
- Mereology wikiPageWikiLink Category_theory.
- Mereology wikiPageWikiLink Class_noun.
- Mereology wikiPageWikiLink Complement_(set_theory).
- Mereology wikiPageWikiLink Complete_lattice.
- Mereology wikiPageWikiLink Completeness_(logic).
- Mereology wikiPageWikiLink Computer_science.
- Mereology wikiPageWikiLink Contentment.
- Mereology wikiPageWikiLink Countable_set.
- Mereology wikiPageWikiLink David_Lewis_(philosopher).
- Mereology wikiPageWikiLink Declarative_programming.
- Mereology wikiPageWikiLink Distributive_property.
- Mereology wikiPageWikiLink Domain_of_discourse.
- Mereology wikiPageWikiLink Edmund_Husserl.
- Mereology wikiPageWikiLink Element_(mathematics).
- Mereology wikiPageWikiLink Empty_set.
- Mereology wikiPageWikiLink Extensionality.
- Mereology wikiPageWikiLink First-order_logic.
- Mereology wikiPageWikiLink Formal_ontology.
- Mereology wikiPageWikiLink Foundations_of_mathematics.
- Mereology wikiPageWikiLink Free_logic.
- Mereology wikiPageWikiLink Free_variables_and_bound_variables.
- Mereology wikiPageWikiLink Gabriel_Kron.
- Mereology wikiPageWikiLink Geometry.
- Mereology wikiPageWikiLink Georg_Cantor.
- Mereology wikiPageWikiLink Giuseppe_Peano.
- Mereology wikiPageWikiLink Grammatical_aspect.
- Mereology wikiPageWikiLink Gunk_(mereology).
- Mereology wikiPageWikiLink Hasse_diagram.
- Mereology wikiPageWikiLink Identity_(philosophy).
- Mereology wikiPageWikiLink Imperative_programming.
- Mereology wikiPageWikiLink Implicate_and_explicate_order.
- Mereology wikiPageWikiLink Inheritance_(object-oriented_programming).
- Mereology wikiPageWikiLink Integrity.
- Mereology wikiPageWikiLink Intersection_(set_theory).
- Mereology wikiPageWikiLink Ivor_Grattan-Guinness.
- Mereology wikiPageWikiLink John_Lucas_(philosopher).
- Mereology wikiPageWikiLink Join_and_meet.
- Mereology wikiPageWikiLink Joseph_Goguen.
- Mereology wikiPageWikiLink Kit_Fine.
- Mereology wikiPageWikiLink Lattice_(order).
- Mereology wikiPageWikiLink Logical_truth.
- Mereology wikiPageWikiLink Mass_noun.
- Mereology wikiPageWikiLink Mathematical_logic.
- Mereology wikiPageWikiLink Mathematics.
- Mereology wikiPageWikiLink Mereological_essentialism.
- Mereology wikiPageWikiLink Mereological_nihilism.
- Mereology wikiPageWikiLink Mereotopology.
- Mereology wikiPageWikiLink Meronomy.
- Mereology wikiPageWikiLink Meronymy.
- Mereology wikiPageWikiLink Metaphysics.
- Mereology wikiPageWikiLink Mihajlo_D._Mesarovic.
- Mereology wikiPageWikiLink Modal_logic.
- Mereology wikiPageWikiLink Model_theory.
- Mereology wikiPageWikiLink Monad_(philosophy).
- Mereology wikiPageWikiLink Naive_set_theory.
- Mereology wikiPageWikiLink Natural_language.
- Mereology wikiPageWikiLink Natural_number.
- Mereology wikiPageWikiLink Natural_science.
- Mereology wikiPageWikiLink Nelson_Goodman.
- Mereology wikiPageWikiLink Nominalism.