First- and second-order logic of mass terms

Journal of Philosophical Logic 33 (3):261-297 (2004)
  Copy   BIBTEX

Abstract

Provided here is an account, both syntactic and semantic, of first-order and monadic second-order quantification theory for domains that may be non-atomic. Although the rules of inference largely parallel those of classical logic, there are important differences in connection with the identification of argument places and the significance of the identity relation

Categories

Keywords

Reprint years

DOI

10.1023/b:logi.0000031380.24201.26

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Syntactic Proof of the Decidability of First-Order Monadic Logic.Eugenio Orlandelli & Matteo Tesi - 2024 - Bulletin of the Section of Logic 53 (2):223-244.
A conceptualist interpretation of Lesniewski's ontology.Nino B. Cocchiarella - 2001 - History and Philosophy of Logic 22 (1):29-43.
From First-Order to Higher-Order Modal Logic.Timothy Williamson - 2013 - In Modal Logic as Metaphysics. Oxford, England: Oxford University Press. pp. 195-261.
A three-valued quantified argument calculus: Domain-free model-theory, completeness, and embedding of fol.Ran Lanzet - 2017 - Review of Symbolic Logic 10 (3):549-582.
The Competition.Stewart Shapiro - 2000 - In Foundations without Foundationalism: A Case for Second-Order Logic. Oxford, GB: Oxford University Press. pp. 220-262.
Logic, Language and Meaning Vol. 1.L. T. F. Gamut - 1990 - University of Chicago Press.
Logic, Language, and Meaning, Volume 1: Introduction to Logic.L. T. F. Gamut - 1990 - Chicago, IL, USA: University of Chicago Press.
Plurals and Second-Order Logic.Salvatore Florio & Øystein Linnebo - 2021 - In Salvatore Florio & Øystein Linnebo, The Many and the One: A Philosophical Study of Plural Logic. Oxford, England: Oxford University Press. pp. 104-120.
Higher‐order Logic Reconsidered.Ignacio Jané - 2005 - In Stewart Shapiro, Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press.
Second-Order Logic of Paradox.Allen P. Hazen & Francis Jeffry Pelletier - 2018 - Notre Dame Journal of Formal Logic 59 (4):547-558.

Analytics

Added to PP
2009-01-28

Downloads
1,054 (#50,968)

6 months
107 (#117,056)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Externalism, internalism and logical truth.Corine Besson - 2009 - Review of Symbolic Logic 2 (1):1-29.
The Aristotelian Continuum. A Formal Characterization.Peter Roeper - 2006 - Notre Dame Journal of Formal Logic 47 (2):211-232.

Add more citations

References found in this work

Generalisation of first-order logic to nonatomic domains.P. Roeper - 1985 - Journal of Symbolic Logic 50 (3):815-838.

Add more references