大西 琢朗

Last Update: 2021/06/29 08:02:58

Print

Name(Kanji/Kana/Abecedarium Latinum)
大西 琢朗/オオニシ タクロウ/Onishi, Takuro
Primary Affiliation(Org1/Job title)
Center for the Promotion of Interdisciplinary Education and Research (C-PiER)/Program-Specific Associate Professor
E-mail Address
oonishi.takurou.4e @ kyoto-u.ac.jp
Academic Degree
Field(Japanese) Field(English) University(Japanese) University(English) Method
修士(文学) 京都大学
博士(文学) 京都大学
Academic Resume (Graduate Schools)
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(Japanese) Major(English) Completion Status
京都大学 大学院文学研究科修士課程思想文化学専攻 修了
京都大学 大学院文学研究科博士後期課程思想文化学専攻 修了
ORCID ID
https://orcid.org/0000-0002-3631-1092
researchmap URL
https://researchmap.jp/takuro_onishi
Research Topics
(Japanese)
非古典論理の哲学、関連性論理の枠組の推論主義的再構築、様相演算子としての否定、シークエント計算に基づく証明論的意味論
(English)
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
(Japanese)
哲学的な関心を持って非古典論理を研究しています。主に、関連性論理の概念的枠組みを、ブランダムの推論主義的観点から再構築するプロジェクトに取り組んでいます。このプロジェクトのもう一つの源はダメットの証明論的意味論であり、私は特にシークエント計算に基づく証明論的意味論を展開しています。また、「様相演算子としての否定」という考え方についての研究も行っており、その成果は上記の再構築プロジェクトでも重要な役割を果たしています。
(English)
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.
Fields of research (key words)
Key words(Japanese) Key words(English)
非古典論理 non-classical logic
推論主義 inferentialism
関連性論理 relevant logic
証明論的意味論 proof-theoretic semantics
様相演算子としての否定 negation as modal operator
Published Papers
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
Takuro Onishi Takuro Onishi Bridging the Two Plans in the Semantics for Relevant Logic Bridging the Two Plans in the Semantics for Relevant Logic Bridging the Two Plans in the Semantics for Relevant Logic New Essays on Belnap-­Dunn Logic, 217-232 , 217-232 New Essays on Belnap-­Dunn Logic, 217-232 2019 Refereed English Disclose to all
Takuro Onishi Takuro Onishi Takuro Onishi Understanding Negation Implicationally in the Relevant Logic R Understanding Negation Implicationally in the Relevant Logic R Understanding Negation Implicationally in the Relevant Logic R STUDIA LOGICA, 104, 6, 1267-1285 STUDIA LOGICA, 104, 6, 1267-1285 STUDIA LOGICA, 104, 6, 1267-1285 2016/12 Refereed English Research paper(scientific journal) Disclose to all
Takuro Onishi 大西琢朗 Takuro Onishi Substructural negations Substructural negations Substructural negations The Australasian Journal of Logic, 12, 4, 177-203 The Australasian Journal of Logic, 12, 4, 177-203 The Australasian Journal of Logic, 12, 4, 177-203 2015/06 Refereed English Research paper(scientific journal) Disclose to all
Takuro Onishi 大西琢朗 Takuro Onishi The Catuskoti in a Bilattice The Catuskoti in a Bilattice The Catuskoti in a Bilattice Prospectus, 18, 19-30 京都大学文学部哲学研究室紀要 Prospectus, 18, 19-30 Prospectus, 18, 19-30 2015/02 Refereed English Research paper(bulletin of university, research institution) Disclose to all
大西琢朗 大西琢朗 間接検証としての演繹的推論 間接検証としての演繹的推論 科学基礎論研究, 42, 1, 1-15 科学基礎論研究, 42, 1, 1-15 , 42, 1, 1-15 2014 Refereed Japanese Research paper(scientific journal) Disclose to all
大西琢朗 大西琢朗 証明論的意味論のディレンマ 証明論的意味論のディレンマ 『アルケー』, 19, 75-86 『アルケー』, 19, 75-86 , 19, 75-86 2011 Refereed Japanese Research paper(scientific journal) Disclose to all
大西琢朗 大西琢朗 概念の外延・文脈原理・フレーゲ構造 概念の外延・文脈原理・フレーゲ構造 哲学研究, 586, 104-127 哲学研究, 586, 104-127 , 586, 104-127 2008 Refereed Japanese Research paper(scientific journal) Disclose to all
大西琢朗 大西琢朗 概念記法と概念形成 概念記法と概念形成 人文知の新たな総合に向けて―21世紀COEプログラム「グローバル化時代の多元的人文学の拠点形成」第5回報告書上巻, 141-166 人文知の新たな総合に向けて―21世紀COEプログラム「グローバル化時代の多元的人文学の拠点形成」第5回報告書上巻, 141-166 , 141-166 2007 Refereed Japanese Research paper(bulletin of university, research institution) Disclose to all
大西琢朗 大西琢朗 フレーゲの論理主義と数の存在論 フレーゲの論理主義と数の存在論 哲学論叢, 33, 43-54 哲学論叢, 33, 43-54 , 33, 43-54 2006 Refereed Japanese Research paper(scientific journal) Disclose to all
大西琢朗 大西琢朗 博士論文 証明論的意味論と双側面説 博士論文 証明論的意味論と双側面説 Disclose to all
Title language:
Conference Activities & Talks
Title Title(Japanese) Title(English) Conference Conference(Japanese) Conference(English) Promotor Promotor(Japanese) Promotor(English) Date Language Assortment Disclose
Making Sense of the LP negation as Negative Modality[Invited] Making Sense of the LP negation as Negative Modality [Invited] Making Sense of the LP negation as Negative Modality [Invited] The Logic of Paradox, after 40 years The Logic of Paradox, after 40 years The Logic of Paradox, after 40 years 2019/11 Disclose to all
Self in Modal Languages Self in Modal Languages Self in Modal Languages The 2nd Joint Workshop of NTU-Kyoto on Self and Subjectivity: From Multi-cultural and Interdisciplinary Perspectives The 2nd Joint Workshop of NTU-Kyoto on Self and Subjectivity: From Multi-cultural and Interdisciplinary Perspectives The 2nd Joint Workshop of NTU-Kyoto on Self and Subjectivity: From Multi-cultural and Interdisciplinary Perspectives 2019/03 Disclose to all
Egocentric Language Revisited Egocentric Language Revisited Egocentric Language Revisited Kyoto/UCSD Workshop on Self Kyoto/UCSD Workshop on Self Kyoto/UCSD Workshop on Self 2018/12 Disclose to all
Situated Assertions Situated Assertions Situated Assertions A Workshop on Philosophical Logic and Philosophy of Logic A Workshop on Philosophical Logic and Philosophy of Logic A Workshop on Philosophical Logic and Philosophy of Logic 2018/09 Disclose to all
Hacking's critique against the contemporary philosophy of mathematics (including structuralism) Hacking's critique against the contemporary philosophy of mathematics (including structuralism) Hacking's critique against the contemporary philosophy of mathematics (including structuralism) 科学基礎論学会2018年度 総会と講演会ワークショップ Reconsidering the Notion of Structure in Philosophy of Mathematics 科学基礎論学会2018年度 総会と講演会ワークショップ Reconsidering the Notion of Structure in Philosophy of Mathematics 2018/06 Disclose to all
Modality and Inference Modality and Inference Modality and Inference The 4th Conference on Contemporary Philosophy in East Asia The 4th Conference on Contemporary Philosophy in East Asia The 4th Conference on Contemporary Philosophy in East Asia 2018/04 Disclose to all
推論の構造:証明論的観点とモデル論的観点 推論の構造:証明論的観点とモデル論的観点 応用哲学会第10回年次研究大会ワークショップ「論理学の哲学と推論主義」 応用哲学会第10回年次研究大会ワークショップ「論理学の哲学と推論主義」 2018/04 Disclose to all
Two plans in the semantics for relevant logic Two plans in the semantics for relevant logic Two plans in the semantics for relevant logic Melbourne Logic Seminar Melbourne Logic Seminar Melbourne Logic Seminar 2018/03 Disclose to all
De Morgan negation as substructural negation De Morgan negation as substructural negation De Morgan negation as substructural negation ANU Logic Seminar, ANU Logic Seminar, ANU Logic Seminar, 2018/03 Disclose to all
到達可能性関係を推論主義的に理解する 到達可能性関係を推論主義的に理解する 「論理学の哲学」ワークショップ:意味、証明、推論 「論理学の哲学」ワークショップ:意味、証明、推論 2017/12 Disclose to all
関係意味論、シークエント計算と明示化 関係意味論、シークエント計算と明示化 京都推論主義ワークショップ 京都推論主義ワークショップ 2017/12 Disclose to all
到達可能性関係を推論主義的に理解する 到達可能性関係を推論主義的に理解する 日本科学哲学会第50回大会 日本科学哲学会第50回大会 2017/11 Disclose to all
Unifying two plans in relevant logic Unifying two plans in relevant logic Unifying two plans in relevant logic Kyoto Nonclassical Logic Workshop III Kyoto Nonclassical Logic Workshop III Kyoto Nonclassical Logic Workshop III 2017/09 Disclose to all
An inferentialist approach to the sevenfold predication in Jainism An inferentialist approach to the sevenfold predication in Jainism An inferentialist approach to the sevenfold predication in Jainism Dialetheism and Related Issues in Analytic Asian Philosophy Dialetheism and Related Issues in Analytic Asian Philosophy Dialetheism and Related Issues in Analytic Asian Philosophy 2017/06 Disclose to all
Routley's American Plan revisited Routley's American Plan revisited Routley's American Plan revisited Kyoto Philosophical Logic Workshop Kyoto Philosophical Logic Workshop Kyoto Philosophical Logic Workshop 2017/06 Disclose to all
A non-many-valued approach to the sevenfold predication in Jainism A non-many-valued approach to the sevenfold predication in Jainism A non-many-valued approach to the sevenfold predication in Jainism Quadrangle Graduate Conference on Asian Philosophy Quadrangle Graduate Conference on Asian Philosophy 2017/04 Oral presentation(general) Disclose to all
A four-valued frame semantics for relevant logic A four-valued frame semantics for relevant logic A four-valued frame semantics for relevant logic Kyoto Workshop on Dialetheism and Paraconsistency Kyoto Workshop on Dialetheism and Paraconsistency Kyoto Workshop on Dialetheism and Paraconsistency 2016/10/10 English Oral presentation(general) Disclose to all
What modal operators make explicit What modal operators make explicit What modal operators make explicit NTU Philosophy Programme Seminar NTU Philosophy Programme Seminar NTU Philosophy Programme Seminar 2016/04/29 English Public discourse, seminar, tutorial, course, lecture and others Disclose to all
Understanding negation implicationally in relevant logic Understanding negation implicationally in relevant logic Understanding negation implicationally in relevant logic NUS Philosophy Seminar NUS Philosophy Seminar NUS Philosophy Seminar 2015/11/05 English Public discourse, seminar, tutorial, course, lecture and others Disclose to all
"Substructural" logics of negation "Substructural" logics of negation "Substructural" logics of negation 証明論・計算論とその周辺 証明論・計算論とその周辺 2014/12/26 English Oral presentation(general) Disclose to all
様相演算子としての否定 様相演算子としての否定 日本科学哲学会第47回大会 日本科学哲学会第47回大会 2014/11/16 Japanese Oral presentation(general) Disclose to all
様相論理の証明論的意味論 様相論理の証明論的意味論 科学基礎論学会 科学基礎論学会 2014/06/15 Japanese Oral presentation(general) Disclose to all
推論のパラドクスと証明論的意味論 推論のパラドクスと証明論的意味論 日本科学哲学会第46回大会WS「証明論的意味論の最前線」 日本科学哲学会第46回大会WS「証明論的意味論の最前線」 2013/11/24 Japanese Symposium workshop panel(public) Disclose to all
Proofs and Disproofs in Bi-Intuitionistic Logic Proofs and Disproofs in Bi-Intuitionistic Logic Proofs and Disproofs in Bi-Intuitionistic Logic Australasian Association for Logic Annual Meeting 2013 Australasian Association for Logic Annual Meeting 2013 Australasian Association for Logic Annual Meeting 2013 2013/06/15 English Oral presentation(general) Disclose to all

  • <<
  • >>
Title language:
Books etc
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Publisher Publisher(Japanese) Publisher(English) Publication date Language Type Disclose
大西琢朗 大西琢朗 イアン・ハッキング『数学はなぜ哲学の問題になるのか』 イアン・ハッキング『数学はなぜ哲学の問題になるのか』 森北出版 森北出版 2017 Joint Translation Disclose to all
大西琢朗 大西琢朗 イアン・ハッキング『知の歴史学』 イアン・ハッキング『知の歴史学』 岩波書店 岩波書店 2012/12 Joint Translation Disclose to all
Title language:
Teaching subject(s)
Name(Japanese) Name(English) Term Department Period
哲学(演習I) Philosophy (Seminars) 前期 文学部 2020/04-2021/03
哲学(演習I) Philosophy (Seminars) 後期 文学部 2020/04-2021/03
哲学(演習I) Philosophy 前期 文学研究科 2020/04-2021/03
哲学(演習I) Philosophy 後期 文学研究科 2020/04-2021/03
哲学(演習I) Philosophy (Seminars) 前期 文学部 2021/04-2022/03
哲学(演習I) Philosophy (Seminars) 後期 文学部 2021/04-2022/03
哲学(演習I) Philosophy 前期 文学研究科 2021/04-2022/03
哲学(演習I) Philosophy 後期 文学研究科 2021/04-2022/03