Paraconsistent logic

About: Paraconsistent logic is a research topic. Over the lifetime, 1610 publications have been published within this topic receiving 28842 citations.

Liberating Paraconsistency from Contradiction

Abstract: In this paper we propose to take seriously the claim that at least some kinds of paraconsistent negations are subcontrariety forming operators. We shall argue that from an intuitive point of view, by considering paraconsistent negations as formalizing that particular kind of opposition, one needs not worry with issues about the meaning of true contradictions and the like, given that “true contradictions” are not involved in these paraconsistent logics. Our strategy will consist in showing that, on the one hand, the natural translation for subcontrariety in formal languages is not a contradiction in natural language, and on the other, translating alleged cases of contradiction in natural language to paraconsistent formal systems works only provided we transform them into a subcontrariety. Transforming contradictions into subcontrariety shall provide for an intuitive interpretation for paraconsistent negation, which we also discuss here. By putting all those pieces together, we hope a clearer sense of paraconsistency can be made, one which may liberate us from the need to tame contradictions.

On a Proposed System of Epistemic Logic

Abstract: In this note familiarity is assumed with the papers in the symposium-"The Logic of Knowledge and Belief-which appeared in the first issue of Nou's. Familiarity is also assumed with the subject of that symposium, i.e., Hintikka's classic work Knowledge and Belief. I do not look on this note as a rebuttal to Professor Hintikka's charitable and illuminating reply to my contribution to the Nous symposium. My intent is to raise certain questions concerning the system of epistemic logic outlined in Hintikka's paper "Individuals, Possible Worlds, and Epistemic Logic." This system differs in some respects from that of the book Knowledge and Belief. I shall refer to the latter system as KB and the former as IPE. Some of the respects in which IPE differs from KB may be put in the following manner, I believe:

Logic: A Misleading Concept. A Contradiction Study toward Agent's Logic

Abstract: The paper presents a fresh new comprehensive ideology on Neutrosophic Logic based on contradiction study in a broad sense: general critics on conventional logic by examining the essence of logic, fresh insights on logic definition based on Chinese philosophical survey, and a novel and genetic logic model as the elementary cell against Von Neumann oriented ones based on this novel definition. As for the logic definition, the paper illustrates that logic is rather a tradeoff between different factors than truth and false abstraction. It is stressed that the kernel of any intelligent system is exactly a contradiction model. The paper aims to solve the chaos of logic and exhibit the potential power of neutrosophy: a new branch of scientific philosophy.