5 ideas
18844 | You would cripple mathematics if you denied Excluded Middle [Hilbert] |
Full Idea: Taking the principle of Excluded Middle away from the mathematician would be the same, say, as prohibiting the astronomer from using the telescope or the boxer from using his fists. | |
From: David Hilbert (The Foundations of Mathematics [1927], p.476), quoted by Ian Rumfitt - The Boundary Stones of Thought 9.4 | |
A reaction: [p.476 in Van Heijenoort] |
3643 | The concept of mind excludes body, and vice versa [Descartes] |
Full Idea: The concept of body includes nothing at all which belongs to the mind, and the concept of mind includes nothing at all which belongs to the body. | |
From: René Descartes (Reply to Fourth Objections [1641], 225) | |
A reaction: A headache? Hunger? The mistake, I think, is to regard the mind as entirely conscious, thus creating a sharp boundary between two aspects of our lives. As shown by blindsight, I take many of my central mental operations to be pre- or non-conscious. |
1470 | Belief in an afterlife may be unverifiable in this life, but it will be verifiable after death [Hick, by PG] |
Full Idea: Religion is capable of 'eschatological verification', by reaching evidence at the end of life, even though falsification of its claims is never found in this life; a prediction of coming to a Celestial City must await the end of the journey. | |
From: report of John Hick (Theology and Verification [1960], III) by PG - Db (ideas) |
1471 | It may be hard to verify that we have become immortal, but we could still then verify religious claims [Hick, by PG] |
Full Idea: Verification of religious claims after death is only possible if the concept of surviving death is intelligible, and we can understand the concept of immortality, despite difficulties in being certain that we had reached it. | |
From: report of John Hick (Theology and Verification [1960], IV) by PG - Db (ideas) |
1469 | Some things (e.g. a section of the expansion of PI) can be verified but not falsified [Hick, by PG] |
Full Idea: Falsification and verification are not logically equivalent. For example, you might verify the claim that there will be three consecutive sevens in the infinite expansion of PI, but you could never falsify such a claim. | |
From: report of John Hick (Theology and Verification [1960], §II) by PG - Db (ideas) |