Abstract
This paper highlights the importance of a strategy for semantic analysis initiated by J. Michael Dunn, known in the literature as the “American Plan.” The key insight of the plan relies on allowing under-determined and over-determined logical valuations, which prove to be essential for a logical analysis of information structures. The main directions in the development of this fundamental idea are explained, and an implementation of the possible generalization thereof is briefly reviewed, culminating in the notion of a multi-consequence logic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
It should be pointed out that classical principles of bi-valence and unique-valence were occasionally criticized long before Dunn’s work, see e.g., (Łukasiewicz 1920, 1993). However, it was in fact Dunn, who not only challenged particular principles, but also initiated a ground-breaking research program (paradigm) on semantic analysis, in which abandoning certain classical principles turned out to be not a starting point, but rather the effect of more general philosophical considerations.
- 2.
Meyer and Routley (Sylvan) are inseparably associated with Australia owing to their long and fruitful service at the Australian National University, even though Meyer originally came from the United States and Routley from New Zealand.
- 3.
This definition shows that \(X_1\) represents the “falsity domain” of the corresponding propositional surrogate, while \(X_2\) is its “truth domain.” If one were to interpret the pair \((X_1,X_2)\) as a “possible world semantics,” then \(X_1\) and \(X_2\) would be the sets of “worlds” in which the corresponding proposition are false and true respectively.
- 4.
On truth-values and their importance for logic and philosophy see, e.g., (Shramko and Wansing 2014).
- 5.
By Definitions 2.1 and 2.2, I try in a way to systematize and regularize the bilattice-terminology which is sometimes incoordinate [or “not uniform,” see (Mobasher et al. 2000, p. 111)] in works by different authors. Moreover, these definitions are formulated in such a way as to enable further generalizations when it comes to trilattices and multilattices, see subsequent sections.
- 6.
Note again that in the first degree entailment systems, a consequence is standardly considered to be a relation between (single) formulas, with a usual generalization in mind to a relation between sets of formulas (so that \(\{\,A_1,\ldots ,A_m\,\}\vdash \{\,B_1,\ldots ,B_n\,\}\) can be represented by \(A_1\wedge \cdots \wedge A_m\vdash B_1\vee \cdots \vee B_n\)).
- 7.
Following a suggestion by Odintsov in (2009) I reverse here the falsity ordering as compared to its definition in (Shramko and Wansing 2005). As Odintsov remarks, such a reversion allows us to define logical connectives and entailment relations for the “truth-language” and “falsity-language” in a homomorphic and uniform way.
- 8.
In (Shramko and Wansing 2006) this result was extended to the infinite case, showing that Belnap’s strategy of generalizing the set \(\mathbf {2}=\{\,T,F\,\}\) of classical truth-values not only is coherent but stabilizes. At any stage, no matter how far it goes, the logic of the truth (non-falsity) order is again First Degree Entailment.
- 9.
Odintsov and Wansing denote their system \(\mathbf {BiCalc}\), but I prefer to retain the original label as more instructive. I also slightly modify the formulation from (Odintsov and Wansing 2015) to minimize the set of axioms and rules, and to visualize its further generalization.
- 10.
Moreover, for certain orderings it could be useful to consider combined inversion operations, so that, e.g., 23-inversion would invert simultaneously both \(\sqsubseteq _2\) and \(\sqsubseteq _3\), leaving the other partial orders untouched, but I skip this subject here, cf. (Shramko and Wansing 2006, p. 411).
- 11.
Precisely in the sense in which a generalized truth value of a “higher degree” may contain several truth values of a “lower degree” or fail to contain some (maybe all) of them.
- 12.
Interestingly, Arieli and Avron also admit the possibility that “more than one consequence relation is relevant,” thereby enabling “the use of corresponding implication connectives,” that “allow us also to express higher-order connections among those relations” (Arieli and Avron 1996, p. 44).
- 13.
For a single premiss–single conclusion case these conditions can be reformulated as follows: \(B\wedge A\vdash A\); \(B\vdash A\Rightarrow B\wedge C\vdash A\); \(B\vdash A \text{ and } C\wedge A \vdash D\Rightarrow B\wedge C\vdash D\), which obviously hold for every \(\vdash _j\) of \(\mathbf {FDE}_n^n\).
- 14.
For a comparison of defining consequence (entailment) relations through designated truth values and trough logical orderings, see e.g., (Wansing and Shramko 2008a).
References
Anderson, A. R., & Belnap, N. D. (1975). Entailment: The logic of relevance and necessity (Vol. I). NJ: Princeton University Press.
Anderson, A. R., Belnap, N. D., & Dunn, J. M. (1992). Entailment: The logic of relevance and necessity (Vol. II). Princeton: Princeton University Press.
Arieli, O., & Avron, A. (1996). Reasoning with logical bilattices. Journal of Logic, Language and Information, 5, 25–63.
Belnap, N. D. (1977a). How a computer should think. In G. Ryle (Ed.), Contemporary aspects of philosophy (pp. 30–56). Stocksfield: Oriel Press.
Belnap, N. D. (1977b). A useful four-valued logic. In J. M. Dunn & G. Epstein (Eds.), Modern uses of multiple-valued logic (pp. 8–37). Dordrecht: Reidel.
Bou, F., & Rivieccio, U. (2011). The logic of distributive bilattices. Logic Journal of the IGPL, 19, 183–216.
Caleiro, C., Carnielli, W., Coniglio, M., & Marcos, J. (2005). Two’s company: “The humbug of many logical values”. In J.-Y. Beziau (Ed.), Logica universalis (pp. 169–189). Basel: Birkhäuser.
Dunn, J. M. (1966). The algebra of intensional logics, PhD thesis, University of Pittsburgh, Ann Arbor (UMI).
Dunn, J. M. (1967). The effective equivalence of certain propositions about De Morgan lattices, (abstract). Journal of Symbolic Logic, 32, 433–434.
Dunn, J. M. (1971). An intuitive semantics for first degree relevant implications, (abstract). Journal of Symbolic Logic, 36, 362–363.
Dunn, J. M. (1976). Intuitive semantics for first-degree entailments and ‘coupled trees’. Philosophical Studies, 29, 149–168.
Dunn, J. M. (1986). Relevance logic and entailment. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic, (1st ed., Vol. 3, pp. 117–224). Dordrecht: D. Reidel.
Dunn, J. M. (1995). Positive modal logic. Studia Logica, 55, 301–317.
Dunn, J. M. (1999). A comparative study of various model-theoretic treatments of negation: A history of formal negation. In D. M. Gabbay & H. Wansing (Eds.), What is negation? (pp. 23–51). Dordrecht: Kluwer.
Dunn, J. M. (2000). Partiality and its dual. Studia Logica, 65, 5–40.
Fitting, M. (2006). Bilattices are nice things. In T. Bolander, V. Hendricks, & S. Pedersen (Eds.), Self-reference (pp. 53–77). Stanford: CSLI Publications.
Ginsberg, M. (1986). Multi-valued logics, Proceedings of AAAI-86, Fifth National Conference on Artificial Intellegence (pp. 243–247). Los Altos: Morgan Kaufman Publishers.
Ginsberg, M. (1988). Multivalued logics: A uniform approach to reasoning in AI. Computer Intelligence, 4, 256–316.
Łukasiewicz, J. (1920). O logice trójwartościowej. Ruch Filozoficny, 5, 170–171. (English translation as “On three-valued logic”. In: Lukasiewicz (1970), pp. 87–88.).
Łukasiewicz, J. (1970). Selected works. Amsterdam and Warsaw: North-Holland and PWN.
Łukasiewicz, J. (1993). Über den Satz des Widerspruch bei Aristoteles. New York: Georg Olms Verlag.
MacIntosh, J. J. (1991). Adverbially qualified truth values. Pacific Philosophical Quarterly, 72, 131–142.
Meyer, R. K. (1978). Why I am not a relevantist, Technical report, Australian National University, Logic Group, Research School of the Social Sciences, Canberra.
Mobasher, B., Pigozzi, D., Slutzki, G., & Voutsadakis, G. (2000). A duality theory for bilattices. Algebra Universalis, 43, 109–125.
Odintsov, S. (2009). On axiomatizing Shramko-Wansing’s logic. Studia Logica, 93, 407–428.
Odintsov, S. P., & Wansing, H. (2015). The logic of generalized truth values and the logic of bilattices. Studia Logica, 103, 91–112.
Rescher, N. (1965). An intuitive interpretation of systems of four-valued logic. Notre Dame Journal of Formal Logic, 6, 154–156.
Scott, D. (1973). Models for various type-free calculi. In P. Suppes, E. Nagel, & A. Tarski (Eds.), Logic, methodology and philosophy of science (Vol. 4, pp. 157–187). Amsterdam: North-Holland.
Shramko, Y., Dunn, J. M., & Takenaka, T. (2001). The trilattice of constructive truth-values. Journal of Logic and Computation, 11, 761–788.
Shramko, Y., & Wansing, H. (2005). Some useful 16-valued logics: How a computer network should think. Journal of Philosophical Logic, 34, 121–153.
Shramko, Y., & Wansing, H. (2006). Hyper-contradictions, generalized truth-values and logics of truth and falsehood. Journal of Logic, Language and Information, 15, 403–424.
Shramko, Y., & Wansing, H. (2011). Truth and falsehood., An inquiry into generalized logical values Dordrecht: Springer.
Shramko, Y., & Wansing, H. (2014). Truth values. In E. N. Zalta (Ed.) The Stanford Encyclopedia of Philosophy, summer 2014 edn. http://plato.stanford.edu/archives/sum2014/entries/truth-values/.
Suszko, R. (1977). The Fregean axiom and Polish mathematical logic in the 1920’s. Studia Logica, 36, 373–380.
Wansing, H. (1993). The logic of information structures, number 681 in lecture notes in AI. Berlin: Springer.
Wansing, H., & Shramko, Y. (2008a). Harmonious many-valued propositional logics and the logic of computer networks. In C. Dégremont, L. Keiff, & H. Rückert (Eds.), Dialogues, logics and other strange things (pp. 491–516)., Essays in honour of Shahid Rahman London: College Publications.
Wansing, H., & Shramko, Y. (2008b). Suszko’s thesis, inferential many-valuedness, and the notion of a logical system. Studia Logica, 88, 405–429.
Zaitsev, D. (2009). A few more useful 8-valued logics for reasoning with tetralattice EIGHT\(_4\). Studia Logica, 92, 265–280.
Zaitsev, D., & Shramko, Y. (2013). Bi-facial truth: A case for generalized truth-values. Studia Logica, 101, 1299–1318.
Acknowledgments
My work on this paper is a part of Marie Curie project PIRSES-GA-2012-318986 Generalizing Truth Functionality within the Seventh Framework Programme for Research funded by EU. I am grateful to Heinrich Wansing, Sergei Odintsov and Norihiro Kamide for helpful comments.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Shramko, Y. (2016). Truth, Falsehood, Information and Beyond: The American Plan Generalized. In: Bimbó, K. (eds) J. Michael Dunn on Information Based Logics. Outstanding Contributions to Logic, vol 8. Springer, Cham. https://doi.org/10.1007/978-3-319-29300-4_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-29300-4_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-29298-4
Online ISBN: 978-3-319-29300-4
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)