Logical hexagon

https://upload.wikimedia.org/wikipedia/commons/b/bb/Logical-hexagon.png

https://gyazo.com/50e54dec22c74c4442336ebb9781aadb

$ sAp必然

$ sEp否可能

$ sIp可能

$ sOp否必然

$ sUp\coloneqq s<p\lor s><p中閒値の排除$ \top

$ sAp\lor sEp,$ \neg(sIp \land sOp),$ \square(s\to p)\lor\square\neg(s\to p)否偶然

$ sYp\coloneqq s<>p\land s>p視差の導入、境界

$ sIp\land sOp,$ \neg(sAp\lor sEp),$ \lozenge(s\to p)\land\lozenge\neg(s\to p)偶然 (contingency)。運

八角形

$ sAp\land sEp\coloneqq s<p\land s><p止揚 (揚棄) の失敗、絕望$ \bot

$ sAp\land sEp\implies\bot反對對當

$ \square(s\to p)\land\square\neg(s\to p),$ \square(s\to p)\land\neg\lozenge(s\to p)矛盾

$ sIp\lor sOp\coloneqq s<>p\lor s>p判斷中止 (ἐποχή)、懷疑

$ \neg sIp\land\neg sOp\iff\neg(sIp\lor sOp)\implies\bot小反對對當

$ \lozenge(s\to p)\lor\lozenge\neg(s\to p),$ \lozenge(s\to p)\lor\neg\square(s\to p)否矛盾