前回の「命題は多くの場合、可能世界を真理値にマッピングする関数としてモデル化されます」の「可能世界」から、話を始めます。 原文は以下です。 Formally, propositions are often modeled as functions which map a possible world to a truth value. 1)可能世界(英語版ウィキペディア) 以下では、英語版のウィキペディアを引用します。日本語版は、筆者は読んでも理解できませんでした。 < 可能世界(英語版ウィキペディア) 可能世界(a possible world)とは、世界が現在ある、またはそうであった可能性…