形式論理学

けいしきろんりがく

名詞

標準

formal logic

文例 · 用例

x＝bb＝a∴ x＝aしてみると、形式論理学で媒概念曖昧の虚偽という奴だな。

— 九鬼周造『かれいの贈物』青空文庫

そしてこのことは又形式論理学に就いても同じであるであろう。

— 戸坂潤『空間概念の分析』青空文庫

処が又一方形式論理学及び数学は独特の意味に於ける概念の体系である。

— 戸坂潤『空間概念の分析』青空文庫

形式論理学に於ける概念は又、実在乃至存在から、或いは知覚乃至表象から、区別された「概念」という独特の存在（無論特殊の意味に於ける）を有つ処のものである。

— 戸坂潤『空間概念の分析』青空文庫

思うにこの両者の関係は形式論理学の命題における名辞のごとくその内容のいかんにかかわらず結合せられたものであろう。

— 夏目漱石『吾輩は猫である』青空文庫

観念論の論理を単に形式論理学という側面からばかり把握してはならぬ。

— 戸坂潤『思想と風俗』青空文庫

例えば弁証法の根本法則の一つ「量から質への転化及びその逆」の問題とか、形式論理学の問題とか、認識論の問題とか、等々の場合がそれだ。

— 戸坂潤『読書法』青空文庫

処が例えばこの構成の規準の代表的なものである処の根本的な悟性概念、即ち所謂範疇なるものを、カントはどうやって導き出したかというと、夫は結局従来の形式論理学の判断の表に基くのである。

— 戸坂潤『科学論』青空文庫

作例 · 標準

「彼は大学で形式論理学を専攻し、哲学の基礎を築いた。」

Illusions AI · gemini-2.5-flash-lite

「形式論理学の知識は、データベース理論や人工知能の分野で役立つ。」

Illusions AI · gemini-2.5-flash-lite

「議論の妥当性を検証するために、形式論理学的なアプローチをとることがある。」

Illusions AI · gemini-2.5-flash-lite

ウィキペディア

形式論理（けいしきろんり）とは、近代（哲学からの影響の薄れた）以降における論理学である数理論理学における論理のように、形式体系として整っている論理のこと。独: Formale Logik: （ドイツ観念論哲学の祖と言われる）イマヌエル・カントがアリストテレス流の論理学にあたえた名称。これは自分が唱えた Transzendentale Logik と対比したものである。フッサールによれば、これは従来の論理学をカントが全く誤解して名付けたものであり、これと対比されている Transzendentale Logik は形而上学と認識論の奇妙な混合物というべきものである。

出典: 形式論理学 — ウィキペディア / CC BY-SA 4.0