﻿

# mereology

Branch of logic, founded by Stanisław Leśniewski, that studies class expressions and the relations between parts and wholes.

It rejects the hierarchy of sets generated in set theory through the member-of relation and instead proposes a part-whole relationship. It has attracted philosophers of logic and mathematics who are nominalists (see universal), those who suspect set theory of being inherently Platonistic, and those who are otherwise suspicious of the complex entities proposed by, and the complicated assumptions needed for, set theory.

* * *

logic
branch of logic, founded by the 20th-century logician Stanisław Leśniewski (Leśniewski, Stanisław), that tries to clarify class expressions and theorizes on the relation between parts and wholes. It attempts to explain Bertrand Russell's paradox of the class of all those classes that are not elements of themselves. Leśniewski claimed that a distinction should be made between the distributive and the collective interpretation of class expressions because failure to do so makes the presuppositions of Russell's paradox appear to be true. Once the distinction is made, however, some of those presuppositions are evidently false on either interpretation.

* * *

Universalium. 2010.

### Look at other dictionaries:

• Mereology — 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 …   Wikipedia

• mereology — noun The discipline which deals with parts and their respective wholes …   Wiktionary

• mereology — The logic of the relationship of part to whole …   Philosophy dictionary

• mereology — study of part whole relationships Sciences and Studies …   Phrontistery dictionary

• mereology — me·re·ol·o·gy …   English syllables

• mereology — ˌmirēˈäləjē noun ( es) Etymology: irregular from mer (III) + logy logic : a theory of extended individuals in their relationships of part to whole and of overlapping compare calculus of individuals …   Useful english dictionary

• mereological — mereology …   Philosophy dictionary

• Part-whole theory — is the name of a loose collection of historical theories, all informal and nearly all unwitting, relating wholes to their parts via inclusion. Part whole theory has been overtaken by mereology.Metaphysics, especially ontology, has invoked part… …   Wikipedia

• applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium

• Mereotopology — In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries… …   Wikipedia