About: Mereology

An Entity of Type: book, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In logic, philosophy and related fields, mereology (from Greek μέρος 'part' (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.

Property Value
dbo:abstract
  • في الفلسفة والمنطق الرياضي يعرّف علم الأجزاء (mereology ميرولوجي من الإغريقية μέρος ميروس بمعنى: جزء) هو العلم الذي يهتم بدراسة الكل والأجزاء التابعة له ضمن النطاق الرياضي الفلسفي. ففي حين أن نظرية المجموعات تأسست على العلاقة العضوية بين مجموعة وعناصرها، فإن علم الأجزاء يؤكد على العلاقة التفرعية من المكونات الفردية، والتي من منظور نظري للمجموعة هو أقرب إلى مبدأ الاحتواء بين المجموعات. تم دراسة علم الأجزاء والبحث فيه بعدة أساليب كتطبيقات للمنطق الاستقرائي في علم الوجود الرئيسي، والتي يعد علم الأجزاء فيها من الأجزاء الرئيسية فيها، كما يوجد له تعريف بديهي في كل من هذه المجالات. (ar)
  • Die Mereologie (griech. μέρος meros ‚Teil‘) ist ein Teilgebiet der Ontologie und der angewandten Logik und befasst sich mit dem Verhältnis zwischen Teil und Ganzem. Entwickelt wurde die Mereologie im Kontext der Debatte um die Grundlegung der Mathematik. Dabei stellt sie einen alternativen Ansatz zur heute weitgehend akzeptierten Mengenlehre dar. Topologische Begriffe wie Rand und Zusammenhang lassen sich mit mereologischen Mitteln untersuchen, woraus die Mereotopologie entsteht. Anwendungen finden sich im Bereich der künstlichen Intelligenz bei der Wissensrepräsentation. (de)
  • En filosofía, la mereología (del griego antiguo μέρος, "parte") es el estudio de las relaciones entre partes, tanto de las partes con el todo, como de las partes con otras partes.​ La mereología tiene una larga historia en la filosofía.​ Aristóteles ya presenta algunas reflexiones en la Metafísica, sus trabajos sobre física y otros.​ También Boecio dedica al tema parte de su De Divisione e In Ciceronis Topica.​ En la Edad Media, la mereología fue importante en los trabajos de Pedro Abelardo, Tomás de Aquino, Ramon Llull y Alberto de Sajonia, entre otros.​ Sin embargo, la primera teoría exhaustiva se debe principalmente a Franz Brentano y a su discípulo Edmund Husserl, quien la definió como teoría de los todos y las partes, a partir de la cual se han de distinguir entre partes independientes y partes no independientes de las esencias de los objetos intencionales. Con esto es posible describir las relaciones entre estas partes en términos de fundamentación.​ Por otra parte, la primera formalización satisfactoria fue de Stanislaw Leśniewski, quien la publicó en polaco en 1916.​ La primera teoría en inglés, que popularizó el estudio de la mereología, fue de H. S. Leonard y Nelson Goodman en 1943.​ La mereologia se aplica a la lógica de predicados a la ontología formal. Cada uno de estos campos proporciona su propia definición axiomática de la mereologia. El elemento común de estas axiomatizaciones es la suposición compartida con la inclusión. (es)
  • La méréologie (du grec ancien μέρος, « partie ») est une collection de systèmes formels axiomatiques qui traitent des relations de partie : entre la partie et le tout, ainsi qu’entre les parties d’un même tout. La méréologie est à la fois une application de la logique des prédicats et une branche de l’ontologie, en particulier de l’ontologie formelle. (fr)
  • In logic, philosophy and related fields, mereology (from Greek μέρος 'part' (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 other (antisymmetry), thus forming a poset. A variant of this axiomatization denies that anything is ever part of itself (irreflexivity) 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. In particular, mereology is also on the basis for a point-free foundation of geometry (see for example the quoted pioneering paper of Alfred Tarski and the review paper by Gerla 1995). In general systems theory, mereology refers to formal work 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 theory, 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. (en)
  • In filosofia la mereologia (composizione del greco μέρος, méros, "parte" e -λογία, -logìa, "discorso", "studio", "teoria") è uno dei "cosiddetti" «sistemi di Leśniewski», ossia è la teoria, o scienza, delle relazioni parti-tutto; presentata da Achille Varzi come teoria «delle relazioni della parte al tutto e da parte a parte con un tutto» (o «teoria delle parti e dell'intero»), da Hilary Putnam come «"il calcolo delle parti e degli interi"» e da come la «teoria formale delle parti e delle relazioni di parte». Per Maurizio Ferraris tale relazione parte-intero può essere tra oggetti concreti, regioni spazio-temporali, processi (parti temporali), eventi e oggetti astratti. (it)
  • メレオロジー(英語: mereology)とは、数理論理学・言語学・哲学の専門用語で、部分と全体の関係(part-whole relation)を扱う理論・視座のこと。もともとはスタニスワフ・レシニェフスキが数理論理学の文脈で用いた造語だが、のちにそこから派生して様々な文脈で用いられるようになった。語源は古典ギリシア語で「部分」を意味する「メロス」(μέρος)から。形容詞形は「メレオロジー的」「メレオロジカルな」(mereological)。 (ja)
  • 수리논리학에서 부분론(mereology)은 부분과 전체의 관계를 다루는 공리적 들을 통틀어 가리키는 말이다. 이는 술어논리의 응용이며, 의 한 분야이기도 하다. 전산학이나 이론물리학에서도 , 토포스 이론, 범주론 등의 도구를 사용하여 부분론을 다룬다. (ko)
  • In de filosofie en wiskundige logica houdt de mereologie (van het Griekse μέρος, wortel: μερε(σ) - "deel" en het achtervoegsel-logie "studie, discussie, wetenschap" ) zich bezig met de relatie tussen delen en de gehelen, die door deze delen worden gevormd. Terwijl de verzamelingenleer is gebaseerd op de relatie tussen een verzameling en haar elementen, benadrukt de mereologie de meronomische relatie tussen entiteiten, wat vanuit een verzamelingentheoretisch perspectief dichter ligt bij die van inclusie tussen verzamelingen. (nl)
  • Mereologia jest to trzeci z tzw. systemów Leśniewskiego (obok prototetyki i ontologii), dla którego prototetyka i ontologia są systemami wcześniejszymi. Teoria ta została stworzona, aby rozwiązać problem antynomii znalezionych w teorii mnogości i dać wyraz nominalistycznym intuicjom Leśniewskiego. Mereologia jest teorią stosunku części do całości – przyjmuje się również, że jest to teoria zbioru i klasy w znaczeniu kolektywnym. Mówiąc nieco bardziej formalnie jest to teoria zbiorów z przechodnią relacją 'należenia do'. Zbiór w sensie kolektywnym (jego przeciwieństwem jest zbiór w sensie dystrybutywnym) określić można tak: Zbiór X-ów jest to pewna całość, na którą składają się poszczególne X-y. Przez zdanie x należy do zbioru X należy rozumieć tylko to, że x spełnia pewien warunek X (posiada własność X). Obrazując to powiedzieć można np., że odpowiednio zgromadzone w bezpośrednim sąsiedztwie cegły tworzą dom, lub zgromadzone w bezpośrednim sąsiedztwie ziarnka piasku tworzą kupę piasku. Wyrażając się nieco mniej precyzyjnie powiedzieć można, że zbiór jako całość jest sumą swoich elementów. (pl)
  • 在哲学方面,分体论(英文:Mereology;该单词源自希腊语“μερος”;其中,词头“meros”意思是“部分”或者说“组成部分”,而词尾“-logy”则指的是研究、学问、讨论和科学),是指一套与组成部分及其相应整体有关的公理化。分体论既指的是谓词逻辑的一种应用,又指的是的一个分支。 (zh)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 375380 (xsd:integer)
dbo:wikiPageLength
  • 49525 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1097026184 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdf:type
rdfs:comment
  • في الفلسفة والمنطق الرياضي يعرّف علم الأجزاء (mereology ميرولوجي من الإغريقية μέρος ميروس بمعنى: جزء) هو العلم الذي يهتم بدراسة الكل والأجزاء التابعة له ضمن النطاق الرياضي الفلسفي. ففي حين أن نظرية المجموعات تأسست على العلاقة العضوية بين مجموعة وعناصرها، فإن علم الأجزاء يؤكد على العلاقة التفرعية من المكونات الفردية، والتي من منظور نظري للمجموعة هو أقرب إلى مبدأ الاحتواء بين المجموعات. تم دراسة علم الأجزاء والبحث فيه بعدة أساليب كتطبيقات للمنطق الاستقرائي في علم الوجود الرئيسي، والتي يعد علم الأجزاء فيها من الأجزاء الرئيسية فيها، كما يوجد له تعريف بديهي في كل من هذه المجالات. (ar)
  • Die Mereologie (griech. μέρος meros ‚Teil‘) ist ein Teilgebiet der Ontologie und der angewandten Logik und befasst sich mit dem Verhältnis zwischen Teil und Ganzem. Entwickelt wurde die Mereologie im Kontext der Debatte um die Grundlegung der Mathematik. Dabei stellt sie einen alternativen Ansatz zur heute weitgehend akzeptierten Mengenlehre dar. Topologische Begriffe wie Rand und Zusammenhang lassen sich mit mereologischen Mitteln untersuchen, woraus die Mereotopologie entsteht. Anwendungen finden sich im Bereich der künstlichen Intelligenz bei der Wissensrepräsentation. (de)
  • La méréologie (du grec ancien μέρος, « partie ») est une collection de systèmes formels axiomatiques qui traitent des relations de partie : entre la partie et le tout, ainsi qu’entre les parties d’un même tout. La méréologie est à la fois une application de la logique des prédicats et une branche de l’ontologie, en particulier de l’ontologie formelle. (fr)
  • In filosofia la mereologia (composizione del greco μέρος, méros, "parte" e -λογία, -logìa, "discorso", "studio", "teoria") è uno dei "cosiddetti" «sistemi di Leśniewski», ossia è la teoria, o scienza, delle relazioni parti-tutto; presentata da Achille Varzi come teoria «delle relazioni della parte al tutto e da parte a parte con un tutto» (o «teoria delle parti e dell'intero»), da Hilary Putnam come «"il calcolo delle parti e degli interi"» e da come la «teoria formale delle parti e delle relazioni di parte». Per Maurizio Ferraris tale relazione parte-intero può essere tra oggetti concreti, regioni spazio-temporali, processi (parti temporali), eventi e oggetti astratti. (it)
  • メレオロジー(英語: mereology)とは、数理論理学・言語学・哲学の専門用語で、部分と全体の関係(part-whole relation)を扱う理論・視座のこと。もともとはスタニスワフ・レシニェフスキが数理論理学の文脈で用いた造語だが、のちにそこから派生して様々な文脈で用いられるようになった。語源は古典ギリシア語で「部分」を意味する「メロス」(μέρος)から。形容詞形は「メレオロジー的」「メレオロジカルな」(mereological)。 (ja)
  • 수리논리학에서 부분론(mereology)은 부분과 전체의 관계를 다루는 공리적 들을 통틀어 가리키는 말이다. 이는 술어논리의 응용이며, 의 한 분야이기도 하다. 전산학이나 이론물리학에서도 , 토포스 이론, 범주론 등의 도구를 사용하여 부분론을 다룬다. (ko)
  • In de filosofie en wiskundige logica houdt de mereologie (van het Griekse μέρος, wortel: μερε(σ) - "deel" en het achtervoegsel-logie "studie, discussie, wetenschap" ) zich bezig met de relatie tussen delen en de gehelen, die door deze delen worden gevormd. Terwijl de verzamelingenleer is gebaseerd op de relatie tussen een verzameling en haar elementen, benadrukt de mereologie de meronomische relatie tussen entiteiten, wat vanuit een verzamelingentheoretisch perspectief dichter ligt bij die van inclusie tussen verzamelingen. (nl)
  • 在哲学方面,分体论(英文:Mereology;该单词源自希腊语“μερος”;其中,词头“meros”意思是“部分”或者说“组成部分”,而词尾“-logy”则指的是研究、学问、讨论和科学),是指一套与组成部分及其相应整体有关的公理化。分体论既指的是谓词逻辑的一种应用,又指的是的一个分支。 (zh)
  • In logic, philosophy and related fields, mereology (from Greek μέρος 'part' (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. (en)
  • En filosofía, la mereología (del griego antiguo μέρος, "parte") es el estudio de las relaciones entre partes, tanto de las partes con el todo, como de las partes con otras partes.​ La mereología tiene una larga historia en la filosofía.​ Aristóteles ya presenta algunas reflexiones en la Metafísica, sus trabajos sobre física y otros.​ También Boecio dedica al tema parte de su De Divisione e In Ciceronis Topica.​ En la Edad Media, la mereología fue importante en los trabajos de Pedro Abelardo, Tomás de Aquino, Ramon Llull y Alberto de Sajonia, entre otros.​ Sin embargo, la primera teoría exhaustiva se debe principalmente a Franz Brentano y a su discípulo Edmund Husserl, quien la definió como teoría de los todos y las partes, a partir de la cual se han de distinguir entre partes independiente (es)
  • Mereologia jest to trzeci z tzw. systemów Leśniewskiego (obok prototetyki i ontologii), dla którego prototetyka i ontologia są systemami wcześniejszymi. Teoria ta została stworzona, aby rozwiązać problem antynomii znalezionych w teorii mnogości i dać wyraz nominalistycznym intuicjom Leśniewskiego. (pl)
rdfs:label
  • Mereology (en)
  • علم الأجزاء (ar)
  • Mereologie (de)
  • Mereología (es)
  • Méréologie (fr)
  • Mereologia (it)
  • メレオロジー (ja)
  • 부분론 (ko)
  • Mereologia (pt)
  • Mereologie (nl)
  • Mereologia (pl)
  • 分体论 (逻辑学) (zh)
owl:differentFrom
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:mainInterest of
is dbo:notableIdea of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:knownFor of
is dbp:mainInterests of
is dbp:notableIdeas of
is owl:differentFrom of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License