display all the ideas for this combination of texts
2 ideas
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. |
14880 | Logic is just slavery to language [Nietzsche] |
Full Idea: Logic is merely slavery in the fetters of language. | |
From: Friedrich Nietzsche (Unpublished Notebooks 1872-74 [1873], 29 [008]) | |
A reaction: I don't think I agree with this, but I still like it. |