Combining Texts

All the ideas for 'Discourse on Metaphysics', 'Axiomatic Theories of Truth (2013 ver)' and 'works'

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


24 ideas

1. Philosophy / G. Scientific Philosophy / 3. Scientism
Philosophy is not separate from or above empirical science [Neurath]
2. Reason / B. Laws of Thought / 6. Ockham's Razor
Reason avoids multiplying hypotheses or principles [Leibniz]
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 / 1. Powers
The immediate cause of movements is more real [than geometry] [Leibniz]
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 / B. Unity of Objects / 2. Substance / a. Substance
The complete notion of a substance implies all of its predicates or attributes [Leibniz]
9. Objects / B. Unity of Objects / 2. Substance / c. Types of substance
Substances mirror God or the universe, each from its own viewpoint [Leibniz]
9. Objects / C. Structure of Objects / 2. Hylomorphism / b. Form as principle
Forms are of no value in physics, but are indispensable in metaphysics [Leibniz]
9. Objects / D. Essence of Objects / 1. Essences of Objects
Subjects include predicates, so full understanding of subjects reveals all the predicates [Leibniz]
10. Modality / E. Possible worlds / 3. Transworld Objects / d. Haecceitism
Leibniz is some form of haecceitist [Leibniz, by Cover/O'Leary-Hawthorne]
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
Knowledge doesn't just come from the senses; we know the self, substance, identity, being etc. [Leibniz]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / a. Memory is Self
If a person's memories became totally those of the King of China, he would be the King of China [Leibniz]
16. Persons / F. Free Will / 1. Nature of Free Will
Future contingent events are certain, because God foresees them, but that doesn't make them necessary [Leibniz]
16. Persons / F. Free Will / 6. Determinism / a. Determinism
People argue for God's free will, but it isn't needed if God acts in perfection following supreme reason [Leibniz]
17. Mind and Body / A. Mind-Body Dualism / 4. Occasionalism
Mind and body can't influence one another, but God wouldn't intervene in the daily routine [Leibniz]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / a. Preconditions for ethics
Animals lack morality because they lack self-reflection [Leibniz]