简明逻辑学第6章必然性和可能性

肯定是又会是什么？

必定

可能

符号正方形和斜正方形被称为模态算字，他们表达了事物为真，（必然的）或为假（可能的）模态。

亚里士多德提出宿命论认为凡是发生的事必然要发生是不可避免的。

可能世界：我们假设每一个情形s都有很多可能性，也就是说s可能有的各种情形，在不违反物理学定律情况下的各种情形。

条件句：如果a那么b，写成a推出b。

本章要点

1.每一个情形都与许多与之相关的可能情形相联系

2如果a在于 s相关的每一个情形下，都为真，那么绝对的a在s情形下就为真

3.如果a在与某个与s有关的情形下为真，那么可能的a在s情形下就为真。