Combining Texts

All the ideas for 'Locke on Essences and Kinds', 'A Materialist Theory of Mind (Rev)' and 'Axiomatic Theories of Truth (2013 ver)'

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


19 ideas

3. Truth / A. Truth Problems / 2. Defining Truth
If we define truth, we can eliminate it [Halbach/Leigh]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth
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
Semantic theories need a powerful metalanguage, typically including set theory [Halbach/Leigh]
3. Truth / F. Semantic Truth / 2. Semantic Truth
The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
A natural theory of truth plays the role of reflection principles, establishing arithmetic's soundness [Halbach/Leigh]
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
The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh]
3. Truth / G. Axiomatic Truth / 3. KF Truth Axioms
KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh]
8. Modes of Existence / B. Properties / 12. Denial of Properties
We can reduce properties to true formulas [Halbach/Leigh]
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / a. Dispositions
To be realists about dispositions, we can only discuss them through their categorical basis [Armstrong]
8. Modes of Existence / E. Nominalism / 1. Nominalism / c. Nominalism about abstracta
Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh]
9. Objects / D. Essence of Objects / 13. Nominal Essence
If kinds depend only on what can be observed, many underlying essences might produce the same kind [Eagle]
Nominal essence are the observable properties of things [Eagle]
Nominal essence mistakenly gives equal weight to all underlying properties that produce appearances [Eagle]
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / d. Secondary qualities
Armstrong suggests secondary qualities are blurred primary qualities [Armstrong, by Robinson,H]
16. Persons / C. Self-Awareness / 1. Introspection
A mental state without belief refutes self-intimation; a belief with no state refutes infallibility [Armstrong, by Shoemaker]
17. Mind and Body / C. Functionalism / 4. Causal Functionalism
If pains are defined causally, and research shows that the causal role is physical, then pains are physical [Armstrong, by Lycan]
Armstrong and Lewis see functionalism as an identity of the function and its realiser [Armstrong, by Heil]
26. Natural Theory / B. Natural Kinds / 4. Source of Kinds
Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle]