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.
Original language | English (US) |
---|---|
Pages (from-to) | 1477-1519 |
Number of pages | 43 |
Journal | Journal of Philosophical Logic |
Volume | 51 |
Issue number | 6 |
DOIs | |
State | Published - Dec 2022 |
Bibliographical note
Publisher Copyright:© 2021, The Author(s), under exclusive licence to Springer Nature B.V.
Keywords
- Duality
- FDE
- K3
- LP
- Many-valued logic
- Negation
- RM
- ST
- TS