Combining Texts

Ideas for 'Wiener Logik', 'Reasoning and the Logic of Things' and 'Carnap and Logical Truth'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

3 ideas

5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic

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.

5. Theory of Logic / A. Overview of Logic / 3. Value of Logic

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.

5. Theory of Logic / A. Overview of Logic / 6. Classical Logic

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.