前回の「命題は多くの場合、可能世界を真理値にマッピングする関数としてモデル化されます」の「可能世界」から、話を始めます。 原文は以下です。 Formally, propositions are often modeled as functions which map a possible world to a truth value. １…