肯定是又会是什么？
必定
可能
符号正方形和斜正方形被称为模态算字，他们表达了事物为真，（必然的）或为假（可能的）模态。
亚里士多德提出宿命论认为凡是发生的事必然要发生是不可避免的。
可能世界：我们假设每一个情形s都有很多可能性，也就是说s可能有的各种情形，在不违反物理学定律情况下的各种情形。
条件句：如果a那么b，写成a推出b。
本章要点
1.每一个情形都与许多与之相关的可能情形相联系
2如果a在于 s相关的每一个情形下，都为真，那么绝对的a在s情形下就为真
3.如果a在与某个与s有关的情形下为真，那么可能的a在s情形下就为真。
