Classical logicとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > Classical logicの意味・解説 

古典論理

(Classical logic から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/21 14:15 UTC 版)

古典論理(こてんろんり、: classical logic)は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理: standard logic)とも呼ばれる[1][2]

特徴

以下に示す性質が特徴である:[3]

  1. 排中律の採用及び、二重否定の除去;
  2. 無矛盾律と、矛盾からはいかなることも導ける(en:Principle of explosion)とすること(矛盾許容論理も参照);
  3. 帰結関係(論理的帰結を参照)の単調性(en:Monotonicity of entailment単調写像を参照)と帰結関係の冪等性(en:Idempotency of entailment);
  4. 論理積交換法則en:Commutativity of conjunction);
  5. ド・モルガンの双対性: 全ての論理演算子はどれか他の演算子の双対である;

以上の諸条件からは、古典論理は命題論理一階論理に必ずしも限られないが、普通はそれらに議論を限定する[4][5]

意味論

古典論理の非古典的意味に関して、古典論理の意図している意味論は、2値の意味論(en:Principle of bivalence(二値原理))である。しかし、代数的論理(en:Algebraic logic)の出現により、他の意味論を与えることもできることがあきらかになった。ブール値意味論(Boolean-valued semantics、en:Algebraic semantics (mathematical logic)を参照)(古典命題論理の)において、真理値は任意のブール代数ブール束en:Boolean algebra (structure))のである; 「真」は代数の最大元に対応し、「偽」は最小元に対応する(最大と最小も参照)。代数の他の元は「真」と「偽」以外の真理値に対応する(訳注: 多値論理の真理値のこと)。2値となるのは、他の元を持たないブール代数(en:Two-element Boolean algebra)のときのみである。

古典論理の例

  • アリストテレスオルガノンは、彼の三段論法の理論を示しており、その論理は判定(judgment)の形が制限されている: そこでは表明(assertion)は以下の4種類、「すべての P は Q である」「ある P は Q である」「すべての P は Q ではない」「ある P は Q ではない」のどれかの形をとる。これらの判定において、双対な2つの演算子のペア2つがあり、それぞれの演算子がもうひとつの否定であるという関係がなりたつ。これがアリストテレスが彼のen:Square of oppositionでまとめた関係である。アリストテレスは彼の系の正当化において、それらの法則が三段論法的フレームワークの範囲内の判定で表現できないにもかかわらず、排中律と無矛盾律を明示的に定式化した。(排中律#アリストテレス無矛盾律#引用

参照

  1. ^ Nicholas Bunnin; Jiyuan Yu (2004). The Blackwell dictionary of Western philosophy. Wiley-Blackwell. p. 266. ISBN 978-1-4051-0679-5. https://books.google.co.jp/books?id=OskKWI1YA7AC&pg=PA266&redir_esc=y&hl=ja 
  2. ^ L. T. F. Gamut (1991). Logic, language, and meaning, Volume 1: Introduction to Logic. University of Chicago Press. pp. 156–157. ISBN 978-0-226-28085-1. https://books.google.co.jp/books?id=Z0KhywkpolMC&pg=PA156&redir_esc=y&hl=ja 
  3. ^ 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.
  4. ^ Shapiro, Stewart (2000). Classical Logic. In Stanford Encyclopedia of Philosophy [Web]. Stanford: The Metaphysics Research Lab. Retrieved October 28, 2006, from http://plato.stanford.edu/entries/logic-classical/
  5. ^ Haack, Susan, (1996). Deviant Logic, Fuzzy Logic: Beyond the Formalism. Chicago: The University of Chicago Press.

参考文献

  • Graham Priest, An Introduction to Non-Classical Logic: From If to Is, 2nd Edition, CUP, 2008, ISBN 9780521670265
  • Warren Goldfard, "Deductive Logic", 1st edition, 2003, ISBN 0-87220-660-2

関連項目


「Classical logic」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「Classical logic」の関連用語

Classical logicのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



Classical logicのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの古典論理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS