形式論理
形式論理(けいしきろんり、formal logic、FL)
1.近代（哲学からの影響の薄れた）以降における論理学である数理論理学における論理のように、形式体系として整っている論理のこと。
ref: 形式論理学 - Wikipedia
内容としては数理論理学に吸収されそう。
→数理論理学
関連
確認用
Q. 形式論理
参考
形式論理学 - Wikipedia
調査用
/pogi-log/Google.icon 形式論理
/pogi-log/Wikipedia.icon
形式論理 - Wikipedia(日)
形式論理(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
Formal logic - Wikipedia(英)
Formal logic(検索) - Wikipedia(英)
#数理論理学 #論理学