TY - GEN
T1 - Hallden's Logic of Nonsense and Its Expansions in View of Logics of Formal Inconsistency
AU - Omori, Hitoshi
N1 - Publisher Copyright:
© 2016 IEEE.
PY - 2017/1/12
Y1 - 2017/1/12
N2 - The paper explores the connection between Soren Hallden's logic of nonsense (and its expansions) and Logics of Formal Inconsistency (LFIs), one of the main traditions in paraconsistency. Although not much attention has been payed by paraconsistentists, Hallden's logic can be nicely connected to LFIs. The main result of the paper is a reformulation of an expansion of logic of nonsense studied by Lennart Aqvist and Krister Segerberg in the light of LFIs. More specifically, we present a three-valued semantics and a Hilbert-style system, and prove soundness and completeness results. We also observe some definability results related to the consistency and just-true operators, and briefly discuss an 'interpretation' of truth values of the three-valued semantics in view of the recent work of Graham Priest on plurivalent semantics.
AB - The paper explores the connection between Soren Hallden's logic of nonsense (and its expansions) and Logics of Formal Inconsistency (LFIs), one of the main traditions in paraconsistency. Although not much attention has been payed by paraconsistentists, Hallden's logic can be nicely connected to LFIs. The main result of the paper is a reformulation of an expansion of logic of nonsense studied by Lennart Aqvist and Krister Segerberg in the light of LFIs. More specifically, we present a three-valued semantics and a Hilbert-style system, and prove soundness and completeness results. We also observe some definability results related to the consistency and just-true operators, and briefly discuss an 'interpretation' of truth values of the three-valued semantics in view of the recent work of Graham Priest on plurivalent semantics.
KW - LFIs
KW - Logic of nonsense
KW - Three-valued logic
UR - http://www.scopus.com/inward/record.url?scp=85012054065&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85012054065&partnerID=8YFLogxK
U2 - 10.1109/DEXA.2016.039
DO - 10.1109/DEXA.2016.039
M3 - Conference contribution
AN - SCOPUS:85012054065
T3 - Proceedings - International Workshop on Database and Expert Systems Applications, DEXA
SP - 129
EP - 133
BT - Proceedings - 27th International Workshop on Database and Expert Systems Applications, DEXA 2016
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 27th International Workshop on Database and Expert Systems Applications, DEXA 2016
Y2 - 5 September 2016 through 8 September 2016
ER -