[FOM] Model theory for mereology, without sets?

David NICOLAS dnicolas at gmx.net
Fri May 11 14:10:56 EDT 2007


Mereology was conceived by Lesniewski as an alternative to set theory.
Mereology can be axiomatized in predicate logic (cf. e.g. Simons 
1987, Link 1998).

Now, we might want to have a model theory for mereology. Could one be 
developped without sets?
What I have in mind in something in the same spirit than this. 
Friends of first order plural logic (predicate logic augmented with 
plural quantifiers and plural predicates) have developped model 
theories for first order plural logic, using metalanguages that 
contains plurals, and without using sets.
Can something like this be done for mereology? Namely, develop a 
model theory for mereology in a suitable metalanguage, without using 
sets (nor plurals) to specify models? Is there some existing work on this?

Simons, P. 1987. Parts. OUP.
Link, G. 1998. Algebraic semantics. CSLI.


David Nicolas

More information about the FOM mailing list