Skip to main content Skip to main navigation menu Skip to site footer
  • Register
  • Login
  • Language
    • English
    • Język Polski
  • Menu
  • Home
  • Current
  • Archives
  • Online First Articles
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Advisory Board
    • Peer Review Process
    • Logic and Logical Philosophy Committee
    • Open Access Policy
    • Privacy Statement
    • Contact
  • Register
  • Login
  • Language:
  • English
  • Język Polski

Logic and Logical Philosophy

Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion
  • Home
  • /
  • Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion
  1. Home /
  2. Archives /
  3. Vol. 30 No. 3 (2021): September /
  4. Articles

Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion

Authors

  • Alex Belikov Department of Logic, Faculty of Philosophy, Lomonosov Moscow State University https://orcid.org/0000-0003-1395-8878

DOI:

https://doi.org/10.12775/LLP.2021.007

Keywords

Peirce, Triadic Logic, conjunction, disjunction, connexive logic, natural deduction, generalized truth values

Abstract

In this paper, we present two variants of Peirce’s Triadic Logic within a language containing only conjunction, disjunction, and negation. The peculiarity of our systems is that conjunction and disjunction are interpreted by means of Peirce’s mysterious binary operations Ψ and Φ from his ‘Logical Notebook’. We show that semantic conditions that can be extracted from the definitions of Ψ and Φ agree (in some sense) with the traditional view on the semantic conditions of conjunction and disjunction. Thus, we support the conjecture that Peirce’s special interest in these operations is due to the fact that he interpreted them as conjunction and disjunction, respectively. We also show that one of our systems may serve as a suitable base for an interesting implicative expansion, namely the connexive three-valued logic by Cooper. Sound and complete natural deduction calculi are presented for all systems examined in this paper.

References

Anderson, A. R., and N.D. Belnap, Entailment. The Logic of Relevance and Necessity, Vol. 1, Princeton, NJ: Princeton University Press, 1975.

Angell, R.B., “A propositional logic with subjunctive conditionals”, Journal of Symbolic Logic 27 (1962): 327–343.

Belikov, A., “On bivalent semantics an natural deduction for some infectious logics”, Logic Journal of the IGPL (2021), DOI: http://dx.doi.org/10.1093/jigpal/jzaa071

Belikov, A., Petrukhin, Y., “Exactly true and non-falsity logics meeting infectious ones”, Journal of Applied Non-Classical Logics (2020). DOI: http://dx.doi.org/10.1080/11663081.2020.1751573

Belnap, N.D., “Conditional assertion and restricted quantification”, Noûs 4 (1970): 1–12.

Cantwell, J., “The logic of conditional negation”, Notre Dame Journal of Formal Logic 49 (2008): 245–260.

Ciuni R., T.M. Ferguson, and D. Szmuc, “Relevant logics obeying component homogeneity”, Australasian Journal of Logic 15, 2 (2018): 301–361.

Cooper, W. A., “Formalization of the logic of ordinary conditionals”, Ph.D. Thesis, University of California, Berkeley 1964.

Cooper, W. “The Propositional Logic of Ordinary Discourse”, Inquiry 11 (1968): 295–320.

Ebbinghaus, H.D., “Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen”, Arch. Math. Logik Grundlagenforsch, 12 (1969): 39–53.

Fisch, M., and A. Turquette, “Peirce’s Triadic Logic”, Transactions of the Charles S. Peirce Society 2, 2 (1966): 71–85.

Finn, V.K., and R. Grigolia, “Nonsense logics and their algebraic properties”, Theoria 59 (1993): 207–273.

Lane, R., “Triadic logic”, in M. Bergman and J. Queiroz (eds.), The Commens Encyclopedia: The Digital Encyclopedia of Peirce Studies, New Edition, 2001. Pub. 140917-1304a. Retrieved from http://www.commens.org/encyclopedia/article/lane-robert-triadic-logic.

Łukasiewicz, J., “O logice trójwartościowej”, Ruch Filozoficny, 5 (1920): 170–171.

Łukasiewicz, J., Selected Works, L. Borkowski (ed.), Amsterdam, Warsaw: North-Holland, PWN, 1970.

Ma, M., and A. Pietarinen, “Peirce’s calculi for classical propositional logic”, The Review of Symbolic Logic 13, 3 (2020): 509–540.

McCall, S., “Connexive implication”, Journal of Symbolic Logic 31 (1966): 415–433.

Odland, Brent C., “Peirce’s Triadic Logic: continuity, modality, and L” (unpublished master’s thesis), University of Calgary, AB, 2020.

Olkhovikov, G.K., “On a new three-valued paraconsistent logic”, pages 96–113 in Logic of Law and Tolerance, Yekaterinburg: Ural State University Press, 2002.

Olkhovikov, G.K., “On a new three-valued paraconsistent logic”, IfCoLog Journal of Logics and their Applications 3 (2016): 317–334.

Omori, H., “From paraconsistent logic to dialetheic logic”, pages 111–134 in H. Andreas and P. Verdée (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics, Berlin: Springer, 2016.

Omori, H., and D. Szmuc, “Conjunction and disjunction in infectious logics”, pages 268–283 in A. Baltag, J. Seligman and T. Yamada (eds.), Logic, Rationality, and Interaction: 6th International Workshop (LORI2017), Berlin: Springer, 2017.

Omori, H., and H. Wansing, “Connexive logics. An overview and current trends”, Logic and Logical Philosophy 28, 3 (2019): 371–387. DOI: http://dx.doi.org/10.12775/LLP.2019.026

Parks, R., “The mystery of Phi and Psi”, Transactions of the Charles S. Peirce Society 7 (1971): 176–177.

Petrukhin, Y.I., “The natural deduction systems for the three-valued non-sense logics Z and E”, Moscow University Mathematics Bulletin 73, 1 (2018): 30–33.

Priest, G., “Paraconsistent logic”, pages 287–393 in Handbook of Philosophical Logic, Dordrecht: Springer, 2002.

Sobocinski, B., “Axiomatization of a partial system of three-value calculus of propositions”, Journal of Computing Systems 1 (1952): 23–55.

Szmuc, D.E., “Defining LFIs and LFUs in extensions of infectious logics”, Journal of Applied Non-Classical Logics 26, 4 (2016): 286–314.

Szmuc, D.E., “An epistemic interpretation of paraconsistent weak Kleene logic”, Logic and Logical Philosophy, 28, 2 (2019): 277–330. DOI: http://dx.doi.org/10.12775/LLP.2019.014

Szmuc, D., and H. Omori, “A note on Goddard and Routley’s significance logic”, Australasian Journal of Logic 15, 2 (2018): 431–448.

Turquette, A., “Peirce’s Phi and Psi operators for Triadic Logic”, Transactions of the Charles S. Peirce Society 3, 2 (1967): 66–73.

Turquette, A., “Peirce’s complete systems of Triadic Logic”, Transactions of the Charles S. Peirce Society 5, 4 (1969): 199–210.

Wansing, H., “Connexive logic”, The Stanford Encyclopedia of Philosophy, Spring 2020 Edition, E.N. Zalta (ed.), https://plato.stanford.edu/archives/spr2020/entries/logic-connexive/.

Wansing, H., “Connexive modal logic”, pages 367–383 in R. Schmidt et al. (eds.), Advances in Modal Logic, Volume 5, London: King’s College Publications, 2006.

Wansing, H., H. Omori, and T.M. Ferguson, “The tenacity of connexive logic: Preface to the special issue”, IfCoLog Journal of Logics and their Applications 3 (2016): 279–296.

Logic and Logical Philosophy

Downloads

  • PDF

Published

2021-05-02

How to Cite

1.
BELIKOV, Alex. Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion. Logic and Logical Philosophy. Online. 2 May 2021. Vol. 30, no. 3, pp. 535-559. [Accessed 1 July 2025]. DOI 10.12775/LLP.2021.007.
  • ISO 690
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

Vol. 30 No. 3 (2021): September

Section

Articles

Stats

Number of views and downloads: 1193
Number of citations: 0

Crossref
Scopus
Google Scholar
Europe PMC

Search

Search

Browse

  • Browse Author Index
  • Issue archive

User

User

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo

Information

  • For Readers
  • For Authors
  • For Librarians

Newsletter

Subscribe Unsubscribe

Language

  • English
  • Język Polski

Tags

Search using one of provided tags:

Peirce, Triadic Logic, conjunction, disjunction, connexive logic, natural deduction, generalized truth values
Up

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partners

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Instytut Tomistyczny
  • Karmelitański Instytut Duchowości w Krakowie
  • Ministerstwo Kultury i Dziedzictwa Narodowego
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polska Fundacja Przemysłu Kosmicznego
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Komisji Edukacji Narodowej w Krakowie
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Nicolaus Copernicus University Accessibility statement Shop