Roeper, Peter2015-12-132015-12-130022-3611http://hdl.handle.net/1885/87429Provided 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.Keywords: Identity; Infinite divisibility; Non-atomic domains of quantification; Quantities200410.1023/B:LOGI.0000031380.24201.262015-12-12