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

Analytics

Added to PP
2009-01-28

Downloads
512 (#32,330)

6 months
67 (#58,539)

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