Combining Philosophers

Ideas for Archimedes, Cardinal/Hayward/Jones and Gilbert Harman

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

display all the ideas for this combination of philosophers

---

3 ideas

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

12595	We have a theory of logic (implication and inconsistency), but not of inference or reasoning [Harman]
	Full Idea: There is as yet no substantial theory of inference or reasoning. To be sure, logic is well developed; but logic is not a theory of inference or reasoning. Logic is a theory of implication and inconsistency.
	From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.2)
	A reaction: One problem is that animals can draw inferences without the use of language, and I presume we do so all the time, so it is hard to see how to formalise such an activity.

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)