12 ideas
| 3745 | Must sentences make statements to qualify for truth? [O'Connor] |
| Full Idea: Maybe a sentence is not a candidate for truth until it is used to make a statement. | |
| From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.6) |
| 3742 | Beliefs must match facts, but also words must match beliefs [O'Connor] |
| Full Idea: Our beliefs must claim a correspondence with facts, and then the verbal expression of the belief must correspond to the belief itself. | |
| From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.4) |
| 3744 | The semantic theory requires sentences as truth-bearers, not propositions [O'Connor] |
| Full Idea: The Semantic Theory of truth requires that sentences are truth-bearers (rather than statements, or propositions). | |
| From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.6) |
| 3749 | What does 'true in English' mean? [O'Connor] |
| Full Idea: We do not seem to have any use in ordinary discourse for phrases like 'true in English', 'false in German'. | |
| From: D.J. O'Connor (The Correspondence Theory of Truth [1975], II.1) |
| 3746 | Logic seems to work for unasserted sentences [O'Connor] |
| Full Idea: If sentences can have truth-values only when they occur as asserted, it would be impossible to have a truth-functional basis to logic. | |
| From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.6) |
| 13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
| Full Idea: Archimedes gave a sort of definition of 'straight line' when he said it is the shortest line between two points. | |
| From: report of Archimedes (fragments/reports [c.240 BCE]) by Gottfried Leibniz - New Essays on Human Understanding 4.13 | |
| A reaction: Commentators observe that this reduces the purity of the original Euclidean axioms, because it involves distance and measurement, which are absent from the purest geometry. |
| 3747 | Events are fast changes which are of interest to us [O'Connor] |
| Full Idea: The standard cases of events are physical changes which happen sufficiently fast to be observed as changes, and which are of sufficient interest to us to be noticed or commented on. | |
| From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.7) |
| 3748 | Without language our beliefs are particular and present [O'Connor] |
| Full Idea: Without language we would be restricted to particular beliefs about the here and now. | |
| From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.8) |
| 3743 | We can't contemplate our beliefs until we have expressed them [O'Connor] |
| Full Idea: It is only when beliefs are given some symbolic expression that they acquire the precision and stability that enables us to entertain them. | |
| From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.5) |
| 3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
| Full Idea: Turing showed that any formal process can be specified computationally, and captured by a Turing Machine. Hence logical rules (and arithmetic) could be obeyed not by someone representing and following them, but by causal organisation of the brain. | |
| From: report of Alan Turing (works [1935]) by Georges Rey - Contemporary Philosophy of Mind 8.2 | |
| A reaction: It is questionable whether logic is an entirely formal process, if it involves truth. You would need an entirely formal notion of truth for that. But a brain can do whatever a flow diagram can do. |
| 3979 | The Turing Machine is the best idea yet about how the mind works [Fodor on Turing] |
| Full Idea: Alan Turing had (in his theory of the 'Turing Machine') what I suppose is the best thought about how the mind works that anyone has had so far. | |
| From: comment on Alan Turing (Computing Machinery and Intelligence [1950]) by Jerry A. Fodor - Jerry A. Fodor on himself p.296 | |
| A reaction: I am not convinced, because I don't think rationality is possible without consciousness. The brain may bypass the representations used by a computer. |
| 5321 | In 50 years computers will successfully imitate humans with a 70% success rate [Turing] |
| Full Idea: In about fifty years' time it will be possible to program computers to play the imitation game so well that an average interrogator will not have more than 70% chance of making the right identification after five minutes of questioning. | |
| From: Alan Turing (Computing Machinery and Intelligence [1950], p.57), quoted by Robert Kirk - Mind and Body §5.9 | |
| A reaction: This is the famous prophecy called 'The Turing Test'. The current state (2004) seems to be that the figure of 70% is very near, but no one sees much prospect of advancing much further in the next 100 years. Dennett sees jokes as a big problem. |