This essay introduces a novel framework to studying many-valued logics – the movable truth value (or MTV) approach. After setting up the framework, we will show that a vast number of many-valued logics, and in particular many-valued logics that have previously been given very different kinds of semantics, including C, K3, LP, ST, TS, RMfde, and FDE, can all be unified within the MTV-logic approach. This alone is notable, since until now RMfde in particular has resisted attempts to provide it with the same kind of many-valued semantics as the other logics in this list. New proofs of the duality between LP and K3, and of the self-duality of C, ST, TS, and RMfde, are presented. The essay will conclude with a discussion of directions that further research might take.
This is a preview of subscription content, access via your institution.
Buy single article
Instant access to the full article PDF.
Price excludes VAT (USA)
Tax calculation will be finalised during checkout.
Belnap, N. (1977). A useful four-valued logic. In J. Dunn G. Epstein (Eds.) Modern used of multiple-valued logic (pp. 8–37). Dordrecht: Springer.
Chemla, E., Égré, P., & Spector, B. (2017). Characterizing logical consequence in many-valued logic. Journal of Logic and Computation, 27(7), 2193–2226.
Cobreros, P., Égré, P., Ripley, D., & van Rooij, R. (2012). Tolerant, classical, strict. Journal of Philosophical Logic, 41(2), 347–385.
Cobreros, P., La Rosa, E., & Tranchini, L. (2020). (I Can’t Get No) Antisatisfaction, Synthese [online].
Dunn, J. (1976). Intuitive semantics for first-degree entailment and ‘Coupled Trees’. Philosophical Studies, 29, 149–168.
Dunn, J. (2000). Partiality and its dual. Studia Logica, 65, 5–40.
Fjellstad, A. (2016). Non-classical elegance for sequent calculus enthusiasts. Studia Logica, 105, 93–119.
Humberstone, L. (1988). Heterogeneous logic. Erkenntnis, 29, 395–435.
Kleene, S. (1952). Introduction to Metamathematics. New York: Van Nostrand.
Machina, K. (1976). Truth, belief, and vagueness. Journal of Philosophical Logic, 5, 47–78.
Marcos, J. (2011). The value of the two values. In J. Béziau M. Coniglio (Eds.) Logic without frontiers: Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday (pp. 277–294). London: College Publication.
Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic, 8, 219–241.
Restall, G. (1996). Truthmakers, entailment and necessity. Australasian Journal of Philosophy, 74(2), 331–340.
van Rooij, R. (2010). Vagueness, tolerance, and non-transitive entailment (manuscript).
Wintein, S. (2016). On all strong kleene generalizations of classical logic. Studia Logica, 104(3), 503–545.
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Cook, R.T. MTV Logics. J Philos Logic 51, 1477–1519 (2022). https://doi.org/10.1007/s10992-021-09634-4
- Many-valued logic