21 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) |
| 19271 | No rule can be fully explained [Kripke] |
| Full Idea: Every explanation of a rule could conceivably be misunderstood. | |
| From: Saul A. Kripke (Wittgenstein on Rules and Private Language [1982], 3) | |
| A reaction: This is Kripke's summary of what he takes to be Wittgenstein's scepticism about rules. |
| 19269 | 'Quus' means the same as 'plus' if the ingredients are less than 57; otherwise it just produces 5 [Kripke] |
| Full Idea: I will define 'quus' by x-quus-y = x + y, if x, y < 57, and otherwise it equals 5. Who is to say that this is not the function I previously meant by '+'? | |
| From: Saul A. Kripke (Wittgenstein on Rules and Private Language [1982], 2) | |
| A reaction: Kripke's famous example, to illustrate the big new scepticism introduced by Wittgenstein's questions about the rationality of following a rule. I suspect that you have to delve into psychology to understand rule-following, rather than logic. |
| 7305 | Kripke's Wittgenstein says meaning 'vanishes into thin air' [Kripke, by Miller,A] |
| Full Idea: Quine and Kripke's Wittgenstein attempt to argue that there are no facts about meaning, that the notion of meaning, as Kripke puts it, 'vanishes into thin air'. | |
| From: report of Saul A. Kripke (Wittgenstein on Rules and Private Language [1982]) by Alexander Miller - Philosophy of Language Pref | |
| A reaction: A tempting solution to the problem. If, though, it is possible for someone to say something that is self-evidently meaningless, or to accuse someone of speaking (deep down) without meaning, then that needs explaining. |
| 19270 | If you ask what is in your mind for following the addition rule, meaning just seems to vanish [Kripke] |
| Full Idea: What can there be in my mind that I make use of when I follow a general rule to add in the future? It seems that the entire idea of meaning vanishes into thin air. | |
| From: Saul A. Kripke (Wittgenstein on Rules and Private Language [1982], 2) | |
| A reaction: Introspection probably isn't the best way to investigate the phenomenon of meaning. Indeed it seems rather old-fashioned and Cartesian. Kripke says, though, that seeking 'tacit' rules is even worse [end of note 22]. |
| 11076 | Community implies assertability-conditions rather than truth-conditions semantics [Kripke, by Hanna] |
| Full Idea: If we take account of the fact that a speaker is in a community, then we must adopt an assertability-conditions semantics (based on what is legitimately assertible), and reject truth-conditional semantics (based on correspondence to the facts). | |
| From: report of Saul A. Kripke (Wittgenstein on Rules and Private Language [1982]) by Robert Hanna - Rationality and Logic 6.1 | |
| A reaction: [Part of Hanna's full summary of Kripke's argument] This sounds wrong to me. There are conditions where it is agreed that a lie should be told. Two people can be guilty of the same malapropism. |
| 11075 | The sceptical rule-following paradox is the basis of the private language argument [Kripke, by Hanna] |
| Full Idea: Kripke argues that the 'rule-following paradox' is essential to the more controversial private language argument, and introduces a radically new form of scepticism. | |
| From: report of Saul A. Kripke (Wittgenstein on Rules and Private Language [1982]) by Robert Hanna - Rationality and Logic 6.1 | |
| A reaction: It certainly seems that Kripke is right to emphasise the separateness of the two, as the paradox is quite persuasive, but the private language argument seems less so. |
| 22693 | The works we value most are in sympathy with our own moral views [John,E] |
| Full Idea: The works we tend to value most highly are ones that are in sympathy with the moral views we actually accept. | |
| From: Eileen John (Artistic Value and Opportunistic Moralism [2006], Intro) | |
| A reaction: I would have to endorse this. She admits that we may rate other works very highly, but they won't appear on our list of favourites. This fact may well distort philosophical discussions of morality and art. |
| 22694 | We should understand what is morally important in a story, without having to endorse it [John,E] |
| Full Idea: Our responses to literature should show that we grasp whatever counts as morally important within the narrative, but not necessarily that we judge and feel in the way deemed appropriate by the work. | |
| From: Eileen John (Artistic Value and Opportunistic Moralism [2006], 'Accommodating') | |
| A reaction: She gives as an example a story by Hemingway which places a high value on the courageous hunting of big game. A second example is the total amorality of a Highsmith novel. This idea seems exactly right to me. |
| 22695 | We value morality in art because that is what we care about - but it is a contingent fact [John,E] |
| Full Idea: Moral value is valuable in art because people care about moral value. This runs deep, but it is a contingent matter, and the value of morality in art hinges on art's need to provide something precious to us. | |
| From: Eileen John (Artistic Value and Opportunistic Moralism [2006], 'Contingency') | |
| A reaction: I think this is exactly right. Thrillers are written with very little moral concern, for a readership which cares about brave and exciting deeds. Even there, violence has its ethics. |
| 22692 | A work can be morally and artistically excellent, despite rejecting moral truth [John,E] |
| Full Idea: A work that rejects moral truth can be artistically excellent, in part because of its moral content. | |
| From: Eileen John (Artistic Value and Opportunistic Moralism [2006], Intr) | |
| A reaction: She cites the film 'Trainspotting', about desperate drug addicts, because it gives an amoral insight into their world. |