Non-classical logicとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > Non-classical logicの意味・解説 

非古典論理

(Non-classical logic から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/12/10 15:32 UTC 版)

非古典論理(ひこてんろんり、non-classical logic(s))は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて認めた上で新たな仮定を付け加えることによって構築された論理の総称である。

古典論理の拡張としての非古典論理

古典論理の拡張としての非古典論理では、基本的に、古典論理のすべての定理がその論理体系でも定理となる。

古典論理の代替としての非古典論理

古典論理の代替としての非古典論理は、基本的に、古典論理の定理のいくつかがその論理体系では定理でない。

直観論理
排中律を認めない。
多値論理
「真」、「偽」以外にも様々な真理値を取る論理。
適切さの論理
別名 : 相関論理、関連性の論理、関連性論理
「1+1=3なら宇宙人がいる」のような命題を真とは考えない論理。
線形論理
矛盾許容論理
Aと¬Aから⊥を導けない。

なお、古典論理や直観主義論理のシークエント計算による定式化において、構造規則を制限することによって得られる論理を部分構造論理とよび、線形論理、適切さの論理や、ウカシェヴィチの多値論理が含まれる[1]

脚注

[脚注の使い方]
  1. ^ 坪井, 直人「線形論理の拡張体系に対する代数的研究」『M-IS』2003年度(H15)、JAIST、2004年3月。

関連項目


「Non-classical logic」の例文・使い方・用例・文例

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


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

辞書ショートカット

すべての辞書の索引

「Non-classical logic」の関連用語

Non-classical logicのお隣キーワード
検索ランキング

   

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



Non-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