Combining Texts

All the ideas for 'Axiomatic Theories of Truth (2013 ver)', 'Coherence: The Price is Right' and 'What is Good?'

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

23 ideas

1. Philosophy / C. History of Philosophy / 3. Earlier European Philosophy / c. Later medieval philosophy
7823 Lucretius was rediscovered in 1417 [Grayling]
2. Reason / A. Nature of Reason / 6. Coherence
17596 Coherence problems have positive and negative restraints; solutions maximise constraint satisfaction [Thagard]
17597 Coherence is explanatory, deductive, conceptual, analogical, perceptual, and deliberative [Thagard]
17598 Explanatory coherence needs symmetry,explanation,analogy,data priority, contradiction,competition,acceptance [Thagard]
3. Truth / A. Truth Problems / 2. Defining Truth
19125 If we define truth, we can eliminate it [Halbach/Leigh]
3. Truth / A. Truth Problems / 6. Verisimilitude
17602 Verisimilitude comes from including more phenomena, and revealing what underlies [Thagard]
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]
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]
14. Science / B. Scientific Theories / 1. Scientific Theory
17601 Neither a priori rationalism nor sense data empiricism account for scientific knowledge [Thagard]
14. Science / C. Induction / 6. Bayes's Theorem
17600 Bayesian inference is forced to rely on approximations [Thagard]
14. Science / D. Explanation / 3. Best Explanation / a. Best explanation
17599 The best theory has the highest subjective (Bayesian) probability? [Thagard]
23. Ethics / C. Virtue Theory / 3. Virtues / e. Honour
7809 In an honour code shame is the supreme punishment, and revenge is a duty [Grayling]
25. Social Practice / F. Life Issues / 4. Suicide
7824 If suicide is lawful, but assisting suicide is unlawful, powerless people are denied their rights [Grayling]
29. Religion / D. Religious Issues / 1. Religious Commitment / a. Religious Belief
7819 Religion gives answers, comforts, creates social order, and panders to superstition [Grayling]
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
7817 To make an afterlife appealing, this life has to be denigrated [Grayling]
7818 In Greek mythology only heroes can go to heaven [Grayling]