33 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. |
| 17867 | If a concept is not compact, it will not be presentable to finite minds [Almog] |
| Full Idea: If the notion of 'logically following' in your language is not compact, it will not be locally presentable to finite minds. | |
| From: Joseph Almog (Nature Without Essence [2010], 02) |
| 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'. |
| 17877 | The number series is primitive, not the result of some set theoretic axioms [Almog] |
| Full Idea: On Skolem's account, to 'get' the natural numbers - that primal structure - do not 'look for it' as the satisfier of some abstract (set-theoretic) axiomatic essence; start with that primitive structure. | |
| From: Joseph Almog (Nature Without Essence [2010], 12) | |
| A reaction: [Skolem 1922 and 1923] Almog says the numbers are just 0,1,2,3,4..., and not some underlying axioms. That makes it sound as if they have nothing in common, and that the successor relation is a coincidence. |
| 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) |
| 17872 | Definitionalists rely on snapshot-concepts, instead of on the real processes [Almog] |
| Full Idea: The definitionalist errs by abstracting away from differences cosmic processes, freezing real, dynamic processes in snapshot-concepts. | |
| From: Joseph Almog (Nature Without Essence [2010], 08) | |
| A reaction: You could hardly do science at all if you didn't 'abstract away from the differences in cosmic processes'. We can't write about sea-waves, because they all differ slightly? 'Electron' is a snapshot concept. |
| 17871 | Fregean meanings are analogous to conceptual essence, defining a kind [Almog] |
| Full Idea: Ever since Frege, semantic definitionalists have posited a meaning ('sinn') for a name; the meaning/sinn is their semantic analog to the conceptual essence, as ontologically defining of the kind. | |
| From: Joseph Almog (Nature Without Essence [2010], 07) |
| 17866 | Essential definition aims at existence conditions and structural truths [Almog] |
| Full Idea: The essentialist encapsulating formula is meant to be existence-exhaustive (an attribute the satisfaction of which is logically necessary and sufficient to be the thing) and truth-exhaustive (promising all the structural truths). | |
| From: Joseph Almog (Nature Without Essence [2010], 01) | |
| A reaction: [compressed] If he thinks essentialism means that one short phrase can achieve all this, then it is not surprising that Almog renounces his former essentialism in this essay. He may, however, have misunderstood. He should reread Aristotle. |
| 17868 | Surface accounts aren't exhaustive as they always allow unintended twin cases [Almog] |
| Full Idea: A surface-functional characterisation is not exhaustive. It allows unintended twins, alien intruders with different structures - water lookalikes that are not H2O and lookalike infinite structures that are not the natural numbers. | |
| From: Joseph Almog (Nature Without Essence [2010], 03) | |
| A reaction: He rests this on the claim in mathematical logic that fully expressive systems are always non-categorical (having unintended twins). Set theory is not fully categorical, but Peano Arithmetic is. Almog's main anti-essentialist argument. |
| 17870 | Alien 'tigers' can't be tigers if they are not related to our tigers [Almog] |
| Full Idea: Animals roaming jungles on some planet at the other end of the galaxy with the tiger-look and the tiger genetic make-up but with a disjoint evolutionary history are not the same species as the earthly tigers. | |
| From: Joseph Almog (Nature Without Essence [2010], 10) | |
| A reaction: I disagree. If two independent cultures build boats, they are both boats. If we manufacture a tiger which can breed with other tigers, we've made a tiger. His 'tigers' would scream for explanation, precisely because they are tigers. If not, no puzzle. |
| 17869 | Kripke and Putnam offer an intermediary between real and nominal essences [Almog] |
| Full Idea: Kripke and Putnam offer us enhanced essences, still formulable in one short sentence and locally graspable. They offer between Locke's mind-boggling definitive real essence and his mind-friendly but not definitive nominal essence. | |
| From: Joseph Almog (Nature Without Essence [2010], 04) | |
| A reaction: The solution is to add a 'deep structure' which serves both ends. |
| 17876 | Individual essences are just cobbled together classificatory predicates [Almog] |
| Full Idea: The key for the essentialist is classificatory predication. It is only a subsequent extension of this prime idea that leads us to cobble together enough such essential predications to make an individuative essential property. | |
| From: Joseph Almog (Nature Without Essence [2010], 11) | |
| A reaction: So the essence is just a cross-reference of all the ways we can think of to classify it? I don't think so. Which are the essential classifications? |
| 17873 | Water must be related to water, just as tigers must be related to tigers [Almog] |
| Full Idea: It is a blindspot to say that to be a tiger one must come from tigers, but to be water one needn't come from water. ...The error lies in not appreciating that to be water one still must come from somewhere in the cosmos, indeed, from hydrogen and oxygen. | |
| From: Joseph Almog (Nature Without Essence [2010], 09) | |
| A reaction: A unified picture is indeed desirable, but a better solution is to say that the essence of a tiger is in its structure, not in its origins. There are many ways to produce an artefact. There could be many ways to produce a tiger. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |
| 17864 | Defining an essence comes no where near giving a thing's nature [Almog] |
| Full Idea: The natures of things are neither exhausted nor even partially given by 'defining essences'. | |
| From: Joseph Almog (Nature Without Essence [2010], Intro) | |
| A reaction: A better criticism of essentialism. 'Natures' is a much vaguer word than 'essences', however, because the latter refers to what is stable and important, whereas natures could include any aspect. Being ticklish is in my nature, but not in my essence. |
| 17863 | Essences promise to reveal reality, but actually drive us away from it [Almog] |
| Full Idea: The essentialist line (one I trace to Aristotle, Descartes and Kripke) is driving us away from, not closer to, the real nature of things. It promised a sort of Hubble telescope - essences - able to reveal the deep structure of reality. | |
| From: Joseph Almog (Nature Without Essence [2010], Intro) | |
| A reaction: I suspect this is tilting at a straw man. No one thinks we should hunt for essences instead of doing normal science. 'Essence' just labels what you've got when you succeed. |