Talks
2024/06, ``Three questions on Jaskowski's discussive logic", LMPST Taiwan Annual Conference 2024, Taipei, Taiwan.
2024/05, ``Notes on themes from Newton da Costa'', NEL’s Internal Seminar for Work in Progress, Florianópolis, Brazil.
2024/05, ``A simple approach to logical necessity'', Nel Logic Workshop, Florianópolis, Brazil.
2024/03, ``Another generalization of connexive logic C'', 6th Asian Workshop on Philosophical Logic, Sapporo, Japan.
2024/03, ``The power of generalized Clemens semantics'', 6th Asian Workshop on Philosophical Logic, Sapporo, Japan. (with Arenhart, J. R. B.)
2024/01, ``Is LP expressibly incomplete?'', Workshop: Themes from Priest, Tokyo, Japan.
2023/12, ``A generalization of many-valued semantics and proof systems'', RIMS workshop : New frontiers of proof and computation, Kyoto, Japan.
2023/12, ``Remarks on C and SIXTEEN_3'', 1st Workshop on Contradictory Logics, Bochum, Germany.
2023/11, ``Why connexive logic?'', VIII Connexive Logic Workshop, Turin, Italy.
2023/11, ``On Sasaki's conditional in view of Garson's question", Veritas Philosophy Workshop, Seoul, Korea.
2023/10, ``Is 0 untruth or falsity?'', Federal University of Santa Catarina, Florianópolis, Brazil.
2023/10, ``Recent developments in connexive logics'', Federal University of Santa Catarina, Florianópolis, Brazil.
2023/08, ``Two applications of Herzberger’s semantics'', National University of Singapore, Singapore. (with Arenhart, J. R. B.)
2023/08, ``Recent developments in connexive logics'', Calcutta Logic Circle 2023, Narendrapur, India.
2023/07, ``Why FDE might be too strong for Beall'', Research Colloquium "Logic and Epistemology", Bochum, Germany. (with Arenhart, J. R. B.)
2023/03, ``Why FDE might be too strong for Beall'', TP Colloquium, Utrecht, The Netherlands. (with Arenhart, J. R. B.)
2023/03, ``On consistent approaches to connexivity", Conditionals, Inferentialism, and Connexivity, Turin, Italy.
2022/12, ``Three observations on interpreting paraconsistent logics", 2nd Workshop on the Interpretations of Paraconsistent Logics, Florianópolis, Brazil.
2022/09, ``Three questions on Jaskowski's discussive logic", Colloquium at UConn Logic Group, Connecticut, USA. [Online]
2022/09, ``Change of logic, without change of meaning", GAP.11, Berlin, Germany. (with Arenhart, J. R. B.)
2022/09, ``Three questions on Jaskowski's discussive logic", WCP6, Toruń, Poland.
2022/07, ``On relating semantics and connexive logic", 2nd Workshop on Relating Logic, Cagliari, Italy.
2022/07, ``Making sense of mixed consequence relations", Trends in Logic XXII, Cagliari, Italy. (with Arenhart, J. R. B.)
2022/07, ``More on constructive nonsense logic", Trends in Logic XXII, Cagliari, Italy. (with Arenhart, J. R. B.)
2022/07, ``More on constructive nonsense logic", Logic Colloquium 2022, Reykjavik, Iceland. [Online] (with Arenhart, J. R. B.)
2022/05, ``Haack meets Herzberger and Priest", ISMVL 2022, Online. (with Arenhart, J. R. B.)
2022/05, ``Liberating classical negation from falsity conditions", ISMVL 2022, Online. (with Szmuc, D.)
2022/04, ``A generalization of ordered-pair semantics", Research Colloquium "Logic and Epistemology", Bochum, Germany. (with Arenhart, J. R. B.)
2022/04, ``A note on Sasaki's conditional in view of Garson's question", Bochum Nonclassical Logic Workshop II, Bochum, Germany.
2022/03, ``Superconnexivity Reconsidered", NCL 2022, Łódź, Poland. [Online] (with Kapsner, A.)
2021/10, ``A generalization of ordered-pair semantics", LORI VIII, Xi’an, China. [Online] (with Arenhart, J. R. B.)
2021/09, ``Remarks on Many-valued Approach to Modality'', XXV. Kongress der DGPhil, Nürnberg, Germany. [Online]
2021/08, ``More on conjunction and disjunction in infectious logics'', X Workshop on Philosophical Logic, Buenos Aires, Argentina. [Online]
2021/07, ``Two applications of Herzberger’s semantics'', Łódź-Bochum Workshop, Bochum, Germany. [Online] (with Arenhart, J. R. B.)
2021/06, ``Humberstone meets Ivlev and Kearns'', AAL 2021, Melbourne, Australia. [Online] (with Skurt, D.)
2021/06, ``On American and Australian plans for negation'', Metaphysics and Logic Seminar, St. Andrews, UK. [Online]
2021/05, ``A Two-valued Semantics for Infectious Logics'', ISMVL 2021, Nursultan, Kazakhstan. [Online] (with Y. Song & S. Tojo)
2021/04, ``Two applications of Herzberger’s semantics'', Applied Mathematical Logic Seminar, CAS, Prague, Czech Republic. [Online] (with Arenhart, J. R. B.)
2021/03, ``Two applications of Herzberger’s semantics'', Logic and Metaphysics Workshop, CUNY, USA. [Online] (with Arenhart, J. R. B.)
2021/01, ``An alternative semantics for infectious logics'', Research Colloquium "Logic and Epistemology", Bochum, Germany. [Online]
2021/01, ``From Aristotle to Wansing'', Logic and its Philosophy, Düsseldorf, Germany. [Online]
2020/12, ``Is Logic of Paradox paraconsistent?'' TP Colloquium, Utrecht, The Netherlands. [Online]
2020/08, ``Negating conditionals, connexively'', If ifs and ands were pots and pans..., Regensburg, Germany. [Online]
2020/08, ``An Extension of Connexive Logic C'', Advances in Modal Logic 2020, Helsinki, Finland. (with Wansing, H.) [Online]
2020/06, ``An alternative semantics for infectious logics'', Utrecht-Bergen Online Series in Logic.
2020/01, ``Observations on Jaskowski’s discussive logic'', Colloquium in Mathematical Philosophy: Logic and Language, MCMP, Germany.
2019/12. ``Observations on Jaskowski’s discussive logic'', Paris-Bochum-Moscow Workshop in Mathematical Philosophy, Paris, France.
2019/12. ``Observations on Jaskowski’s discussive logic'', CoPS-FaM-19, Gdańsk, Poland.
2019/11, ``Notes on conditionals for dialetheic theories'', The Logic of Paradox, after 40 years, Bochum, Germany.
2019/10, ``Notes on conditionals for dialetheic theories'', Services to Logic, Mexico City, Mexico.
2019/08, ``Towards a bridge over two approaches in connexive logic'', CLMPST 2019, Prague, Czech Republic.
2019/07, ``SIXTEEN_3 in light of Routley stars'', WoLLIC 2019, Utrecht, The Netherlands. (with Skurt, D.)
2019/06, ``Observations on Jaskowski’s discussive logic'', The Eleventh Smirnov Readings in Logic, Moscow, Russia.
2019/05, ``Modalities and PTS in view of non-deterministic semantics'', Oberseminar Logik und Sprachtheorie, Tübingen, Germany.
2019/05, ``An invitation to connexive logics: an overview and open problems'', LLC seminar, Turin, Italy.
2019/03, ``An invitation to connexive logics: an overview and open problems'', Université Catholique de Louvain, Belgium.
2018/10, ``Towards a bridge over two approaches in connexive logic'', Logic workshop, Dunedin, New Zealand.
2018/09, ``Towards a bridge over two approaches in connexive logic'', Non-classicality aufgehoben, Mexico City, Mexico.
2018/09, ``Observations on Jaskowski’s discussive logic'', Non-classical modalities, Mexico City, Mexico.
2018/07, ``Logical consequence and methodological consequence: a sketch'', Making Sense Of: A Workshop with and about Adrian Moore, Kyoto, Japan.
2018/07, ``Observations on the `just true' problem'', Kolloquium Logik und Erkenntnistheorie, Bochum, Germany.
2018/04, ``Observations on the `just true' problem'', 2nd Veritas Philosophy Conference, Seoul, Korea.
2017/10, ``From Dunn to Avron: towards a systematic overview of paraconsistent logics'', ISRALOG17, Haifa, Israel.
2017/09, ``Counterfactuals in Nelson Logic'', LORI VI, Sapporo, Japan. (with Kapsner, A.)
2017/09, ``Conjunction and Disjunction in Infectious Logics'', LORI VI, Sapporo, Japan. (with Szmuc, D.)
2017/09, ``Sette's Logics, Revisited'', LORI VI, Sapporo, Japan.
2017/08, ``An invitation to connexive logics: an overview and open problems'', mini-course with two talks, IIFs-UNAM, Mexico City, Mexico.
2017/08, ``A systematic introduction to paraconsistent logics and dialetheism'', mini-course with two talks, IIFs-UNAM, Mexico City, Mexico.
2017/07, ``From Dunn to Avron: towards a systematic overview of paraconsistent logics'', Colloquium in Philosophy, Logic and Philosophy of Science, MCMP, Munich, Germany.
2017/04, ``Classical and Empirical Negation in Nonclassical Logics'', Negation and Negativity in Natural Language, Bochum, Germany. (with De, M.)
2017/02, ``Logical consequence and methodological consequence'', Relativisms Global Research Network Workshop 1, Seoul, Korea.
2017/02, ``Sette, Jaśkowski, and beyond'', Prague Seminar on Paraconsistent Logic, Prague, Czech Republic.
2016/11, ``Towards a unification of paraconsistent logics'', V Workshop on Philosophical of Logic, SADAF, Buenos Aires, Argentina.
2016/10, ``Towards a unification of paraconsistent logics'', Paradoxes, Logic and Philosophy, Beijing, China.
2016/09, ``Hallden’s Logic of Nonsense and its expansions in view of Logics of Formal Inconsistency'', COIN2016, Porto, Portugal.
2016/09, ``Classical and Empirical Negation in Subintuitionistic Logic'', Advances in Modal Logic 2016, Budapest, Hungary. (with De, M.)
2016/08, ``Bhāviveka’s Negations Viewed from a Contemporary Viewpoint'', CCPEA 2016, Seoul, Korea. (with Deguchi, Y.)
2016/08, ``Towards a unification of paraconsistent logics'', CCPEA 2016, Seoul, Korea.
2016/06, ``Towards a unification of paraconsistent logics'', Logic in Bochum 2, Schloss Raesfeld, Germany.
2016/06, ``From Logics of Formal Inconsistencies to Logics of Formal Classicality'', Applied Mathematical Logic Seminar, CAS, Prague, Czech Republic.
2015/09, ``Strengthening the Goodship Project'', Pluralism, Language and Logic Workshop, Seoul, Korea.
2015/08, ``Strengthening the Goodship Project'', Logic and Metaphysics Workshop, CUNY, USA.
2015/08, ``Strengthening the Goodship Project'', IV Workshop on Philosophical of Logic, SADAF, Buenos Aires, Argentina.
2015/08, ``From Logics of Formal Inconsistencies to Logics of Formal Classicality'', Talks, SADAF, Buenos Aires, Argentina.
2015/06, ``A simple connexive extension of the basic relevant logic BD'', Workshop on Connexive Logic, Unilog V, Istanbul, Turkey.
2015/06, ``Remarks on Many-valued Approach to Modality'', Logic in Bochum 1, Bochum, Germany.
2015/06, ``Remarks on Gluons in One'', one: Workshop with Graham Priest, Münster, Germany.
2015/06, ``Remarks on Many-valued Approach to Modality'', LOGICA 2015, Hejnice, Czech Republic.
2015/06, ``A Note on Naive Set Theory in an Expansion of LP'', Prague seminar on Non-Classical Mathematics, Prague, Czech Republic.
2014/11, ``Conditionals in the light of non-deterministic semantics'', Logic and Metaphysics Workshop, CUNY, USA.
2014/11, ``From Logics of Formal Inconsistencies to Logics of Formal Classicality'', GTAL-CLE Seminars, CLE, Campinas, Brazil.
2014/11, ``'Classical negation' is not always negation'', FILOMENA workshop, Natal, Brazil.
2014/08, ``From paraconsistent logic to dialetheic logic'', Melbourne Logic Seminar, University of Melbourne, Australia.
2014/06, ``Distinguished world, dual intuitionistic negation and empirical negation'', LOGICA 2014, Hejnice, Czech Republic.
2014/06, ``From paraconsistent logic to dialetheic logic'', Paraconsistent Reasoning in Science and Mathematics, Munich, Germany.
2014/02, ``A dialetheic approach to Russell's paradox'', Logic Seminar, National University of Singapore, Singapore.
2014/02, ``Naive set theories based on expansions of BD enriched by classical negation'', WCP5, Kolkata, India.
2014/02, ``Steps towards non-classical mathematics based on the ideas of da Costa and Priest'', Non-Classical [Meta]mathematics, Dunedin, New Zealand.
2014/01, ``Contradiction, Negation and Paraconsistency'', Kolloquium des Instituts für Philosophie II, Ruhr-Universität Bochum, Germany.
2013/12, ``What is Paraconsistent Logic?'', Logic Reading Group, Universität Paderborn, Germany.
2013/12, ``Towards a fully dialetheic solution to Russell's paradox'', Logical Consequence and Paradox, Bochum, Germany.
2013/11, ``Intuitionistic logic is missing negation'', Philosophy Colloquium, Universität Konstanz, Germany.
2013/11, ``From paraconsistent logic to dialetheic logic'', Colloquium in Mathematical Philosophy, MCMP, Munich, Germany.
2013/11, ``From paraconsistent logic to dialetheic logic'', Lunch Talk, Centre for Logic and Philosophy of Science, Ghent, Belgium.
2013/10, ``Intuitionistic logic is missing negation'', Seminaire du theme ``Raisonnement et decision'', IRIT, Toulouse, France.
2013/09, ``Naive set theories based on expansions of BD enriched by classical negation'', CLPS13, Ghent, Belgium.
2013/06, ``Remarks on naive set theory based on LP'', AAL2013, Melbourne, Australia.
2013/06, ``Dialetheism and expressibility'', Priestfest, Melbourne, Australia. (with De, M.)
2013/04, ``Remarks on naive set theory based on da Costa's idea'', Workshop on Non-classical Mathematics, Unilog IV, Rio de Janeiro, Brazil.
2013/03, ``Expanding the realm of the idea of da Costa'', Computational Logic Seminar, CUNY, USA.
2013/01, ``Expansions of FDE and classical negation'', ICLA 2013, Chennai, India. (with De, M.)
2012/12, ``Remarks on naive set theory based on LP'', 25 Years In Contradiction, Glasgow, UK.
2012/11, ``Recent developments on systems with the consistency operator'', New York Philosophical Logic Group, New York, USA.
2012/06, ``Expanding the realm of the consistency operator'', TF Lecture, Universiteit Utrecht, The Netherlands.
2012/06, ``Recapturing Belnap and Nelson in da Costa's view'', Trends in Logic IX, Bochum, Germany. (with Sano, K.)
2011/09, ``Some Observations on Problems Related to the Law of Double Negation'', ECAP7, Milan, Italy. (with Waragai, T.)
2011/08, ``Some Observations on the Systems LFI1 and LFI1$^\ast$'', DALI2011, Toulouse, France. (with Waragai, T.)
2010/09, ``Propagation of Consistency in Some Systems of Paraconsistent Logic'', LRR10, Ghent, Belgium. (with Waragai, T.)
2010/04, ``Some Modal Logics Seen as Subsystems of Classical Propositional Calculus'', Special session on Negation, Unilog III, Estoril, Portugal. (with Waragai, T.)
2008/07, ``Some New Results on PCL1 and its Related Systems'', WCP4, Melbourne, Australia. (with Waragai, T.)