かの有名なゲーデルの不完全性定理(自然数の体系を含む理論の不完全性定理)とさほど有名でもないゲーデルの完全性定理(１階述語論理の完全性定理)の話です。今回は「完全性」という語が表す複数の概念について整理を試みます。
. . . 本文を読む
日常的文章は必ずしも論理式のようにすっきりしたものではありません。たとえ通常の解釈では論理的に誤解の余地の少ない文章の場合でもです。表面上は「∨(または)」に見えても、内容的には実は「∧(かつ)」であるような文章があります。 . . . 本文を読む
