13 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. |
| 17963 | The facts of geometry, arithmetic or statics order themselves into theories [Hilbert] |
| Full Idea: The facts of geometry order themselves into a geometry, the facts of arithmetic into a theory of numbers, the facts of statics, electrodynamics into a theory of statics, electrodynamics, or the facts of the physics of gases into a theory of gases. | |
| From: David Hilbert (Axiomatic Thought [1918], [03]) | |
| A reaction: This is the confident (I would say 'essentialist') view of axioms, which received a bit of a setback with Gödel's Theorems. I certainly agree that the world proposes an order to us - we don't just randomly invent one that suits us. |
| 17966 | Axioms must reveal their dependence (or not), and must be consistent [Hilbert] |
| Full Idea: If a theory is to serve its purpose of orienting and ordering, it must first give us an overview of the independence and dependence of its propositions, and second give a guarantee of the consistency of all of the propositions. | |
| From: David Hilbert (Axiomatic Thought [1918], [09]) | |
| A reaction: Gödel's Second theorem showed that the theory can never prove its own consistency, which made the second Hilbert requirement more difficult. It is generally assumed that each of the axioms must be independent of the others. |
| 17967 | To decide some questions, we must study the essence of mathematical proof itself [Hilbert] |
| Full Idea: It is necessary to study the essence of mathematical proof itself if one wishes to answer such questions as the one about decidability in a finite number of operations. | |
| From: David Hilbert (Axiomatic Thought [1918], [53]) |
| 17965 | The whole of Euclidean geometry derives from a basic equation and transformations [Hilbert] |
| Full Idea: The linearity of the equation of the plane and of the orthogonal transformation of point-coordinates is completely adequate to produce the whole broad science of spatial Euclidean geometry purely by means of analysis. | |
| From: David Hilbert (Axiomatic Thought [1918], [05]) | |
| A reaction: This remark comes from the man who succeeded in producing modern axioms for geometry (in 1897), so he knows what he is talking about. We should not be wholly pessimistic about Hilbert's ambitious projects. He had to dig deeper than this idea... |
| 17964 | Number theory just needs calculation laws and rules for integers [Hilbert] |
| Full Idea: The laws of calculation and the rules of integers suffice for the construction of number theory. | |
| From: David Hilbert (Axiomatic Thought [1918], [05]) | |
| A reaction: This is the confident Hilbert view that the whole system can be fully spelled out. Gödel made this optimism more difficult. |
| 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. |
| 17968 | By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert] |
| Full Idea: By pushing ahead to ever deeper layers of axioms ...we also win ever-deeper insights into the essence of scientific thought itself, and become ever more conscious of the unity of our knowledge. | |
| From: David Hilbert (Axiomatic Thought [1918], [56]) | |
| A reaction: This is the less fashionable idea that scientific essentialism can also be applicable in the mathematic sciences, centring on the project of axiomatisation for logic, arithmetic, sets etc. |
| 5994 | Is the cosmos open or closed, mechanical or teleological, alive or inanimate, and created or eternal? [Robinson,TM, by PG] |
| Full Idea: The four major disputes in classical cosmology were whether the cosmos is 'open' or 'closed', whether it is explained mechanistically or teleologically, whether it is alive or mere matter, and whether or not it has a beginning. | |
| From: report of T.M. Robinson (Classical Cosmology (frags) [1997]) by PG - Db (ideas) | |
| A reaction: A nice summary. The standard modern view is closed, mechanistic, inanimate and non-eternal. But philosophers can ask deeper questions than physicists, and I say we are entitled to speculate when the evidence runs out. |