display all the ideas for this combination of texts
5 ideas
19304 | The rules of reasoning are not the rules of logic [Harman] |
Full Idea: Rules of deduction are rules of deductive argument; they are not rules of inference or reasoning. | |
From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 1) | |
A reaction: And I have often noticed that good philosophing reasoners and good logicians are frequently not the same people. |
19306 | It is a principle of reasoning not to clutter your mind with trivialities [Harman] |
Full Idea: I am assuming the following principle: Clutter Avoidance - in reasoning, one should not clutter one's mind with trivialities. | |
From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 2) | |
A reaction: I like Harman's interest in the psychology of reasoning. In the world of Frege, it is taboo to talk about psychology. |
19307 | If there is a great cost to avoiding inconsistency, we learn to reason our way around it [Harman] |
Full Idea: We sometimes discover our views are inconsistent and do not know how to revise them in order to avoid inconsistency without great cost. The best response may be to keep the inconsistency and try to avoid inferences that exploit it. | |
From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 2) | |
A reaction: Any decent philosopher should face this dilemma regularly. I assume non-philosophers don't compare the different compartments of their beliefs very much. Students of non-monotonic logics are trying to formalise such thinking. |
19309 | Logic has little relevance to reasoning, except when logical conclusions are immediate [Harman] |
Full Idea: Although logic does not seem specially relevant to reasoning, immediate implication and immediate inconsistency do seem important for reasoning. | |
From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 2) | |
A reaction: Ordinary thinkers can't possibly track complex logical implications, so we have obviously developed strategies for coping. I assume formal logic is contructed from the basic ingredients of the immediate and obvious implications, such as modus ponens. |
19303 | Implication just accumulates conclusions, but inference may also revise our views [Harman] |
Full Idea: Implication is cumulative, in a way that inference may not be. In argument one accumulates conclusions; things are always added, never subtracted. Reasoned revision, however, can subtract from one's view as well as add. | |
From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 1) | |
A reaction: This has caught Harman's attention, I think (?), because he is looking for non-monotonic reasoning (i.e. revisable reasoning) within a classical framework. If revision is responding to evidence, the logic can remain conventional. |