Single Idea 9732

[catalogued under 4. Formal Logic / D. Modal Logic ML / 1. Modal Logic]

Full Idea

Modal Square of Opposition 5: 'It is necessary that P' and 'It is not possible that not P' are the subalternatives (first implies second) of 'It is not necessary that not P' and 'It is possible that P'.

Gist of Idea

Modal Square 5: □P and ¬◊¬P are 'subalternatives' of ¬□¬P and ◊P

Source

report of Aristotle (On Interpretation [c.330 BCE], Ch.12e) by M Fitting/R Mendelsohn - First-Order Modal Logic 1.4

Book Reference

Fitting,M/Mendelsohn,R: 'First-Order Modal Logic' [Synthese 1998], p.7