Loading AI tools
来自维基百科,自由的百科全书
經典邏輯(英語:Classical logic)[1],也被稱為標準邏輯(standard logic),標識已經被最深入的研究和最廣泛的使用的一類演繹推理邏輯。經典邏輯是19和20世紀的創新,它比亞里斯多德的詞項邏輯具有更廣泛的應用,並且能夠將亞里斯多德的傳統邏輯表述為一個特例。經典邏輯滿足一些公理化的基本思維規律,包括:同一律、排中律、無矛盾律(也被稱為矛盾律)。
古希臘亞里斯多德的傳統邏輯主要反映在其著作集《工具論》中。[2][3]《工具論》是亞里斯多德學派的傳人們(即逍遙學派)將他的六篇關於邏輯的著作彙編成的一部著作集,並定為此名。這六篇著作分別是《範疇篇》、《解釋篇》、《《前分析篇》》、《後分析篇》、《論辯篇》和《辨謬篇》。
經典邏輯是19至和20世紀初的創新,它比亞里斯多德的傳統邏輯具有更廣泛的應用,並且能夠將亞里斯多德的傳統邏輯表述為一個特例[1]。當時,發現邏輯和數學的基礎遇到許多疑難問題,尤其是羅素悖論[4],以極為簡明的形式震撼了數學的基礎,使得悖論在當代邏輯中獲得了新的作用,導致了新定理的發現。經典邏輯可根據數學函數解釋量詞,它也是第一個能夠處理多重一般性問題的邏輯,亞里斯多德的系統對此是無能為力的。基礎方面的進展包括,不可證明性和不可判定性。特別是,邏輯的幾個基本概念發展過程,是得益於解決悖論的各種嘗試。對於集合(set)和類(collection)的概念,經典邏輯的基本句法和語義概念的出現尤其如此,比如,給定順序的邏輯語言,可滿足性和可定義性。其它的研究和進展包括:集合論的公理化、類型論、語義學基礎、形式邏輯的理論。[5]
經典邏輯被特徵化為下面一些性質:
在經典邏輯中,從矛盾中可以推導出任何東西;這叫做爆炸原理 (ex contradictione quodlibet(ECQ))。
非經典邏輯缺乏上面這其中的某一個或多個特性。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.