The Logic of Truth in Paraconsistent Internal Realism
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.
Bremer, M.(2005). An Introduction to Paraconsistent Logics, Peter Lang Publishing, Bern.
Bremer, M. (2008). Internal realism, in P. Hannah (ed.), Anthology of Philosophical Studies, Athens.
Hughes, G. E. and Cresswell, M. J. (1968). An Introduction to Modal Logics, Methuen, London/New York.
Meyer, J.-J. C. and vander Hoek, W. (1995). Epistemic Logic for AI and Computer Science, Cambridge.
Priest, G. (1979). The logic of paradox, Journal of Philosophical Logic 8: 219-241.
Priest, G. (2006). In Contradiction, 2nd edn, Oxford.
Tennant, N. (1987). The Taming of the True, Oxford.
Thomason, R. (1980). A note on syntactical treatments of modality, Synthese 44: 391-395.