Journal of Philosophical Logic

, Volume 33, Issue 3, pp 261–297

First- and Second-Order Logic of Mass Terms

  • Peter Roeper

DOI: 10.1023/B:LOGI.0000031380.24201.26

Cite this article as:
Roeper, P. Journal of Philosophical Logic (2004) 33: 261. doi:10.1023/B:LOGI.0000031380.24201.26


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.

identityinfinite divisibilitynon-atomic domains of quantificationquantities

Copyright information

© Kluwer Academic Publishers 2004

Authors and Affiliations

  • Peter Roeper
    • 1
  1. 1.Philosophy, School of Humanities The Australian National UniversityCanberraAustralia