Combining Texts

All the ideas for 'Conditionals', 'Ancient Thought in Modern Physics' and 'Set Theory and its Logic'

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


6 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B]
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington]
10. Modality / B. Possibility / 8. Conditionals / b. Types of conditional
There are many different conditional mental states, and different conditional speech acts [Edgington]
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington]
'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington]
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
You can only explain the qualities of large objects using entities which lack those qualities [Heisenberg]