Combining Texts

All the ideas for 'Intuitionism: an Introduction', 'Elements of Intuitionism (2nd ed)' and 'Absolute Necessities'

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

10 ideas

4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
18832 Mathematical statements and entities that result from an infinite process must lack a truth-value [Dummett]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
8754 Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro]
10. Modality / A. Necessity / 2. Nature of Necessity
15086 Absolute necessity might be achievable either logically or metaphysically [Hale]
10. Modality / A. Necessity / 3. Types of Necessity
8261 Maybe not-p is logically possible, but p is metaphysically necessary, so the latter is not absolute [Hale]
15080 'Relative' necessity is just a logical consequence of some statements ('strong' if they are all true) [Hale]
15081 A strong necessity entails a weaker one, but not conversely; possibilities go the other way [Hale]
10. Modality / A. Necessity / 5. Metaphysical Necessity
15082 Metaphysical necessity says there is no possibility of falsehood [Hale]
10. Modality / A. Necessity / 6. Logical Necessity
15085 'Broadly' logical necessities are derived (in a structure) entirely from the concepts [Hale]
15088 Logical necessities are true in virtue of the nature of all logical concepts [Hale]
10. Modality / C. Sources of Modality / 4. Necessity from Concepts
15087 Conceptual necessities are made true by all concepts [Hale]