10 ideas
23367 | Even pointing a finger should only be done for a reason [Epictetus] |
Full Idea: Philosophy says it is not right even to stretch out a finger without some reason. | |
From: Epictetus (fragments/reports [c.57], 15) | |
A reaction: The key point here is that philosophy concerns action, an idea on which Epictetus is very keen. He rather despise theory. This idea perfectly sums up the concept of the wholly rational life (which no rational person would actually want to live!). |
5021 | An idea is analysed perfectly when it is shown a priori that it is possible [Leibniz] |
Full Idea: Every idea is analysed perfectly only when it is demonstrated a priori that it is possible. | |
From: Gottfried Leibniz (Of Organum or Ars Magna of Thinking [1679], p.3) | |
A reaction: I take it he means metaphysical possibility, rather than natural, or we can't think about pigs flying. He probably has maths in mind. Seeing the possibility of something may well amount to understanding its truth conditions. |
8679 | We perceive the objects of set theory, just as we perceive with our senses [Gödel] |
Full Idea: We have something like perception of the objects of set theory, shown by the axioms forcing themselves on us as being true. I don't see why we should have less confidence in this kind of perception (i.e. mathematical intuition) than in sense perception. | |
From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], p.483), quoted by Michčle Friend - Introducing the Philosophy of Mathematics 2.4 | |
A reaction: A famous strong expression of realism about the existence of sets. It is remarkable how the ingredients of mathematics spread themselves before the mind like a landscape, inviting journeys - but I think that just shows how minds cope with abstractions. |
9942 | Gödel proved the classical relative consistency of the axiom V = L [Gödel, by Putnam] |
Full Idea: Gödel proved the classical relative consistency of the axiom V = L (which implies the axiom of choice and the generalized continuum hypothesis). This established the full independence of the continuum hypothesis from the other axioms. | |
From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by Hilary Putnam - Mathematics without Foundations | |
A reaction: Gödel initially wanted to make V = L an axiom, but the changed his mind. Maddy has lots to say on the subject. |
18062 | Set-theory paradoxes are no worse than sense deception in physics [Gödel] |
Full Idea: The set-theoretical paradoxes are hardly any more troublesome for mathematics than deceptions of the senses are for physics. | |
From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], p.271), quoted by Philip Kitcher - The Nature of Mathematical Knowledge 03.4 |
10868 | The Continuum Hypothesis is not inconsistent with the axioms of set theory [Gödel, by Clegg] |
Full Idea: Gödel proved that the Continuum Hypothesis was not inconsistent with the axioms of set theory. | |
From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by Brian Clegg - Infinity: Quest to Think the Unthinkable Ch.15 |
13517 | If set theory is consistent, we cannot refute or prove the Continuum Hypothesis [Gödel, by Hart,WD] |
Full Idea: Gödel proved that (if set theory is consistent) we cannot refute the continuum hypothesis, and Cohen proved that (if set theory is consistent) we cannot prove it either. | |
From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by William D. Hart - The Evolution of Logic 10 |
10271 | Basic mathematics is related to abstract elements of our empirical ideas [Gödel] |
Full Idea: Evidently the 'given' underlying mathematics is closely related to the abstract elements contained in our empirical ideas. | |
From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], Suppl) | |
A reaction: Yes! The great modern mathematical platonist says something with which I can agree. He goes on to hint at a platonic view of the structure of the empirical world, but we'll let that pass. |
5020 | Our thoughts are either dependent, or self-evident. All thoughts seem to end in the self-evident [Leibniz] |
Full Idea: Whatever is thought by us is either conceived through itself, or involves the concept of another. …Thus one must proceed to infinity, or all thoughts are resolved into those which are conceived through themselves. | |
From: Gottfried Leibniz (Of Organum or Ars Magna of Thinking [1679], p.1) | |
A reaction: This seems to embody the rationalist attitude to foundations. I am sympathetic. Experiences just come to us as basic, but they don't qualify as 'thoughts', let alone knowledge. Experiences are more 'given' than 'conceptual'. |
5019 | Supreme human happiness is the greatest possible increase of his perfection [Leibniz] |
Full Idea: The supreme happiness of man consists in the greatest possible increase of his perfection. | |
From: Gottfried Leibniz (Of Organum or Ars Magna of Thinking [1679], p.1) | |
A reaction: I fear that (being a great intellectual) he had a rather intellectual interpretation of 'perfection'. This is in danger of being a tautology, but if the proposal is given an Aritotelian slant I am sympathetic. |