Combining Texts

All the ideas for 'God and Human Attributes', 'Set Theory' and 'The Causal Theory of Names'

expand these ideas     |    start again     |     specify just one area for these texts

21 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / b. Axiom of Extensionality I
13030 Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / c. Axiom of Pairing II
13032 Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / d. Axiom of Unions III
13033 Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
13037 Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / g. Axiom of Powers VI
13038 Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII
13034 Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / i. Axiom of Foundation VIII
13039 Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
13036 Choice: ∀A ∃R (R well-orders A) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / k. Axiom of Existence
13029 Set Existence: ∃x (x = x) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / n. Axiom of Comprehension
13031 Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
13040 Constructibility: V = L (all sets are constructible) [Kunen]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
9038 We must distinguish what the speaker denotes by a name, from what the name denotes [Evans]
5824 How can an expression be a name, if names can change their denotation? [Evans]
9042 A private intention won't give a name a denotation; the practice needs it to be made public [Evans]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
9041 The Causal Theory of Names is wrong, since the name 'Madagascar' actually changed denotation [Evans]
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
5825 Speakers intend to refer to items that are the source of their information [Evans]
5823 The intended referent of a name needs to be the cause of the speaker's information about it [Evans]
19. Language / B. Reference / 4. Descriptive Reference / b. Reference by description
9039 If descriptions are sufficient for reference, then I must accept a false reference if the descriptions fit [Evans]
19. Language / F. Communication / 5. Pragmatics / b. Implicature
9043 We use expressions 'deferentially', to conform to the use of other people [Evans]
19. Language / F. Communication / 6. Interpreting Language / c. Principle of charity
9040 Charity should minimize inexplicable error, rather than maximising true beliefs [Evans]
28. God / B. Proving God / 2. Proofs of Reason / c. Moral Argument
20713 God must be fit for worship, but worship abandons morally autonomy, but there is no God [Rachels, by Davies,B]