12 ideas
| 17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
| 13768 | Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington] |
| 13770 | There are many different conditional mental states, and different conditional speech acts [Edgington] |
| 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] |
| 19419 | Not all of perception is accompanied by consciousness [Leibniz] |
| 19421 | Souls act as if there were no bodies, and bodies act as if there were no souls [Leibniz] |
| 19420 | Death and generation are just transformations of an animal, augmented or diminished [Leibniz] |
| 19416 | Not all of matter is animated, any more than a pond full of living fish is animated [Leibniz] |
| 19422 | Every particle of matter contains organic bodies [Leibniz] |
| 19418 | Mechanics shows that all motion originates in other motion, so there is a Prime Mover [Leibniz] |
| 19417 | All substances are in harmony, even though separate, so they must have one divine cause [Leibniz] |