display all the ideas for this combination of texts
3 ideas
13392 | Philosophers reduce complex English kind-quantifiers to the simplistic first-order quantifier [Jubien] |
15525 | Plural quantification lacks a complete axiom system [Lewis] |
15518 | I like plural quantification, but am not convinced of its connection with second-order logic [Lewis] |