矛盾のないロジッ‪ク‬

準一貫性ロジックとは

矛盾を区別して処理できる論理フレームワークを作成する試みは、準一貫性ロジックの一例です。 あるいは、パラコンシステントロジックは、爆発の原理を拒否し、「矛盾を許容する」論理システムの研究と開発に関係する論理のサブフィールドです。 このサブフィールドは、そのようなシステムの研究と開発に焦点を当てています。

どのようなメリットがあるか

(I) 以下のトピックに関する洞察と検証:

第 1 章: 矛盾のない論理

第 2 章: 選言三段論法

第 3 章: 論理接続法

第 4 章: 命題計算

第 5 章: 矛盾による証明

第 6 章: 矛盾

第 7 章: 否定

第 8 章: 透視信仰

第 9 章: 爆発の原理

第 10 章: 哲学的論理

(II) 準一貫性のある論理に関する一般のよくある質問に答える。

(III) 実際の例

(IV) 17 の付録では、各業界の 266 の新興テクノロジーを簡単に説明し、準一貫性ロジックのテクノロジーを 360 度完全に理解することができます。

本書の対象者

専門家、学部生、大学院生、愛好家、愛好家、およびあらゆる種類の矛盾したロジックについての基本的な知識や情報を超えたいと考えている人 .