Omori Hitoshi 大森仁

Researcher Number	50771036
Other IDs
Affiliation (Current)	2025: 東北大学, 情報科学研究科, 教授
Affiliation (based on the past Project Information) *help	2023 – 2024: 東北大学, 情報科学研究科, 准教授 2018: 北陸先端科学技術大学院大学, 先端科学技術研究科, 助教 2016 – 2017: 京都大学, 文学研究科, 特別研究員(PD)
Review Section/Research Field	Principal Investigator 0101:Philosophy, art, and related fields / Medium-sized Section 1:Philosophy, art, and related fields / Basic Section 01010:Philosophy and ethics-related / Philosophy/Ethics Except Principal Investigator Philosophy/Ethics
Keywords	Principal Investigator Connexive logic / 矛盾許容型論理 / 真矛盾主義 / 証明論的意味論 / 非決定論的意味論 / 多値論理 / 非古典論理 / 否定 / 含意 / Infectious logic … More / Discussive logic / contra-classical logic / discussive logic / connexive logic / 論理学 / 哲学 / 連関論理 / counterfactual / Connexive Logic / Trivialism … More Except Principal Investigator 矛盾律 / 京都学派哲学 / 道元思想 / 中国仏教思想 / インド仏教思想 / 形而上学 / 仏教哲学 / 京都学派 / アジア思想 / 非古典論理 / ポスト矛盾律の哲学 / 京都学派の哲学 / 東アジア仏教思想 / 分析アジア哲学 / 「空」の論理 / 西田哲学 / 天台思想 / 三論思想 / 真矛盾主義 / パラコンシスタント論理 / 東アジア思想 Less

Connexive logicに関する研究Principal Investigator
- Principal Investigator
  
  大森仁
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Challenging Research (Exploratory)
- Review Section
  
  Medium-sized Section 1:Philosophy, art, and related fields
- Research Institution
  Tohoku University
多値論理の一般化に関する哲学的研究Principal Investigator
- Principal Investigator
  
  大森仁
- Project Period (FY)
  2023 – 2024
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Review Section
  
  0101:Philosophy, art, and related fields
- Research Institution
  Tohoku University
矛盾許容型論理の全容解明に向けた研究Principal Investigator
- Principal Investigator
  
  大森仁
- Project Period (FY)
  2018
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 01010:Philosophy and ethics-related
- Research Institution
  Japan Advanced Institute of Science and Technology
Dialetheism and Asian Thoughts: Towards the Formation of International Reserch Hub for Analtytic Asian Philosophy
- Principal Investigator
  
  Deguchi Yasuo
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Kyoto University
Philosophical and logical topics related to dialetheismPrincipal Investigator
- Principal Investigator
  
  Omori Hitoshi
- Project Period (FY)
  2016 – 2017
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Kyoto University

All 2023 2019 2018 2017 2016

All Journal Article Presentation

[Journal Article] Towards a bridge over two approaches in connexive logic2019
- Author(s)
  Hitoshi Omori
- Journal Title
  
  Logic and Logical Philosophy
  
  Volume: 印刷中
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K12183
[Journal Article] Towards a bridge over two approaches in connexive logic2019
- Author(s)
  Omori Hitoshi
- Journal Title
  
  Logic and Logical Philosophy
  
  Volume: - Issue: 3 Pages: 553-566
- DOI
  10.12775/llp.2019.005
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16H03344
[Journal Article] From logics of formal inconsistency to logics of formal classicality2018
- Author(s)
  Omori Hitoshi
- Journal Title
  
  Logic Journal of the IGPL
  
  Volume: - Issue: 5 Pages: 684-711
- DOI
  10.1093/jigpal/jzy056
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16H03344
[Journal Article] Just true? On the metatheory for paraconsistent truth2018
- Author(s)
  Omori, Hitoshi、 Weber, Zach
- Journal Title
  
  Logique et Analyse
  
  Volume: 印刷中
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Journal Article] Observations on the Trivial World2018
- Author(s)
  Zach Weber、Hitoshi Omori
- Journal Title
  
  Erkenntnis
  
  Volume: 印刷中 Issue: 5 Pages: 975-994
- DOI
  10.1007/s10670-018-9990-y
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16684
[Journal Article] A note on Goddard and Routley's significance logics2018
- Author(s)
  Szmuc Damian、Omori Hitoshi
- Journal Title
  
  The Australasian Journal of Logic
  
  Volume: 印刷中
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Journal Article] A Note on Goddard and Routley's Significance Logic2018
- Author(s)
  Szmuc Damian、Omori Hitoshi
- Journal Title
  
  The Australasian Journal of Logic
  
  Volume: 15 Issue: 2 Pages: 431-448
- DOI
  10.26686/ajl.v15i2.4867
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Journal Article] Just true? On the metatheory for paraconsistent truth2018
- Author(s)
  Hitoshi Omori, Zach Weber
- Journal Title
  
  Logique et Analyse
  
  Volume: 印刷中
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16684
[Journal Article] ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION2018
- Author(s)
  OMORI HITOSHI、WANSING HEINRICH
- Journal Title
  
  The Review of Symbolic Logic
  
  Volume: 11 Issue: 4 Pages: 805-820
- DOI
  10.1017/s1755020318000308
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344, KAKENHI-PROJECT-18K12183
[Journal Article] Counterfactuals in Nelson Logic2017
- Author(s)
  Andreas Kapsner、Hitoshi Omori
- Journal Title
  
  Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science, vol 10455.
  
  Volume: - Pages: 497-511
- DOI
  10.1007/978-3-662-55665-8_34
- ISBN
  9783662556641, 9783662556658
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16684
[Journal Article] Conjunction and Disjunction in Infectious Logics2017
- Author(s)
  Omori Hitoshi、Szmuc Damian
- Journal Title
  
  Logic, Rationality, and Interaction. LORI 2017
  
  Volume: － Pages: 268-283
- DOI
  10.1007/978-3-662-55665-8_19
- ISBN
  9783662556641, 9783662556658
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344, KAKENHI-PROJECT-15J06850
[Journal Article] A note on Francez' half-connexive formula2016
- Author(s)
  Omori, H.
- Journal Title
  
  IfCoLog Journal of Logics and their Applications
  
  Volume: 3
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K16684
[Journal Article] A Note on Wansing's expansion of Nelson's logic2016
- Author(s)
  Hitoshi Omori
- Journal Title
  
  Reports on Mathematical Logic
  
  Volume: 51 Pages: 133-144
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16H03344
[Journal Article] Classical and Empirical Negation in Subintuitionistic Logic2016
- Author(s)
  Michael De and Hitoshi Omori
- Journal Title
  
  Advances in Modal Logic
  
  Volume: 11 Pages: 217-235
- Data Source
  KAKENHI-PROJECT-16H03344
[Journal Article] There is more to negation than modality2016
- Author(s)
  Michael De and Hitoshi Omori
- Journal Title
  
  Journal of Philosophical Logic
  
  Volume: - Issue: 2 Pages: 281-299
- DOI
  10.1007/s10992-017-9427-0
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344, KAKENHI-PROJECT-15J06850, KAKENHI-PROJECT-16K16684
[Journal Article] A note on Francez' half-connexive formula2016
- Author(s)
  Hitoshi Omori
- Journal Title
  
  IfCoLog Journal of Logics and their Applications
  
  Volume: 3(3) Pages: 505-512
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16H03344
[Journal Article] Hallden's Logic of Nonsense and its expansions in view of Logics of Formal Inconsistency2016
- Author(s)
  Hitoshi Omori
- Journal Title
  
  Proceedings of DEXA2016
  
  Volume: - Pages: 129-133
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Is 0 untruth or falsity?2023
- Author(s)
  Hitoshi Omori
- Organizer
  Logic Seminar at Federal University of Santa Catarina, Florianopolis, Brazil
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K18598
[Presentation] A generalization of many-valued semantics and proof systems2023
- Author(s)
  Hitoshi Omori
- Organizer
  RIMS workshop : New frontiers of proof and computation
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K18598
[Presentation] Observations on Jaskowski's discussive logic2018
- Author(s)
  Hitoshi Omori
- Organizer
  Non-classical modalities
- Invited
- Data Source
  KAKENHI-PROJECT-18K12183
[Presentation] 矛盾許容型論理における否定について2018
- Author(s)
  大森仁
- Organizer
  2018年度科学基礎論学会
- Data Source
  KAKENHI-PROJECT-18K12183
[Presentation] Observations on the `just true' problem2018
- Author(s)
  Omori Hitoshi
- Organizer
  Kolloquium Logik und Erkenntnistheorie
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Towards a bridge over two approaches in connexive logic2018
- Author(s)
  Omori Hitoshi
- Organizer
  Non-classicality aufgehoben
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Towards a bridge over two approaches in connexive logic2018
- Author(s)
  Omori Hitoshi
- Organizer
  Logic workshop
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Observations on the `just true' problem2018
- Author(s)
  Hitoshi Omori
- Organizer
  2nd Veritas Philosophy Conference
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16684
[Presentation] Logical consequence and methodological consequence: a sketch2018
- Author(s)
  Hitoshi Omori
- Organizer
  Making Sense Of: A Workshop with and about Adrian Moore
- Invited
- Data Source
  KAKENHI-PROJECT-18K12183
[Presentation] Towards a bridge over two approaches in connexive logic2018
- Author(s)
  Hitoshi Omori
- Organizer
  Non-classicality aufgehoben
- Invited
- Data Source
  KAKENHI-PROJECT-18K12183
[Presentation] Observations on Jaskowski’s discussive logic2018
- Author(s)
  Omori Hitoshi
- Organizer
  Non-classical modalities
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Observations on the `just true' problem2018
- Author(s)
  Omori Hitoshi
- Organizer
  2nd Veritas Philosophy Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Logical consequence and methodological consequence: a sketch2018
- Author(s)
  Omori Hitoshi
- Organizer
  Making Sense of: A Workshop with and about Adrian Moore
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Towards a bridge over two approaches in connexive logic2018
- Author(s)
  Hitoshi Omori
- Organizer
  Logic workshop
- Invited
- Data Source
  KAKENHI-PROJECT-18K12183
[Presentation] Sette, Ja\'skowski, and beyond2017
- Author(s)
  Omori, H.
- Organizer
  Prague Seminar on Paraconsistent Logic
- Place of Presentation
  Prague (Czech Republic)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16684
[Presentation] Logical consequence and methodological consequence2017
- Author(s)
  Omori, H.
- Organizer
  Relativisms Global Research Network Workshop 1
- Place of Presentation
  Seoul (Korea)
- Year and Date
  2017-02-17
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16684
[Presentation] Conjunction and Disjunction in Infectious Logics2017
- Author(s)
  Hitoshi Omori
- Organizer
  The Sixth International Conference on Logic, Rationality and Interaction
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Logical consequence and methodological consequence2017
- Author(s)
  Hitoshi Omori
- Organizer
  Relativisms Global Research Network Workshop 1
- Place of Presentation
  Yonsei University
- Year and Date
  2017-02-17
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Counterfactuals in Nelson Logic2017
- Author(s)
  Hitoshi Omori, Andreas Kapsner
- Organizer
  LORI VI
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16684
[Presentation] From Dunn to Avron: towards a systematic overview of paraconsistent logics2017
- Author(s)
  Hitoshi Omori
- Organizer
  ISRALOG17
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Sette, Jaskowski, and beyond2017
- Author(s)
  Hitoshi Omori
- Organizer
  Prague Seminar on Paraconsistent Logic
- Place of Presentation
  CAS, Prague
- Year and Date
  2017-02-01
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] From Logics of Formal Inconsistencies to Logics of Formal Classicality2016
- Author(s)
  Hitoshi Omori
- Organizer
  Applied Mathematical Logic Seminar
- Place of Presentation
  CAS, Prague
- Year and Date
  2016-06-08
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Hallden's Logic of Nonsense and its expansions in view of Logics of Formal Inconsistency2016
- Author(s)
  Hitoshi Omori
- Organizer
  COIN2016
- Place of Presentation
  Porto, Portugal
- Year and Date
  2016-09-06
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Towards a unification of paraconsistent logics2016
- Author(s)
  Omori, H.
- Organizer
  第51回MLG数理論理学研究集会
- Place of Presentation
  四季の湯強羅静雲荘（神奈川県箱根町）
- Year and Date
  2016-10-27
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16684
[Presentation] Towards a unification of paraconsistent logics2016
- Author(s)
  Omori, H.
- Organizer
  Logic in Bochum 2
- Place of Presentation
  Raesfeld (Germany)
- Year and Date
  2016-06-27
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16684
[Presentation] 矛盾許容型論理の矛盾許容性再考2016
- Author(s)
  大森仁
- Organizer
  2016年度科学基礎論学会
- Place of Presentation
  埼玉大学
- Year and Date
  2016-06-18
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Towards a unification of paraconsistent logics2016
- Author(s)
  Omori, H.
- Organizer
  Paradoxes, Logic and Philosophy
- Place of Presentation
  Beijing (China)
- Year and Date
  2016-10-15
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16684
[Presentation] Bhaviveka’s Negations Viewed from a Contemporary Viewpoints, in Symposium on Frontier of Analytic Asian Philosophy2016
- Author(s)
  Yasuo Deguchi and Hitoshi Omori
- Organizer
  The 3rd Conference for Contemporary Philosophy in East Asia
- Place of Presentation
  Seoul National University
- Year and Date
  2016-08-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Towards a unification of paraconsistent logics2016
- Author(s)
  Omori, H.
- Organizer
  CCPEA 2016
- Place of Presentation
  Seoul (Korea)
- Year and Date
  2016-08-19
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16684
[Presentation] Towards a unification of paraconsistent logics2016
- Author(s)
  大森仁
- Organizer
  第51回MLG数理論理学研究集会
- Place of Presentation
  四季の湯強羅静雲荘
- Year and Date
  2016-10-27
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Classical and Empirical Negation in Subintuitionistic Logic2016
- Author(s)
  Hitoshi Omori
- Organizer
  Advances in Modal Logic 2016
- Place of Presentation
  Budapest, Hungary
- Year and Date
  2016-08-30
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Towards a unification of paraconsistent logics2016
- Author(s)
  大森仁
- Organizer
  論数哲2016
- Place of Presentation
  御茶ノ水大学（東京都文京区）
- Invited
- Data Source
  KAKENHI-PROJECT-16K16684
[Presentation] Towards a unification of paraconsistent logics2016
- Author(s)
  大森仁
- Organizer
  論数哲2016
- Place of Presentation
  お茶の水女子大学
- Year and Date
  2016-05-06
- Invited
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Towards a unification of paraconsistent logics2016
- Author(s)
  Hitoshi Omori
- Organizer
  Paradoxes, Logic and Philosophy
- Place of Presentation
  Beijing, China
- Year and Date
  2016-10-15
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Towards a unification of paraconsistent logics'2016
- Author(s)
  Hitoshi Omori
- Organizer
  Logic in Bochum 2
- Place of Presentation
  Schloss Raesfeld
- Year and Date
  2016-06-27
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Towards a unification of paraconsistent logics2016
- Author(s)
  Hitoshi Omori
- Organizer
  The 3rd Conference for Contemporary Philosophy in East Asia
- Place of Presentation
  Seoul National University
- Year and Date
  2016-08-19
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344
[Presentation] Towards a unification of paraconsistent logics2016
- Author(s)
  Omori, H.
- Organizer
  V Workshop on Philosophical Logic
- Place of Presentation
  Buenos Aires (Argentina)
- Year and Date
  2016-11-23
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16684
[Presentation] 矛盾許容型論理の矛盾許容性再考2016
- Author(s)
  大森仁
- Organizer
  2016年度科学基礎論学会
- Place of Presentation
  埼玉大学（埼玉県さいたま市）
- Year and Date
  2016-06-18
- Data Source
  KAKENHI-PROJECT-16K16684
[Presentation] Towards a unification of paraconsistent logics'2016
- Author(s)
  Hitoshi Omori
- Organizer
  Workshop on Philosophical Logic
- Place of Presentation
  SADAF, Buenos Aires
- Year and Date
  2016-11-23
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03344

1. Deguchi Yasuo (20314073)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
2. 藤川直也 (40749412)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 大西琢朗 (50773529)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. WANSING Heinrich

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. WEBER Zach

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
6. KAPSNER Andreas

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results

Omori Hitoshi 大森 仁

Research Projects

Research Products

Co-Researchers

Connexive logicに関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

多値論理の一般化に関する哲学的研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

矛盾許容型論理の全容解明に向けた研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Dialetheism and Asian Thoughts: Towards the Formation of International Reserch Hub for Analtytic Asian Philosophy

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Philosophical and logical topics related to dialetheismPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Towards a bridge over two approaches in connexive logic2019

Author(s)

Journal Title

Data Source

[Journal Article] Towards a bridge over two approaches in connexive logic2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] From logics of formal inconsistency to logics of formal classicality2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Just true? On the metatheory for paraconsistent truth2018

Author(s)

Journal Title

Data Source

[Journal Article] Observations on the Trivial World2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] A note on Goddard and Routley's significance logics2018

Author(s)

Journal Title

Data Source

[Journal Article] A Note on Goddard and Routley's Significance Logic2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Just true? On the metatheory for paraconsistent truth2018

Author(s)

Journal Title

Data Source

[Journal Article] ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Counterfactuals in Nelson Logic2017

Author(s)

Journal Title

DOI

ISBN

Omori Hitoshi 大森仁