display all the ideas for this combination of texts
3 ideas
13010 | In order to select the logic justified by experience, we would need to use a lot of logic [Boghossian on Quine] |
10478 | Since first-order languages are complete, |= and |- have the same meaning [Hodges,W] |
9002 | Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine] |