Two-valued logics for naive truth theory

Authors

  • Lucas Daniel Rosenblatt Conicet - Universidad de Buenos Aires

DOI:

https://doi.org/10.26686/ajl.v12i1.2082

Abstract

It is part of the current wisdom that the Liar and similar semantic
paradoxes can be taken care of by the use of certain non-classical
multivalued 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.

Downloads

Download data is not yet available.

Downloads

Published

2015-01-04