4 ideas
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |
Full Idea: Heyting (the intuitionist pupil of Brouwer) said that 'logic is dependent on mathematics', not the other way round. | |
From: report of Arend Heyting (Intuitionism: an Introduction [1956]) by Stewart Shapiro - Thinking About Mathematics 7.3 | |
A reaction: To me, this claim makes logicism sound much more plausible, as I don't see how mathematics could get beyond basic counting without a capacity for logical thought. Logic runs much deeper, psychologically and metaphysically. |
6027 | From the fact that some men die, we cannot infer that they all do [Philodemus] |
Full Idea: There is no necessary inference, from the fact that men familiar to us die when pierced through the heart, that all men do. | |
From: Philodemus (On Signs (damaged) [c.50 BCE], 1.3) | |
A reaction: This is scepticism about the logic of induction, long before David Hume. This is said to be a Stoic argument against Epicureans - though on the whole Stoics are not keen on scepticism. |
22241 | Don't fear god or worry about death; the good is easily got and the terrible easily cured [Philodemus] |
Full Idea: Don't fear god, Don't worry about death; What is good is easy to get, What is terrible is easy to cure. | |
From: Philodemus (Herculaneum Papyrus [c.50 BCE], 1005,4.9-14) | |
A reaction: This is known as the Four-Part Cure, and is an epicurean prayer, probably formulated by Epicurus. |
1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |
Full Idea: The Egyptians were the first to claim that the soul of a human being is immortal, and that each time the body dies the soul enters another creature just as it is being born. | |
From: Herodotus (The Histories [c.435 BCE], 2.123.2) |