分野

2分割

分類と整理の一案

2軸

形式論理 vs 非形式論理

演繹論理 vs 帰納論理

subclasses

形式・演繹論理

e.g. 数理論理学

典型的な論理だと言える。

形式・帰納論理

e.g. カルナップの帰納論理（帰納論理学）

非形式・演繹論理

e.g. 健全性を気にする演繹

前提の検討と妥当性の検証とを ふくむ

非形式・帰納論理

e.g. いろいろな論証が できる

cf. #非形式論理学

信頼性を問題にしたり

典型的な非形式的で帰納的な論証は、帰納的推論を表してると言える。

aka. 帰納推論

ref.