論理学
分野
2分割
形式論理学
非形式論理学
分類と整理の一案wint.icon
2軸
形式論理 vs 非形式論理
演繹論理 vs 帰納論理
subclasses
形式・演繹論理
e.g. 数理論理学
典型的な論理だと言える。
#形式演繹論理
形式・帰納論理
e.g. カルナップによる形式論理としての帰納論理（帰納論理学）
ref. 『確率の哲学』（書籍）
非形式・演繹論理
e.g. 健全性を気にする演繹
前提の検討と妥当性の検証とを ふくむ
非形式・帰納論理
e.g. いろいろな論証が できる
cf. #非形式論理学
信頼性を問題にしたり
典型的な非形式的で帰納的な論証は、帰納的推論を表してると言える。
aka. 帰納推論
比較
真理保存性 truth preservation
演繹: ある。ただし情報は増えない。
帰納: ない。しかし情報が増える。
ref.
論理学 - Wikipedia
Template:Logic - Wikipedia
数理論理学 - Wikipedia