3 ideas
7726 | Aristotelian logic dealt with inferences about concepts, and there were also proposition inferences [Weiner] |
9560 | S5 provides the correct logic for necessity in the broadly logical sense [Fine,K] |
21963 | It is possible that an omnipotent God might make one and two fail to equal three [Descartes] |