Combining Texts

All the ideas for 'Conditionals', 'Leibniz' and 'Elements of Mathematical Logic'

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

7 ideas

4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
8942 Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher]
10. Modality / B. Possibility / 1. Possibility
19378 Early modern possibility is what occurs sometime; for Leibniz, it is what is not contradictory [Arthur,R]
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]
17. Mind and Body / A. Mind-Body Dualism / 4. Occasionalism
19380 Occasionalism contradicts the Eucharist, which needs genuine changes of substance [Arthur,R]