The Logic of Truth in Paraconsistent Internal Realism

Abstract

The paper discusses which modal principles should hold for a truth operator answering to the truth theory of internal realism. It turns out that the logic of truth in internal realism is isomorphic to the modal system S4.

Keywords

• truth
• modal logic
• paraconsistency
• internal realism