Combining Philosophers

All the ideas for Kenneth Kunen, Peter E. Pormann and Michael Smith

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

33 ideas

1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
23728 Analysis aims to express the full set of platitudes surrounding a given concept [Smith,M]
2. Reason / D. Definition / 1. Definitions
23744 Defining a set of things by paradigms doesn't pin them down enough [Smith,M]
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]
8. Modes of Existence / A. Relations / 4. Formal Relations / b. Equivalence relation
18465 An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen]
18. Thought / A. Modes of Thought / 5. Rationality / a. Rationality
23743 Capturing all the common sense facts about rationality is almost impossible [Smith,M]
20. Action / C. Motives for Action / 1. Acting on Desires
23739 Goals need desires, and so only desires can motivate us [Smith,M]
23724 A pure desire could be criticised if it were based on a false belief [Smith,M]
23736 A person can have a desire without feeling it [Smith,M]
23723 In the Humean account, desires are not true/false, or subject to any rational criticism [Smith,M]
23735 Subjects may be fallible about the desires which explain their actions [Smith,M]
23738 Humeans (unlike their opponents) say that desires and judgements can separate [Smith,M]
23742 If first- and second-order desires conflict, harmony does not require the second-order to win [Smith,M]
23746 Objective reasons to act might be the systematic desires of a fully rational person [Smith,M]
20. Action / C. Motives for Action / 3. Acting on Reason / a. Practical reason
23733 Motivating reasons are psychological, while normative reasons are external [Smith,M]
23740 Humeans take maximising desire satisfaction as the normative reasons for actions [Smith,M]
23745 We cannot expect even fully rational people to converge on having the same desires for action [Smith,M]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / h. Against ethics
23731 'Externalists' say moral judgements are not reasons, and maybe not even motives [Smith,M]
23732 A person could make a moral judgement without being in any way motivated by it [Smith,M]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / b. Rational ethics
23729 Moral internalism says a judgement of rightness is thereby motivating [Smith,M]
23730 'Rationalism' says the rightness of an action is a reason to perform it [Smith,M]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / h. Expressivism
23727 Expressivists count attitudes as 'moral' if they concern features of things, rather than their mere existence [Smith,M]
22. Metaethics / B. Value / 1. Nature of Value / a. Nature of value
23741 Is valuing something a matter of believing or a matter of desiring? [Smith,M]
22. Metaethics / B. Value / 2. Values / d. Health
22237 The Greeks had a single word meaning both 'beautiful' and 'good' [Pormann]