more on this theme | more from this thinker | more from this text
Full Idea
Modal Square of Opposition 2: 'It is not necessary that not P' and 'It is possible that P' are the subcontraries (not both false) of 'It is not necessary that P' and 'It is possible that not P'.
Gist of Idea
Modal Square 2: ¬□¬P and ◊P are 'subcontraries' of ¬□P and ◊¬P
Source
report of Aristotle (On Interpretation [c.330 BCE], Ch.12b) by M Fitting/R Mendelsohn - First-Order Modal Logic 1.4
Book Ref
Fitting,M/Mendelsohn,R: 'First-Order Modal Logic' [Synthese 1998], p.7