4 ideas
17831 | Cantor gives informal versions of ZF axioms as ways of getting from one set to another [Cantor, by Lake] |
Full Idea: Cantor gives informal versions of the axioms of ZF as ways of getting from one set to another. | |
From: report of George Cantor (Later Letters to Dedekind [1899]) by John Lake - Approaches to Set Theory 1.6 | |
A reaction: Lake suggests that it should therefore be called CZF. |
16007 | I assume existence, rather than reasoning towards it [Kierkegaard] |
Full Idea: I always reason from existence, not towards existence. | |
From: Søren Kierkegaard (Philosophical Fragments [1844], p.40) | |
A reaction: Kierkegaard's important premise to help show that theistic proofs for God's existence don't actually prove existence, but develop the content of a conception. [SY] |
16013 | Nothing necessary can come into existence, since it already 'is' [Kierkegaard] |
Full Idea: Can the necessary come into existence? That is a change, and everything that comes into existence demonstrates that it is not necessary. The necessary already 'is'. | |
From: Søren Kierkegaard (Philosophical Fragments [1844], p.74) | |
A reaction: [SY] |
6017 | Nomos is king [Pindar] |
Full Idea: Nomos is king. | |
From: Pindar (poems [c.478 BCE], S 169), quoted by Thomas Nagel - The Philosophical Culture | |
A reaction: This seems to be the earliest recorded shot in the nomos-physis wars (the debate among sophists about moral relativism). It sounds as if it carries the full relativist burden - that all that matters is what has been locally decreed. |