display all the ideas for this combination of texts
3 ideas
12595 | We have a theory of logic (implication and inconsistency), but not of inference or reasoning [Harman] |
13010 | In order to select the logic justified by experience, we would need to use a lot of logic [Boghossian on Quine] |
9002 | Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine] |