著者

向後 英二 亀田 弘之

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. TL, 思考と言語 (ISSN:09135685)

巻号頁・発行日

vol.99, no.691, pp.17-24, 2000-03-16

---

矛盾は知識の不備を発見するための有用な手掛かりの一つであるという考えに基づき矛盾の処理に関する基礎的考察, すなわち, 矛盾の分類と, 分類した中の論理的矛盾の分析, 論理的矛盾の解消方法について考察し, その結果について報告する.具体的には, まず矛盾を論理的矛盾, 感情的矛盾, その他の矛盾の3つに分類した.つぎに論理的矛盾について, まず論理的矛盾の発生原因について分析し, つぎに論理的矛盾の対処方法を考案・検討した.この際, 知識の根拠, 根拠の頑強度, 根拠空間という新たな概念を設定した.論理的矛盾解消の際に生じる知識体系の変化を考察し, その結果と新たに設定した上述の諸概念とを用いて論理的矛盾を解消する方法を提案した.