| Information | |
|---|---|
| has gloss | eng: In philosophy, mereology (from the Greek μέρος, root: μερε(σ)-, "part" and the suffix -logy "study, discussion, science") is a collection of axiomatic first-order theories dealing with parts and their respective wholes. In contrast to set theory, which takes the set–member relationship as fundamental, the core notion of mereology is meronomic, which means based on part–whole relationships. Mereology is both an application of predicate logic and a branch of formal ontology. |
| lexicalization | eng: mereology |
| instance of | (noun) (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident axiom |
| Meaning | |
|---|---|
| German | |
| has gloss | deu: Die Mereologie (von griech. meros = Teil) ist ein Teilgebiet der Ontologie und der angewandten Logik und befasst sich mit dem Verhältnis zwischen Teil und Ganzem. 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. |
| lexicalization | deu: Mereologie |
| French | |
| has gloss | fra: La méréologie est une collection de systèmes formels axiomatiques qui traitent des relations entre la partie et le 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. |
| lexicalization | fra: Mereologie |
| lexicalization | fra: méréologie |
| Korean | |
| has gloss | kor: 수리논리학에서 부분론(mereology)은 부분과 전체의 관계를 다루는 공리적 1차 이론들을 통틀어 가리키는 말이다. 이는 술어논리의 응용이며, 형식적 존재론의 한 분야이기도 하다. 전산학이나 이론물리학에서도 층론, 토포스 이론, 범주론 등의 도구를 사용하여 부분론을 다룬다. |
| lexicalization | kor: 부분론 |
| Polish | |
| has gloss | pol: Mereologia jest to trzeci z tzw. systemów Leśniewskiego (obok prototetyki i ontologii), dla którego prototetyka i ontologia są systemami wcześniejszymi. |
| lexicalization | pol: Mereologia |
| Chinese | |
| has gloss | zho: 在哲学方面，分体论（英文：；该单词源自希腊语“”；其中，词头“meros”意思是“部分”或者说“组成部分”，而词尾“-logy”则指的是研究、学问、讨论和科学），是指一套与组成部分及其相应整体有关的公理化一阶理论。分体论既指的是谓词逻辑的一种应用，又指的是形式本体论的一个分支。 |
| lexicalization | zho: 分体论 |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint