Combining Texts

All the ideas for 'Axiomatic Theories of Truth (2005 ver)', 'Animal Rights talk' and 'Discourse on Metaphysics'

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

24 ideas

2. Reason / B. Laws of Thought / 6. Ockham's Razor
19342 Reason avoids multiplying hypotheses or principles [Leibniz]
3. Truth / A. Truth Problems / 2. Defining Truth
15647 Truth definitions don't produce a good theory, because they go beyond your current language [Halbach]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
15649 In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
15648 Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach]
15655 Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach]
15654 If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach]
15650 Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
15656 Deflationists say truth merely serves to express infinite conjunctions [Halbach]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
15657 To prove the consistency of set theory, we must go beyond set theory [Halbach]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
15652 We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach]
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
15651 Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach]
8. Modes of Existence / C. Powers and Dispositions / 1. Powers
12711 The immediate cause of movements is more real [than geometry] [Leibniz]
9. Objects / B. Unity of Objects / 2. Substance / a. Substance
19349 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
7558 Substances mirror God or the universe, each from its own viewpoint [Leibniz]
9. Objects / C. Structure of Objects / 2. Hylomorphism / b. Form as principle
16761 Forms are of no value in physics, but are indispensable in metaphysics [Leibniz]
9. Objects / D. Essence of Objects / 1. Essences of Objects
13088 Subjects include predicates, so full understanding of subjects reveals all the predicates [Leibniz]
10. Modality / E. Possible worlds / 3. Transworld Objects / d. Haecceitism
13085 Leibniz is some form of haecceitist [Leibniz, by Cover/O'Leary-Hawthorne]
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
5024 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
5027 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
5023 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
2119 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
5025 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
5026 Animals lack morality because they lack self-reflection [Leibniz]
25. Social Practice / C. Rights / 1. Basis of Rights
5064 Rights are moral significance, or liberty, or right not to be restrained, or entitlement [Mawson]