Two-valued logics for naive truth theory | Zendy

Lucas Rosenblatt | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Two-valued logics for naive truth theory

Author(s) -

Lucas Rosenblatt

Publication year - 2015

Publication title -

the 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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research