Abstract
In this paper we study solution attempts for a problem posed by Ali Enayat: can there be a finitely axiomatised consistent sequential theory that interprets itself plus the (sentential or non-uniform) Tarski biconditionals? We provide a basic framework for the study of this question and discuss some solution attempts. We connect the question with some interesting conjectures. We briefly touch upon what happens if we consider uniform biconditionals.
Original language | English |
---|---|
Pages (from-to) | 2073-2117 |
Number of pages | 45 |
Journal | IfCoLoG Journal of Logics and their Applications |
Volume | 8 |
Issue number | 7 |
Publication status | Published - 2021 |