紀要論文 Some syntactical and semantical properties for pair sentential calculus PSC

Ishii,Tadao

3pp.12 - 26 , 2017-04-01 , 新潟国際情報大学情報文化学部
ISSN:24238465
内容記述
This paper is an extended version of my talk in the Conference of Non-Classical Logics 2016. In this paper we will introduce a system that rejects the principle of identity \A is A", one of the third Aristotelian principles for thinking. The proposed system allows to deal with paradoxical sentences, like a Liar sentence \A is not A". We present both an axiomatic system and an adequate semantics for it.
本文を読む

http://lbir.nuis.ac.jp/infolib/user_contents/lbir/kiyo/kiyo_2017.01.04.pdf

このアイテムのアクセス数:  回

その他の情報