46 ideas
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. |
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) |
458 | Nothing could come out of nothing, and existence could never completely cease [Empedocles] |
Full Idea: From what in no wise exists, it is impossible for anything to come into being; for Being to perish completely is incapable of fulfilment and unthinkable. | |
From: Empedocles (fragments/reports [c.453 BCE], B012), quoted by Anon (Lyc) - On Melissus 975b1-4 |
5112 | Empedocles says things are at rest, unless love unites them, or hatred splits them [Empedocles, by Aristotle] |
Full Idea: Empedocles claims that things are alternately changing and at rest - that they are changing whenever love is creating a unity out of plurality, or hatred is creating plurality out of unity, and they are at rest in the times in between. | |
From: report of Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Physics 250b26 | |
A reaction: I suppose one must say that this an example of Ruskin's 'pathetic fallacy' - reading human emotions into the cosmos. Being constructive little creatures, we think goodness leads to construction. I'm afraid Empedocles is just wrong. |
13209 | There is no coming-to-be of anything, but only mixing and separating [Empedocles, by Aristotle] |
Full Idea: Empedocles says there is no coming-to-be of anything, but only a mingling and a divorce of what has been mingled. | |
From: report of Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 314b08 | |
A reaction: Aristotle comments that this prevents Empedocleans from distinguishing between superficial alteration and fundamental change of identity. Presumably, though, that wouldn't bother them. |
457 | Substance is not created or destroyed in mortals, but there is only mixing and exchange [Empedocles] |
Full Idea: There is no creation of substance in any one of mortal existence, nor any end in execrable death, but only mixing and exchange of what has been mixed. | |
From: Empedocles (fragments/reports [c.453 BCE], B008), quoted by Plutarch - 74: Reply to Colotes 1111f | |
A reaction: also Aristotle 314b08 |
462 | One vision is produced by both eyes [Empedocles] |
Full Idea: One vision is produced by both eyes | |
From: Empedocles (fragments/reports [c.453 BCE], B088), quoted by Strabo - works 8.364.3 |
22765 | Wisdom and thought are shared by all things [Empedocles] |
Full Idea: Wisdom and power of thought, know thou, are shared in by all things. | |
From: Empedocles (fragments/reports [c.453 BCE]), quoted by Sextus Empiricus - Against the Logicians (two books) II.286 | |
A reaction: Sextus quotes this, saying that it is 'still more paradoxical', and that it explicitly includes plants. This may mean that Empedocles was not including inanimate matter. |
1524 | For Empedocles thinking is almost identical to perception [Empedocles, by Theophrastus] |
Full Idea: Empedocles assumes that thinking is either identical to or very similar to sense-perception. | |
From: report of Empedocles (fragments/reports [c.453 BCE], A86) by Theophrastus - On the Senses 9 | |
A reaction: Not to be sniffed at. We can, of course, control our thinking (though we can't control the controller) and we contemplate abstractions, but that might be seen as a sort of perception. Vision is not as visual as we think. |
8108 | Aesthetics presupposes a distinctive sort of experience, and a unified essence for art [Gardner] |
Full Idea: Aesthetics traditionally has two presuppositions: the first is that there is a distinctive form of experience which is common to the appreciation of art and natural beauty; the second is that art has an essence or some sort of underlying unity. | |
From: Sebastian Gardner (Aesthetics [1995], Intro) | |
A reaction: Both must come up for discussion. I think the biggest problem for the first one is the place of sexual attraction, or even fancying a prawn sandwich. The second has been weakened by Marcel Duchamp's urinal, and modern fringe arts. |
8112 | Art works originate in the artist's mind, and appreciation is re-creating this mental object [Gardner] |
Full Idea: A strong tradition in aesthetics (the 'idealist' view) regards works of art as existing originally in the artist's mind, and the appreciation of art as a matter of re-creating the artist's mental object. | |
From: Sebastian Gardner (Aesthetics [1995], 2.2) | |
A reaction: He mentions Collingwood and Croce. Against this is the view (Idea 7268) that what goes on in the artist's mind is just irrelevant. Freud is important here, suggesting that the artist doesn't quite know what he or she is doing. |
8111 | Aesthetic objectivists must explain pleasure being essential, but not in the object [Gardner] |
Full Idea: The aesthetic objectivist faces the difficulty of accounting for the fact that pleasure is not in the object, and is necessary for, and not just a contingent accompaniment to, aesthetic response. | |
From: Sebastian Gardner (Aesthetics [1995], 1.2.3) | |
A reaction: The objectivist has to claim, not utterly implausibly, that if you don't get pleasure from certain works, then you 'ought' to. You can ignore a good work, but to deny that it gives pleasure is a failing in you. |
8109 | Aesthetic judgements necessarily require first-hand experience, unlike moral judgements [Gardner] |
Full Idea: I am not within my rights to declare an object beautiful until I have seen it myself, ..unlike moral judgement, which (arguably) does not presuppose either a felt response or personal acquaintance. | |
From: Sebastian Gardner (Aesthetics [1995], 1.1) | |
A reaction: Particularists might argue that moral judgements also require exposure to the actual situation, if they are to be authentic and authoritative. We can also discuss principles of aesthetics in the absence of examples. |
552 | Empedocles said good and evil were the basic principles [Empedocles, by Aristotle] |
Full Idea: Empedocles was the first to give evil and good as principles. | |
From: report of Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Metaphysics 985a | |
A reaction: Once you start to think that good and evil will only matter if they have causal powers, it is an easy step to the idea of a benevolent god, and a satanic anti-god. Otherwise the 'principles' could be ignored. |
589 | 'Nature' is just a word invented by people [Empedocles] |
Full Idea: Nature is but a word of human framing. | |
From: Empedocles (fragments/reports [c.453 BCE], B008), quoted by Aristotle - Metaphysics 1015a |
21823 | The principle of 'Friendship' in Empedocles is the One, and is bodiless [Empedocles, by Plotinus] |
Full Idea: In Empedocles we have a dividing principle, 'Strife', set against 'Friendship' - which is the One and is to him bodiless, while the elements represent matter. | |
From: report of Empedocles (fragments/reports [c.453 BCE]) by Plotinus - The Enneads 5.1.09 | |
A reaction: The first time I've seen the principle of Love in Empedocles identified with the One of Parmenides. Plotinus is a trustworthy reporter, I think, because he was well read, and had access to lost texts. |
2680 | Empedocles said that there are four material elements, and two further creative elements [Empedocles, by Aristotle] |
Full Idea: Empedocles holds that the corporeal elements are four, but that all the elements, including those which create motion, are six in number. | |
From: report of Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 314a16 |
6002 | Empedocles says bone is water, fire and earth in ratio 2:4:2 [Empedocles, by Inwood] |
Full Idea: Empedocles used numerical ratios to explain different kinds of matter; for example, bone is two parts water, four parts fire, two parts earth; and blood is an equal blend of all four elements. | |
From: report of Empedocles (fragments/reports [c.453 BCE]) by Brad Inwood - Empedocles | |
A reaction: Why isn't the ration 1:2:1? This presumably shows the influence of Pythagoras (who had also been based in Italy, like Empedocles), as well as that of the earlier naturalistic philosophers. It was a very good theory, though wrong. |
13207 | Fire, Water, Air and Earth are elements, being simple as well as homoeomerous [Empedocles, by Aristotle] |
Full Idea: Empedocles says that Fire, Water, Air and Earth are four elements, and are thus 'simple' rather than flesh, bone and bodies which, like these, are 'homoeomeries'. | |
From: report of Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 314a26 | |
A reaction: The translation is not quite clear. I take it that flesh and bone may look simple, because they are homoeomerous, but they are not really - but what is his evidence for that? Compare Idea 13208. |
459 | All change is unity through love or division through hate [Empedocles] |
Full Idea: These elements never cease their continuous exchange, sometimes uniting under the influence of Love, so that all become One, at other times again moving apart through the hostile force of Hate. | |
From: Empedocles (fragments/reports [c.453 BCE], B017), quoted by Simplicius - On Aristotle's 'Physics' 158.1- |
13218 | The elements combine in coming-to-be, but how do the elements themselves come-to-be? [Aristotle on Empedocles] |
Full Idea: Empedocles says it is evident that all the other bodies down to the 'elements' have their coming-to-be and their passing-away: but it is not clear how the 'elements' themselves, severally in their aggregated masses, come-to-be and pass-away. | |
From: comment on Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 325b20 | |
A reaction: Presumably the elements are like axioms - and are just given. How do electrons and quarks come-to-be? |
13225 | Love and Strife only explain movement if their effects are distinctive [Aristotle on Empedocles] |
Full Idea: It is not an adequate explanation to say that 'Love and Strife set things moving', unless the very nature of Love is a movement of this kind and the very nature of Strife a movement of that kind. | |
From: comment on Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 333b23 | |
A reaction: I take this to be of interest for showing Aristotle's quest for explanations, and his unwillingness to be fobbed off with anything superficial. I take a task of philosophy to be to push explanations further than others wish to go. |
460 | If the one Being ever diminishes it would no longer exist, and what could ever increase it? [Empedocles] |
Full Idea: Besides these elements, nothing else comes into being, nor does anything cease. For if they had been perishing continuously, they would Be no more; and what could increase the Whole? And whence could it have come? | |
From: Empedocles (fragments/reports [c.453 BCE], B017), quoted by Simplicius - On Aristotle's 'Physics' 158.1- |
5090 | Maybe bodies are designed by accident, and the creatures that don't work are destroyed [Empedocles, by Aristotle] |
Full Idea: Is it just an accident that teeth and other parts of the body seem to have some purpose, and creatures survive because they happen to be put together in a useful way? Everything else has been destroyed, as Empedocles says of his 'cow with human head'. | |
From: report of Empedocles (fragments/reports [c.453 BCE], 61) by Aristotle - Physics 198b29 | |
A reaction: Good grief! Has no one ever noticed that Empedocles proposed the theory of evolution? It isn't quite natural selection, because we aren't told what does the 'destroying', but it is a little flash of genius that was quietly forgotten. |
461 | God is a pure, solitary, and eternal sphere [Empedocles] |
Full Idea: God is equal in all directions to himself and altogether eternal, a rounded Sphere enjoying a circular solitude. | |
From: Empedocles (fragments/reports [c.453 BCE], B028), quoted by John Stobaeus - Anthology 1.15.2 |
466 | God is pure mind permeating the universe [Empedocles] |
Full Idea: God is mind, holy and ineffable, and only mind, which darts through the whole cosmos with its swift thought. | |
From: Empedocles (fragments/reports [c.453 BCE], B134), quoted by Ammonius - On 'De Interpretatione' 4.5.249.6 |
1719 | In Empedocles' theory God is ignorant because, unlike humans, he doesn't know one of the elements (strife) [Aristotle on Empedocles] |
Full Idea: It is a consequence of Empedocles' view that God is the most unintelligent thing, for he alone is ignorant of one of the elements, namely strife, whereas mortal creatures are familiar with them all. | |
From: comment on Empedocles (fragments/reports [c.453 BCE]) by Aristotle - De Anima 410b08 |
1522 | It is wretched not to want to think clearly about the gods [Empedocles] |
Full Idea: Wretched is he who cares not for clear thinking about the gods. | |
From: Empedocles (fragments/reports [c.453 BCE], B132), quoted by Clement - Miscellanies 5.140.5.1 |