First- and Second-Order Logic of Mass Terms
- Cite this article as:
- Roeper, P. Journal of Philosophical Logic (2004) 33: 261. doi:10.1023/B:LOGI.0000031380.24201.26
- 39 Views
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.