古典邏輯
古典邏輯
古典邏輯指從古希臘 亞里士多德開創至19世紀進入現代發展階段以前所發展起來的形式邏輯體系和理論。（見形式邏輯）。辨認類 正式邏輯 那最密集地被學習了和最用途廣泛。他們描繪的是為一定數量的物產; non-classical邏輯是缺乏一個或更多這些物產，是的那些：被排除的中部的法律 並且 雙重否定排除; noncontradiction法律 ; entailment Monotonicity 並且 entailment Idempotency ; 契合Commutativity ; de摩根雙重性: 每 邏輯操作符 是雙重的到另一個。是研究演繹推理及其規律的科學，是人們認識世界和改造世界的必要工具，是人類認識發育到一定階段后出現思維方法。康德首先使用了這個術語。古典邏輯是 二價即。它只使用 布爾被重視的作用. 並且，當不由在先的條件需要，關於古典邏輯的當代討論通常只包括 propositional 並且 優先處理 邏輯。
Aristotle‘s Organon 介紹他的理論 syllogisms是邏輯與評斷的一個有限的形式：主張作為四個形式一，所有Ps是Q, 某一Ps是Q, Ps不是Q和 某一Ps不是Q. 這些評斷發現自己，如果二個對二名雙重操作員和每名操作員是另的否定， Aristotle總結與他的關係 反對正方形 . Aristotle在辯解他的系統明確地公式化了被排除的中部的非矛盾法律和法律，雖然這些法律在三段論法範圍內不可能被表達作為評斷。喬治Boole‘邏輯的s代數再形成，他的系統 布爾邏輯; 優先處理的邏輯發現了 Gottlob Frege‘s Begriffsschrift.
Computability邏輯 是computability的一種語義地被修建的正式理論，與古典邏輯相對，是真相的一種正式理論; 集成並且擴大古典，線性和intuitionistic邏輯。模糊邏輯 拒絕被排除的中部的法律並且允許作為真值0和1範圍的任何實數。 Intuitionistic邏輯 拒絕被排除的中間，雙重否定排除和De摩根的法律的法律; 線性邏輯 拒絕entailment idempotency; 模態邏輯 擴大古典邏輯與 非真相功能 (“語氣”)操作員。 Paraconsistent邏輯 (即， dialetheism 並且 相關性邏輯)拒絕noncontradiction法律; 相關性邏輯, 線性邏輯和 non-monotonic邏輯 entailment廢棄物monotonicity; 在 異常邏輯，模糊邏輯：在形式主義之外, 蘇珊Haack 分開的non-classical邏輯到里 異常類似異常和延長的邏輯。
| Gabbay， Dov, (1994). ‘古典對non-classical邏輯’。在D.M。 Gabbay， C.J。 Hogger和J.A。魯賓遜， (Eds)， 邏輯手冊在人工智慧和 邏輯編程 容量2，第2.6章。 牛津大學Press。 ^ Shapiro， Stewart (2000)。 古典邏輯。 在哲學[網]斯坦福百科全書。 斯坦福： 形而上學研究實驗室。 檢索2006年10月28日，從 Haack，蘇珊， (1996). 異常邏輯，模糊邏輯： 在形式主義之外 . 芝加哥： 芝加哥大學Press。 |
推理扣除 · 歸納 · 綁架 不拘形式提議 · 推斷 · 論據 · 有效性 · Cogency · 期限邏輯 · 重要認為 · 謬論 · 推論式 · 辯論理論 哲學 邏輯帕拉圖式的現實主義 · 邏輯atomism · 邏輯主義 · 形式主義 · 唯名論 · Fictionalism · 現實主義 · 直覺說 · 構成主義 · Finitism 數學規範語言 · 正式語法 · 正式系統 · 演繹的系統 · 正式證明 · 正式解釋 · 正式語義學 · 慣例 · Wff · 集合 · 元素 · 類 · 公理 · 推斷規則 · 聯繫 · 定理 · 邏輯結論 · 一貫性 · 酣然 · 完整性 · 可判斷 · Satisfiability · 獨立 · 集合論 · 公理系統 · 證明理論 · 式樣理論 · 遞歸理論 · 鍵入理論 · 句法 Propositional 布爾函數 · 一元謂詞演算 · 命題演算 · 邏輯連通性 · 實情表 謂語優先處理 · 量詞 · 第二級次 語氣 Deontic · 認識 · 世俗 · Doxastic 其他非 古典 Computability · 模糊 · 線性 · 相關性 · Non-monotonic Paraconsistent邏輯 · Dialetheism · Intuitionistic邏輯 · 矛盾 · Antinomies · 邏輯是否是經驗主義的？ Alfarabi · Algazel · Alkindus · AlRazi · Aristotle · Averroes · Avicenna · Boole · 領唱者 · Carnap · 教會 · Dharmakirti · Dignāga · Frege · Gentzen · Kanada · Gödel · Gotama · Hilbert · IBN AlNafis · Ibn Hazm · Ibn Taymiyyah · Kripke · Mozi · Nagarjuna · Pāṇini · Peano · Peirce · Putnam · Quine · 羅素 · Skolem · Suhrawardi · Tarski · Turing · Whitehead · Zadeh 題目一般 · 基本 · 數學邏輯 · 布爾代數 · 集合論 其他邏輯學家 · 推斷規則 · 矛盾 · 謬論 · 邏輯符號 門 · 類別 · WikiProject · 邏輯殘餘部分 · Mathlogic殘餘部分 · 清潔 · Noticeboard |