5 ideas
21953 | For Heidegger there is 'ontic' truth or 'uncoveredness', as in "he is a true friend" [Heidegger, by Wrathall] |
Full Idea: We say things like 'he is a true friend'. Heidegger calls this kind of truth 'ontic truth' or the 'uncoveredness' of entities. | |
From: report of Martin Heidegger (On the Essence of Truth [1935]) by Mark Wrathall - Heidegger: how to read 7 | |
A reaction: [In his later essays] The example is very bad for showing a clear alternative meaning of 'true'. I presume it can only be explained in essentialist terms - an entity is 'true' if its appearance and behaviour conforms to its essence. |
15943 | Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann] |
Full Idea: Von Neumann's Limitation of Size axiom is not self-evident, and he himself admitted that it seemed too strong. | |
From: comment on John von Neumann (An Axiomatization of Set Theory [1925]) by Shaughan Lavine - Understanding the Infinite VII.1 |
13672 | All the axioms for mathematics presuppose set theory [Neumann] |
Full Idea: There is no axiom system for mathematics, geometry, and so forth that does not presuppose set theory. | |
From: John von Neumann (An Axiomatization of Set Theory [1925]), quoted by Stewart Shapiro - Foundations without Foundationalism 8.2 | |
A reaction: Von Neumann was doubting whether set theory could have axioms, and hence the whole project is doomed, and we face relativism about such things. His ally was Skolem in this. |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
Full Idea: Archelaus was the first person to say that the universe is boundless. | |
From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |