19 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) |
| 13856 | Conditionals are truth-functional, but we must take care with misleading ones [Grice, by Edgington] |
| Full Idea: Grice argued that the truth-functional account of conditionals can withstand objections, provided that we are careful to distinguish the false from the misleadingly true. | |
| From: report of H. Paul Grice (Logic and Conversation [1975]) by Dorothy Edgington - Do Conditionals Have Truth Conditions? 2 |
| 8948 | The odd truth table for material conditionals is explained by conversational conventions [Grice, by Fisher] |
| Full Idea: According to Grice, it is the rules that govern conversation beyond the merely logical that account for the counter-intuitiveness of the truth table for the material conditional. | |
| From: report of H. Paul Grice (Logic and Conversation [1975]) by Jennifer Fisher - On the Philosophy of Logic 8.I | |
| A reaction: There is a conversational rule which says that replies should normally relevant to context. It would be nice if logical implications were also relevant to context. |
| 13767 | Conditionals might remain truth-functional, despite inappropriate conversational remarks [Edgington on Grice] |
| Full Idea: Grice defended the truth-functional account of conditionals, noting the gap between what we are justified in believing and what is appropriate to say. .But the problem arises at the level of belief, not at the level of inappropriate conversational remarks | |
| From: comment on H. Paul Grice (Logic and Conversation [1975]) by Dorothy Edgington - Conditionals 17.1.3 |
| 14277 | A person can be justified in believing a proposition, though it is unreasonable to actually say it [Grice, by Edgington] |
| Full Idea: Grice drew attention to situations in which a person is justified in believing a proposition, which would nevertheless by an unreasonable thing for the person to say, in normal circumstances. I think he is right about disjunction and negated conjunctions. | |
| From: report of H. Paul Grice (Logic and Conversation [1975]) by Dorothy Edgington - Conditionals (Stanf) 2.4 | |
| A reaction: Edgington considers Grice's ideas of implicature as of permanent value, especially as a clarification of 1950s ordinary language philosophy. |
| 3488 | Freud treats the unconscious as intentional and hence mental [Freud, by Searle] |
| Full Idea: Freud thinks that our unconscious mental states exist as occurrent intrinsic intentional states even when unconscious. Their ontology is that of the mental, even when they are unconscious. | |
| From: report of Sigmund Freud (works [1900]) by John Searle - The Rediscovery of the Mind Ch. 7.V | |
| A reaction: Searle states this view in order to attack it. Whether such states are labelled as 'mental' seems uninteresting. Whether unconscious states can be intentional is crucial, and modern scientific understanding of the brain strongly suggest they can. |
| 5689 | Freud and others have shown that we don't know our own beliefs, feelings, motive and attitudes [Freud, by Shoemaker] |
| Full Idea: Freud persuaded many that beliefs, wishes and feelings are sometimes unconscious, and even sceptics about Freud acknowledge that there is self-deception about motive and attitudes. | |
| From: report of Sigmund Freud (works [1900]) by Sydney Shoemaker - Introspection p.396 | |
| A reaction: This seems to me obviously correct. The traditional notion is that the consciousness is the mind, but now it seems obvious that consciousness is only one part of the mind, and maybe even a peripheral (epiphenomenal) part of it. |
| 23950 | Freud said passions are pressures of some flowing hydraulic quantity [Freud, by Solomon] |
| Full Idea: Freud argued that the passions in general …were the pressures of a yet unknown 'quantity' (which he simply designated 'Q'). He first thought this flowed through neurones, …and always couched the idea in the language of hydraulics. | |
| From: report of Sigmund Freud (works [1900]) by Robert C. Solomon - The Passions 3.4 | |
| A reaction: This is the main target of Solomon's criticism, because its imagery has become so widespread. It leads to talk of suppressing emotions, or sublimating them. However, it is not too different from Nietzsche's 'drives' or 'will to power'. |
| 22344 | Freud is pessimistic about human nature; it is ambivalent motive and fantasy, rather than reason [Freud, by Murdoch] |
| Full Idea: Freud takes a thoroughly pessimistic view of human nature. ...Introspection reveals only the deep tissue of ambivalent motive, and fantasy is a stronger force than reason. Objectivity and unselfishness are not natural to human beings. | |
| From: report of Sigmund Freud (works [1900], II) by Iris Murdoch - The Sovereignty of Good II | |
| A reaction: Interesting. His view seems to have coloured the whole of modern culture, reinforced by the hideous irrationality of the Nazis. Adorno and Horkheimer attacking the Enlightenment was the last step in that process. |