論理体系の解剖-1.2- 推論法則と論理式(1)

　推論法則、推論規則、公理、定理、の違いについて書きます。 . . . 本文を読む

論理体系の解剖-1.1- 妥当な推論法則

　古典論理体系について具体的に、意味付けのようなものを私見も交えながら書いてゆきます。まずは、一般に妥当と考えられている推論法則を挙げてみます。 . . . 本文を読む

ゲーデルの定理 -証明とゲーム-

　肯定も否定も証明できない閉論理式にはどんなものがありうるのでしょうか？ 　証明とゲームの関係の話です。 . . . 本文を読む

ゲーデルの定理-4.3- 対角化定理(その証明)

ゲーデルの対角化定理の証明をします。 . . . 本文を読む

ゲーデルの定理-4.2C- 対角化定理(タルスキ、もう一人のゲーデル？)

　不完全性定理の初期のバージョンは、タルスキの真理定義不可能性定理とほとんど同じだった、といわれています。 . . . 本文を読む