2025.01.26
https://gyazo.com/1edb6d1591e95d972ad7bcf7bb2ee433
思った
今日は何もしなかった
メモ
パラドックスについて
この命題は非自己記述的という語の意味に関しての悪性の自己言及を行っている．
「この文は12文字ではない」は12文字である
この命題は語の長さというシンタクティカルな部分に関しての悪性の自己言及を行っている
この文は正しくない
何に対しての悪性の自己言及をしているのか？
命題群
1. 2から先の文は正しくない．
2. 3から先の文は正しくない．
3. …
しかし先の文というのは実質的に自分自身の性質を使って自己言及をしているのでは…？
メモ
メモ
$ Y_0,Y_1,...,とし$ Y_iは「$ Y_iより次の文$ Y_{i+1},Y_{i+2},...は全部正しくない」を主張すると考える．
今$ Y_iが正しいとする．
定義より，$ Y_{i+1},Y_{i+2},...,は全て正しくない．
$ Y_{i+1}が正しくないので$ Y_{i+1}より次の文のどれかは正しい．しかし$ Y_iより先は正しくないのだからおかしい．
今$ Y_iが正しくないとする．
$ Y_iのどこか先$ Y_jで正しい文になる．このとき上の議論よりおかしい．
したがって$ Y_iは正しくも正しくもないとも言える．
$ Y_{i+1}より次の文のどれか$ Y_\omegaなどのムチャクチャな文を言ってしまったら？