《邏輯》，林正弘 著，三民書局，2005年。
狹義上邏輯既指思維的規律，也指研究思維規律的學科即邏輯學。廣義上邏輯泛指規律。學科劃分 證明方法 直接證明 直接證明就是從論據的真實直接推出論題的真實的一種證明方法。間接證明 間接證明又稱反證法，它是通過證明反論題的虛假，從而...
邏輯學是一個哲學分支學科。其是對思維規律的研究。邏輯和邏輯學的發展，經過了具象邏輯—抽象邏輯—具象邏輯與抽象邏輯相統一的對稱邏輯三大階段。邏輯學是研究思維的學科。所有思維都有內容和形式兩個方面。思維內容是指思維所反映的對象...
數據的邏輯結構是對數據之間關係的描述，有時就把邏輯結構簡稱為數據結構。邏輯結構形式地定義為（K，R）（或（D，S）），其中，K是數據元素的有限集，R是K上的關係的有限集。系統的邏輯結構 邏輯結構元素決定輸入、存儲、傳送、處理...
邏輯思維（Logical Thinking），是思維的一種高級形式。是指符合世間事物之間關係(合乎自然規律)的思維方式，我們所說的邏輯思維主要指遵循傳統形式邏輯規則的思維方式。常稱它為“抽象思維（Abstract thinking）”或“閉上眼睛的思維”。邏...
邏輯思維的特徵 1、概念的特徵：內涵和外延。2、判斷的特徵：一是判斷必須對事物有所斷定；二是判斷總有真假。3、推理的特徵：演繹推理的邏輯特徵是：如果前提真，那么結論一定真，是必然性推理；非演繹推理的邏輯特徵是：雖然前提是真...
形式邏輯 研究人的認識知性階段思維規律的學說,狹義指演繹邏輯,廣義還包括歸納邏輯。形式邏輯的思維規律也是思維形式和思維內容的統一。形式邏輯的對象是事物的質,形式邏輯靠概念、判斷、推理(主要包括歸納推理與演繹推理)反映事物的質。 [...
邏輯學是一門普通高等學校本科專業，屬哲學類專業，基本修業年限為四年，授予哲學學士學位，是研究思維形式及思維規律的專業。該專業學生主要學習邏輯學、數學、計算機科學和哲學方面的基本理論和基礎知識，受到公理化方法、形式化方法和語義...
辯證邏輯是研究人的認識理性階段思維規律的學說，含矛盾邏輯與對稱邏輯兩大類型或兩個階段。辯證邏輯（dialectical logic）作為邏輯學的辯證法，研究反映客觀世界的辯證發展過程的人類思維的形態，即關於辯證思維的形式、規律和方法的科學。辯...
邏輯思維能力是指正確、合理思考的能力。即對事物進行觀察、比較、分析、綜合、抽象、概括、判斷、推理的能力，採用科學的邏輯方法，準確而有條理地表達自己思維過程的能力。它與形象思維能力截然不同．邏輯思維能力不僅是學好數學必須具備的...
《邏輯》是2010年4月中國人民大學出版社出版的圖書，作者是金岳霖。本書所介紹的主要是邏輯中的演繹法，全書前兩部分是對傳統邏輯的介紹與批評，第三部分介紹了一個現代西方數理邏輯系統，第四部分則就關於邏輯系統的種種問題進行了深入...
《邏輯》全書共分十一章，2009年北京大學出版社出版，王莘 編。內容簡介 《邏輯》為“人文素質教育教材系列”之一，系統地介紹了邏輯這門學科的基本知識。全書共分十一章，內容包括：邏輯基本規律；定義；論證；複合命題及其推理；簡單命題...
命題邏輯是指以邏輯運算符結合原子命題來構成代表“命題”的公式，以及允許某些公式建構成“定理”的一套形式“證明規則”。相對於謂詞邏輯，它是量化的並且它的原子公式是謂詞函式；和模態邏輯，它可以是非真值泛函的。演算是用來證明有效...
在形式邏輯中，邏輯運算符或邏輯聯結詞把語句連線成更複雜的複雜語句。例如，假設有兩個邏輯命題，分別是“正在下雨”和“我在屋裡”，我們可以將它們組成複雜命題“正在下雨，並且我在屋裡”或“沒有正在下雨”或“如果正在下雨，那么我...
邏輯-數學智力（logical-mathematical intelligence）包括數學運算與邏輯思考的能力。它是一種對於理性邏輯思維較顯著的智力體現。對數字，物理，幾何，化學，乃至各種理科高級知識有超常人的表現。在偵探、律師、工程師、科學家和數學家身上有...
邏輯法是人們認識推理事物的一種思維方法.它包括比較，分析與綜合，論證推理等方面，在日常生活和很多正式場合發揮很大作用。,邏輯方法簡稱邏輯法。所謂邏輯方法:就是:以邏輯規律為指導，根據事實材料，下定義，形成概念，作出判斷, 進行...
邏輯推理學包括一階邏輯推理和時序邏輯推理兩種。一階邏輯推理是一種典型的基於規則的推理方法。該方法的推理機制非常簡單，利用謂詞構建靜態的推理規則庫。當進行推理時，首先向引擎輸入已知的初級上下文信息，通過一致性驗證後，與規則進行...
底層邏輯 底層邏輯，指從事物的底層、本質出發，尋找解決問題路徑的思維方法。底層邏輯越堅固，解決問題的能力也就越強。
邏輯分析法（logical analysis）主要是指“語言的轉向”之後出現的分析哲學、科學哲學中所使用的分析方法。這種方法利用現代數理邏輯這個強有力的工具，對語言進行分析，並通過語言分析來解決傳統的哲學問題。因此，它被許多人稱之為“哥白尼...
邏輯辭彙 邏輯辭彙（logical vocabulary）是2003年公布的自然辯證法名詞，由全國科學技術名詞審定委員會審定發布。公布時間 2003年經全國科學技術名詞審定委員會審定發布。出處 《自然辯證法名詞》第一版。
《全國司法院校法學教材·邏輯》是2007年中國政法大學出版社出版的圖書，作者是雍琦。本書既講述了邏輯基礎知識，又講述了有關邏輯知識在法學領域的套用。全書共分為八章，即緒論、概念、命題（上）、命題（下）、演繹推理、歸納推理、...
多值邏輯是有多於兩個的可能的真值的邏輯演算。傳統上，邏輯演算是二值的，就是說對於任何命題都只有兩個可能的真值，真和假(它一般對應於我們直覺概念的真實和虛假)。但是二值只有一個可以被指派的可能的真值範圍，已經開發了一些其他...
邏輯式 邏輯式（Logical）: 由牛津大學哲學家吉伯特·賴爾（Gilbert Ryle）在他所著的The Concept of Mind(1949)一書中所建立。
邏輯心理主義是把心理學看作邏輯學的必要而充分的基礎的理論思潮。屬狹義的心理主義。出現於19世紀70年代以後。分英國學派和德國學派。主要觀點：(1)心理學是基礎科學，能解釋其他科學，邏輯學是套用心理學；(2)理性是不可證明的，邏輯...
數字電路根據邏輯功能的不同特點，可以分成兩大類，一類叫組合邏輯電路（簡稱組合電路），另一類叫做時序邏輯電路（簡稱時序電路）。組合邏輯電路在邏輯功能上的特點是任意時刻的輸出僅僅取決於該時刻的輸入，與電路原來的狀態無關。而時序...
《邏輯——從三段論到不完全性定理》是2016年科學出版社出版的圖書，作者是熊明。內容簡介 本書以公理化思想為主導，從亞里士多德的三段論到哥德爾的不完全性定理，闡述傳統邏輯與現代邏輯的基本理論。全書以有效推理的形式化作為軸線，分別...
《邏輯的起源》是2019年商務印書館出版的圖書，作者是王路。內容簡介 邏輯的創始人是亞里土多德。探討巴門尼德和柏拉圖的著作，可以使我們清楚地看到，亞里士多德的邏輯思想是從哪裡來的，受到了前人什麼樣的影響，從而使我們可以對邏輯有...
邏輯語法 邏輯語法（logic grammar）是2011年公布的語言學名詞。定義 一種語言分析方法。用形式邏輯或數理邏輯方法描述語言的句子結構。出處 《語言學名詞》第一版
認知邏輯 認知邏輯（epistemic logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義 泛指刻畫“知道”“相信”等認知概念的邏輯系統。出處 《計算機科學技術名詞 》第三版。
