可能世界與智慧

內容介紹

模態邏輯是邏輯學中的一個重要分支學科，是一種特殊的邏輯智慧。本書介紹了模態邏輯發展的概況以及傳統模態邏輯的基本內容，區分了客觀模態與主觀模態、邏輯模態與非邏輯模態、從物模態與從言模態、狹義模態與廣義模態，特別是詳細介紹了真勢模態的可能世界語義學理論、命題種類及推理有效式；同時也介紹了規範邏輯（道義邏輯）和時態邏輯以及模態命題邏輯演算的基本理論。本書的最大特點是通俗化，運用大量事例來講解難懂的模態邏輯。