Combining Texts

Ideas for 'works', 'Thought' and 'The Search After Truth'

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 / 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 / D. Assumptions for Logic / 3. Contradiction

10121	Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal]
	Full Idea: Contradiction is not a sign of falsity, nor the lack of contradiction a sign of truth.
	From: Blaise Pascal (works [1660]), quoted by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6
	A reaction: [Quoted in Auden and Kronenberger's Book of Aphorisms] Presumably we would now say that contradiction is a purely formal, syntactic notion, and not a semantic one. If you hit a contradiction, something has certainly gone wrong.

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

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)

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)