Journal of Philosophical Logic

, Volume 33, Issue 3, pp 261–297

First- and Second-Order Logic of Mass Terms

Authors

  • Peter Roeper
    • Philosophy, School of Humanities The Australian National University
Article

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

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.

identityinfinite divisibilitynon-atomic domains of quantificationquantities

Copyright information

© Kluwer Academic Publishers 2004