Presentations

学会・ワークショップ発表

• Logic of Presence (joint presentation with Yasuo Deguchi), Workshop on Self and Identity, Kyoto, April 2024. [Slides]

• コメント, 『思想』特集「トマス・クーン―『科学革命の構造』再読―」合評会, Kyoto, March 2024.

• A note on negation in the operational semantics for relevant logic, 6th Asian Workshop on Philosophical Logic, Sapporo, March 2024. [Slides] [Paper]

• Logic of Agent: Exploring Interactions between Human and Artificial Agents, EHESS x Kyoto Seminars, Paris, February 2024. [Slides]

• 拙著『論理学』から見る論理学(教育)の現状と課題, UNESCO世界論理デー記念Panel Session「これからの論理(学)教育」, Online, January 2024. [Slides]

• Logic of agent in the era of AI, EHESS x Kyoto Mini Seminar 2023, Kyoto, October 2024. [Slides]

• ブランダムのオウム―推論主義概説, GRP外部研究会, June 2023. [Slides]

• 多重集合フレーム上の帰結関係について, 岡本賢吾先生退官記念シンポジウム, March 2023. [Slides]

• 概念を削り出す：非古典論理のたのしみ, UNESCO世界論理デー記念ワークショップ, January 2023. [Slides] 

• 直観主義様相論理の一体系と非必然性様相, 第55回科学哲学会大会, December 2022. [Slides]

• 提題, 第55回科学哲学会大会サテライトイベント「哲学者のための数学」, December 2022. [Slides] 

• Collection-collection frames, New Directions in Relevant Logic, Zoom, November 2022. [Slides]

• デジタルツインについての形而上学的・論理学的研究 (出口康夫・八木沢敬・秋吉亮太・白川晋太郎・山森真衣子との共同研究), 京都, アバター共生社会の倫理ワークショップ, 2022年4月. [Slides]

• 永徳 真一郎, 戸嶋 巌樹, 廣田 啓一, 小澤 史朗, 中村 高雄, 大西 琢朗, 出口 康夫, "人のデジタルツインの受容に関する一考察", 情報処理学会研究報告 セキュリティ心理学とトラスト研究会(SPT), 2021-SPT-42(13), pp.1-7, 2021.

• Making Sense of the LP negation as Negative Modality, The Logic of Paradox, after 40 years, Bochum, November 27, 2019. [Slides]

• Self in Modal Languages, 2nd Joint Workshop of NTU-Kyoto on Self and Subjectivity: From Multi-cultural and Interdisciplinary Perspectives, Taipei, March 2019. [Slides]

• Egocentric Language Revisited, Kyoto/UCSD Workshop on Self, Kyoto, December 2018. [Slides]

• Situated Assertions, A Workshop on Philosophical Logic and Philosophy of Logic, Ishikawa, September 2018. [Slides]

• Modality and Inference, The 4th Conference on Contemporary Philosophy in East Asia, Taipei, August 2018. [Slides]

• Hacking's critique against the contemporary philosophy of mathematics (including structuralism), 科学基礎論学会2018年度 総会と講演会ワークショップReconsidering the Notion of Structure in Philosophy of Mathematics, Chiba, June 2018. [Slides]

• 推論の構造：証明論的観点とモデル論的観点,  応用哲学会第10回年次研究大会ワークショップ「論理学の哲学と推論主義」, Nagoya, April 2018. [Slides]

• Two plans in the semantics for relevant logic, Melbourne Logic Seminar, Melbourne, March 2018. [Slides]

• De Morgan negation as substructural negation, ANU Logic Seminar, Canberra, March 2018. [Slides]

• 到達可能性関係を推論主義的に理解する,「論理学の哲学」ワークショップ：意味、証明、推論, Tokyo, December 2017. [Slides]

• 関係意味論、シークエント計算と明示化, 京都推論主義ワークショップ, Kyoto, December 2017. [Slides]

• 到達可能性関係を推論主義的に理解する, 日本科学哲学会第50回大会, Tokyo, November 2017. [Slides]

• Unifying two plans in relevant logic, Kyoto Nonclassical Logic Workshop III, Kyoto, Sep 2017. [Slides]

• An inferentialist approach to the sevenfold predication in Jainism, Dialetheism and Related Issues in Analytic Asian Philosophy, Kyoto, June 2017. [Slides]

• Routley's American Plan revisited, Kyoto Philosophical Logic Workshop, Kyoto, June 2017. [Slides]

• A non-many-valued approach to the sevenfold predication in Jainism, Quadrangle Graduate Conference on Asian Philosophy, April 2017. [Slides]

• A four-valued frame semantics for relevant logic, Kyoto Workshop on Dialetheism and Paraconsistency, Kyoto, October 2016. [Slides]

• A formalization of the Jaina theory of sevenfold predication, The 3rd Conference on Contemporary Philosophy in East Asia, Seoul, August 2016. [Slides]

• What modal operators make explicit, Philosophy Programme Seminar, Singapore, April, 2016. [Slides]

• Understanding negation implicationally in relevant logic, NUS Philosophy Seminar Series, Singapore, November, 2015. [Slides]

• `Substructural’ logics of negation, RIMS研究集会「証明論・計算論とその周辺」, Kyoto, December 2014. [Slides]

• 様相演算子としての否定, 日本科学哲学会第47回大会, Nagoya, October 2014. [Slides]

• 様相論理の証明論的意味論, 科学基礎論学会2014年度総会・講演会, Tokyo, June 2014.

• 推論のパラドクスと証明論的意味論, 日本科学哲学会第46回年次大会, ワークショップ「証明論的意味論の最前線」, Tokyo, November 2013. 

• Proofs and Disproofs in Bi-Intuitionist Logic, The 2013 Australasian Association for Logic Annual Conference, Melbourne, June 2013. 

• Usefulness of Deduction and Proof-Theoretic Semantics, CAPE ロジックワークショップ,  Kyoto, September 2012. 

• A Bilateralist Account of Logical Consequence, The 2nd Conference on the Foundation of Logical Consequence, St.Andrews, JUne 2012.

• BHK interpretation and Bilateralism, The 2nd「論数哲 (PhilLogMath)」workshop, Tokyo, March 2012.

• BHK interpretation and its dual, Melbourne Logic Seminar, Melbourne, September 2011.

• Cut, Identity and Two Kinds of Assertion and Denial, Logic Workshop, Melbourne, August 2011.

• How to Find Logical Rules, 論理学と数学の哲学研究会, Osaka,  November 2010.

• シークエント算における証明論的意味論, 関西哲学会第63回大会, Kyoto, October 2010.

• What is the dual of ‘harmony’?, Melbourne Logic Seminar, Melbourne, July 2010.

• A gap in Proof-Theoretic Semantics, Australasian Association of Philosophy Conference, New South Wales, July 2010.

• フレーゲの「論理」, 科学基礎論学会2010年度総会・講演会, Tokyo,June  2010.

• 証明論的意味論の起源 ― ダメットと合成原理, 応用哲学会第2回年次研究大会, ワークショップ「証明論的意味論の可能性」, Sapporo, April  2010.

• Proof-Theoretic Semantics and Constructivity, Workshop on Constructive Aspects of Logic and Mathematics, Kanazawa, March 2010.

• 調和と反映 ― ダメットの証明論的意味論, 日本科学哲学会第42回大会, Tokyo, November 2009.

• 基本論理と反映原理, 京都・数学の哲学研究集会, Kyoto, May 2009.

• 関数抽出 ―「ならば」を手がかりに, 応用哲学会第1回年次研究大会, Kyoto, April 2009.

• フレーゲの文脈原理, 科学基礎論学会2008年度総会・講演会, Tokyo, June 2008.

• Context-Principle and Frege Structure, Workshop for Non-Classical Logics, Kyoto,June  2008.

• 証明論的意味論とフレーゲの「意義」, 日本科学哲学会第40回大会, Tokyo, November 2007 

• 多様な仕方で文を読む：項-関数分析について, 京都科学哲学コロキアム第297回例会, Kyoto November 2006.

一般向け講演など

• ビジネスを哲学する／哲学をビジネスする, 京都大学オンライン公開講義「立ち止まって、考える」, Online, February, 2024. [YouTube1][YouTube2][Slides1] [Slides2]

• やっぱり知りたいイアン・ハッキング―『科学革命の構造』新版出版記念&イアン・ハッキング追悼企画, Kyoto, June 2023. [Slides]

• 概念を変革する：哲学的思考は何を生み出すか, 京都大学哲学セミナー「京大研究者と考える哲学と社会課題―企業と哲学の接点とは― 」, Kyoto, March 2023.

• 『数学はなぜ…』にたどり着くまで, 寝ながら学べるイアン・ハッキング：『数学はなぜ哲学の問題になるのか』（森北出版）出版記念トークイベント, Kyoto, Dec 2017 [handout].