Researchers Information System

日本語に切り替えるswitch to english

Onishi, Takuro

Graduate School of Letters, Division of Philosophy Program-Specific Associate Professor

Onishi, Takuro
list
    Last Updated :2025/05/27

    Basic Information

    Email Address

    • Email Address

      oonishi.takurou.4ekyoto-u.ac.jp

    Academic Degree

    • 23 Mar. 2006
      京都大学修士(文学)
    • 26 Nov. 2012
      京都大学博士(文学)
    • 修士(文学)(京都大学)
    • 博士(文学)(京都大学)

    Academic Resume (Graduate Schools)

    • 京都大学, 大学院文学研究科博士後期課程思想文化学専攻, 修了
    • 京都大学, 大学院文学研究科博士後期課程思想文化学専攻, 研究指導認定退学
    • 京都大学, 大学院文学研究科修士課程思想文化学専攻, 修了
    • 京都大学, 大学院文学研究科修士課程思想文化学専攻, 修了
    • 京都大学, 大学院文学研究科博士後期課程思想文化学専攻, 修了

    Academic Resume (Undergraduate School/Majors)

    • 京都大学, 文学部人文学科, 卒業

    Research History

    • From Apr. 2025, To Present
      Ritsumeikan University, College of Letters, 准教授
    • From Oct. 2023, To Present
      Kyoto University, Graduate School of Letters, Program-specific Associate Professor
    • From Oct. 2018, To Apr. 2022
      Kyoto University Faculty of Letters, 特定准教授
    • From Apr. 2018, To Sep. 2018
      京都大学文学部, 非常勤講師
    • From Oct. 2017, To Sep. 2023
      Kyoto Institute of Technology, 非常勤講師
    • From Apr. 2018, To Sep. 2018
      Osaka Shoin Women's University, 非常勤講師
    • From Oct. 2016, To Sep. 2018
      京都大学文学部, 教務補佐員
    • From Apr. 2017, To Mar. 2018
      京都大学文学部, 非常勤講師
    • From Jun. 2017, To Aug. 2017
      岡山大学文学部, 非常勤講師
    • From Oct. 2015, To Sep. 2016
      National University of Singapore, Visiting scholar
    • From Oct. 2015, To Sep. 2016
      京都大学文学部, 研究員
    • From Apr. 2015, To Sep. 2015
      Keio University, 非常勤講師
    • From Apr. 2014, To Sep. 2015
      専修大学文学部, 兼任講師
    • From Sep. 2014, To Mar. 2015
      首都大学東京文学部, 非常勤講師
    • From Apr. 2012, To Mar. 2015
      日本学術振興会, 特別研究員PD
    • From Apr. 2012, To Mar. 2014
      専修大学商学部, 兼任講師
    • From Sep. 2011, To Mar. 2012
      関西大学社会学部, 非常勤講師
    • From Sep. 2010, To Mar. 2011
      関西大学社会学部, 非常勤講師
    • From Apr. 2009, To Mar. 2011
      京都大学文学部, 非常勤講師
    • From Sep. 2009, To Mar. 2010
      Keio University, 講師
    • From Apr. 2008, To Mar. 2010
      日本学術振興会, 特別研究員DC2
    • From Apr. 2022, To Mar. 2023
      Kyoto University, Graduate School of Letters, 特定准教授

    Profile

    • Profile

      • 専門は哲学的論理学/論理学の哲学です。非古典論理、とくに関連性論理における「否定」について研究しています。

      • 2021年度まで所属した京都大学人社未来形発信ユニットでは、オンライン公開講座「立ち止まって、考える」シリーズの配信・運営など、人文社会科学のさまざまな形での発信に携わりました。

      • 2023年10月からは「Smart-WEプロジェクト」のプロジェクト付き教員として、運営に携わっています。

      • 企業との共同研究・協業の経験をもち、「哲学の産学連携」のスキーム構築を進めています(参考)。

      • 自らの教育研究においても、講義動画を作成しYouTubeで公開したり、公開集中講義を配信したりするなど、「知のオープン化」に努めています。

    ID,URL

    researchmap URL

    list
      Last Updated :2025/05/27

      Research

      Research Topics, Overview of the research

      • Research Topics

        Philosophy of non-classical logics in general; Inferentialist reconstruction of the framework of relevant logic; Negation as modal operator; Proof-theoretic semantics based on sequent calculi
      • Overview of the research

        I am studying non-classical logic with a philosophical interest. The main topic of my study is relevant logic, one of the major non-classical logics. I am trying to reconstruct the conceptual framework of relevant logic, appealing to Robert Brandom’s inferentialism, according to which the essential feature of our discursive practice is inference, the game of giving and asking for reasons. Another intellectual source of the reconstruction project is Michael Dummett’s proof-theoretic semantics. Giving a twist to it, I am developing a version of proof-theoretic semantics based on sequent calculi. I am also working on the conception of negation as modal operator, which plays an important role in the reconstruction project.

      Research Interests

      • relevant logic
      • Proof-theoretic semantics
      • Proof theory
      • Philosophy
      • Logic

      Research Areas

      • Humanities & social sciences, Philosophy and ethics, Philosophical Logic

      Papers

      • Multiset-Multiset Frames
        Takuro Onishi
        Journal of Philosophical Logic, 19 Jun. 2024, Peer-reviewed
      • Logic of alternative-I
        Yasuo Deguchi; Takuro Onishi; Ryota Akiyoshi; Takashi Yagisawa; Maiko Yamamori
        Asian Journal of Philosophy, 15 Nov. 2022, Peer-reviewed
      • Bridging the Two Plans in the Semantics for Relevant Logic
        Takuro Onishi
        New Essays on Belnap-­Dunn Logic, 2019, Peer-reviewed
      • Understanding Negation Implicationally in the Relevant Logic R
        Takuro Onishi
        STUDIA LOGICA, Dec. 2016, Peer-reviewed
      • Substructural negations
        Takuro Onishi
        The Australasian Journal of Logic, Jun. 2015, Peer-reviewed
      • The Catuskoti in a Bilattice
        Takuro Onishi
        Prospectus, Feb. 2015, Peer-reviewed
      • 間接検証としての演繹的推論
        大西琢朗
        科学基礎論研究, 2014, Peer-reviewed
      • A dilemma in proof-theoretic semantics
        大西琢朗
        Arche, 2011, Peer-reviewed
      • Extension of concept, context principle and Frege structure
        大西琢朗
        The Journal of philosophical studies, 2008, Peer-reviewed
      • 概念記法と概念形成
        大西琢朗
        人文知の新たな総合に向けて―21世紀COEプログラム「グローバル化時代の多元的人文学の拠点形成」第5回報告書上巻, 2007, Peer-reviewed
      • Frege's Logicism and Ontology of Numbers
        大西琢朗
        Jahrbuch fur Philosophie, 2006, Peer-reviewed
      • 博士論文 証明論的意味論と双側面説
        大西琢朗

      Presentations

      • Sequent calculus as a self-standing semantic framework
        Takuro Onishi
        LLAL@GSIS (VI), 05 Mar. 2025
      • Double de Morgan negation as positive modality
        Takuro Onishi
        A Kyoto-Taipei Workshop on Logic of Agent, 01 Mar. 2025
      • Logic of Mutual Intenisionality
        Takuro Onishi
        A Taipei-Kyoto Workshop on Logic of Agent, 05 Oct. 2024
      • Logic of Presence
        Yasuo Deguchi; Takuro Onishi
        Workshop on Self and Identity, Apr. 2024
      • A note on negation in the operational semantics for relevant logic
        Takuro Onishi
        6th Asian Workshop on Philosophical Logic, Mar. 2024
      • ビジネスを哲学する/哲学をビジネスする
        大西琢朗
        京都大学オンライン公開講義「立ち止まって、考える」, Feb. 2024
      • Logic of Agent: Exploring Interactions between Human and Artificial Agents
        Takuro Onishi
        EHESS x Kyoto Seminars, Feb. 2024
      • 拙著『論理学』から見る論理学(教育)の現状と課題
        大西琢朗
        UNESCO世界論理デー記念Panel Session「これからの論理(学)教育」, Jan. 2024, Invited
      • Logic of agent in the era of AI
        Takuro Onishi
        EHESS x Kyoto Mini Seminar 2023, Oct. 2023
      • やっぱり知りたいイアン・ハッキング
        大西琢朗
        『科学革命の構造』新版出版記念&イアン・ハッキング追悼企画, Jun. 2023
      • ブランダムのオウム―推論主義概説
        大西琢朗
        GRP外部研究会, Jun. 2023, Invited
      • 概念を変革する:哲学的思考は何を生み出すか
        大西琢朗
        京都大学哲学セミナー「京大研究者と考える哲学と社会課題―企業と哲学の接点とは― 」, Mar. 2023
      • 多重集合フレーム上の帰結関係について
        大西琢朗
        岡本賢吾先生退官記念シンポジウム, Mar. 2023, Invited
      • 概念を削り出す:非古典論理のたのしみ
        大西琢朗
        UNESCO世界論理デー記念ワークショップ, Jan. 2023, Invited
      • 直観主義様相論理の一体系と非必然性様相
        大西琢朗
        第55回科学哲学会大会, Dec. 2022
      • 提題
        大西琢朗
        第55回科学哲学会大会サテライトイベント「哲学者のための数学」, Dec. 2022
      • Collection-collection frames
        Takuro Onishi
        New Directions in Relevant Logic, Nov. 2022
      • 『数学はなぜ…』にたどり着くまで―寝ながら学べるイアン・ハッキング:『数学はなぜ哲学の問題になるのか』(森北出版)出版記念トークイベント
        大西琢朗
        Dec. 2017
      • Making Sense of the LP negation as Negative Modality
        Takuro Onishi
        The Logic of Paradox, after 40 years, Nov. 2019, Invited
      • Self in Modal Languages
        The 2nd Joint Workshop of NTU-Kyoto on Self and Subjectivity: From Multi-cultural and Interdisciplinary Perspectives, Mar. 2019
      • Egocentric Language Revisited
        Takuro Onishi
        Kyoto/UCSD Workshop on Self, Dec. 2018
      • Situated Assertions
        Takuro Onishi
        A Workshop on Philosophical Logic and Philosophy of Logic, Sep. 2018
      • Hacking's critique against the contemporary philosophy of mathematics (including structuralism)
        Takuro Onishi
        科学基礎論学会2018年度 総会と講演会ワークショップ Reconsidering the Notion of Structure in Philosophy of Mathematics, Jun. 2018
      • Modality and Inference
        Takuro Onishi
        The 4th Conference on Contemporary Philosophy in East Asia, Apr. 2018
      • 推論の構造:証明論的観点とモデル論的観点
        大西琢朗
        応用哲学会第10回年次研究大会ワークショップ「論理学の哲学と推論主義」, Apr. 2018
      • Two plans in the semantics for relevant logic
        Takuro Onishi
        Melbourne Logic Seminar, Mar. 2018
      • De Morgan negation as substructural negation
        Takuro Onishi
        ANU Logic Seminar,, Mar. 2018
      • 到達可能性関係を推論主義的に理解する
        大西琢朗
        「論理学の哲学」ワークショップ:意味、証明、推論, Dec. 2017
      • 関係意味論、シークエント計算と明示化
        大西琢朗
        京都推論主義ワークショップ, Dec. 2017
      • 到達可能性関係を推論主義的に理解する
        大西琢朗
        日本科学哲学会第50回大会, Nov. 2017
      • Unifying two plans in relevant logic
        Takuro Onishi
        Kyoto Nonclassical Logic Workshop III, Sep. 2017
      • An inferentialist approach to the sevenfold predication in Jainism
        Takuro Onishi
        Dialetheism and Related Issues in Analytic Asian Philosophy, Jun. 2017
      • Routley's American Plan revisited
        Takuro Onishi
        Kyoto Philosophical Logic Workshop, Jun. 2017
      • A non-many-valued approach to the sevenfold predication in Jainism
        Takuro Onishi
        Quadrangle Graduate Conference on Asian Philosophy, Apr. 2017
      • A four-valued frame semantics for relevant logic
        Takuro Onishi
        Kyoto Workshop on Dialetheism and Paraconsistency, 10 Oct. 2016
      • What modal operators make explicit
        Takuro Onishi
        NTU Philosophy Programme Seminar, 29 Apr. 2016
      • Understanding negation implicationally in relevant logic
        Takuro Onishi
        NUS Philosophy Seminar, 05 Nov. 2015
      • "Substructural" logics of negation
        Takuro Onishi
        証明論・計算論とその周辺, 26 Dec. 2014
      • 様相演算子としての否定
        大西琢朗
        日本科学哲学会第47回大会, 16 Nov. 2014
      • 様相論理の証明論的意味論
        大西琢朗
        科学基礎論学会, 15 Jun. 2014
      • 推論のパラドクスと証明論的意味論
        大西琢朗
        日本科学哲学会第46回大会WS「証明論的意味論の最前線」, 24 Nov. 2013
      • Proofs and Disproofs in Bi-Intuitionistic Logic
        Takuro Onishi
        Australasian Association for Logic Annual Meeting 2013, 15 Jun. 2013

      Books and Other Publications

      Awards

      • 07 Nov. 2015
        科学基礎論学会平成26年度奨励賞

      External funds: Kakenhi

      • Philosophising military research: from the perspective of "Dual-Use"
        Grant-in-Aid for Challenging Research (Exploratory)
        Medium-sized Section 1:Philosophy, art, and related fields
        Kyoto University
        Deguchi Yasuo
        From 29 Jun. 2018, To 31 Mar. 2023, Project Closed
        軍事研究;デュアルユース;先端科学技術;ELSI;軍民両用
      • Reconstruction of Philosophy of Relevant Logic: From the Standpoint of Inferentialism
        Grant-in-Aid for Young Scientists (B)
        Kyoto University
        Takuro Onishi
        From 01 Apr. 2017, To 31 Mar. 2019, Project Closed
        関連性論理;推論主義;否定;証明論的意味論;可能世界意味論;様相;明示化;非古典論理
      • Dialetheism and Asian Thoughts: Towards the Formation of International Reserch Hub for Analtytic Asian Philosophy
        Grant-in-Aid for Scientific Research (B)
        Kyoto University
        Yasuo Deguchi
        From 01 Apr. 2016, To 31 Mar. 2019, Project Closed
        東アジア思想;パラコンシスタント論理;真矛盾主義;三論思想;天台思想;西田哲学;「空」の論理;分析アジア哲学;東アジア仏教思想;京都学派の哲学;ポスト矛盾律の哲学;非古典論理;アジア思想;京都学派;仏教哲学;形而上学;インド仏教思想;中国仏教思想;道元思想;京都学派哲学;矛盾律
      • Comparative Studies on 'Incapability': Vulnerability and Fusion Nembutsu
        Grant-in-Aid for Scientific Research (C)
        Basic Section 01010:Philosophy and ethics-related
        Kyoto University
        出口 康夫
        From 01 Apr. 2022, To 31 Mar. 2025, Granted
        できなさ;われわれとしての自己;WEターン;eひと;重度知的障害;高齢者介護;ヴァルネラビリティ;コミュニティ;道元;Self-as-We;バルネラビリティ;融通念仏;他力思想;共同体の思想
      • AIは規範的推論主体になりうるか:非形式論理とプラグマティズムの観点から
        Grant-in-Aid for Scientific Research (C)
        Basic Section 01010:Philosophy and ethics-related
        Gunma Prefectural Women's University
        細川 雄一郎
        From 01 Apr. 2024, To 31 Mar. 2027, Granted
        AI;規範的推論主体;形式論理;非形式論理;プラグマティズム
      • ディストピアを克服する新たなポスト近代的自己観の構築
        Grant-in-Aid for Transformative Research Areas (B)
        Transformative Research Areas, Section (I)
        Kyoto University
        出口 康夫
        From 01 Apr. 2024, To 31 Mar. 2027, Granted
        集合的自己;ディストピア;自由
      list
        Last Updated :2025/05/27

        Education

        Teaching subject(s)

        • From 01 Apr. 2024, To 31 Mar. 2025
          Master's Thesis
          M990, Year-long, Graduate School of Letters, 0
        • From 01 Apr. 2024, To 31 Mar. 2025
          Graduation Thesis
          9990, Year-long, Faculty of Letters, 12
        • From 01 Apr. 2024, To 31 Mar. 2025
          Philosophy (Seminars)
          5143, Fall, Graduate School of Letters, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Philosophy (Special Lectures)
          5131, Spring, Graduate School of Letters, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Philosophy (Special Lectures)
          5131, Fall, Graduate School of Letters, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Philosophy (Seminars)
          M228, Spring, Graduate School of Letters, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Philosophy (Seminars)
          M228, Fall, Graduate School of Letters, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Philosophy (Seminars)
          5143, Spring, Graduate School of Letters, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Philosophy (Special Lectures)
          5131, Spring, Faculty of Letters, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Philosophy (Special Lectures)
          5131, Fall, Faculty of Letters, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Philosophy (Seminars)
          5143, Fall, Faculty of Letters, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Philosophy (Seminars)
          5147, Fall, Faculty of Letters, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Philosophy (Seminars)
          5144, Spring, Faculty of Letters, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Philosophy (Seminars)
          5143, Spring, Faculty of Letters, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Philosophy/History of Western Philosophy (Seminars)
          5149, Fall, Faculty of Letters, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Master's Thesis
          M990, Year-long, Graduate School of Letters, 0
        • From 01 Apr. 2023, To 31 Mar. 2024
          Graduation Thesis
          9990, Year-long, Faculty of Letters, 12
        • From 01 Apr. 2023, To 31 Mar. 2024
          Philosophy (Seminars)
          M228, Fall, Graduate School of Letters, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Philosophy (Seminars)
          5143, Fall, Graduate School of Letters, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Philosophy/History of Western Philosophy (Seminars)
          5149, Fall, Faculty of Letters, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Philosophy (Seminars)
          5147, Fall, Faculty of Letters, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Philosophy (Seminars)
          5143, Fall, Faculty of Letters, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Introduction to Humanities
          9702, Fall, Faculty of Letters, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Philosophy (Special Lectures)
          5131, Spring, Graduate School of Letters, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Philosophy (Seminars)
          5143, Spring, Faculty of Letters, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Philosophy/History of Western Philosophy (Seminars)
          5149, Fall, Faculty of Letters, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Philosophy (Seminars)
          5144, Spring, Faculty of Letters, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Philosophy (Seminars)
          5143, Fall, Faculty of Letters, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Philosophy (Special Lectures)
          5131, Fall, Graduate School of Letters, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Relay Seminars for Undergraduate Students (Seminars)
          0012, Spring, Faculty of Letters, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Philosophy (Seminars)
          M228, Spring, Graduate School of Letters, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Philosophy (Special Lectures)
          5131, Spring, Faculty of Letters, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Philosophy (Special Lectures)
          5131, Fall, Faculty of Letters, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Philosophy (Seminars)
          5143, Fall, Graduate School of Letters, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Philosophy (Seminars)
          M228, Fall, Graduate School of Letters, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Philosophy (Seminars)
          5143, Spring, Graduate School of Letters, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Graduation Thesis
          9990, Year-long, Faculty of Letters, 12
        • From 01 Apr. 2022, To 31 Mar. 2023
          Philosophy (Seminars)
          5147, Fall, Faculty of Letters, 2
        • From Apr. 2020, To Mar. 2021
          Philosophy (Seminars)
          Spring, 文学部
        • From Apr. 2020, To Mar. 2021
          Philosophy (Seminars)
          Fall, 文学部
        • From Apr. 2020, To Mar. 2021
          Philosophy
          Spring, 文学研究科
        • From Apr. 2020, To Mar. 2021
          Philosophy
          Fall, 文学研究科
        • From Apr. 2021, To Mar. 2022
          Philosophy (Seminars)
          Spring, 文学部
        • From Apr. 2021, To Mar. 2022
          Philosophy (Seminars)
          Fall, 文学部
        • From Apr. 2021, To Mar. 2022
          Philosophy
          Spring, 文学研究科
        • From Apr. 2021, To Mar. 2022
          Philosophy
          Fall, 文学研究科

        Part-time lecturer

        • From 01 Apr. 2022, To 26 Sep. 2022
          科学史
          京都工芸繊維大学
        • From 17 Feb. 2022, To 31 Mar. 2023
          記号倫理学
          放送大学(教材作成協力)
        • From 01 Apr. 2021, To 26 Sep. 2021
          科学史
          京都工芸繊維大学
        list
          Last Updated :2025/05/27

          Administration

          School management (title, position)

          • From 01 Apr. 2022, To 31 Mar. 2023
            ASEAN拠点ネットワーク会議 メンバー

          ページ上部へ戻る