ちょっとした小ネタ。ウィトゲンシュタインの『論考』では senseless nonsense が区別される。トートロジーは前者、「アブラカダブラ」みたいなのが後者。要素命題に対して真理操作をしていくと、トートロジーや矛盾になることがある。例えば N(p, N(p)) と…