What is Nominalistic Mereology?

Journal of Philosophical Logic 43 (1):71-108 (2012)
  Copy   BIBTEX

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 \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document} is maximally acceptable for nominalistic mereology. In an extension \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document} of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document}, a modal analog for the classical systems of Leonard and Goodman and Leśniewski is introduced and shown to be complete with respect to 0-deleted Boolean algebras. We characterize the formulas of first-order logic invariant for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document}-bisimulations.

Similar books and articles

Słupecki's Generalized Mereology and Its Flaws.Rafal Urbaniak - 2014 - History and Philosophy of Logic 35 (3):289-300.
Nonclassical Mereology and Its Application to Sets.Peter Forrest - 2002 - Notre Dame Journal of Formal Logic 43 (2):79-94.
Medieval mereology.Desmond Paul Henry - 1991 - Philadelphia: B.R. Grüner.
Non-wellfounded Mereology.Aaron J. Cotnoir & Andrew Bacon - 2012 - Review of Symbolic Logic 5 (2):187-204.
Nominalistic Systems: The Logic and Semantics of Some Nominalistic Positions.Rolf A. Eberle - 1965 - Dissertation, University of California, Los Angeles
Nominalistic metalogic.Ken Akiba - 1998 - Journal of Philosophical Logic 27 (1):35-47.
Mereology on Topological and Convergence Spaces.Daniel R. Patten - 2013 - Notre Dame Journal of Formal Logic 54 (1):21-31.
Pieces of mereology.Andrzej Pietruszczak - 2005 - Logic and Logical Philosophy 14 (2):211-234.
Nominalism, Trivialism, Logicism.Agustín Rayo - 2015 - Philosophia Mathematica 23 (1):nku013.
The ontological parsimony of mereology.Jeroen Smid - 2015 - Philosophical Studies 172 (12):3253-3271.
Mereology and Location.Shieva Kleinschmidt (ed.) - 2014 - Oxford: Oxford University Press.
Mereology and modality.Gabriel Uzquiano - 2014 - In Shieva Kleinschmidt (ed.), Mereology and Location. Oxford University Press. pp. 33-56.

Analytics

Added to PP
2012-11-30

Downloads
843 (#16,606)

6 months
106 (#34,121)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jeremy Meyers
Stanford University

Citations of this work

Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.
Quine's Monism and Modal Eliminativism in the Realm of Supervenience.Atilla Akalın - 2019 - International Journal of Social Humanities Sciences Research (JSHRS) 6 (34):795-800.

Add more citations

References found in this work

Writing the Book of the World.Theodore Sider - 2011 - Oxford, England: Oxford University Press.
From a Logical Point of View.Willard Van Orman Quine - 1953 - Cambridge: Harvard University Press.
Material beings.Peter Van Inwagen - 1990 - Ithaca: Cornell University Press.

View all 42 references / Add more references