TY - JOUR
T1 - Towards a bridge over two approaches in connexive logic
AU - Omori, Hitoshi
N1 - Funding Information:
Acknowledgments. At the time of submission, the author was a Postdoctoral Research Fellow of the Japan Society for the Promotion of Science (JSPS), hosted by Department of Philosophy at Kyoto University. I would like to thank Heinrich Wansing for his encouragement as well as helpful discussions and anonymous referees for helpful comments. A revised version was presented during my visit to UNAM which was made possible by the grant PAPIIT project IA401117 “Philosophical Aspects of Contra-Classical Logics”. Many thanks go to Luis Estrada-González for his invitation, warm hospitality and useful comments, and audiences at UNAM for very helpful and inspiring comments. A revised version was also presented at a joint meeting with the Pukeko Logic Group and the seminar series on Non-Classical Mathematics. Many thanks go to Zach Weber for his invitation, warm hospitality and helpful comments, and audiences for fruitful discussions. Part of this research was supported by JSPS KAKENHI Grant Number JP18K12183, and the preparation of the final version of this note was supported by a Sofja Kovalevskaja Award of the Alexander von Humboldt-Foundation, funded by the German Ministry for Education and Research.
Publisher Copyright:
© 2019 by Nicolaus Copernicus University.
PY - 2019
Y1 - 2019
N2 - The present note aims at bridging two approaches to connexive logic: one approach suggested by Heinrich Wansing, and another approach suggested by Paul Egré and Guy Politzer. To this end, a variant of FDE-based modal logic, developed by Sergei Odintsov and Heinrich Wansing, is introduced and some basic results including soundness and completeness results are established.
AB - The present note aims at bridging two approaches to connexive logic: one approach suggested by Heinrich Wansing, and another approach suggested by Paul Egré and Guy Politzer. To this end, a variant of FDE-based modal logic, developed by Sergei Odintsov and Heinrich Wansing, is introduced and some basic results including soundness and completeness results are established.
KW - Belnap-Dunn logic
KW - Connexive logic
KW - Contra-classical logic
KW - Experimental philosophy
KW - Modal logic
UR - http://www.scopus.com/inward/record.url?scp=85072341269&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85072341269&partnerID=8YFLogxK
U2 - 10.12775/LLP.2019.005
DO - 10.12775/LLP.2019.005
M3 - Article
AN - SCOPUS:85072341269
SN - 1425-3305
VL - 28
SP - 553
EP - 566
JO - Logic and Logical Philosophy
JF - Logic and Logical Philosophy
IS - 3
ER -