18189
|
ZFC could contain a contradiction, and it can never prove its own consistency [MacLane]
|
|
Full Idea:
We have at hand no proof that the axioms of ZFC for set theory will never yield a contradiction, while Gödel's second theorem tells us that such a consistency proof cannot be conducted within ZFC.
|
|
From:
Saunders MacLane (Mathematics: Form and Function [1986], p.406), quoted by Penelope Maddy - Naturalism in Mathematics
|
|
A reaction:
Maddy quotes this, while defending set theory as the foundation of mathematics, but it clearly isn't the most secure foundation that could be devised. She says the benefits of set theory do not need guaranteed consistency (p.30).
|
20752
|
For man, being is not what he is, but what he is going to be [Ortega y Gassett]
|
|
Full Idea:
Being consists not in what it is already, but in what it is not yet, a being that consists in not-yet-being. Everything else in the world is what it is….Man is the entity that makes himself….He has to determine what he is going to be.
|
|
From:
José Ortega y Gassett (Toward a Philosophy of History [1941], p.112,201-2), quoted by Kevin Aho - Existentialism: an introduction 4 'Problem'
|
|
A reaction:
[p.112 and 201-2] This seems to be Ortega y Gasset's spin on Heidegger's concept, by adding a temporal dimension to it.
|
20756
|
Instead of having a nature, man only has a history [Ortega y Gassett]
|
|
Full Idea:
Man lives in view of the past. Man, in a word, has no nature; what he has is history. Expressed differently: what nature is to things, history is to man.
|
|
From:
José Ortega y Gassett (Toward a Philosophy of History [1941], p.217), quoted by Kevin Aho - Existentialism: an introduction 5 'Situated'
|
|
A reaction:
Makes explicit the existentialist denial of human nature. The foundation of ethics can only be total freedom, to choose both yourself and your actions. What is inescapable is the social and culture contexts. What is the role of the 'history'?
|