Carlo Nicolai
King's College London
When are two formal theories of broadly logical concepts, such as truth, equivalent? The paper investigates a case study, involving two well-known variants Kripke-Feferman truth. The first, KF+CONS, features a consistent but partial truth predicate. The second, KF+COMP, an inconsistent but complete truth predicate. It is well-known that the two truth predicates are dual to each other. We show that this duality reveals a much stricter correspondence between the two theories: they are intertraslatable. Intertranslatability under natural assumptions coincides with definitional equivalence, and is arguably the strictest notion of theoretical equivalence different from logical equivalence. The case of KF+CONS and KF+COMP raises a puzzle: the two theories can be proved to be strictly related, yet they appear to embody remarkably different conceptions of truth. We discuss the significance of the result for the broader debate on formal criteria of conceptual reducibility for theories of truth.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Saving Truth From Paradox.Hartry Field - 2008 - Oxford, England: Oxford University Press.
The Scientific Image.William Demopoulos & Bas C. van Fraassen - 1982 - Philosophical Review 91 (4):603.
Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Spandrels of Truth.J. C. Beall - 2009 - Oxford, England: Oxford University Press.

View all 38 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

First Degree Entailment, Symmetry and Paradox.Greg Restall - 2017 - Logic and Logical Philosophy 26 (1):3-18.
Gaps, Gluts and God.Stamatios Gerogiorgakis - 2015 - In Miroslaw Szatkowski (ed.), God, Truth, and Other Enigmas. De Gruyter. pp. 71-76.
Supervaluationism and Paraconsistency.Achille C. Varzi - 2000 - In Diderik Batens, Chris Mortensen, Graham Priest & Jean Paul Van Bendegem (eds.), Frontiers in Paraconsistent Logic. Research Studies Press. pp. 279–297.
On Morita Equivalence and Interpretability.Paul Anh Mceldowney - forthcoming - Review of Symbolic Logic:1-27.
Glymour and Quine on Theoretical Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Journal of Philosophical Logic 45 (5):467-483.
Theoretical Equivalence and Duality.Sebastian De Haro - 2019 - Synthese 198 (6):5139-5177.
On Morita Equivalence and Interpretability.Paul Anh Mceldowney - 2020 - Review of Symbolic Logic 13 (2):388-415.
Theoretical Equivalence as Interpretative Equivalence.Kevin Coffey - 2014 - British Journal for the Philosophy of Science 65 (4):821-844.
Parallels Between Gaps and Gluts.Daniel Immerman - 2012 - Australasian Journal of Philosophy 90 (2):383-394.
On Translating Between Logics.Neil Dewar - 2018 - Analysis 78 (4):any001.
Equivalences for Truth Predicates.Carlo Nicolai - 2017 - Review of Symbolic Logic 10 (2):322-356.


Added to PP index

Total views
129 ( #89,247 of 2,498,320 )

Recent downloads (6 months)
45 ( #18,798 of 2,498,320 )

How can I increase my downloads?


My notes