質問: 数理論理学(記号論理学)は哲学的な問題は扱うのでしょうか?
回答: 数理論理学(記号論理学)の対象は数学ってよりも数学基礎論だよ。メタマティマテックス。メタフィジックスのメタとおんなじ使い方ね。手法は数学だけど対象は数学じゃない。集合論あたりとは一部かぶってっかな。 で、記号論理は形式論理で、古典論理と非古典論理にに分けられる。主流が古典論理で真偽を明確にする二値論理。この中には初期の直観主義論理も含まれるが、そこから発展した多値論理としての様相論理や量子力学のための量子論理などがあるんだ。 で、記号論理は命題論理から出発して述語論理を学び、その上で現代のさまざまな論理学に連なっていく。 一方演繹論理と帰納論理ってわけかたは論理学の内部での分け方じゃなくって、哲学で論理(論証)を扱うときの話。また、弁証法論理も(記号)論理学の対象じゃない。ヘーゲルの論理学や小論理学は(現代)論理学の対象じゃない。因明も同様ね。 非形式論理は記号論理の手法を使わずに述語論理あたりまでをアリストテレスの手法によってまとめたものじゃないかな。哲学で用いる論理は実際のところこの程度で十分なんだ。誤謬推論をしないためのスキルね。 矛盾許容論理になると、もはや論理学の範囲から飛び出しちゃうんじゃないの?因明もいってみりゃそんなもんだけどね(*^^*)