What is Nominalistic Mereology?

Download Edit this record How to cite View on PhilPapers
Abstract
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
MEYWIN
Upload history
Archival date: 2012-12-15
View other versions
Added to PP index
2012-11-30

Total views
524 ( #8,211 of 52,741 )

Recent downloads (6 months)
28 ( #22,918 of 52,741 )

How can I increase my downloads?

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