論理学
論理学は、数理世界の根本を支えるものです。
数理世界では、
「論理的に矛盾がない」ということが要求され、
「論理的に正しく推論をする」行為をしますから、
必ず
「論理的に正しいのかどうか?」
「正しい推論をするには」
を考える
知識・理解が必要だからです。
それを学べるのが論理学です。
特に数学と密接にかかわっています。
ルイス・キャロルのパラドックス(Lewis Caroll's Paradox)、「亀がアキレスに言ったこと」(What the Tortoise Said to Achilles)