20 ideas
| 13030 | Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen] |
| Full Idea: Axiom of Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y). That is, a set is determined by its members. If every z in one set is also in the other set, then the two sets are the same. | |
| From: Kenneth Kunen (Set Theory [1980], §1.5) |
| 13032 | Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen] |
| Full Idea: Axiom of Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z). Any pair of entities must form a set. | |
| From: Kenneth Kunen (Set Theory [1980], §1.6) | |
| A reaction: Repeated applications of this can build the hierarchy of sets. |
| 13033 | Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen] |
| Full Idea: Axiom of Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A). That is, the union of a set (all the members of the members of the set) must also be a set. | |
| From: Kenneth Kunen (Set Theory [1980], §1.6) |
| 13037 | Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen] |
| Full Idea: Axiom of Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x). That is, there is a set which contains zero and all of its successors, hence all the natural numbers. The principal of induction rests on this axiom. | |
| From: Kenneth Kunen (Set Theory [1980], §1.7) |
| 13038 | Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen] |
| Full Idea: Power Set Axiom: ∀x ∃y ∀z(z ⊂ x → z ∈ y). That is, there is a set y which contains all of the subsets of a given set. Hence we define P(x) = {z : z ⊂ x}. | |
| From: Kenneth Kunen (Set Theory [1980], §1.10) |
| 13034 | Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen] |
| Full Idea: Axiom of Replacement Scheme: ∀x ∈ A ∃!y φ(x,y) → ∃Y ∀X ∈ A ∃y ∈ Y φ(x,y). That is, any function from a set A will produce another set Y. | |
| From: Kenneth Kunen (Set Theory [1980], §1.6) |
| 13039 | Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen] |
| Full Idea: Axiom of Foundation: ∀x (∃y(y ∈ x) → ∃y(y ∈ x ∧ ¬∃z(z ∈ x ∧ z ∈ y))). Aka the 'Axiom of Regularity'. Combined with Choice, it means there are no downward infinite chains. | |
| From: Kenneth Kunen (Set Theory [1980], §3.4) |
| 13036 | Choice: ∀A ∃R (R well-orders A) [Kunen] |
| Full Idea: Axiom of Choice: ∀A ∃R (R well-orders A). That is, for every set, there must exist another set which imposes a well-ordering on it. There are many equivalent versions. It is not needed in elementary parts of set theory. | |
| From: Kenneth Kunen (Set Theory [1980], §1.6) |
| 13029 | Set Existence: ∃x (x = x) [Kunen] |
| Full Idea: Axiom of Set Existence: ∃x (x = x). This says our universe is non-void. Under most developments of formal logic, this is derivable from the logical axioms and thus redundant, but we do so for emphasis. | |
| From: Kenneth Kunen (Set Theory [1980], §1.5) |
| 13031 | Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen] |
| Full Idea: Comprehension Scheme: for each formula φ without y free, the universal closure of this is an axiom: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ). That is, there must be a set y if it can be defined by the formula φ. | |
| From: Kenneth Kunen (Set Theory [1980], §1.5) | |
| A reaction: Unrestricted comprehension leads to Russell's paradox, so restricting it in some way (e.g. by the Axiom of Specification) is essential. |
| 13040 | Constructibility: V = L (all sets are constructible) [Kunen] |
| Full Idea: Axiom of Constructability: this is the statement V = L (i.e. ∀x ∃α(x ∈ L(α)). That is, the universe of well-founded von Neumann sets is the same as the universe of sets which are actually constructible. A possible axiom. | |
| From: Kenneth Kunen (Set Theory [1980], §6.3) |
| 9052 | Vague predicates lack application; there are no borderline cases; vague F is not F [Unger, by Keefe/Smith] |
| Full Idea: In a slogan, Unger's thesis is that all vague predicates lack application ('nihilism', says Williamson). Classical logic can be retained in its entirety. There are no borderline cases: for vague F, everything is not F; nothing is either F or borderline F. | |
| From: report of Peter Unger (There are no ordinary things [1979]) by R Keefe / P Smith - Intro: Theories of Vagueness §1 | |
| A reaction: Vague F could be translated as 'I'm quite tempted to apply F', in which case Unger is right. This would go with Russell's view. Logic and reason need precise concepts. The only strategy with vagueness is to reason hypothetically. |
| 7720 | Two things can only resemble one another in some respect, and that may reintroduce a universal [Lowe] |
| Full Idea: A problem for resemblance nominalism is that in saying that two particulars 'resemble' one another, it is necessary to specify in what respect they do so (e.g. colour, shape, size), and this threatens to reintroduce what appears to be talk of universals. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.7) | |
| A reaction: We see resemblance between faces instantly, long before we can specify the 'respects' of the resemblance. This supports the Humean hard-wired view of resemblance, rather than some appeal to Platonic universals. |
| 16070 | There are no objects with proper parts; there are only mereological simples [Unger, by Wasserman] |
| Full Idea: Eliminativism is often associated with Unger, who defends 'mereological nihilism', that there are no composite objects (objects with proper parts); there are only mereological simples (with no proper parts). The nihilist denies statues and ships. | |
| From: report of Peter Unger (There are no ordinary things [1979]) by Ryan Wasserman - Material Constitution 4 | |
| A reaction: The puzzle here is that he has a very clear notion of identity for the simples, but somehow bars combinations from having identity. So identity is simplicity? 'Complex identity' doesn't sound like an oxymoron. We're stuck if there are no simples. |
| 7712 | On substances, Leibniz emphasises unity, Spinoza independence, Locke relations to qualities [Lowe] |
| Full Idea: Later philosophers emphasised different strands of Aristotle's concept of substances: Leibniz (in his theory of monads) emphasised their unity; Spinoza emphasised their ontological independence; Locke emphasised their role in relation to qualities. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.4) | |
| A reaction: Note that this Aristotelian idea had not been jettisoned in the late seventeenth century, unlike other Aristotelianisms. I think it is only with the success of atomism in chemistry that the idea of substance is forced to recede. |
| 7710 | Perception is a mode of belief-acquisition, and does not involve sensation [Lowe] |
| Full Idea: According to one school of thought, perception is simply a mode of belief-acquisition,and there is no reason to suppose that any element of sensation is literally involved in perception. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.3) | |
| A reaction: Blindsight would be an obvious supporting case for this view. I think this point is crucial in understanding what is wrong with Jackson's 'knowledge argument' (involving Mary, see Idea 7377). Sensation gives knowledge, so it can't be knowledge. |
| 7711 | Science requires a causal theory - perception of an object must be an experience caused by the object [Lowe] |
| Full Idea: Only a causal theory of perception will respect the facts of physiology and physics ...meaning a theory which maintains that for a subject to perceive a physical object the subject should enjoy some appropriate perceptual experience caused by the object. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.3) | |
| A reaction: If I hallucinate an object, then presumably I am not allowed to say that I 'perceive' it, but that seems to make the causal theory an idle tautology. If we are in virtual reality then there aren't any objects. |
| 7714 | Personal identity is a problem across time (diachronic) and at an instant (synchronic) [Lowe] |
| Full Idea: There is the question of the identity of a person over or across time ('diachronic' personal identity), and there is also the question of what makes for personal identity at a time ('synchronic' personal identity). | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.5) | |
| A reaction: This seems to me to be the first and most important distinction in the philosophy of personal identity, and they regularly get run together. Locke, for example, has an account of synchronic identity, which is often ignored. It applies to objects too. |
| 7715 | Mentalese isn't a language, because it isn't conventional, or a means of public communication [Lowe] |
| Full Idea: 'Mentalese' would be neither conventional nor a means of public communication so that even to call it a language is seriously misleading. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.7) | |
| A reaction: It is, however, supposed to contain symbolic representations which are then used as tokens for computation, so it seems close to a language, if (for example) symbolic logic or mathematics were accepted as languages. But who understands it? |
| 7722 | If meaning is mental pictures, explain "the cat (or dog!) is NOT on the mat" [Lowe] |
| Full Idea: If meaning is a private mental picture, what does 'the cat is NOT on the mat' mean, and how does it differ from 'the dog is not on the mat?'. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.7) | |
| A reaction: Not insurmountable. We picture an empty mat, combined with a cat (or whatever) located somewhere else. A mental 'picture' of something shouldn't be contrued as a single image in a neat black frame. |