關鍵詞：
收錄約1萬典故，50萬詞匯、2萬作家信息
常用典故按出處分類按人物分類
《漢語大詞典》：形式邏輯（形式邏輯）
關于思維的形式及其規(guī)律的科學。研究概念、判斷、推理等主要思維形式和研究同一律、矛盾律、排中律等思維規(guī)律是形式邏輯的內容。
《國語辭典》：矛盾　　拼音：máo dùn
1.矛、盾，武器名，古代兩種功用不同的兵器。相傳有一人賣矛和盾，誇他的盾最堅固，任何東西都戳不破。后來又誇他的矛最銳利，什么東西都能刺進去。一人問他若拿他的矛來刺他的盾會如何，他卻回答不出來。典出《韓非子。難勢》。后比喻言語行為自相抵觸。如：「自相矛盾」。也作「矛楯」。
2.理則學上指不可同為真，亦不可同為假的概念或命題。
《漢語大詞典》：矛楯
亦作“ 矛盾 ”。 《韓非子·難一》：“ 楚 人有鬻楯與矛者，譽之曰：‘吾楯之堅，物莫能陷也?！肿u其矛曰：‘吾矛之利，於物無不陷也。’或曰：‘以子之矛，陷子之楯，何如？’其人弗能應也?！焙笠浴懊瑯J(盾)”連舉比喻言語或行為相互抵觸，互不相容。《魏書·李業(yè)興傳》：“ 異 曰：‘圓方之説，經(jīng)典無文，何怪於方？’ 業(yè)興 曰：‘圓方之言，出處甚明，卿自不見。見卿録 梁 主《孝經(jīng)義》亦云上圓下方，卿言豈非自相矛楯？’” 唐 劉知幾 《史通·浮詞》：“今之記事也則不然，或隔卷異篇，遽相矛盾；或連行接句，頓成乖角?！?元 辛文房 《唐才子傳·曹唐》：“各以所長，相輕所短，矛楯之極，則是非鋒起。”
《國語辭典》：斷案（斷案）　　拼音：duàn àn
1.判決案件。元。李直夫《虎頭牌》第四折：「今日個將斷案從頭說破，方知道忠和孝元自相成?！?br />2.由前提引出的推斷。也稱為「結論」。
《漢語大詞典》：同一律
形式邏輯的基本規(guī)律之一。在同一思維過程中，必須在同一意義上使用概念和判斷，不能混淆不相同的概念和判斷。
《國語辭典》：矛盾律　　拼音：máo dùn lǜ
理則學上指既已肯定一事物，不能同時又否定它，若已否定它，也不得同時又肯定，即不能同時肯定又否定一事物。也稱「不矛盾律」。
《漢語大詞典》：斷按（斷按）
形式邏輯三段論法中的結論。 章炳麟 《諸子學略說》：“近人或謂 印度 三支，即是 歐洲 三段。所云宗者，當彼斷按；所云因者，當彼小前提；所云同喻之喻體者，當彼大前提?！?/div>
《漢語大詞典》：充足理由律
形式邏輯的基本規(guī)則之一。提出或證明一個命題，都必須有能夠表明它何以真實的理由。證明要求論據(jù)必須真實，并且從論據(jù)可以推出論題，這就是充足理由律的具體運用。
《國語辭典》：傳統(tǒng)邏輯（傳統(tǒng)邏輯）　　拼音：chuán tǒng luó jí
十九世紀中葉以前的邏輯，以亞里士多德所創(chuàng)的三段論證為主。相對于現(xiàn)代邏輯。也稱為「古典邏輯」。
《國語辭典》：排中律　　拼音：pái zhōng lǜ
形式邏輯思考三大原理之一，謂一事物在真與假兩個判斷中，不是真便是假，不是假便是真，不能有中間情況。此律原為西方理則思想之基礎。唯自本世紀二十年代以來，有直觀派邏輯及三值多值邏輯興，均不以此律為是。且證之于量子物理學，則此律不可用，必以三值邏輯方可。
《漢語大詞典》：三段論式（三段論式）
邏輯名詞。也叫三段論、三段論法。形式邏輯間接推理的基本形式，由大前提、小前提、結論三部分組成，故稱。如：“凡金屬都能導電”（大前提），“銅是金屬”（小前提），“所以銅能導電”（結論）。