15 ideas
22820 | Early Romantics sought a plurality of systems, in a quest for freedom [Hösle] |
Full Idea: It was an early Romantic idea that there is necessarily a plurality of systems in which individuality is expressed; for a complete system would destroy freedom. | |
From: Vittorio Hösle (A Short History of German Philosophy [2013], 7) | |
A reaction: I'm not clear why you are free because you are locked into system that differs from that of other people. True freedom seems to be either no system, or continually remaking one's own system. Why is such freedom valuable? Freedom v truth? |
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) |
22819 | In the 18th century history came to be seen as progressive, rather than cyclical [Hösle] |
Full Idea: The turning point in the history of the philosophy of history occurs in the eighteenth century, when the ancient cyclical model of Vico is superseded by the idea of progress. | |
From: Vittorio Hösle (A Short History of German Philosophy [2013], 6) | |
A reaction: He says that Hegel merely inherited this progressive view, rather than creating it. I'm not sure how widely held the cyclical view was. I don't recognise it in Shakespeare. Science and technology must have suggested progress. |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
Full Idea: Archelaus was the first person to say that the universe is boundless. | |
From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |