すべての道はローマに通ず、という言葉がある。道という言葉の定義は非常に厄介であるというのはすでにお察しの通りであるが、ひとまずそのようなことをいったんおくとこれを真であるとしたとき、ひとつのかなり重要な結論が出てくる。それはつまり「あらゆ…

形式的な論理学をある程度学ぶと、常に真であることと証明が可能であることの関連性についての話が登場する。普通に考えると「正しい」ものは「証明可能」であり、また逆に 「証明可能」なものは「ただしい」ということができそうだ。ゲーデルの完全性定理は…

人には向き、不向きがある。という言説は、かなり無批判に受け入れられている。ここには向いている職業や、学問、スポーツなどが人それぞれあり、出来るだけ向いているものに取り組み、向いていないものはできなくても仕方がないという含意がある。一方で、…

「あたまをつかって考えろ」とよく言われるものだが、この言葉が含んでいる意味はそれなりに広い。 まず、考えるという行為は、基本的にあたまをつかう必要があるという前提をほとんどの人が持っているということが念頭に置かれている。（念頭に置かれるとい…