Combining Philosophers

All the ideas for Halbach,V/Leigh,G.E., Christine M. Korsgaard and Hilbert,D/Ackermann,W

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

22 ideas

3. Truth / A. Truth Problems / 2. Defining Truth
19125 If we define truth, we can eliminate it [Halbach/Leigh]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth
19128 If a language cannot name all objects, then satisfaction must be used, instead of unary truth [Halbach/Leigh]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
19120 Semantic theories need a powerful metalanguage, typically including set theory [Halbach/Leigh]
3. Truth / F. Semantic Truth / 2. Semantic Truth
19127 The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
19124 A natural theory of truth plays the role of reflection principles, establishing arithmetic's soundness [Halbach/Leigh]
19126 If deflationary truth is not explanatory, truth axioms should be 'conservative', proving nothing new [Halbach/Leigh]
3. Truth / G. Axiomatic Truth / 2. FS Truth Axioms
19129 The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh]
3. Truth / G. Axiomatic Truth / 3. KF Truth Axioms
19130 KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh]
4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
17750 The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
8. Modes of Existence / B. Properties / 12. Denial of Properties
19121 We can reduce properties to true formulas [Halbach/Leigh]
8. Modes of Existence / E. Nominalism / 1. Nominalism / c. Nominalism about abstracta
19122 Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh]
16. Persons / A. Concept of a Person / 4. Persons as Agents
9758 To make sense of personal identity, focus on agency rather than experience [Korsgaard]
9757 A person viewed as an agent makes no sense without its own future [Korsgaard]
20. Action / A. Definition of Action / 1. Action Theory
9759 Theory of action focuses on explanation and prediction; practical action on justification and choice [Korsgaard]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / b. Rational ethics
18678 Maybe final value rests on the extrinsic property of being valued by a rational agent [Korsgaard, by Orsi]
22. Metaethics / B. Value / 1. Nature of Value / f. Ultimate value
18225 If we can't reason about value, we can reason about the unconditional source of value [Korsgaard]
18228 An end can't be an ultimate value just because it is useless! [Korsgaard]
22. Metaethics / B. Value / 2. Values / i. Self-interest
9760 Self-concern may be a source of pain, or a lack of self-respect, or a failure of responsibility [Korsgaard]
22. Metaethics / C. The Good / 1. Goodness / b. Types of good
18224 Goodness is given either by a psychological state, or the attribution of a property [Korsgaard]
23. Ethics / A. Egoism / 1. Ethical Egoism
9761 Personal concern for one's own self widens out into concern for the impersonal [Korsgaard]
23. Ethics / C. Virtue Theory / 3. Virtues / g. Contemplation
18233 Contemplation is final because it is an activity which is not a process [Korsgaard]
18226 For Aristotle, contemplation consists purely of understanding [Korsgaard]