Combining Texts

All the ideas for 'Conditionals', 'Conceptions of Consequence' and 'Set Theory and the Continuum Hypothesis'

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

6 ideas

6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
14248 We could accept the integers as primitive, then use sets to construct the rest [Cohen]
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
13768 Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington]
10. Modality / B. Possibility / 8. Conditionals / b. Types of conditional
13770 There are many different conditional mental states, and different conditional speech acts [Edgington]
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
13764 Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington]
13765 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington]
11. Knowledge Aims / A. Knowledge / 2. Understanding
18810 Aristotle's proofs give understanding, so it can't be otherwise, so consequence is necessary [Smiley, by Rumfitt]