Skip to main content
Log in

MTV Logics

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

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, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. 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.

  2. Chemla, E., Égré, P., & Spector, B. (2017). Characterizing logical consequence in many-valued logic. Journal of Logic and Computation, 27(7), 2193–2226.

    Google Scholar 

  3. Cobreros, P., Égré, P., Ripley, D., & van Rooij, R. (2012). Tolerant, classical, strict. Journal of Philosophical Logic, 41(2), 347–385.

    Article  Google Scholar 

  4. Cobreros, P., La Rosa, E., & Tranchini, L. (2020). (I Can’t Get No) Antisatisfaction, Synthese [online].

  5. Dunn, J. (1976). Intuitive semantics for first-degree entailment and ‘Coupled Trees’. Philosophical Studies, 29, 149–168.

    Article  Google Scholar 

  6. Dunn, J. (2000). Partiality and its dual. Studia Logica, 65, 5–40.

    Article  Google Scholar 

  7. Fjellstad, A. (2016). Non-classical elegance for sequent calculus enthusiasts. Studia Logica, 105, 93–119.

    Article  Google Scholar 

  8. Humberstone, L. (1988). Heterogeneous logic. Erkenntnis, 29, 395–435.

    Article  Google Scholar 

  9. Kleene, S. (1952). Introduction to Metamathematics. New York: Van Nostrand.

    Google Scholar 

  10. Machina, K. (1976). Truth, belief, and vagueness. Journal of Philosophical Logic, 5, 47–78.

    Article  Google Scholar 

  11. 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.

  12. Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic, 8, 219–241.

    Article  Google Scholar 

  13. Restall, G. (1996). Truthmakers, entailment and necessity. Australasian Journal of Philosophy, 74(2), 331–340.

    Article  Google Scholar 

  14. van Rooij, R. (2010). Vagueness, tolerance, and non-transitive entailment (manuscript).

  15. Wintein, S. (2016). On all strong kleene generalizations of classical logic. Studia Logica, 104(3), 503–545.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Roy T. Cook.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cook, R.T. MTV Logics. J Philos Logic 51, 1477–1519 (2022). https://doi.org/10.1007/s10992-021-09634-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10992-021-09634-4

Keywords

Navigation