12 ideas
| 6950 | You can be rational with undetected or minor inconsistencies [Harman] |
| Full Idea: Rationality doesn't require consistency, because you can be rational despite undetected inconsistencies in beliefs, and it isn't always rational to respond to a discovery of inconsistency by dropping everything in favour of eliminating that inconsistency. | |
| From: Gilbert Harman (Rationality [1995], 1.2) | |
| A reaction: This strikes me as being correct, and is (I am beginning to realise) a vital contribution made to our understanding by pragmatism. European thinking has been too keen on logic as the model of good reasoning. |
| 6954 | A coherent conceptual scheme contains best explanations of most of your beliefs [Harman] |
| Full Idea: A set of unrelated beliefs seems less coherent than a tightly organized conceptual scheme that contains explanatory principles that make sense of most of your beliefs; this is why inference to the best explanation is an attractive pattern of inference. | |
| From: Gilbert Harman (Rationality [1995], 1.5.2) | |
| A reaction: I find this a very appealing proposal. The central aim of rational thought seems to me to be best explanation, and I increasingly think that most of my beliefs rest on their apparent coherence, rather than their foundations. |
| 8784 | Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright] |
| Full Idea: The result of joining Hume's Principle to second-order logic is a consistent system which is a foundation for arithmetic, in the sense that all the fundamental laws of arithmetic are derivable within it as theorems. This seems a vindication of logicism. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1) | |
| A reaction: The controversial part seems to be second-order logic, which Quine (for example) vigorously challenged. The contention against most attempts to improve Frege's logicism is that they thereby cease to be properly logical. |
| 8787 | The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright] |
| Full Idea: The Julius Caesar problem is the problem of supplying a criterion of application for 'number', and thereby setting it up as the concept of a genuine sort of object. (Why is Julius Caesar not a number?) | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 3) | |
| A reaction: One response would be to deny that numbers are objects. Another would be to derive numbers from their application in counting objects, rather than the other way round. I suspect that the problem only real bothers platonists. Serves them right. |
| 8788 | Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright] |
| Full Idea: It is only if logic is metaphysically and epistemologically privileged that a reduction of mathematical theories to logical ones can be philosophically any more noteworthy than a reduction of any mathematical theory to any other. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 8) | |
| A reaction: It would be hard to demonstrate this privileged position, though intuitively there is nothing more basic in human rationality. That may be a fact about us, but it doesn't make logic basic to nature, which is where proper reduction should be heading. |
| 8783 | Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright] |
| Full Idea: Two modern approaches to logicism are the quantificational approach of David Bostock, and the abstraction-free approach of Neil Tennant. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1 n2) | |
| A reaction: Hale and Wright mention these as alternatives to their own view. I merely catalogue them for further examination. My immediate reaction is that Bostock sounds hopeless and Tennant sounds interesting. |
| 6955 | Enumerative induction is inference to the best explanation [Harman] |
| Full Idea: We might think of enumerative induction as inference to the best explanation, taking the generalization to explain its instances. | |
| From: Gilbert Harman (Rationality [1995], 1.5.2) | |
| A reaction: This is a helpful connection. The best explanation of these swans being white is that all swans are white; it ceased to be the best explanation when black swans turned up. In the ultimate case, a law of nature is the explanation. |
| 6952 | Induction is 'defeasible', since additional information can invalidate it [Harman] |
| Full Idea: It is sometimes said that inductive reasoning is 'defeasible', meaning that considerations that support a given conclusion can be defeated by additional information. | |
| From: Gilbert Harman (Rationality [1995], 1.4.5) | |
| A reaction: True. The point is that being defeasible does not prevent such thinking from being rational. The rational part of it is to acknowledge that your conclusion is defeasible. |
| 6953 | All reasoning is inductive, and deduction only concerns implication [Harman] |
| Full Idea: Deductive logic is concerned with deductive implication, not deductive reasoning; all reasoning is inductive | |
| From: Gilbert Harman (Rationality [1995], 1.4.5) | |
| A reaction: This may be an attempt to stipulate how the word 'reasoning' should be used in future. It is, though, a bold and interesting claim, given the reputation of induction (since Hume) of being a totally irrational process. |
| 6951 | Ordinary rationality is conservative, starting from where your beliefs currently are [Harman] |
| Full Idea: Ordinary rationality is generally conservative, in the sense that you start from where you are, with your present beliefs and intentions. | |
| From: Gilbert Harman (Rationality [1995], 1.3) | |
| A reaction: This stands opposed to the Cartesian or philosophers' rationality, which requires that (where possible) everything be proved from scratch. Harman seems right, that the normal onus of proof is on changing beliefs, rather proving you should retain them. |
| 8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |
| Full Idea: An example of a first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines; a higher-order example (which refers to first-order predicates) defines 'equinumeral' in terms of one-to-one correlation (Hume's Principle). | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1) | |
| A reaction: [compressed] This is the way modern logicians now treat abstraction, but abstraction principles include the elusive concept of 'equivalence' of entities, which may be no more than that the same adjective ('parallel') can be applied to them. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |