古典的否定を考慮に入れた矛盾許容型論理について
スポンサーリンク
概要
- 論文の詳細を見る
In a paper by Waragai and Shidori, a system of paraconsistent logic called PCL1 was proposed and a result showing the relation between PCL1 and the system of Modal Logic S5 was given. Though the classical negation plays an important role in the result, it was treated in an abstract way, so the present paper focuses on the concrete treatment of classical negation in PCL1 and makes the condition to enrich PCL1 with classical negation explicit. For this purpose, strong negation, which is defined by using a bottom particle in PCL1, is introduced and some of its results will be given. Also the notion of "behaving classically" in the extended system will be discussed.
- 科学基礎論学会の論文
- 2009-02-25
著者
関連論文
- 行為文の推論構造について : 柏端論文「行為と道具」およびデイヴィドソン型分析をめぐって
- 存在論に於ける単称三段論法とライプニッツ則の等値性について
- IS-A関係の論理システムとしてのオントロジー (特集 オントロジー) -- (パネルディスカッション:オントロジー)
- 古典的否定を考慮に入れた矛盾許容型論理について
- IS-A関係の論理システムとしてのオントロジーII
- 討論 : 矛盾許容型論理PCL1とS5について
- 討論 : 矛盾許容型論理PCL1とS5について
- 非飽和名詞句,一般化則及び主題化の論理的関係に関する一考察
- コピュラ文の論理構造について
- 一階述語論理の拡張としてのOntology : 知識表現の観点から
- 存在論における述定の基本テ-ゼについて
- 自然言語の推論とLesniewskiのOntology及び外延性の公理の論理的性格について
- 実在の論理としての「部分と全体の一般理 論」と出来事の論理的分析について : レシニェフスキーとホワイトヘッド(I)
- 自然言語の推論と Lesniewski の Ontology 及び外延性の公理の論理的性格について
- 集合と命題の論理形式-承前-
- トマス的存在論に於ける述語の内的構造と分有
- レシニェフスキ-存在論とラッセルの記述理論
- ペルソナ及び三位一体論に関する一考察:神学に於ける論理学(I)
- レシニェフスキー存在論とラッセルの記述理論
- 集合と命題の論理形式 (数学の文法)
- パルメニデスの幻想と論理学 (科学哲学の未来を問う)
- レシニェフスキ-存在論と公理的集合論
- レシニェフスキ-存在論と公理的集合論
- 述定と名辞の単称性に関する三つの原理に基づく論理的存在論
- レシニェフスキー存在論と公理的集合論
- 矛盾許容型論理PCL1の拡張について