非古典論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/12/10 15:32 UTC 版)
非古典論理(ひこてんろんり、non-classical logic(s))は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて認めた上で新たな仮定を付け加えることによって構築された論理の総称である。
- ^ 坪井, 直人「線形論理の拡張体系に対する代数的研究」『M-IS』2003年度(H15)、JAIST、2004年3月。
- 1 非古典論理とは
- 2 非古典論理の概要
非古典論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/02/14 06:33 UTC 版)
著書の中でもたびたび直観論理と量子論理が対称的であることに着目し、強い興味を示している(『数学的世界観 - 現代数学の思想と展望』、『線形代数と量子力学』、『ゲーデルの夢』等)。『線形代数と量子力学』では、“量子論理への誘い”と題された付録が総ページ数の1/3弱(全165ページ中、110~162ページの53ページ)を占める。 1981年には、量子論理に基づく集合論である量子集合論を導入している。 量子論理と直観論理の対比量子論理古典論理直観論理成立 A∨¬A 不成立 成立 ¬¬A⇔A 不成立 不成立 A∧(B∨C)⇔(A∧B)∨(A∧C) 成立 成立 ¬(A∧B)⇔¬A∨¬B 不成立 成立 ¬(A∨B)⇔¬A∧¬B 不成立
※この「非古典論理」の解説は、「竹内外史」の解説の一部です。
「非古典論理」を含む「竹内外史」の記事については、「竹内外史」の概要を参照ください。
非古典論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/04/01 10:45 UTC 版)
詳細は「非古典論理」を参照 非古典論理とは、命題論理や述語論理などの、標準的な論理体系とは大きく異なる形式体系の名称である。これらの目的は、論理的帰結と論理的真理の異なるモデルを構築できるようにすることである。
※この「非古典論理」の解説は、「論理的真理」の解説の一部です。
「非古典論理」を含む「論理的真理」の記事については、「論理的真理」の概要を参照ください。
非古典論理と同じ種類の言葉
- 非古典論理のページへのリンク