肯定是又會是什么？

必定

可能

符號正方形和斜正方形被稱為模態(tài)算字，他們表達(dá)了事物為真，（必然的）或為假（可能的）模態(tài)。

亞里士多德提出宿命論認(rèn)為凡是發(fā)生的事必然要發(fā)生是不可避免的。

可能世界：我們假設(shè)每一個情形s都有很多可能性，也就是說s可能有的各種情形，在不違反物理學(xué)定律情況下的各種情形。

條件句：如果a那么b，寫成a推出b。

本章要點

1.每一個情形都與許多與之相關(guān)的可能情形相聯(lián)系

2如果a在于 s相關(guān)的每一個情形下，都為真，那么絕對的a在s情形下就為真

3.如果a在與某個與s有關(guān)的情形下為真，那么可能的a在s情形下就為真。