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] |
Full Idea: Quine ends up with the logic that is maximally justified by experience, ...but a large number of the core principles of logic will have to be used to select the logic that is maximally justified by experience. | |
From: comment on Willard Quine (Carnap and Logical Truth [1954]) by Paul Boghossian - Knowledge of Logic p.233 | |
A reaction: In order to grasp some core principles of logic, you will probably need a certain amount of experience. I take logic to be an abstracted feature of reality (unless it is extended by pure fictions). Some basic logic may be hard wired in us. |
22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
Full Idea: In logic the question is not one of contingent but of necessary rules, not how to think, but how we ought to think. | |
From: Immanuel Kant (Wiener Logik [1795], p.16), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Trans' | |
A reaction: Presumably it aspires to the objectivity of a single correct account of how we all ought to think. I'm sympathetic to that, rather than modern cultural relativism about reason. Logic is rooted in nature, not in arbitrary convention. |
9002 | Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine] |
Full Idea: Elementary logic, as commonly systematized nowadays, comprises truth-function theory (involving 'or', 'and', 'not' etc.), quantifiers (and their variables), and identity theory ('='). In addition, set theory requires classes among values of variables. | |
From: Willard Quine (Carnap and Logical Truth [1954], II) | |
A reaction: Quine is famous for trying to squeeze properties out of the picture, which would then block higher-order logics (which quantify over properties). Quine's list gives a nice programme for a student of the philosophy of logic to understand. |