|
古典論理（こてんろんり, ）は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理（）とも呼ばれる。 == 定義 == 以下に示す性質が特徴である:〔Gabbay, Dov, (1994). 'Classical vs non-classical logic'. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, (Eds), ''Handbook of Logic in Artificial Intelligence and Logic Programming'', volume 2, chapter 2.6. Oxford University Press.〕 # 排中律と二重否定の除去; # 無矛盾律と、矛盾からはいかなることも導ける（:en:Principle of explosion）とすること（矛盾許容論理も参照）; # 帰結関係（論理的帰結を参照）の単調性（:en:Monotonicity of entailment、単調写像を参照）と帰結関係の冪等性（:en:Idempotency of entailment）; # 論理積の交換法則（:en:Commutativity of conjunction）; # ド・モルガンの双対性: 全ての論理演算子はどれか他の演算子の双対である; 以上の諸条件から、古典論理は命題論理と一階論理に必ずしも限られないが、普通はそれらに議論を限定する〔Shapiro, Stewart (2000). Classical Logic. In Stanford Encyclopedia of Philosophy . Stanford: The Metaphysics Research Lab. Retrieved October 28, 2006, from http://plato.stanford.edu/entries/logic-classical/〕〔Haack, Susan, (1996). ''Deviant Logic, Fuzzy Logic: Beyond the Formalism''. Chicago: The University of Chicago Press.〕。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「古典論理」の詳細全文を読む スポンサード リンク
|