tractatus.14

入力が何であれ、真を出力する、という考え方自体、『論考』とはちがう。だって、『論考』は論理語を真理関数とはしてないから、別に、真を出力したりしない。

素朴な規約主義が証明の必然性を説明できない理由を繰り返し確認する