3 ideas
| 18469 | God might necessitate that something happen, but He is not the truth-maker for it [Smith,B] |
| Full Idea: Suppose that God wills that John kiss Mary now. God's willing thereby necessitates the truth of 'John is kissing Mary'. But God's act is not a truth-maker for this judgement. | |
| From: Barry Smith (Truth-maker Realism [1999], p.6), quoted by Fraser MacBride - Truthmakers 1.2 | |
| A reaction: The point is that truth-making relates to the fact that it happened, not what necessitated it to happen. But Armstrong might reply that his truth-maker 'necessitation' primitive is not the kind of necessitation found in worldly relations. |
| 13416 | Mathematics must be based on axioms, which are true because they are axioms, not vice versa [Tait, by Parsons,C] |
| Full Idea: The axiomatic conception of mathematics is the only viable one. ...But they are true because they are axioms, in contrast to the view advanced by Frege (to Hilbert) that to be a candidate for axiomhood a statement must be true. | |
| From: report of William W. Tait (Intro to 'Provenance of Pure Reason' [2005], p.4) by Charles Parsons - Review of Tait 'Provenance of Pure Reason' §2 | |
| A reaction: This looks like the classic twentieth century shift in the attitude to axioms. The Greek idea is that they must be self-evident truths, but the Tait-style view is that they are just the first steps in establishing a logical structure. I prefer the Greeks. |
| 3178 | A fast machine could pass all behavioural tests with a vast lookup table [Block, by Rey] |
| Full Idea: Ned Block proposes a machine (a 'blockhead') which could pass the Turing Test just by looking up responses in a vast look-up table. | |
| From: report of Ned Block (works [1984]) by Georges Rey - Contemporary Philosophy of Mind 5.3 | |
| A reaction: Once you suspected you were talking to a blockhead, I think you could catch it out in a Turing Test. How can the lookup table keep up to date with immediate experience? Ask it about your new poem. |