ボンガループ！: 同一律と排中律をスーパーセット（上位互換）として ver. up する不毛な論理ループ。あるいは、フレーゲとカントールにささげるカノン。レヴィ＝ストロースの夢のために。

2007年12月26日

AとしてのC(A)、C(A)としてのA

ある命題をa、a'、a''...とする。
命題（a、a'、a''...）の無限集合をAとする。
その補集合をC(A)とする。

すべての要素命題（a、a'、a''...）をみたすとき、
Aが成り立つとする。

すべてはAである。
「世界はC(A)である」ということまで含めて
すべてはAである。

そして
逆もまた真なり。
すべてはC(A)である。
「世界はAである」ということまで含めて
すべてはC(A)である。

つまり、
世界はAであるけれども、
「世界はAであるということ」は
C(A)を含むし、

世界はC(A)であるけれども、
「世界はC(A)であるということ」は
Aを含む。

これらの論理は自己再帰性を有するので
言葉で厳密に定義することはできない。

そして、この不毛な論理ループですら
愛や神や真や善や美を
とらえることなどできやしないのだ。

投稿者 bonga : 2007年12月26日 01:23

このエントリーのトラックバックURL:
http://www.kiryuusha.com/mt/mt-tb.cgi/113

サイン・インを確認しました、 . さん。コメントしてください。 (サイン・アウト)

(いままで、ここでコメントしたとがないときは、コメントを表示する前にこのウェブログのオーナーの承認が必要になることがあります。承認されるまではコメントは表示されません。そのときはしばらく待ってください。)