論理体系の解剖-1.3- ゲンツェン流とヒルベルト流

　いくつかの論理体系の中でも本などで一番よく紹介されることが多い、ゲンツェン流とヒルベルト流の２つの論理体系を紹介します。いくつかの論理体系の中でもこの２つは対照的です。 . . . 本文を読む

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

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

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

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

近界(neighborhood)と玄界(ミデン)の謎

　近界(neighborhood)の宇宙の中では、玄界(ミデン)は数ある惑星とは全く異なる特別な星ということになりそうです。 . . . 本文を読む

異次元世界へ

　いわゆるパラレルワールドの話です。 . . . 本文を読む