What is Nominalistic Mereology?

Download Edit this record How to cite View on PhilPapers
Abstract Hybrid languages are introduced in order to evaluate the strength of “minimal” mereologies with relatively strong frame definability properties. Appealing to a robust form of nominalism, I claim that one investigated language Hm is maximally acceptable for nominalistic mereology. In an extension Hgem of Hm, a modal analog for the classical systems of Leonard and Goodman (J Symb Log 5:45–55, 1940) and Lesniewski (1916) is introduced and shown to be complete with respect to 0- deleted Boolean algebras. We characterize the formulas of first-order logic invariant for Hgem-bisimulations.
PhilPapers/Archive ID
Revision history
Archival date: 2012-12-15
View upload history
References found in this work BETA
Modal Logic.Blackburn, Patrick; de Rijke, Maarten & Venema, Yde
Mereology.Varzi, Achille C.

View all 29 references / Add more references

Citations of this work BETA

Add more citations

Added to PP index

Total views
430 ( #6,120 of 39,540 )

Recent downloads (6 months)
18 ( #23,779 of 39,540 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.