display all the ideas for this combination of texts
1 idea
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. |