Open AccessTwo-valued logics for naive truth theory
Author(s) -
Lucas Rosenblatt
Publication year - 2015
Publication title -
australasian journal of logic
Language(s) - English
Resource type - Journals
ISSN - 1448-5052
DOI - 10.26686/ajl.v12i1.2082
Subject(s) - negation , predicate (mathematical logic) , negation as failure , predicate logic , computer science , mathematics , epistemology , artificial intelligence , calculus (dental) , philosophy , description logic , programming language , autoepistemic logic , medicine , dentistry , multimodal logic
It is part of the current wisdom that the Liar and similar semanticparadoxes can be taken care of by the use of certain non-classicalmultivalued logics. In this paper I want to suggest that bivalent logic can do just as well. This is accomplished by using a non-deterministic matrix to define the negation connective. I show that the systems obtained in this way support a transparent truth predicate. The paper also contains some remarks on the conceptual interest of such systems.