研究者詳細

顔写真

トヨオカ　マサノブ
豊岡　正庸
Masanobu Toyooka
所属
大学院情報科学研究科　人間社会情報科学専攻　人間情報学講座（論理分析学分野）
職名
学位

  • 学士（文学） （北海道大学）

  • 修士（文学） （北海道大学）

  • 博士（文学） （北海道大学）

e-Rad 研究者番号
71032786

経歴 14

  • 2026年3月 ～ 継続中
    University of St Andrews　Arché: Philosophical Research Centre for Logic, Language, Metaphysics, and Epistemology　Postdoctoral Visiting Scholar

  • 2025年4月 ～ 継続中
    独立行政法人日本学術振興会　特別研究員（PD）

  • 2025年4月 ～ 継続中
    東北大学　大学院情報科学研究科　特任研究員

  • 2025年11月 ～ 2025年11月
    University of St Andrews　Arché: Philosophical Research Centre for Logic, Language, Metaphysics, and Epistemology　Postdoctoral Visiting Scholar

  • 2024年10月 ～ 2025年3月
    北海道大学　文学部人文科学科　非常勤講師

  • 2024年7月 ～ 2025年3月
    独立行政法人日本学術振興会　特別研究員（PD）

  • 2024年4月 ～ 2024年9月
    北海道武蔵女子短期大学　非常勤講師

  • 2022年4月 ～ 2024年6月
    独立行政法人日本学術振興会　特別研究員（DC1）

  • 2023年4月 ～ 2023年9月
    北海道教育大学　教育学部 札幌校　非常勤講師

  • 2023年3月 ～ 2023年3月
    Sapporo Mini-workshop on Non-classical logic　Organizer

  • 2023年2月 ～ 2023年2月
    千葉工業大学　人工知能・ソフトウェア技術研究センター　研究協力者（外部）

  • 2022年4月 ～ 2022年9月
    北海道教育大学　教育学部 札幌校　非常勤講師

  • 2020年4月 ～ 2022年9月
    北海道大学　文学部　ティーチング・アシスタント（TA）

  • 2021年4月 ～ 2021年9月
    北海道大学　全学教育部　ティーチング・アシスタント（TA）

︎全件表示 ︎最初の5件までを表示

学歴 3

  • 北海道大学　大学院文学院　人文学専攻 博士後期課程

    2022年4月 ～ 2024年6月

  • 北海道大学　大学院文学院　人文学専攻 修士課程

    2020年4月 ～ 2022年3月

  • 北海道大学　文学部　人文科学科

    2016年4月 ～ 2020年3月

所属学協会 2

  • 科学基礎論学会

    2023年6月 ～ 継続中

  • 日本科学哲学会

    2021年1月 ～ 継続中

研究キーワード 12

  • 論理多元主義

  • 近傍意味論

  • クリプキ意味論

  • 否定概念

  • シークエント計算およびその拡張

  • 下位直観主義論理

  • 超直観主義論理

  • 厳密含意論理

  • 直観主義論理

  • 異なる論理の組み合わせ体系

  • 推論主義

  • 証明論的意味論

研究分野 1

  • 人文・社会 / 哲学、倫理学 / 哲学的論理学

論文 9

  1. Cut-free sequent calculi for Wansing’s expansions of Nelson’s logics 査読有り

    Katsuhiko Sano, Masanobu Toyooka

    Studia Logica　2025年11月24日

    DOI： 10.1007/s11225-025-10210-z 　

  2. How can we avoid Popper's collapsing problem and have Craig interpolation?

    Masanobu Toyooka, Katsuhiko Sano

    Annals of the Japan Association for Philosophy of Science　33　145-162　2024年12月

  3. Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation 査読有り

    Masanobu Toyooka, Katsuhiko Sano

    Studia Logica　112　1091-1121　2024年10月

    DOI： 10.1007/s11225-023-10067-0 　

    ISSN：0039-3215 1572-8730

  4. An Investigation Into Addition of Classical Negation to First-Order and Generalized Intuitionistic Logic

    Masanobu Toyooka

    Doctoral Dissertation, Graduate School of Humanities and Human Sciences, Hokkaido University　2024年6月30日

  5. Semantic incompleteness of del Cerro and Herzig's Hilbert system for a combination of classical and intuitionistic propositional logic 国際誌 査読有り

    Masanobu Toyooka, Katsuhiko Sano

    Australasian Journal of Logic　20　(3)　396-410　2023年

    出版者・発行元：

    DOI： 10.26686/ajl.v20i3.7696 　

    eISSN：1448-5052

  6. A Proof-Theoretic Analysis of the Meaning of a Formula in a Combination of Intuitionistic and Classical Propositional Logic 国際誌 査読有り

    19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers　100-119　2023年

    DOI： 10.1007/978-3-031-43977-3_7 　

    ISSN：0302-9743 1611-3349

  7. Combining first-order classical and intuitionistic logic 国際誌 査読有り

    Masanobu Toyooka, Katsuhiko Sano

    Electronic Proceedings in Theoretical Computer Science　358　25-40　2022年4月

    DOI： 10.4204/EPTCS.358.3 　

  8. 異なる論理の共存と証明論的意味論における調和概念について 査読有り

    豊岡正庸

    新進研究者 Research Notes　4　69-77　2021年6月

  9. 証明論的意味論における原子ベースと完全性の連関 査読有り

    豊岡正庸

    科学哲学科学史研究　15　85-111　2021年4月

︎全件表示 ︎最初の5件までを表示

MISC 1

  1. Semantic incompleteness of Hilbert system for a combination of classical and intuitionistic logic

    Masanobu Toyooka, Katsuhiko Sano

    arXiv　abs/2207.07416　2022年7月

    DOI： 10.48550/ARXIV.2207.07416 　

講演・口頭発表等 40

  1. Three Benchmarks for Exclusion of Non-Normal Valuations 国際会議

    Masanobu Toyooka

    LOGICA 2026　2026年5月20日

  2. Combination of Two Negations and Uniqueness 招待有り

    Masanobu Toyooka

    The 6th France-Japan Workshop on "Disagreement in Logic and Reasoning and Beyond"　2026年2月28日

  3. Three Benchmarks for Classical Connectives

    Masanobu Toyooka

    LLAL＠GSIS (XI)　2026年1月30日

  4. On Okada's constructive weak implication

    Masanobu Toyooka

    LLAL＠GSIS (XII)　2026年1月24日

  5. Categoricity and expressibility of classical connectives 招待有り

    Masanobu Toyooka

    PTS Seminar　2025年12月9日

  6. 循環を回避する構成的含意の解釈について

    豊岡正庸

    日本科学哲学会 第58回大会　2025年11月30日

  7. Generalizing subintuitionistic logics over neighborhood semantics

    Masanobu Toyooka

    LLAL＠GSIS (IX)　2025年10月28日

  8. Strong completeness of constant domain expansion of Restall's subintuitionistic logic 国際会議

    Masanobu Toyooka, Katsuhiko Sano

    The 6th Taiwan Philosophical Logic Colloquium (TPLC-VI)　2025年10月25日

  9. Sequent calculi and Craig interpolation for Došen's logics with negative modality

    Masanobu Toyooka

    TF Colloquium　2025年10月8日

  10. How can we add classical negation to intuitionistic sequent calculus?

    Masanobu Toyooka

    LLAMA Seminar at ILLC　2025年10月7日

  11. Craig interpolation for logics of negative modality via cut-free sequent calculus 国際会議

    Masanobu Toyooka, Katsuhiko Sano

    15th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2025)　2025年9月9日

  12. A solution to collapsing problem and an inferentialist approach to intuitionistic and classical connectives

    Masanobu Toyooka

    LLAL＠GSIS (VII)　2025年7月5日

  13. Augmented intuitionistic logic for non-monotonic reasoning 国際会議 招待有り

    Masanobu Toyooka

    APPSA-LMPST Taiwan 2025　2025年6月19日

  14. 12 expressibility of logical connectives 招待有り

    Masanobu Toyooka

    LLAL＠GSIS (VI)　2025年3月4日

  15. Humberstone's logic as an extension of minimal logic 招待有り

    Masanobu Toyooka

    A Kyoto-Taipei Workshop on Logic of Agent　2025年3月2日

  16. Gentzenization of Wansing's expansions of Nelson's logics 招待有り

    Masanobu Toyooka

    LLAL＠GSIS (V)　2025年2月24日

  17. How should intuitionists' understanding of classical logic be codified?

    Masanobu Toyooka

    The 4th France-Japan Colloquium ``Disagreement in Logic and Reasoning'' with a Special Panel Session on Normativity and Divergences of Forms of Life　2025年2月21日

  18. Humberstone's Ω in Curry's logic D 国際会議

    Masanobu Toyooka

    The Inaugural Symposium on Logic in the Arab World　2025年2月19日

  19. 穏健な推論主義がもつ論理結合子に対する12の指標 招待有り

    豊岡正庸

    一橋大学哲学・社会思想セミナー　2025年1月25日

  20. Star semantics for empirical negation 国際会議

    Masanobu Toyooka

    The Australasian Association for Logic Conference 2024　2024年11月27日

  21. Routley star for empirical negation 招待有り

    豊岡正庸

    LLAL＠GSIS (IV)　2024年9月21日

  22. 直観主義命題論理上で経験的否定は両立不可能性としての否定からどのように理解可能か

    豊岡正庸

    第2回北海道大学・一橋大学哲学倫理学合同研究会　2024年8月8日

  23. Two approaches of adding classical negation to intuitionistic logic

    Masanobu Toyooka

    French-Japan Colloquium: Disagreement in Logic and Reasoning　2024年3月25日

  24. Cut-free sequent calculus for Wansing's expansion of Nelson's logic 国際会議

    Katsuhiko Sano, Masanobu Toyooka

    AWPL2024: 6th Asian Workshop on Philosophical Logic　2024年3月5日

  25. ベース状況付きの弱下位直観主義論理に対する近傍意味論

    豊岡正庸

    日本科学哲学会 第56回大会　2023年12月3日

  26. Generalizing Restall’s subintuitionistic logics over neighborhood semantics 国際会議

    Masanobu Toyooka

    The Australasian Association for Logic Conference 2023　2023年11月10日

  27. 直観主義命題論理と古典命題論理の組み合わせ論理C+Jにおける真理概念の推論主義的な分析

    豊岡正庸

    第1回北海道大学・一橋大学哲学倫理学合同研究会　2023年9月2日

  28. Humberstoneの論理定項Ωと直観主義論理のクリプキフレームの関係について

    豊岡正庸, 佐野勝彦

    記号論理と情報科学 研究集会（SLACS 2023）　2023年8月31日

  29. About coexistence of intuitionistic implication and classical negation in the level of first-order logic

    Masanobu Toyooka

    Sapporo Mini-workshop on Non-classical Logic　2023年3月24日

  30. Coexistence of different logics focusing on the concepts of negations (short project report)

    Masanobu Toyooka

    France-Japan Workshop on ``Philosophy and Ethics of TV Drama Series'' and ``Disagreement in Logic and Reasoning''　2023年3月16日

  31. 直観主義論理と古典論理の組み合わせにおけるcollapsing problemと、シークエント計算におけるその回避方法について 招待有り

    豊岡正庸, 佐野勝彦

    UNESCO世界論理デー記念ワークショップ　2023年1月14日

  32. 直観主義命題論理と古典命題論理の組み合わせ論理C+Jに対する論理式の意味の証明論的な分析

    豊岡正庸

    日本科学哲学会 第55回大会　2022年12月3日

  33. Adding empirical negation into intermediate predicate logic CD 招待有り

    Masanobu Toyooka

    A Workshop on Empirical Negation　2022年11月26日

  34. A proof-theoretic analysis of meaning of a formula in a combination of intuitionistic and classical propositional logic 国際会議

    Masanobu Toyooka

    Logic and Engineering of Natural Language Semantics 19 (LENLS19)　2022年11月20日

  35. A tree-sequent method for intermediate predicate logic CD expanded with empirical negation 国際会議

    Masanobu Toyooka

    4th Workshop on Proof Theory and Its Applications　2022年11月12日

  36. 中間述語論理CDに対する経験的否定の追加

    豊岡正庸

    大岡山ロジックセミナー 夏期集中セミナー　2022年9月6日

  37. Combining first-order classical and intuitionistic logic 国際会議

    Masanobu Toyooka, Katsuhiko Sano

    NCL'22: Non-Classical Logics. Theory and Applications 2022　2022年3月18日

  38. Craig interpolation for a sequent calculus for combining intuitionistic and classical propositional logic 国際会議

    Masanobu Toyooka, Katsuhiko Sano

    SOCREAL 2022: 6th International Workshop on Philosophy and Logic of Social Reality　2022年3月1日

  39. 直観主義論理と古典論理の組み合わせ体系FOC+Jに対する証明論的研究

    豊岡正庸

    大岡山ロジックセミナー　2022年2月21日

  40. Analytic multi-succedent sequent calculus for combining intuitionistic and classical propositional logic 国際会議

    Masanobu Toyooka, Katsuhiko Sano

    ICLA 2021: 9th Indian Conference on Logic and its Applications　2021年3月5日

︎全件表示 ︎最初の5件までを表示

共同研究・競争的資金等の研究課題 4

  1. 論理定項の同一性についての証明論的研究

    提供機関：Japan Society for the Promotion of Science

    制度名：Grant-in-Aid for Early-Career Scientists

    研究機関：Graduate School of Information Sciences, Tohoku University

    2026年4月 ～ 2029年3月

  2. 経験言明を扱う直観主義論理拡張の証明論的研究 競争的資金

    提供機関：Japan Society for the Promotion of Science

    制度名：Grant-in-Aid for JSPS Fellows

    研究機関：Graduate School of Information Sciences, Tohoku University

    2025年4月 ～ 2028年3月

  3. 哲学・数学・情報科学的観点からの直観主義含意研究

    提供機関：Graduate School of Information Sciences, Tohoku University

    制度名：Support for Interdisciplinary Research Projects

    研究機関：Graduate School of Information Sciences, Tohoku University

    2025年7月 ～ 2026年3月

  4. 否定概念に着目した異なる論理の共存の証明論的研究 競争的資金

    提供機関：Japan Society for the Promotion of Science

    制度名：Grant-in-Aid for JSPS Fellows

    研究機関：Graduate School / Faculty of Humanities and Human Sciences, Hokkaido University

    2022年4月 ～ 2025年3月

担当経験のある科目(授業) 4

  1. 哲学（英米哲学講義）　北海道大学

  2. 論理学　北海道武蔵女子短期大学

  3. 情報機器の操作　北海道教育大学

  4. 情報機器の操作　北海道教育大学

学術貢献活動 3

  1. LLAL (XII), Organizer

    Sendai

    2026年1月23日 ～ 2026年1月24日

    学術貢献活動種別: 学会・研究会等

  2. Week of Logic, Organizer

    Sendai

    2025年11月24日 ～ 2025年11月28日

    学術貢献活動種別: 学会・研究会等

  3. 6th Asian Workshop on Philosophical Logic (AWPL 2024), Local organizing committee

    Sapporo

    2024年3月4日 ～ 2024年3月6日

    学術貢献活動種別: 学会・研究会等

その他 13

  1. 北海道大学文学研究院 学振DC・PD 申請書の書き方セミナー「申請書の書き方相談会」相談員

  2. 北海道大学文学研究院 学振DC・PD 申請書の書き方セミナー2024「学振特別研究員の申請に向けて」話題提供者

  3. 独立行政法人日本学術振興会 採用最終年次における研究奨励金特別手当

  4. 独立行政法人日本学術振興会 海外特別研究員 採用内定（辞退）

  5. 2023年度前期北海道大学大学院「授業料減免」（成績優秀者に家計状況に応じて決定）1/2免除

  6. 2022年度後期北海道大学大学院「授業料減免」（成績優秀者に家計状況に応じて決定）全額免除

  7. 2022年度前期北海道大学大学院「授業料減免」（成績優秀者に家計状況に応じて決定）1/2免除

  8. 日本学生支援機構 特に優れた業績による第一種奨学金返還免除 半額免除

  9. 2021年度後期北海道大学大学院「授業料減免」（成績優秀者に家計状況に応じて決定）全額免除

  10. 2021年度前期北海道大学大学院「授業料減免」（成績優秀者に家計状況に応じて決定）1/2免除

  11. 2020年度後期北海道大学大学院「授業料減免」（成績優秀者に家計状況に応じて決定）全額免除

  12. 2020年度前期北海道大学大学院「授業料減免」（成績優秀者に家計状況に応じて決定）1/2免除

  13. TOEIC L&R 940点

︎全件表示 ︎最初の5件までを表示