Abstract
Charles Peirce incorporates modality into his Existential Graphs (EG) by introducing the broken cut for possible falsity. Although it can be adapted to various modern modal logics, Zeman demonstrates that making no other changes results in a version that he calls Gamma-MR, an implementation of Jan Łukasiewicz's four-valued Ł-modal system. It disallows the assertion of necessity, reflecting a denial of determinism, and has theorems involving possibility that seem counterintuitive at first glance. However, the latter is a misconception that arises from overlooking the distinction between the intermediate truth values (ITVs) that are assigned to possibly true propositions as either X-contingent or Y-contingent. Any two propositions having the same ITV are possible together, while any two propositions having different ITVs, including those that are each other's negation, are possible individually yet not possible together. Porte shows that Ł-modal can be translated into classical logic by defining a constant for each ITV such that its implication of another proposition asserts the latter's possibility, while its conjunction with another proposition asserts the latter's necessity. These are expressed in the Alpha part of EG without broken cuts, simplifying derivations and shedding further light on Łukasiewicz's system, as long as graphs including either of the constants are properly interpreted. Ł-modal and Gamma-MR thus capture the two-sided nature of possibility as the limit between truth and falsity in Peirce's triadic conception.
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs11229-022-03755-2/MediaObjects/11229_2022_3755_Fig1_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs11229-022-03755-2/MediaObjects/11229_2022_3755_Fig2_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs11229-022-03755-2/MediaObjects/11229_2022_3755_Fig3_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs11229-022-03755-2/MediaObjects/11229_2022_3755_Fig4_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs11229-022-03755-2/MediaObjects/11229_2022_3755_Fig5_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs11229-022-03755-2/MediaObjects/11229_2022_3755_Fig6_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs11229-022-03755-2/MediaObjects/11229_2022_3755_Fig7_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs11229-022-03755-2/MediaObjects/11229_2022_3755_Fig8_HTML.png)
Similar content being viewed by others
Notes
Consistent with standard practice in Peirce scholarship, his writings are cited herein as CP with volume and paragraph number(s) for (1931–1958), NEM with volume and page number(s) for (1976), and LF with volume number for (2020–2022), followed by the year of original composition or publication. Most existed only in manuscripts when he died in 1914, but the title is also given where the reference is to an article that appeared in print during his lifetime.
By omitting excluded middle, intuitionistic logic treats the universe of discourse as general rather than individual, and philosophical intuitionism also treats it as mind-dependent rather than real. Since double negation elimination is invalid, a double cut is no longer equivalent to a scroll. Oostra (2010) and Ma and Pietarinen (2019) have developed intuitionistic versions of EG for propositional logic with this restriction, and Oostra (2011; 2012) has also described adaptations for intuitionistic first-order predicate logic and modal logic. Pietarinen and Chiffi (2018) observe that the blank sheet now signifies each graph’s “relation to the possibility of its illative transformations, its verifications or proofs,” such that “intuitionistic graphs are strictly speaking not species of existential graphs.”
Gamma also incorporates additional extensions including “second-order (higher-order) logics, abstractions, [and] logic of multitudes and collections” (Ma & Pietarinen, 2018). Lewis (1912) is generally credited with originating modern modal logic, but Peirce’s manuscripts associated with his 1903 Lowell Lectures (LF 2/1–2) show that he was on the verge of doing so years earlier; unfortunately, he was unable to get them published during his lifetime. For a more thorough summary of EG, especially Alpha and Beta, see (Roberts, 1992). For detailed expositions of all three parts, see (Zeman, 1964), (Roberts, 1973), and Pietarinen’s extensive introductory material in all the volumes of LF.
An anonymous reviewer rightly observed that Zeman's pioneering and extensive exposition of all three parts of EG is not as well-known nor as widely studied as it deserves to be. However, discussing all his interesting results and conclusions in greater detail is not within the scope of this paper.
According to an anonymous reviewer, Zeman became acquainted with Ł-modal through A. N. Prior, who worked with him while visiting Chicago in 1962.
Łukasiewicz was skeptical of intensional modal logics that rely on possible worlds semantics to maintain bivalence: “The analogy of possibility and necessity with the particular and universal quantifier is, in my opinion, superficial and misleading” (1953a). By contrast, Peirce quite presciently anticipated such an approach, including strict implication: “The quantified subject of a hypothetical proposition is a possibility, or possible case, or possible state of things” (CP 2.347, c. 1895). “But an ordinary Philonian conditional [if A then B] is expressed by saying, ‘In any possible state of things, i, either Ai is not true, or Bi is true’” (CP 3.444, “The Regenerated Logic,” 1896). He even briefly experimented with extending the Alpha part of EG to incorporate such quantification by using a heavy line to denote some possible state of things where each proposition attached to it would be true (LF 1, 1909). For more historical and theoretical background, see (Copeland, 2002).
This aspect of Ł-modal explains another initially puzzling result that Łukasiewicz himself highlights (1954; 1970, pp. 397–400) and Prior later addresses (1962): There exists a positive integer such that it is both Δ-possible that it is equal to one and ∇-possible that it is greater than one. The two predications are possibly true individually but not together, so the theorem properly evaluates one of them as X-contingent and the other as Y-contingent.
References
Anderson, A. R. (1954). On the interpretation of a modal system of Łukasiewicz. The Journal of Computing Systems, 1(4), 209–210.
Bellucci, F., & Pietarinen, A.-V. (2016). Existential Graphs as an instrument of logical analysis. The Review of Symbolic Logic, 9(2), 209–237. https://doi.org/10.1017/S1755020315000362
Beziau, J.-Y. (2011). A new four-valued approach to modal logic. Logique Et Analyse, 54(213), 109–121.
Copeland, B. J. (2002). The genesis of possible worlds semantics. Journal of Philosophical Logic, 31, 99–137. https://doi.org/10.1023/A:1015273407895
Curry, H. B. (1952). On the definition of negation by a fixed proposition in the inferential calculus. The Journal of Symbolic Logic, 17(2), 98–104. https://doi.org/10.2307/2266240
Dywan, Z. (2016). The shortest axioms of Łukasiewicz’s modal logic. Roczniki Filozoficzne, 64(2), 5–9. https://doi.org/10.18290/rf.2016.64.2-1
Fisch, M., & Turquette, A. (1966). Peirce’s triadic logic. Transactions of the Charles S. Peirce Society, 2(2), 71–85.
Font, J. M., & Hájek, P. (2002). On Łukasiewicz’s four-valued modal logic. Studia Logica: an International Journal for Symbolic Logic, 70(2), 157–182. https://doi.org/10.1023/A:1015111314455
Hughes, G. E., & Cresswell, M. J. (1968). An introduction to modal logic. Methuen.
Lemmon, E. J. (1966). Algebraic semantics for modal logics II. The Journal of Symbolic Logic, 31(2), 191–218. https://doi.org/10.2307/2269810
Lewis, C. I. (1912). Implication and the algebra of logic. Mind, 21(84), 522–531. https://doi.org/10.1093/mind/XXI.84.522
Łukasiewicz, J. (1953a). A system of modal logic. Actes Du XIème Congrès International De Philosophie, 14, 82–87.
Łukasiewicz, J. (1953b). A system of modal logic. The Journal of Computing Systems, 1(3), 111–149.
Łukasiewicz, J. (1954). Arithmetic and modal logic. The Journal of Computing Systems, 1(4), 213–219.
Łukasiewicz, J. (1957). Aristotle’s syllogistic: From the standpoint of modern formal logic (2nd ed.). Clarendon Press.
Łukasiewicz, J. (1970). Selected works. North-Holland.
Ma, M., & Pietarienen, A.-V. (2018). Gamma graph calculi for modal logics. Synthese, 195, 3621–3650. https://doi.org/10.1007/s11229-017-1390-3
Ma, M., & Pietarienen, A.-V. (2019). A graphical deep inference system for intuitionistic logic. Logique Et Analyse, 245, 73–114. https://doi.org/10.2143/LEA.245.0.3285706
Méndez, J. M., & Robles, G. (2015). A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes. Logica Universalis, 9, 501–522. https://doi.org/10.1007/s11787-015-0130-z
Méndez, J. M., Robles, G., & Salto, F. (2016). An interpretation of Łukasiewicz’s 4-valued modal logic. Journal of Philosophical Logic, 45, 73–87. https://doi.org/10.1007/s10992-015-9362-x
Odland, B. C. (2021). Peirce’s triadic logic: Modality and continuity. Transactions of the Charles S. Peirce Society, 57(2), 149–171. https://doi.org/10.2979/trancharpeirsoc.57.2.01
Oostra, A. (2010). Los gráficos Alfa de Peirce aplicados a la lógica intuicionista. Cuadernos De Sistemática Peirceana, 2, 25–60.
Oostra, A. (2011). Gráficos existenciales Beta intuicionistas. Cuadernos De Sistemática Peirceana, 3, 53–78.
Oostra, A. (2012). Los gráphicos existenciales Gama aplicados al algunas logicas modales intuicionista. Cuadernos De Sistemática Peirceana, 4, 27–50.
Peirce, C. S. (1976). The new elements of mathematics (C. Eisele, Ed.). Mouton.
Peirce, C. S. (1931–1958). The collected papers of Charles Sanders Peirce (C. Hartshorne, P. Weiss, & A. W. Burks, Eds.). Harvard University Press.
Peirce, C. S. (2020–2022). Logic of the future: Writings on existential graphs (A.-V. Pietarinen, Ed.). De Gruyter.
Pietarinen, A.-V., & Chiffi, D. (2018). Assertive and existential graphs: A comparison. In P. Chapman, G. Stapleton, A. Moktefi, A. Perez-Kriz, & F. Bellucci (Eds.), Diagrammatic representation and inference (pp. 565–581). Springer. https://doi.org/10.1007/978-3-319-91376-6_51
Porte, J. (1962). The Ω-system and the L-system of modal logic. In Colloquium on non-classical logics. Helsinki.
Porte, J. (1965). Recherches sur la théorie générale des systemes formels et sur les systèmes connectifs. Gauthier-Villars.
Porte, J. (1979). The Ω-system and the Ł-system of modal logic. Notre Dame Journal of Formal Logic, 20(4), 915–920. https://doi.org/10.1305/ndjfl/1093882814
Porte, J. (1984). Łukasiewicz’s Ł-modal system and classical refutability. Logique Et Analyse, 27(105), 87–92.
Prior, A. N. (1954). The interpretation of two systems of modal logic. The Journal of Computing Systems, 1(4), 201–208.
Prior, A. N. (1956). Logicians at play; or Syll, Simp and Hilbert. Australasian Journal of Philosophy, 34(3), 182–192. https://doi.org/10.1080/00048405685200181
Prior, A. N. (1957). Time and modality. Clarendon Press.
Prior, A. N. (1962). Quantification and Ł-modality. Notre Dame Journal of Formal Logic, 3(3), 142–147. https://doi.org/10.1305/ndjfl/1093957231
Roberts, D. D. (1973). The existential graphs of Charles S. Mouton.
Roberts, D. D. (1992). The existential graphs. Computers & Mathematics with Applications, 23(6–9), 639–663. https://doi.org/10.1016/0898-1221(92)90127-4
Schmidt, J. A. (2020). Peirce’s maxim of pragmatism: 61 formulations. Transactions of the Charles S. Peirce Society, 56(4), 580–599. https://doi.org/10.2979/trancharpeirsoc.56.4.04
Shafiei, M. (2019). Peirce’s Existential Graphs as a contribution to transcendental logic. In M. Shafiei & A.-V. Pietarinen (Eds.), Peirce and Husserl: Mutual insights on logic, mathematics and cognition (pp. 97–122). Springer. https://doi.org/10.1007/978-3-030-25800-9_6
Simons, P. (2014). Jan Łukasiewicz. In The Stanford encyclopedia of philosophy. https://plato.stanford.edu/archives/sum2020/entries/lukasiewicz/
Smiley, T. (1961). On Łukasiewicz’s Ł-modal system. Notre Dame Journal of Formal Logic, 2, 149–153. https://doi.org/10.1305/ndjfl/1093956874
Smiley, T. (1963). Relative necessity. The Journal of Symbolic Logic, 28(2), 113–134. https://doi.org/10.2307/2271593
Sotirov, V. (2008). Non-classical operations hidden in classical logic. Journal of Applied Non-Classical Logics, 18(2–3), 309–324. https://doi.org/10.3166/jancl.18.309-324
Tkaczyk, M. (2011). On axiomatization of Łukasiewicz’s four-valued modal logic. Logic and Logical Philosophy, 20, 215–232. https://doi.org/10.12775/LLP.2011.012
Zeman, J. (1964). The graphical logic of C. S. Peirce. University of Chicago. https://isidore.co/calibre/get/pdf/4481
Acknowledgements
The author is grateful to Brent Odland for providing helpful feedback on a draft version of this paper, and to the anonymous reviewers for their suggested enhancements.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Schmidt, J.A. Peirce and Łukasiewicz on modal and multi-valued logics. Synthese 200, 275 (2022). https://doi.org/10.1007/s11229-022-03755-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11229-022-03755-2