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