display all the ideas for this combination of texts
2 ideas
| 15525 | Plural quantification lacks a complete axiom system [Lewis] |
| Full Idea: There is an irremediable lack of a complete axiom system for plural quantification. | |
| From: David Lewis (Parts of Classes [1991], 4.7) |
| 15518 | I like plural quantification, but am not convinced of its connection with second-order logic [Lewis] |
| Full Idea: I agree fully with Boolos on substantive questions about plural quantification, though I would make less than he does of the connection with second-order logic. | |
| From: David Lewis (Parts of Classes [1991], 3.2 n2) | |
| A reaction: Deep matters, but my inclination is to agree with Lewis, as I have never been able to see why talk of plural quantification led straight on to second-order logic. A plural is just some objects, not some higher-order entity. |