3 ideas
9560 | S5 provides the correct logic for necessity in the broadly logical sense [Fine,K] |
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
7803 | Modal logic began with translation difficulties for 'If...then' [Lewis,CI, by Girle] |