What is nominalistic mereology?

• Autores: Jeremy Meyers
• Localización: Journal of Philosophical Logic, ISSN-e 1573-0433, Vol. 43, Nº. 1, 2014, págs. 71-108
• Idioma: alemán
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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 H\textsfm is maximally acceptable for nominalistic mereology. In an extension H\textsfgem of H\textsfm , 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 H\textsfgem -bisimulations.