ゲーデル化をどうするか？ その2 - 檜山正幸のキマイラ飼育記 で、「コード」を問題にしたが、「述語」も大問題。 基本〈原子 | 原始〉述語記号〈述語名〉 定義された述語記号〈述語名〉 幾つかの変数を持つ論理式 論理式をボディに持つラムダ関数式〈ラムダ…

ほんとに深刻だよなー。 内容的な命題：人間が解釈し運用する命題 形式化された内容的命題： 記号化された内容的命題 符号化された命題： 形式化された内容的命題に脱符号化できるが、人間が解釈し運用することはない。 データ化された命題： 符号化された命…