Combining Texts

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

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


8 ideas

4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
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
Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro]
14. Science / D. Explanation / 2. Types of Explanation / c. Explanations by coherence
2: An explanation must wholly cohere internally, and with the new fact [Thagard, by Smart]
3: If an analogous pair explain another analogous pair, then they all cohere [Thagard, by Smart]
1: Coherence is a symmetrical relation between two propositions [Thagard, by Smart]
4: For coherence, observation reports have a degree of intrinsic acceptability [Thagard, by Smart]
5: Contradictory propositions incohere [Thagard, by Smart]
6: A proposition's acceptability depends on its coherence with a system [Thagard, by Smart]