28 ideas
1749 | If all laws were abolished, philosophers would still live as they do now [Aristippus elder] |
Full Idea: If all laws were abolished, philosophers would still live as they do now. | |
From: Aristippus the elder (fragments/reports [c.395 BCE]), quoted by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.4 | |
A reaction: Presumably philosophers develop inner laws which other people lack. |
10859 | A set is 'well-ordered' if every subset has a first element [Clegg] |
Full Idea: For a set to be 'well-ordered' it is required that every subset of the set has a first element. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.13) |
10857 | Set theory made a closer study of infinity possible [Clegg] |
Full Idea: Set theory made a closer study of infinity possible. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.13) |
10864 | Any set can always generate a larger set - its powerset, of subsets [Clegg] |
Full Idea: The idea of the 'power set' means that it is always possible to generate a bigger one using only the elements of that set, namely the set of all its subsets. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.14) |
10872 | Extensionality: Two sets are equal if and only if they have the same elements [Clegg] |
Full Idea: Axiom of Extension: Two sets are equal if and only if they have the same elements. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.15) |
10875 | Pairing: For any two sets there exists a set to which they both belong [Clegg] |
Full Idea: Axiom of Pairing: For any two sets there exists a set to which they both belong. So you can make a set out of two other sets. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.15) |
10876 | Unions: There is a set of all the elements which belong to at least one set in a collection [Clegg] |
Full Idea: Axiom of Unions: For every collection of sets there exists a set that contains all the elements that belong to at least one of the sets in the collection. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.15) |
10878 | Infinity: There exists a set of the empty set and the successor of each element [Clegg] |
Full Idea: Axiom of Infinity: There exists a set containing the empty set and the successor of each of its elements. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.15) | |
A reaction: This is rather different from the other axioms because it contains the notion of 'successor', though that can be generated by an ordering procedure. |
10877 | Powers: All the subsets of a given set form their own new powerset [Clegg] |
Full Idea: Axiom of Powers: For each set there exists a collection of sets that contains amongst its elements all the subsets of the given set. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.15) | |
A reaction: Obviously this must include the whole of the base set (i.e. not just 'proper' subsets), otherwise the new set would just be a duplicate of the base set. |
10879 | Choice: For every set a mechanism will choose one member of any non-empty subset [Clegg] |
Full Idea: Axiom of Choice: For every set we can provide a mechanism for choosing one member of any non-empty subset of the set. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.15) | |
A reaction: This axiom is unusual because it makes the bold claim that such a 'mechanism' can always be found. Cohen showed that this axiom is separate. The tricky bit is choosing from an infinite subset. |
10871 | Axiom of Existence: there exists at least one set [Clegg] |
Full Idea: Axiom of Existence: there exists at least one set. This may be the empty set, but you need to start with something. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.15) |
10874 | Specification: a condition applied to a set will always produce a new set [Clegg] |
Full Idea: Axiom of Specification: For every set and every condition, there corresponds a set whose elements are exactly the same as those elements of the original set for which the condition is true. So the concept 'number is even' produces a set from the integers. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.15) | |
A reaction: What if the condition won't apply to the set? 'Number is even' presumably won't produce a set if it is applied to a set of non-numbers. |
7334 | Anti-realism needs an intuitionist logic with no law of excluded middle [Dummett, by Miller,A] |
Full Idea: Dummett argues that antirealism implies that classical logic must be given up in favour of some form of intuitionistic logic that does not have the law of excluded middle as a theorem. | |
From: report of Michael Dummett (works [1970]) by Alexander Miller - Philosophy of Language 9.4 | |
A reaction: Only realists can think every proposition is either true or false, even if it is beyond the bounds of our possible knowledge (e.g. tiny details from remote history). Personally I think "Plato had brown eyes" is either true or false. |
10880 | Mathematics can be 'pure' (unapplied), 'real' (physically grounded); or 'applied' (just applicable) [Clegg] |
Full Idea: Three views of mathematics: 'pure' mathematics, where it doesn't matter if it could ever have any application; 'real' mathematics, where every concept must be physically grounded; and 'applied' mathematics, using the non-real if the results are real. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.17) | |
A reaction: Very helpful. No one can deny the activities of 'pure' mathematics, but I think it is undeniable that the origins of the subject are 'real' (rather than platonic). We do economics by pretending there are concepts like the 'average family'. |
10861 | Beyond infinity cardinals and ordinals can come apart [Clegg] |
Full Idea: With ordinary finite numbers ordinals and cardinals are in effect the same, but beyond infinity it is possible for two sets to have the same cardinality but different ordinals. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.13) |
10860 | An ordinal number is defined by the set that comes before it [Clegg] |
Full Idea: You can think of an ordinal number as being defined by the set that comes before it, so, in the non-negative integers, ordinal 5 is defined as {0, 1, 2, 3, 4}. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.13) |
10854 | Transcendental numbers can't be fitted to finite equations [Clegg] |
Full Idea: The 'transcendental numbers' are those irrationals that can't be fitted to a suitable finite equation, of which π is far and away the best known. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch. 6) |
10858 | By adding an axis of imaginary numbers, we get the useful 'number plane' instead of number line [Clegg] |
Full Idea: The realisation that brought 'i' into the toolkit of physicists and engineers was that you could extend the 'number line' into a new dimension, with an imaginary number axis at right angles to it. ...We now have a 'number plane'. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.12) |
10853 | Either lack of zero made early mathematics geometrical, or the geometrical approach made zero meaningless [Clegg] |
Full Idea: It is a chicken-and-egg problem, whether the lack of zero forced forced classical mathematicians to rely mostly on a geometric approach to mathematics, or the geometric approach made 0 a meaningless concept, but the two remain strongly tied together. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch. 6) |
10866 | Cantor's account of infinities has the shaky foundation of irrational numbers [Clegg] |
Full Idea: As far as Kronecker was concerned, Cantor had built a whole structure on the irrational numbers, and so that structure had no foundation at all. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.15) |
10869 | The Continuum Hypothesis is independent of the axioms of set theory [Clegg] |
Full Idea: Paul Cohen showed that the Continuum Hypothesis is independent of the axioms of set theory. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.15) |
10862 | The 'continuum hypothesis' says aleph-one is the cardinality of the reals [Clegg] |
Full Idea: The 'continuum hypothesis' says that aleph-one is the cardinality of the rational and irrational numbers. | |
From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.14) |
3303 | For anti-realists there are no natural distinctions between objects [Dummett, by Benardete,JA] |
Full Idea: Dummett says that anti-realism offers us a picture of reality as an amorphous lump not yet articulated into discrete objects. | |
From: report of Michael Dummett (works [1970]) by José A. Benardete - Metaphysics: the logical approach Ch.2 | |
A reaction: This might be called 'weak' anti-realism, where 'strong' anti-realism is the view that reality is quite unknowable, and possibly non-existent. |
3558 | Only the Cyrenaics reject the idea of a final moral end [Aristippus elder, by Annas] |
Full Idea: The Cyrenaics are the most radical ancient moral philosophers, since they are the only school explicitly to reject the importance of achieving an overall final end. | |
From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Julia Annas - The Morality of Happiness 11.1 | |
A reaction: This looks like dropping out, but it could also be Keats's 'negative capability', of simply participating in existence without needing to do anything about it. |
5835 | The road of freedom is the surest route to happiness [Aristippus elder, by Xenophon] |
Full Idea: The surest road to happiness is not the path through rule nor through servitude, but through liberty. | |
From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Xenophon - Memorabilia of Socrates 2.1.9 | |
A reaction: The great anarchist slogan. Personally I don't believe it, because I agree a little with Hobbes that authority is required to make cooperation flourish, and that is essential for full happiness. If I were a slave, I would agree with Aristippus. |
3018 | People who object to extravagant pleasures just love money [Aristippus elder, by Diog. Laertius] |
Full Idea: When blamed for buying expensive food he asked "Would you have bought it for just three obols?" When the person said yes, he said,"Then it is not that I am fond of pleasure, but that you are fond of money". | |
From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.7.4 |
1751 | Pleasure is the good, because we always seek it, it satisfies us, and its opposite is the most avoidable thing [Aristippus elder, by Diog. Laertius] |
Full Idea: Pleasure is the good because we desire it from childhood, when we have it we seek nothing further, and the most avoidable thing is its opposite, pain. | |
From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.8 |
1755 | Errors result from external influence, and should be corrected, not hated [Aristippus elder, by Diog. Laertius] |
Full Idea: Errors ought to meet with pardon, for a man does not err intentionally, but influenced by some external circumstances. We should not hate someone who has erred, but teach him better. | |
From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.9 |