display all the ideas for this combination of texts
3 ideas
3746 | Logic seems to work for unasserted sentences [O'Connor] |
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] |