Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'Miscellaneous Observations' and 'Logical Necessity: Some Issues'

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

24 ideas

3. Truth / A. Truth Problems / 3. Value of Truth
19574 If man sacrifices truth he sacrifices himself, by acting against his own convictions [Novalis]
3. Truth / E. Pragmatic Truth / 1. Pragmatic Truth
19571 Delusion and truth differ in their life functions [Novalis]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
17884 Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]
17893 'Reflection principles' say the whole truth about sets can't be captured [Koellner]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
17894 We have no argument to show a statement is absolutely undecidable [Koellner]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
17890 There are at least eleven types of large cardinal, of increasing logical strength [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
17887 PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
17891 Arithmetical undecidability is always settled at the next stage up [Koellner]
9. Objects / D. Essence of Objects / 3. Individual Essences
19575 Refinement of senses increasingly distinguishes individuals [Novalis]
10. Modality / A. Necessity / 6. Logical Necessity
12184 Logical necessity overrules all other necessities [McFetridge]
15083 The fundamental case of logical necessity is the valid conclusion of an inference [McFetridge, by Hale]
15084 In the McFetridge view, logical necessity means a consequent must be true if the antecedent is [McFetridge, by Hale]
12180 Logical necessity requires that a valid argument be necessary [McFetridge]
12181 Traditionally, logical necessity is the strongest, and entails any other necessities [McFetridge]
12183 It is only logical necessity if there is absolutely no sense in which it could be false [McFetridge]
12192 The mark of logical necessity is deduction from any suppositions whatever [McFetridge]
10. Modality / B. Possibility / 2. Epistemic possibility
12182 We assert epistemic possibility without commitment to logical possibility [McFetridge]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
12187 Objectual modal realists believe in possible worlds; non-objectual ones rest it on the actual world [McFetridge]
10. Modality / C. Sources of Modality / 5. Modality from Actuality
12186 Modal realists hold that necessities and possibilities are part of the totality of facts [McFetridge]
12. Knowledge Sources / C. Rationalism / 1. Rationalism
19572 Experiences tests reason, and reason tests experience [Novalis]
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
19573 The seat of the soul is where our inner and outer worlds interpenetrate [Novalis]
18. Thought / E. Abstraction / 2. Abstracta by Selection
19577 Everything is a chaotic unity, then we abstract, then we reunify the world into a free alliance [Novalis]
21. Aesthetics / A. Aesthetic Experience / 5. Natural Beauty
19578 Only self-illuminated perfect individuals are beautiful [Novalis]
29. Religion / D. Religious Issues / 1. Religious Commitment / a. Religious Belief
19576 Religion needs an intermediary, because none of us can connect directly to a godhead [Novalis]