Two-valued logics for naive truth theory

  • Lucas Daniel Rosenblatt Conicet - Universidad de Buenos Aires

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.
Published
2015-01-04
How to Cite
ROSENBLATT, Lucas Daniel. Two-valued logics for naive truth theory. The Australasian Journal of Logic, [S.l.], v. 12, n. 1, jan. 2015. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/2082>. Date accessed: 23 nov. 2019. doi: https://doi.org/10.26686/ajl.v12i1.2082.