In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Berlin: Springer. pp. 268-283 (2017)
| Authors |
|
| Abstract |
In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that none of them discusses our main question. This is why we finally turn to the analysis of the truth-conditions for conjunction and disjunction in infectious logics, employing the framework of plurivalent logics, as discussed by Priest. In doing so, we arrive at the interesting conclusion that —in the context of infectious logics— conjunction is conjunction, whereas disjunction is not disjunction.
|
| Keywords | Conjunction Disjunction Infectious logics Logics of nonsense Plurivalent logics |
| Categories | (categorize this paper) |
| Buy the book |
Find it on Amazon.com
|
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - Cambridge University Press.
How a Computer Should Think.Nuel Belnap - 1977 - In G. Ryle (ed.), Contemporary Aspects of Philosophy. Oriel Press.
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.
A Computational Interpretation of Conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.
View all 15 references / Add more references
Citations of this work BETA
Theories of Truth Based on Four-Valued Infectious Logics.Damian Szmuc, Bruno Da Re & Federico Pailos - 2020 - Logic Journal of the IGPL 28 (5):712-746.
Semantical Analysis of Weak Kleene Logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.
Models & Proofs: LFIs Without a Canonical Interpretations.Eduardo Alejandro Barrio - 2018 - Principia: An International Journal of Epistemology 22 (1):87-112.
Exactly True and Non-Falsity Logics Meeting Infectious Ones.Alex Belikov & Yaroslav Petrukhin - 2020 - Journal of Applied Non-Classical Logics 30 (2):93-122.
View all 10 citations / Add more citations
Similar books and articles
Defining LFIs and LFUs in Extensions of Infectious Logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.
Theories of Truth Based on Four-Valued Infectious Logics.Damian Szmuc, Bruno Da Re & Federico Pailos - 2020 - Logic Journal of the IGPL 28 (5):712-746.
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
Logics with Disjunction and Proof by Cases.San-min Wang & Petr Cintula - 2008 - Archive for Mathematical Logic 47 (5):435-446.
Substructural Logics in Natural Deduction.Ernst Zimmermann - 2007 - Logic Journal of the IGPL 15 (3):211-232.
The Disjunction Property of Intermediate Propositional Logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.
To Distribute or Not to Distribute?Jean-Yves Béziau & Marcelo E. Coniglio - 2011 - Logic Journal of the IGPL 19 (4):466-583.
Counting the Maximal Intermediate Constructive Logics.Mauro Ferrari & Pierangelo Miglioli - 1994 - Journal of Symbolic Logic 59 (4):1365-1401.
Counting the Maximal Intermediate Constructive Logics.Mauro Ferrari & Pierangelo Miglioli - 1993 - Journal of Symbolic Logic 58 (4):1365-1401.
A Method to Single Out Maximal Propositional Logics with the Disjunction Property I.Mauro Ferrari & Pierangelo Miglioli - 1995 - Annals of Pure and Applied Logic 76 (1):1-46.
An Infinite Class of Maximal Intermediate Propositional Logics with the Disjunction Property.Pierangelo Miglioli - 1992 - Archive for Mathematical Logic 31 (6):415-432.
Halldén-Completeness in Super-Intuitionistic Predicate Logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
Analytics
Added to PP index
2018-04-13
Total views
567 ( #14,914 of 2,504,877 )
Recent downloads (6 months)
49 ( #17,708 of 2,504,877 )
2018-04-13
Total views
567 ( #14,914 of 2,504,877 )
Recent downloads (6 months)
49 ( #17,708 of 2,504,877 )
How can I increase my downloads?
Downloads
