Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Mereology> ?p ?o. }
Showing items 1 to 47 of
47
with 100 items per page.
- Mereology abstract "In philosophy and mathematical logic, mereology (from the Greek μέρος, root: μερε(σ)-, "part" and the suffix -logy "study, discussion, science") treats 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 that of inclusion between sets.Mereology has been axiomatized in various ways as applications of predicate logic to formal ontology, of which mereology is an important part. 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). A variant of this axiomatization denies that anything is ever part of itself (irreflexive) while accepting transitivity, from which antisymmetry follows automatically.Standard university texts on logic and mathematics are silent about mereology, which has undoubtedly contributed to its obscurity. 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.The class concept in 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 wikiPageRevisionID "605167031".
- Mereology hasPhotoCollection Mereology.
- Mereology subject Category:Mathematical_logic.
- Mereology subject Category:Mereology.
- Mereology subject Category:Ontology.
- Mereology subject Category:Predicate_logic.
- Mereology type Abstraction100002137.
- Mereology type AuditoryCommunication107109019.
- Mereology type Communication100033020.
- Mereology type MathematicalAxioms.
- Mereology type Maxim107152948.
- Mereology type Saying107151380.
- Mereology type Speech107109196.
- Mereology comment "In philosophy and mathematical logic, mereology (from the Greek μέρος, root: μερε(σ)-, "part" and the suffix -logy "study, discussion, science") treats parts and the wholes they form.".
- Mereology label "Mereologia".
- Mereology label "Mereologie".
- Mereology label "Mereologie".
- Mereology label "Mereology".
- Mereology label "Mereología".
- Mereology label "Méréologie".
- Mereology label "分体论 (逻辑学)".
- Mereology sameAs Mereologie.
- Mereology sameAs Mereología.
- Mereology sameAs Méréologie.
- Mereology sameAs Mereologia.
- Mereology sameAs 부분론.
- Mereology sameAs Mereologie.
- Mereology sameAs Mereologia.
- Mereology sameAs m.020z3w.
- Mereology sameAs Q1194916.
- Mereology sameAs Q1194916.
- Mereology sameAs Mereology.
- Mereology wasDerivedFrom Mereology?oldid=605167031.
- Mereology isPrimaryTopicOf Mereology.