Combining Texts

Ideas for 'The Logic of Boundaryless Concepts', 'Truthmakers, Realism and Ontology' and 'Thought'

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

display all the ideas for this combination of texts

---

7 ideas

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

3093	Any two states are logically linked, by being entailed by their conjunction [Harman]
	Full Idea: Any two states of affairs are logically connected, simply because both are entailed by their conjunction.
	From: Gilbert Harman (Thought [1973], 8.1)

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

9390	Logic guides thinking, but it isn't a substitute for it [Rumfitt]
	Full Idea: Logic is part of a normative theory of thinking, not a substitute for thinking.
	From: Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.13)
	A reaction: There is some sort of logicians' dream, going back to Leibniz, of a reasoning engine, which accepts propositions and outputs inferences. I agree with this idea. People who excel at logic are often, it seems to me, modest at philosophy.

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

3098	Deductive logic is the only logic there is [Harman]
	Full Idea: Deductive logic is the only logic there is.
	From: Gilbert Harman (Thought [1973], 10.4)

5. Theory of Logic / B. Logical Consequence / 5. Modus Ponens

3094	You don't have to accept the conclusion of a valid argument [Harman]
	Full Idea: We may say "From P and If-P-then-Q, infer Q" (modus ponens), but there is no rule of acceptance to say that we should accept Q. Maybe we should stop believing P or If-P-then-Q rather than believe Q.
	From: Gilbert Harman (Thought [1973], 10.1)

5. Theory of Logic / E. Structures of Logic / 1. Logical Form

3084	Our underlying predicates represent words in the language, not universal concepts [Harman]
	Full Idea: The underlying truth-conditional structures of thoughts are language-dependent in the sense that underlying predicates represent words in the language rather than universal concepts common to all languages.
	From: Gilbert Harman (Thought [1973], 6.3)

3080	Logical form is the part of a sentence structure which involves logical elements [Harman]
	Full Idea: The logical form of a sentence is that part of its structure that involves logical elements.
	From: Gilbert Harman (Thought [1973], 5.2)

3081	A theory of truth in a language must involve a theory of logical form [Harman]
	Full Idea: Some sort of theory of logical form is involved in any theory of truth for a natural language.
	From: Gilbert Harman (Thought [1973], 5.2)