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) |
12756 | Substance is a force for acting and being acted upon [Leibniz] |
Full Idea: The very substance in things consists of a force for acting and being acted upon. | |
From: Gottfried Leibniz (On Nature Itself (De Ipsa Natura) [1698], §08) | |
A reaction: Garber places this text just before the spiritual notion of monads took a grip on Leibniz. He seems to have thought that only some non-physical entity, with appetite and perception, could generate force. Wrong. |
12755 | Final causes can help with explanations in physics [Leibniz] |
Full Idea: Final causes not only advance virtue and piety in ethics and natural theology, but also help us to find and lay bare hidden truths in physics itself. | |
From: Gottfried Leibniz (On Nature Itself (De Ipsa Natura) [1698], §04) | |
A reaction: This rearguard action against the attack on teleology is certainly aimed at Spinoza. The notion of purpose still seems to have a role to play in evolutionary biology, but probably not in physics. |
12760 | Something rather like souls (though not intelligent) could be found everywhere [Leibniz] |
Full Idea: Nor is there any reason why souls or things analogous to souls should not be everywhere, even if dominant and consequently intelligent souls, like human souls, cannot be everywhere. | |
From: Gottfried Leibniz (On Nature Itself (De Ipsa Natura) [1698], §12) | |
A reaction: He is always flirting with panpsychism, though he doesn't seem to offer any account of how these little baby souls can be built up to create one intelligent soul, the latter being indivisible. 'Souls' are very different from things 'analous to souls'! |
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? |
12759 | There are atoms of substance, but no atoms of bulk or extension [Leibniz] |
Full Idea: Although there are atoms of substance, namely monads, which lack parts, there are no atoms of bulk [moles], that is, atoms of the least possible extension, nor are there any ultimate elements, since a continuum cannot be composed out of points. | |
From: Gottfried Leibniz (On Nature Itself (De Ipsa Natura) [1698], §11) | |
A reaction: Leibniz has a constant battle for the rest of his career to explain what these 'atoms of substance' are, since they have location but no extension, they are self-sufficient yet generate force, and are non-physical but interact with matter. |
12718 | Secondary matter is active and complete; primary matter is passive and incomplete [Leibniz] |
Full Idea: I understand matter as either secondary or primary. Secondary matter is, indeed, a complete substance, but it is not merely passive; primary matter is merely passive, but it is not a complete substance. So we must add a soul or form... | |
From: Gottfried Leibniz (On Nature Itself (De Ipsa Natura) [1698], §12), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 4 | |
A reaction: It sounds as if primary matter is redundant, but Garber suggests that secondary matter is just the combination of primary matter with form. |
11854 | If there is some trace of God in things, that would explain their natural force [Leibniz] |
Full Idea: If the law of God does indeed leave some vestige of him expressed in things...then it must be granted that there is a certain efficacy residing in things, a form or force such as we usually designate by the name of nature, from which the phenomena follow. | |
From: Gottfried Leibniz (On Nature Itself (De Ipsa Natura) [1698], §06) | |
A reaction: I wouldn't rate this as a very promising theory of powers, but it seems to me important that Leibniz recognises the innate power in things as needing explanation. If you remove divine power, you are left with unexplained intrinsic powers. |
12758 | It is plausible to think substances contain the same immanent force seen in our free will [Leibniz] |
Full Idea: If we attribute an inherent force to our mind, a force acting immanently, then nothing forbids us to suppose that the same force would be found in other souls or forms, or, if you prefer, in the nature of substances. | |
From: Gottfried Leibniz (On Nature Itself (De Ipsa Natura) [1698], §10) | |
A reaction: This is the kind of bizarre idea that you are driven to, once you start thinking that God must have a will outside nature, and then that we have the same thing. Why shouldn't such a thing pop up all over the place? Only Leibniz spots the slippery slope. |
19408 | To say that nature or the one universal substance is God is a pernicious doctrine [Leibniz] |
Full Idea: To say that nature itself or the substance of all things is God is a pernicious doctrine, recently introduced into the world or renewed by a subtle or profane author. | |
From: Gottfried Leibniz (On Nature Itself (De Ipsa Natura) [1698], 8) | |
A reaction: The dastardly profane author is, of course, Spinoza, whom Leibniz had met in 1676. The doctrine may be pernicious to religious orthodoxy, but to me it is rather baffling, since in my understanding nature and God have almost nothing in common. |