Mereology

We label this stronger theory EM, for Extensional Mereology, the attribute ˜extensional™ being justified precisely by the exclusion of countermodels that, like the one in Figure 3, contain distinct objects with the same proper parts.

Wild Dreams Of Reality, 3 2009

Mereology, assumes protothetic and ontology as logically prior theories, and has the term “part of” as its sole primitive concept.

Lvov-Warsaw School Wole&324;ski, Jan 2009

Mereology is supposed to be ontologically neutral.

Wild Dreams Of Reality, 3 2009

We shall label the resulting mereological theory MM, for Minimal Mereology.

Wild Dreams Of Reality, 3 2009

Mereology occupies a prominent role also in the writings of medieval ontologists and scholastic philosophers such as Garland the Computist, Peter Abelard,

Wild Dreams Of Reality, 3 2009

Przegląd Filozoficzny, and, eschewing mathematical symbolism, was dedicated to an up-to-date exposition of Mereology.

Stanisław Leśniewski Simons, Peter 2007

Both Mereology and Ontology presuppose a deeper logical layer, comprising a propositional logic of connectives like ˜if™,

Stanisław Leśniewski Simons, Peter 2007

With Protothetic launched, Leśniewski could now look back on his system of foundations and see that it consisted of a hierarchy of three systems, developed in reverse order: Protothetic, introducing connectives, quantifiers and higher functions; Ontology, introducing the new category of names, with the new primitive ˜is™, and Mereology, based on a primitive mereological functor such as

Stanisław Leśniewski Simons, Peter 2007

It was in Mereology, Leśniewski's oldest system, that there were the most varied developments.

Stanisław Leśniewski Simons, Peter 2007

Leśniewski later dropped the term ˜mnogość™ and instead invented the term ˜Mereology™, meaning ˜theory of parts™, an irregular coinage from the Greek μερÎς, part, in order to differentiate his view from what he ironically called

Stanisław Leśniewski Simons, Peter 2007