TY - GEN
T1 - Conjunction and disjunction in infectious logics
AU - Omori, Hitoshi
AU - Szmuc, Damian
N1 - Publisher Copyright:
© Springer-Verlag GmbH Germany 2017.
PY - 2017
Y1 - 2017
N2 - 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.
AB - 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.
KW - Conjunction
KW - Disjunction
KW - Infectious logics
KW - Logics of nonsense
KW - Plurivalent logics
UR - http://www.scopus.com/inward/record.url?scp=85029442848&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85029442848&partnerID=8YFLogxK
U2 - 10.1007/978-3-662-55665-8_19
DO - 10.1007/978-3-662-55665-8_19
M3 - Conference contribution
AN - SCOPUS:85029442848
SN - 9783319649993
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 268
EP - 283
BT - Business Process Management - 15th International Conference, BPM 2017, Proceedings
A2 - Seligman, Jeremy
A2 - Yamada, Tomoyuki
A2 - Baltag, Alexandru
PB - Springer Verlag
T2 - 15th International Conference on Business Process Management, BPM 2017
Y2 - 10 September 2017 through 15 September 2017
ER -