4 ideas
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] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |
Full Idea: A theory of abstraction is any account that reconstructs mathematical theories using second-order abstraction principles of the form: §xFx = §xGx iff E(F,G). We ignore first-order abstraction principles such as Frege's direction abstraction. | |
From: R Cook / P Ebert (Notice of Fine's 'Limits of Abstraction' [2004], 1) | |
A reaction: Presumably part of the neo-logicist programme, which also uses such principles. The function § (extension operator) 'provides objects corresponding to the argument concepts'. The aim is to build mathematics, rather than the concept of a 'rabbit'. |
22511 | Some reasonings are stronger than we are [Philolaus] |
Full Idea: Some reasonings are stronger than we are. | |
From: Philolaus (fragments/reports [c.425 BCE]), quoted by Aristotle - Eudemian Ethics 1225a33 | |
A reaction: This endorses the Aristotle view of akrasia (as opposed to the Socratic view). This isolated remark seems to imply that we are more clearly embodiments of will than of reason. |