Combining Texts

All the ideas for 'Conditionals', 'The Architecture of Mathematics' and 'Frege'

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

6 ideas

4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
7726 Aristotelian logic dealt with inferences about concepts, and there were also proposition inferences [Weiner]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
10190 From the axiomatic point of view, mathematics is a storehouse of abstract structures [Bourbaki]
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]