発表

国内学会・研究集会等

1. 2024/07, 「矛盾は常に悪か？」, 第91回情報科学談話会, 東北大学.

2. 2024/06, 「必然化の論理Nに対する意味論について」, 2024年度科学基礎論学会, 早稲田大学.

3. 2024/02, 「可能世界意味論による因果の形式化の概観」, 因果とは何かー哲学・数学・物理から考える, 東北大学.

4. 2023/11, 「Negation and modality in view of non-deterministic semantics」, Sapporo Mini-Workshop on Modal Logic, 北海道大学.

5. 2023/04, 「Negation and modality in view of non-deterministic semantics」, 東北大学ロジックセミナー, 東北大学.

6. 2022/03, 「Varieties of negation and contra-classicality in view of Dunn semantics」, 第56回MLG数理論理学研究集会, オンライン.

7. 2021/03, 「Untruth, falsity and non-deterministic semantics」, 第55回MLG数理論理学研究集会, オンライン.

8. 2020/06, 「Connexive Logicに関する幾つかの考察」, 2020年度科学基礎論学会, 東京工業大学. [COVID-19により中止] 

9. 2018/06, 「矛盾許容型論理における否定について」, 2018年度科学基礎論学会, 千葉大学.

10. 2017/12, 「Infectious Logicsの周辺」, 第52回MLG数理論理学研究集会, 静岡大学.

11. 2017/09, 「Jaskowskiのdiscussive logicの周辺」, 東工大数理論理学夏期集中セミナー, 東京工業大学.

12. 2016/10, 「Towards a unification of paraconsistent logics」, 第51回MLG数理論理学研究集会, 四季の湯強羅静雲荘.

13. 2016/06, 「矛盾許容型論理の矛盾許容性再考」, 2016年度科学基礎論学会, 埼玉大学.

14. 2016/05, 「Towards a unification of paraconsistent logics」, 論数哲2016, お茶の水女子大学.

15. 2016/01, 「Remarks on Many-valued Approach to Modality」, 第50回MLG数理論理学研究集会, 大原の里.

16. 2013/09, 「否定と関連(連関)論理」, Workshop on Relevant Logics, 東京工業大学.

17. 2012/06, 「多値論理の弱関数的完全性」, 2012年度科学基礎論学会, 首都大学東京.（共同発表者：佐野勝彦氏）

18. 2012/03, 「命題の整合性によるBelnap-Dunnの四値論理の拡張」, 2011年度日本数学会, 東京理科大学.

19. 2011/10, 「An expansion of Belnap-Dunn logic」, 第46回MLG数理論理学研究集会, KKR湯沢ゆきぐに.

20. 2011/06, 「矛盾許容型論理と論理的存在論」, 2011年度科学基礎論学会, 愛媛大学.（共同発表者：藁谷敏晴氏）

21. 2010/06, 「矛盾許容型論理と命題の整合性」, 2010年度科学基礎論学会, 専修大学.（共同発表者：藁谷敏晴氏）

22. 2009/06, 「矛盾許容型論理と必然化則」, 2009年度科学基礎論学会, 大阪市立大学.（共同発表者：藁谷敏晴氏）

23. 2008/11, 「古典命題論理と様相論理S5とのある関係について」, 第42回MLG数理論理学研究集会, 九州産業大学. （共同発表者：藁谷敏晴氏）

24. 2008/06, 「古典的否定と矛盾許容型論理」, 2008年度科学基礎論学会, 東京電機大学. （共同発表者：藁谷敏晴氏）

国際学会・研究集会等

1. 2024/06, ``Three questions on Jaskowski's discussive logic", LMPST Taiwan Annual Conference 2024, Taipei, Taiwan.

2. 2024/05, ``Notes on themes from Newton da Costa'', NEL’s Internal Seminar for Work in Progress, Florianópolis, Brazil.

3. 2024/05, ``A simple approach to logical necessity'', Nel Logic Workshop, Florianópolis, Brazil.

4. 2024/03, ``Another generalization of connexive logic C'', 6th Asian Workshop on Philosophical Logic, Sapporo, Japan.

5. 2024/03, ``The power of generalized Clemens semantics'', 6th Asian Workshop on Philosophical Logic, Sapporo, Japan. (with Arenhart, J. R. B.)

6. 2024/01, ``Is LP expressibly incomplete?'',  Workshop: Themes from Priest, Tokyo, Japan.

7. 2023/12, ``A generalization of many-valued semantics and proof systems'', RIMS workshop : New frontiers of proof and computation, Kyoto, Japan.

8. 2023/12, ``Remarks on C and SIXTEEN_3'', 1st Workshop on Contradictory Logics, Bochum, Germany.

9. 2023/11, ``Why connexive logic?'', VIII Connexive Logic Workshop, Turin, Italy. 

10. 2023/11, ``On Sasaki's conditional in view of Garson's question", Veritas Philosophy Workshop, Seoul, Korea.

11. 2023/10, ``Is 0 untruth or falsity?'', Federal University of Santa Catarina, Florianópolis, Brazil.

12. 2023/10, ``Recent developments in connexive logics'', Federal University of Santa Catarina, Florianópolis, Brazil.

13. 2023/08, ``Two applications of Herzberger’s semantics'', National University of Singapore, Singapore.  (with Arenhart, J. R. B.)

14. 2023/08, ``Recent developments in connexive logics'', Calcutta Logic Circle 2023, Narendrapur, India.

15. 2023/07, ``Why FDE might be too strong for Beall'', Research Colloquium "Logic and Epistemology", Bochum, Germany. (with Arenhart, J. R. B.)

16. 2023/03, ``Why FDE might be too strong for Beall'', TP Colloquium, Utrecht, The Netherlands. (with Arenhart, J. R. B.)

17. 2023/03, ``On consistent approaches to connexivity", Conditionals, Inferentialism, and Connexivity, Turin, Italy. 

18. 2022/12, ``Three observations on interpreting paraconsistent logics", 2nd Workshop on the Interpretations of Paraconsistent Logics, Florianópolis, Brazil.

19. 2022/09, ``Three questions on Jaskowski's discussive logic", Colloquium at UConn Logic Group, Connecticut, USA. [Online]

20. 2022/09, ``Change of logic, without change of meaning", GAP.11, Berlin, Germany. (with Arenhart, J. R. B.)

21. 2022/09, ``Three questions on Jaskowski's discussive logic", WCP6, Toruń, Poland.

22. 2022/07, ``On relating semantics and connexive logic", 2nd Workshop on Relating Logic, Cagliari, Italy.

23. 2022/07, ``Making sense of mixed consequence relations", Trends in Logic XXII, Cagliari, Italy. (with Arenhart, J. R. B.)

24. 2022/07, ``More on constructive nonsense logic", Trends in Logic XXII, Cagliari, Italy. (with Arenhart, J. R. B.)

25. 2022/07, ``More on constructive nonsense logic", Logic Colloquium 2022, Reykjavik, Iceland. [Online] (with Arenhart, J. R. B.)

26. 2022/05, ``Haack meets Herzberger and Priest", ISMVL 2022, Online. (with Arenhart, J. R. B.)

27. 2022/05, ``Liberating classical negation from falsity conditions", ISMVL 2022, Online. (with Szmuc, D.)

28. 2022/04, ``A generalization of ordered-pair semantics", Research Colloquium "Logic and Epistemology", Bochum, Germany. (with Arenhart, J. R. B.)

29. 2022/04, ``A note on Sasaki's conditional in view of Garson's question", Bochum Nonclassical Logic Workshop II, Bochum, Germany.

30. 2022/03, ``Superconnexivity Reconsidered", NCL 2022, Łódź, Poland. [Online] (with Kapsner, A.)

31. 2021/10, ``A generalization of ordered-pair semantics", LORI VIII, Xi’an, China. [Online] (with Arenhart, J. R. B.)

32. 2021/09, ``Remarks on Many-valued Approach to Modality'', XXV. Kongress der DGPhil, Nürnberg, Germany. [Online]  

33. 2021/08, ``More on conjunction and disjunction in infectious logics'', X Workshop on Philosophical Logic, Buenos Aires, Argentina. [Online]

34. 2021/07, ``Two applications of Herzberger’s semantics'', Łódź-Bochum Workshop, Bochum, Germany. [Online] (with Arenhart, J. R. B.)

35. 2021/06, ``Humberstone meets Ivlev and Kearns'', AAL 2021, Melbourne, Australia. [Online] (with Skurt, D.)

36. 2021/06, ``On American and Australian plans for negation'', Metaphysics and Logic Seminar, St. Andrews, UK. [Online]

37. 2021/05, ``A Two-valued Semantics for Infectious Logics'', ISMVL 2021, Nursultan, Kazakhstan. [Online] (with Y. Song & S. Tojo)

38. 2021/04, ``Two applications of Herzberger’s semantics'', Applied Mathematical Logic Seminar, CAS, Prague, Czech Republic. [Online] (with J. R. B. Arenhart)

39. 2021/03, ``Two applications of Herzberger’s semantics'', Logic and Metaphysics Workshop, CUNY, USA. [Online] (with J. R. B. Arenhart)

40. 2021/01, ``An alternative semantics for infectious logics'', Research Colloquium "Logic and Epistemology", Bochum, Germany. [Online]

41. 2021/01, ``From Aristotle to Wansing'', Logic and its Philosophy, Düsseldorf, Germany. [Online]

42. 2020/12, ``Is Logic of Paradox paraconsistent?'' TP Colloquium, Utrecht, The Netherlands. [Online]

43. 2020/08, ``Negating conditionals, connexively'', If ifs and ands were pots and pans..., Regensburg, Germany. [Online]

44. 2020/08, ``An Extension of Connexive Logic C'', Advances in Modal Logic 2020, Helsinki, Finland. (with Wansing, H.) [Online]

45. 2020/06, ``An alternative semantics for infectious logics'', Utrecht-Bergen Online Series in Logic.

46. 2020/01, ``Observations on Jaskowski’s discussive logic'', Colloquium in Mathematical Philosophy: Logic and Language, MCMP, Germany.

47. 2019/12. ``Observations on Jaskowski’s discussive logic'', Paris-Bochum-Moscow Workshop in Mathematical Philosophy, Paris, France.

48. 2019/12. ``Observations on Jaskowski’s discussive logic'', CoPS-FaM-19, Gdańsk, Poland.

49. 2019/11, ``Notes on conditionals for dialetheic theories'', The Logic of Paradox, after 40 years, Bochum, Germany.

50. 2019/10, ``Notes on conditionals for dialetheic theories'', Services to Logic, Mexico City, Mexico. 

51. 2019/08, ``Towards a bridge over two approaches in connexive logic'', CLMPST 2019, Prague, Czech Republic.

52. 2019/07, ``SIXTEEN_3 in light of Routley stars'', WoLLIC 2019, Utrecht, The Netherlands. (with Skurt, D.)

53. 2019/06, ``Observations on Jaskowski’s discussive logic'', The Eleventh Smirnov Readings in Logic, Moscow, Russia.

54. 2019/05, ``Modalities and PTS in view of non-deterministic semantics'', Oberseminar Logik und Sprachtheorie, Tübingen, Germany.

55. 2019/05, ``An invitation to connexive logics: an overview and open problems'', LLC seminar, Turin, Italy.

56. 2019/03, ``An invitation to connexive logics: an overview and open problems'', Université Catholique de Louvain, Belgium.

57. 2018/10, ``Towards a bridge over two approaches in connexive logic'', Logic workshop, Dunedin, New Zealand.

58. 2018/09, ``Towards a bridge over two approaches in connexive logic'', Non-classicality aufgehoben, Mexico City, Mexico.

59. 2018/09, ``Observations on Jaskowski’s discussive logic'', Non-classical modalities, Mexico City, Mexico.

60. 2018/07, ``Logical consequence and methodological consequence: a sketch'', Making Sense Of: A Workshop with and about Adrian Moore, Kyoto, Japan.

61. 2018/07, ``Observations on the `just true' problem'', Kolloquium Logik und Erkenntnistheorie, Bochum, Germany.

62. 2018/04, ``Observations on the `just true' problem'', 2nd Veritas Philosophy Conference, Seoul, Korea.

63. 2017/10, ``From Dunn to Avron: towards a systematic overview of paraconsistent logics'', ISRALOG17, Haifa, Israel. 

64. 2017/09, ``Counterfactuals in Nelson Logic'', LORI VI, Sapporo, Japan. (with Kapsner, A.)

65. 2017/09, ``Conjunction and Disjunction in Infectious Logics'', LORI VI, Sapporo, Japan. (with Szmuc, D.)

66. 2017/09, ``Sette's Logics, Revisited'', LORI VI, Sapporo, Japan.

67. 2017/08, ``An invitation to connexive logics: an overview and open problems'', mini-course with two talks, IIFs-UNAM, Mexico City, Mexico.

68. 2017/08, ``A systematic introduction to paraconsistent logics and dialetheism'', mini-course with two talks, IIFs-UNAM, Mexico City, Mexico.

69. 2017/07, ``From Dunn to Avron: towards a systematic overview of paraconsistent logics'', Colloquium in Philosophy, Logic and Philosophy of Science, MCMP, Munich, Germany.

70. 2017/04, ``Classical and Empirical Negation in Nonclassical Logics'', Negation and Negativity in Natural Language, Bochum, Germany. (with De, M.)

71. 2017/02, ``Logical consequence and methodological consequence'', Relativisms Global Research Network Workshop 1, Seoul, Korea.

72. 2017/02, ``Sette, Jaśkowski, and beyond'', Prague Seminar on Paraconsistent Logic, Prague, Czech Republic.

73. 2016/11, ``Towards a unification of paraconsistent logics'', V Workshop on Philosophical Logic, SADAF, Buenos Aires, Argentina.

74. 2016/10, ``Towards a unification of paraconsistent logics'', Paradoxes, Logic and Philosophy, Beijing, China.

75. 2016/09, ``Hallden’s Logic of Nonsense and its expansions in view of Logics of Formal Inconsistency'', COIN2016, Porto, Portugal.

76. 2016/09, ``Classical and Empirical Negation in Subintuitionistic Logic'', Advances in Modal Logic 2016, Budapest, Hungary. (with De, M.)

77. 2016/08, ``Bhāviveka’s Negations Viewed from a Contemporary Viewpoint'', CCPEA 2016, Seoul, Korea. (with Deguchi, Y.)

78. 2016/08, ``Towards a unification of paraconsistent logics'', CCPEA 2016, Seoul, Korea. 

79. 2016/06, ``Towards a unification of paraconsistent logics'', Logic in Bochum 2, Schloss Raesfeld, Germany.

80. 2016/06, ``From Logics of Formal Inconsistencies to Logics of Formal Classicality'', Applied Mathematical Logic Seminar, CAS, Prague, Czech Republic.

81. 2015/09, ``Strengthening the Goodship Project'', Pluralism, Language and Logic Workshop, Seoul, Korea.

82. 2015/08, ``Strengthening the Goodship Project'', Logic and Metaphysics Workshop, CUNY, USA.

83. 2015/08, ``Strengthening the Goodship Project'', IV Workshop on Philosophical Logic, SADAF, Buenos Aires, Argentina.

84. 2015/08, ``From Logics of Formal Inconsistencies to Logics of Formal Classicality'', Talks, SADAF, Buenos Aires, Argentina.

85. 2015/06, ``A simple connexive extension of the basic relevant logic BD'', Workshop on Connexive Logic, Unilog V, Istanbul, Turkey.

86. 2015/06, ``Remarks on Many-valued Approach to Modality'', Logic in Bochum 1, Bochum, Germany.

87. 2015/06, ``Remarks on Gluons in One'', one: Workshop with Graham Priest, Münster, Germany.

88. 2015/06, ``Remarks on Many-valued Approach to Modality'', LOGICA 2015, Hejnice, Czech Republic.

89. 2015/06, ``A Note on Naive Set Theory in an Expansion of LP'', Prague seminar on Non-Classical Mathematics, Prague, Czech Republic.

90. 2014/11, ``Conditionals in the light of non-deterministic semantics'', Logic and Metaphysics Workshop, CUNY, USA.

91. 2014/11, ``From Logics of Formal Inconsistencies to Logics of Formal Classicality'', GTAL-CLE Seminars, CLE, Campinas, Brazil.

92. 2014/11, ``'Classical negation' is not always negation'', FILOMENA workshop, Natal, Brazil.

93. 2014/08, ``From paraconsistent logic to dialetheic logic'', Melbourne Logic Seminar, University of Melbourne, Australia.

94. 2014/06, ``Distinguished world, dual intuitionistic negation and empirical negation'', LOGICA 2014, Hejnice, Czech Republic.

95. 2014/06, ``From paraconsistent logic to dialetheic logic'', Paraconsistent Reasoning in Science and Mathematics, Munich, Germany.

96. 2014/02, ``A dialetheic approach to Russell's paradox'', Logic Seminar, National University of Singapore, Singapore.

97. 2014/02, ``Naive set theories based on expansions of BD enriched by classical negation'', WCP5, Kolkata, India.

98. 2014/02, ``Steps towards non-classical mathematics based on the ideas of da Costa and Priest'', Non-Classical [Meta]mathematics, Dunedin, New Zealand.

99. 2014/01, ``Contradiction, Negation and Paraconsistency'', Kolloquium des Instituts für Philosophie II, Ruhr-Universität Bochum, Germany.

100. 2013/12, ``What is Paraconsistent Logic?'', Logic Reading Group, Universität Paderborn, Germany.

101. 2013/12, ``Towards a fully dialetheic solution to Russell's paradox'', Logical Consequence and Paradox, Bochum, Germany.

102. 2013/11, ``Intuitionistic logic is missing negation'', Philosophy Colloquium, Universität Konstanz, Germany.

103. 2013/11, ``From paraconsistent logic to dialetheic logic'', Colloquium in Mathematical Philosophy, MCMP, Munich, Germany.

104. 2013/11, ``From paraconsistent logic to dialetheic logic'', Lunch Talk, Centre for Logic and Philosophy of Science, Ghent, Belgium.

105. 2013/10, ``Intuitionistic logic is missing negation'', Seminaire du theme ``Raisonnement et decision'', IRIT, Toulouse, France.

106. 2013/09, ``Naive set theories based on expansions of BD enriched by classical negation'', CLPS13, Ghent, Belgium.

107. 2013/06, ``Remarks on naive set theory based on LP'', AAL2013, Melbourne, Australia.

108. 2013/06, ``Dialetheism and expressibility'', Priestfest, Melbourne, Australia. (with De, M.)

109. 2013/04, ``Remarks on naive set theory based on da Costa's idea'', Workshop on Non-classical Mathematics, Unilog IV, Rio de Janeiro, Brazil.

110. 2013/03, ``Expanding the realm of the idea of da Costa'', Computational Logic Seminar, CUNY, USA.

111. 2013/01, ``Expansions of FDE and classical negation'', ICLA 2013, Chennai, India. (with De, M.)

112. 2012/12, ``Remarks on naive set theory based on LP'', 25 Years In Contradiction, Glasgow, UK.

113. 2012/11, ``Recent developments on systems with the consistency operator'', New York Philosophical Logic Group, New York, USA.

114. 2012/06, ``Expanding the realm of the consistency operator'', TF Lecture, Universiteit Utrecht, The Netherlands.

115. 2012/06, ``Recapturing Belnap and Nelson in da Costa's view'', Trends in Logic IX, Bochum, Germany. (with Sano, K.)

116. 2011/09, ``Some Observations on Problems Related to the Law of Double Negation'', ECAP7, Milan, Italy. (with Waragai, T.)

117. 2011/08, ``Some Observations on the Systems LFI1 and LFI1$^\ast$'', DALI2011, Toulouse, France. (with Waragai, T.)

118. 2010/09, ``Propagation of Consistency in Some Systems of Paraconsistent Logic'', LRR10, Ghent, Belgium. (with Waragai, T.)

119. 2010/04, ``Some Modal Logics Seen as Subsystems of Classical Propositional Calculus'', Special session on Negation, Unilog III, Estoril, Portugal. (with Waragai, T.) 

120. 2008/07, ``Some New Results on PCL1 and its Related Systems'', WCP4, Melbourne, Australia. (with Waragai, T.)