東北大学研究者紹介

研究者詳細

ホーム

日本語 English

オオモリ　ヒトシ

大森　仁

Hitoshi Omori

所属

大学院情報科学研究科　人間社会情報科学専攻　人間情報学講座（論理分析学分野）

職名

教授

学位

博士（学術）（東京工業大学）

researchmap

https://researchmap.jp/Hitoshi.Omori

J-GLOBAL ID

201801010379348045

e-Rad 研究者番号

50771036

経歴 8

2025年4月～継続中

東北大学　大学院情報科学研究科人間社会情報科学専攻　教授
2023年4月～ 2025年3月

東北大学　大学院情報科学研究科人間社会情報科学専攻　准教授
2018年12月～ 2023年3月

ルール大学ボーフム　第一哲学科　Junior-Professor
2018年4月～ 2018年11月

北陸先端科学技術大学院大学　大学院情報科学研究科　助教
2015年4月～ 2018年3月

京都大学　大学院文学研究科　日本学術振興会特別研究員(PD)
2013年4月～ 2015年3月

ニューヨーク市立大学　大学院センター哲学科　日本学術振興会海外特別研究員
2011年10月～ 2013年3月

神戸大学　大学院システム情報学研究科　日本学術振興会特別研究員(PD)
2010年4月～ 2011年9月

東京工業大学　大学院社会理工学研究科　日本学術振興会特別研究員(DC1)

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

学歴 3

東京工業大学　大学院社会理工学研究科　経営工学専攻博士後期課程

2010年4月～ 2011年9月
東京工業大学　大学院社会理工学研究科　経営工学専攻博士前期課程

2008年4月～ 2010年3月
東京工業大学　理学部　数学科

2004年4月～ 2008年3月

所属学協会 2

日本数学会
科学基礎論学会

研究キーワード 7

哲学
論理学
真矛盾主義
様相論理
多値論理
矛盾許容型論理
非古典論理

研究分野 1

人文・社会 / 哲学、倫理学 /

受賞 2

Best Paper Award

2024年9月　Eleventh International Conference on Non-Classical Logics. Theory and Applications　Kamide is in America, Moisil and Leitgeb are in Australia
ソフィア・コヴァレフスカヤ賞

2018年11月　アレクサンダー・フォン・フンボルト財団

論文 70

A note on formalizing discussive logic 査読有り

Hitoshi Omori, Igor Sedlar

The Australasian Journal of Logic　22　(1)　33-43　2025年1月1日
出版者・発行元： Victoria University of Wellington Library
DOI： 10.26686/ajl.v22i2.6800 　

eISSN：1448-5052

詳細を見る詳細を閉じる

Discussive logic was introduced by Jaskowski as a logic of discussion. In this note we show that some natural translation-based formalizations of discussive logic in modal logic do not yield a paraconsistent logic but rather classical logic. Some alternative modal formalizations of discus- sive logic that avoid the collapse into classical logic are put forward.
The Disjunction-Free Fragment of D2 is Three-Valued 査読有り

Hitoshi Omori

Electronic Proceedings in Theoretical Computer Science　415　257-270　2024年12月31日
出版者・発行元： Open Publishing Association
DOI： 10.4204/eptcs.415.22 　

eISSN：2075-2180
The Power of Generalized Clemens Semantics 査読有り

Hitoshi Omori, Jonas R. B. Arenhart

Electronic Proceedings in Theoretical Computer Science　415　244-256　2024年12月31日
出版者・発行元： Open Publishing Association
DOI： 10.4204/eptcs.415.21 　

eISSN：2075-2180
A note on Grigoriev and Zaitsev's system CNL^2_4 査読有り

Hitoshi Omori, Jonas R. B. Arenhart

Electronic Proceedings in Theoretical Computer Science　415　229-243　2024年12月31日
出版者・発行元： Open Publishing Association
DOI： 10.4204/eptcs.415.20 　

eISSN：2075-2180
Kamide is in America, Moisil and Leitgeb are in Australia 査読有り

Satoru Niki, Hitoshi Omori

Electronic Proceedings in Theoretical Computer Science　415　180-194　2024年12月31日
出版者・発行元： Open Publishing Association
DOI： 10.4204/eptcs.415.17 　

eISSN：2075-2180
On Woodruff's Constructive Nonsense Logic. 査読有り

Jonas R. Becker Arenhart, Hitoshi Omori

Studia Logica　112　(6)　1261-1280　2024年12月

DOI： 10.1007/s11225-023-10092-z 　
A Generalization of Beall's Off-Topic Interpretation. 査読有り

Yang Song, Hitoshi Omori, Jonas R. Becker Arenhart, Satoshi Tojo

Studia Logica　112　(4)　893-932　2024年8月

DOI： 10.1007/s11225-023-10075-0 　
Why FDE might be too strong for Beall 査読有り

Hitoshi Omori, Jonas R. B. Arenhart

Asian Journal of Philosophy　3　(1)　2024年6月

DOI： 10.1007/s44204-023-00133-8 　

eISSN：2731-4642
Angell and McCall Meet Wansing. 査読有り

Hitoshi Omori, Andreas Kapsner

Studia Logica　112　(1-2)　141-165　2024年4月

DOI： 10.1007/s11225-023-10083-0 　
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology.

Heinrich Wansing, Hitoshi Omori

Studia Logica　112　(1-2)　1-35　2024年4月

DOI： 10.1007/s11225-023-10082-1 　
Is the de Finetti conditional a conditional? 査読有り

Hitoshi Omori, Jonas R. B. Arenhart

Argumenta　2024年1月

DOI： 10.14275/2465-2334/20230.omo 　
Should the negated conditional entail its antecedent? 査読有り

Hitoshi Omori

Analysis (United Kingdom)　84　(3)　512-515　2024年

DOI： 10.1093/analys/anad089 　

ISSN：0003-2638

eISSN：1467-8284
On Ivlev’s Semantics for Modality 査読有り

Hitoshi Omori, Daniel Skurt

Synthese Library　485　243-275　2024年

DOI： 10.1007/978-3-031-56595-3_9 　

ISSN：0166-6991

eISSN：2542-8292
Change of logic, without change of meaning 査読有り

Hitoshi Omori, Jonas R.B. Arenhart

Theoria (Sweden)　89　(4)　414-431　2023年8月

DOI： 10.1111/theo.12459 　

ISSN：0040-5825

eISSN：1755-2567
Varieties of negation and contra-classicality in view of Dunn semantics 査読有り

Hitoshi Omori, Heinrich Wansing

Relevance Logics and other Tools for Reasoning. Essays in Honour of J. Michael Dunn　309-337　2022年5月
Shrieking, Shrugging, and the Australian Plan 査読有り

Hitoshi Omori, Michael De

Notre Dame Journal of Formal Logic　63　(2)　137-141　2022年5月

DOI： 10.1215/00294527-2022-0009 　

ISSN：0029-4527

eISSN：1939-0726
Knot much like tonk 査読有り

Michael De, Hitoshi Omori

Synthese　200　(2)　2022年4月

DOI： 10.1007/s11229-022-03655-5 　

ISSN：0039-7857

eISSN：1573-0964
A Note on "A Connexive Conditional" 査読有り

Heinrich Wansing, Hitoshi Omori

Logos and Episteme　13　(3)　325-328　2022年

DOI： 10.5840/logos-episteme202213326 　

ISSN：2069-0533

eISSN：2069-3052
Another Combination of Classical and Intuitionistic Conditionals. 査読有り

Satoru Niki, Hitoshi Omori

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications(NCL)　174-188　2022年

DOI： 10.4204/EPTCS.358.13 　 10.48550/arXiv.2204.06730 　
Superconnexivity Reconsidered. 査読有り

Andreas Kapsner, Hitoshi Omori

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications(NCL)　160-173　2022年

DOI： 10.4204/EPTCS.358.12 　 10.48550/arXiv.2204.06729 　
Haack meets Herzberger and Priest. 査読有り

Hitoshi Omori, Jonas Rafael Becker Arenhart

52nd IEEE International Symposium on Multiple-Valued Logic(ISMVL)　137-144　2022年
出版者・発行元： IEEE
DOI： 10.1109/ISMVL52857.2022.00028 　
Liberating classical negation from falsity conditions. 査読有り

Damián Enrique Szmuc, Hitoshi Omori

52nd IEEE International Symposium on Multiple-Valued Logic(ISMVL)　131-136　2022年
出版者・発行元： IEEE
DOI： 10.1109/ISMVL52857.2022.00027 　
Questions to Michael Dunn

Heinrich Wansing, Grigory Olkhovikov, Hitoshi Omori

Logical Investigations　27　(1)　9-19　2021年

DOI： 10.21146/2074-1472-2021-27-1-9-19 　

ISSN：2074-1472

eISSN：2413-2713
A Generalization of Ordered-Pair Semantics. 査読有り

Hitoshi Omori, Jonas R. Becker Arenhart

Logic, Rationality, and Interaction - 8th International Workshop(LORI)　149-157　2021年
出版者・発行元： Springer
DOI： 10.1007/978-3-030-88708-7_12 　
Untruth, falsity and non-deterministic semantics. 査読有り

Hitoshi Omori, Daniel Skurt

51st IEEE International Symposium on Multiple-Valued Logic(ISMVL)　74-80　2021年
出版者・発行元： IEEE
DOI： 10.1109/ISMVL51352.2021.00022 　
A two-valued semantics for infectious logics. 査読有り

Yang Song, Hitoshi Omori, Satoshi Tojo

51st IEEE International Symposium on Multiple-Valued Logic(ISMVL)　50-55　2021年
出版者・発行元： IEEE
DOI： 10.1109/ISMVL51352.2021.00018 　
A note on Humberstone's constant Ω. 査読有り

Satoru Niki, Hitoshi Omori

Reports on Mathematical Logic　56　75-99　2021年

DOI： 10.4467/20842589RM.21.004.14376 　
An Extension of Connexive Logic C. 査読有り

Hitoshi Omori, Heinrich Wansing

13th Conference on Advances in Modal Logic(AiML)　503-522　2020年
出版者・発行元： College Publications
A Semantics for a Failed Axiomatization of K. 査読有り

Hitoshi Omori, Daniel Skurt

13th Conference on Advances in Modal Logic(AiML)　481-501　2020年
出版者・発行元： College Publications
Actuality in Intuitionistic Logic. 査読有り

Satoru Niki, Hitoshi Omori

13th Conference on Advances in Modal Logic(AiML)　459-479　2020年
出版者・発行元： College Publications
From logics of formal inconsistency to logics of formal classicality. 査読有り

Hitoshi Omori

Logic Journal of the IGPL　28　(5)　684-711　2020年

DOI： 10.1093/jigpal/jzy056 　
Observations on the Trivial World 査読有り

Zach Weber, Hitoshi Omori

Erkenntnis　84　(5)　975-994　2019年10月1日

DOI： 10.1007/s10670-018-9990-y 　

ISSN：0165-0106

eISSN：1572-8420
Just true? On the Metatheory for Paraconsistent Truth 査読有り

Hitoshi Omori, Zach Weber

Logique et Analyse　248　415-433　2019年

DOI： 10.2143/LEA.248.0.3287323 　
Connexive logics: an overview and current trends

Hitoshi Omori, Heinrich Wansing

Logic and Logical Philosophy　28　(3)　371-387　2019年

DOI： 10.12775/LLP.2019.026 　

ISSN：1425-3305

eISSN：2300-9802
Towards a bridge over two approaches in connexive logic 査読有り

Hitoshi Omori

Logic and Logical Philosophy　28　(3)　553-566　2019年

DOI： 10.12775/LLP.2019.005 　

ISSN：1425-3305

eISSN：2300-9802
A note on Ciuciura's mbC¹ 査読有り

Hitoshi Omori

Bulletin of the Section of Logic　48　(3)　161-171　2019年

DOI： 10.18778/0138-0680.48.3.01 　

ISSN：0138-0680
An Invitation to New Essays on Belnap-Dunn Logic 査読有り

Hitoshi Omori, Heinrich Wansing

Synthese Library　418　1-9　2019年

DOI： 10.1007/978-3-030-31136-0_1 　

ISSN：0166-6991

eISSN：2542-8292
SIXTEEN _3 in Light of Routley Stars. 査読有り

Hitoshi Omori, Daniel Skurt

Logic, Language, Information, and Computation - 26th International Workshop(WoLLIC)　516-532　2019年
出版者・発行元： Springer
DOI： 10.1007/978-3-662-59533-6_31 　
A Note on Goddard and Routley's Significance Logic 査読有り

Damian Szmuc, Hitoshi Omori

The Australasian Journal of Logic　15　(2)　431-448　2018年7月5日
出版者・発行元： Victoria University of Wellington Library
DOI： 10.26686/ajl.v15i2.4867 　

eISSN：1448-5052

詳細を見る詳細を閉じる

The present note revisits the joint work of Leonard Goddard and Richard Routley on significance logics (namely, logics able to handle nonsignificant sentences) with the aim of shedding new light on their understanding by studying them under the lens of recent semantic developments, such as the plurivalent semantics developed by Graham Priest. These semantics allow sentences to receive one, more than one, or no truth-value at all from a given carrier set. Since nonsignificant sentences are taken to be neither true nor false, i.e. truth-value gaps, in this essay we show that with the aid of plurivalent semantics it is possible to straightforwardly instantiate Goddard and Routley’s understanding of how the connectives should work within significance logics.
Axiomatizing Jaśkowski's Discussive Logic D2 査読有り

Hitoshi Omori, Jesse Alama

Studia Logica　106　(6)　1163-1180　2018年

DOI： 10.1007/s11225-017-9780-6 　
On contra-Classical Variants of Nelson Logic N4 and its Classical Extension. 査読有り

Hitoshi Omori, Heinrich Wansing

The Review of Symbolic Logic　11　(4)　805-820　2018年

DOI： 10.1017/S1755020318000308 　
There is More to Negation than Modality. 査読有り

Michael De, Hitoshi Omori

Journal of Philosophical Logic　47　(2)　281-299　2018年

DOI： 10.1007/s10992-017-9427-0 　
Counterfactuals in Nelson Logic. 査読有り

Andreas Kapsner, Hitoshi Omori

Logic, Rationality, and Interaction - 6th International Workshop(LORI)　497-511　2017年
出版者・発行元： Springer
DOI： 10.1007/978-3-662-55665-8_34 　
Sette's Logics, Revisited. 査読有り

Hitoshi Omori

Logic, Rationality, and Interaction - 6th International Workshop(LORI)　451-465　2017年
出版者・発行元： Springer
DOI： 10.1007/978-3-662-55665-8_31 　
Conjunction and Disjunction in Infectious Logics. 査読有り

Hitoshi Omori, Damián Enrique Szmuc

Logic, Rationality, and Interaction - 6th International Workshop(LORI)　268-283　2017年
出版者・発行元： Springer
DOI： 10.1007/978-3-662-55665-8_19 　
An Extended First-Order Belnap-Dunn Logic with Classical Negation. 査読有り

Norihiro Kamide, Hitoshi Omori

Logic, Rationality, and Interaction - 6th International Workshop(LORI)　79-93　2017年
出版者・発行元： Springer
DOI： 10.1007/978-3-662-55665-8_6 　
40 years of FDE: An Introductory Overview.

Hitoshi Omori, Heinrich Wansing

Studia Logica　105　(6)　1021-1049　2017年

DOI： 10.1007/s11225-017-9748-6 　
From Paraconsistent Logic to Dialetheic Logic 査読有り

Hitoshi Omori

Trends in Logic　45　111-134　2016年

DOI： 10.1007/978-3-319-40220-8_8 　

ISSN：1572-6126

eISSN：2212-7313
Hallden's Logic of Nonsense and Its Expansions in View of Logics of Formal Inconsistency. 査読有り

Hitoshi Omori

27th International Workshop on Database and Expert Systems Applications　129-133　2016年
出版者・発行元： IEEE Computer Society
DOI： 10.1109/DEXA.2016.039 　
Classical and Empirical Negation in Subintuitionistic Logic. 査読有り

Michael De, Hitoshi Omori

Advances in Modal Logic 11　217-235　2016年
出版者・発行元： College Publications
A Note on Wansing's expansion of Nelson's logic - a correction to "An axiomatization of Wansing's expansion of Nelson's logic". 査読有り

Hitoshi Omori

Reports on Mathematical Logic　51　133-144　2016年

DOI： 10.4467/20842589RM.16.009.5286 　
More Modal Semantics without Possible Worlds. 査読有り

Hitoshi Omori, Daniel Skurt

IfCoLog Journal of Logics and their Applications(FLAP)　3　(5)　815-846　2016年
A Note on Francez' Half-Connexive Formula. 査読有り

Hitoshi Omori

IfCoLog Journal of Logics and their Applications(FLAP)　3　(3)　505-512　2016年
A Simple Connexive Extension of the Basic Relevant Logic BD. 査読有り

Hitoshi Omori

IfCoLog Journal of Logics and their Applications(FLAP)　3　(3)　467-478　2016年
The Tenacity of Connexive Logic

Heinrich Wansing, Hitoshi Omori, Thomas Macaulay Ferguson

IfCoLog Journal of Logics and their Applications(FLAP)　3　(3)　279-296　2016年
Generalizing Functional Completeness in Belnap-Dunn Logic. 査読有り

Hitoshi Omori, Katsuhiko Sano

Studia Logica　103　(5)　883-917　2015年10月

DOI： 10.1007/s11225-014-9597-5 　

ISSN：0039-3215
Negative Modalities in the Light of Paraconsistency 招待有り

Hitoshi Omori, Toshiharu Waragai

Studies in Universal Logic　539-555　2015年

DOI： 10.1007/978-3-319-15368-1_23 　

ISSN：2297-0282

eISSN：2297-0290
Classical Negation and Expansions of Belnap-Dunn Logic. 査読有り

Michael De, Hitoshi Omori

Studia Logica　103　(4)　825-851　2015年

DOI： 10.1007/s11225-014-9595-7 　
Remarks on Naive Set Theory based on LP. 査読有り

Hitoshi Omori

The Review of Symbolic Logic　8　(2)　279-295　2015年

DOI： 10.1017/S1755020314000525 　
An axiomatization of Wansing's expansion of Nelson's logic. 査読有り

Hitoshi Omori

Reports on Mathematical Logic　50　41-51　2015年

DOI： 10.4467/20842589RM.15.003.3912 　
An expansion of first-order Belnap-Dunn logic. 査読有り

Katsuhiko Sano, Hitoshi Omori

Logic Journal of the IGPL　22　(3)　458-481　2014年6月

DOI： 10.1093/jigpal/jzt044 　

ISSN：1367-0751

eISSN：1368-9894
On the Propagation of Consistency in Some Systems of Paraconsistent Logic 査読有り

Hitoshi Omori, Toshiharu Waragai

Logic, Argumentation and Reasoning　5　153-178　2014年

DOI： 10.1007/978-94-017-9011-6_8 　

ISSN：2214-9120

eISSN：2214-9139
More on Empirical Negation. 査読有り

Michael De, Hitoshi Omori

Advances in Modal Logic　10　114-133　2014年
出版者・発行元： College Publications
da Costa Meets Belnap and Nelson 査読有り

Hitoshi Omori, Katsuhiko Sano

Recent Trends in Philosophical Logic　41　145-166　2014年

DOI： 10.1007/978-3-319-06080-4_11 　

ISSN：1572-6126
矛盾許容型論理PCL1の拡張について査読有り

大森仁, 藁谷敏晴

39　(2)　51-68　2012年
出版者・発行元：
DOI： 10.4288/kisoron.39.2_51 　

ISSN：0022-7668

eISSN：1884-1236
Some Observations on the Systems LFI1 and LFI1. 査読有り

Hitoshi Omori, Toshiharu Waragai

2011 Database and Expert Systems Applications　320-324　2011年
出版者・発行元： IEEE Computer Society
DOI： 10.1109/DEXA.2011.77 　
Some new results on PCL1 and its related systems 査読有り

Toshiharu Waragai, Hitoshi Omori

Logic and Logical Philosophy　19　(1-2)　129-158　2010年6月30日
出版者・発行元： Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
DOI： 10.12775/llp.2010.006 　

ISSN：1425-3305
A Note on Majkic's Systems. 査読有り

Hitoshi Omori, Toshiharu Waragai

Notre Dame Journal of Formal Logic　51　(4)　503-506　2010年

DOI： 10.1215/00294527-2010-032 　
On Béziau’s logic Z 査読有り

Hitoshi Omori, Toshiharu Waragai

Logic and Logical Philosophy　17　(4)　305-320　2009年3月15日
出版者・発行元： Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
DOI： 10.12775/llp.2008.017 　

ISSN：1425-3305
古典的否定を考慮に入れた矛盾許容型論理について査読有り

藁谷敏晴, 大森仁

科学基礎論研究　36　(1)　9-18　2009年
出版者・発行元：
DOI： 10.4288/kisoron.36.1_9 　

ISSN：0022-7668

eISSN：1884-1236

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

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

Connexive logicに関する研究

大森仁

2024年6月28日～ 2027年3月31日
多値論理の一般化に関する哲学的研究

大森仁

2023年8月31日～ 2025年3月31日
真矛盾主義とアジア思想：分析アジア哲学の国際研究拠点形成

出口康夫, 藤川直也, 大森仁, 大西琢朗

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

制度名：Grants-in-Aid for Scientific Research

研究種目：Grant-in-Aid for Scientific Research (B)

研究機関：Kyoto University

2016年4月1日～ 2019年3月31日

詳細を見る詳細を閉じる

東アジアの「空」思想の現代哲学的・論理学的解釈を行い、それが様々な仕方で、真なる矛盾の存在を認める真矛盾主義として解釈できることを示した。例えば、中国仏教の三論思想における空は、超二項対立的（不二的）な実在のあり方を意味するが、その実在の不二性を言語的に表現する一つの仕方が矛盾である。また「空假中」という三諦として展開された天台思想における空概念は、実在そのものの（互いに異なった三諦という性質を同時に持つという意味で）矛盾したあり方であることが示された。また空概念を絶対矛盾的自己同一として展開した後期西田哲学では、矛盾としての空は全ての実在を生み出す創造性をも意味していたことが明らかにされた。
自然言語における繋辞と含意に関する論理学的研究競争的資金

大森仁

提供機関：JAIST

制度名：Research Grant (Fundamental Research)

2018年7月～ 2018年11月
矛盾許容型論理の全容解明に向けた研究競争的資金

大森仁

提供機関：JSPS

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

2018年4月～ 2018年11月
真矛盾主義に関連する哲学及び論理学の研究競争的資金

大森仁

提供機関：JSPS

制度名：Grant-in-Aid for Young Scientists (B)

2016年4月～ 2018年3月
真矛盾主義に基づく真理論及び数学の基礎の再検討競争的資金

大森仁

提供機関：JSPS

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

2015年4月～ 2018年3月
否定・様相性・非存在に関する論理的存在論の研究競争的資金

大森仁

提供機関：JSPS

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

2010年4月～ 2013年3月

詳細を見る詳細を閉じる

本研究の目的は、矛盾的対象や可能的対象を適切に取り扱うために必要となる論理的枠組みを構築することであり、この目的のもとで、哲学的・歴史的考察の段階と形式的考察の段階の二段階に分けて研究を進めていくことを企図している。そして2012年度においては、上記の研究目的のうちの形式的考察及び既存の矛盾的対象や可能的対象を適切に取り扱うための枠組みとの比較を行った。まず形式的考察については、2011年度より取り組んでいる北陸先端科学技術大学院大学の佐野勝彦助教との共同研究を継続し、本研究で主要な役割を果たす命題の整合性と、従来命題の整合性を導入する際に必ず伴っていた実質含意とに着目し、命題の整合性の導入のためには、必ずしも実質含意が必要でないことを示した。また2012年度においては、新たにユトレヒト大学のMichael De博士研究員との共同研究を開始し、非古典論理における古典的否定の特徴付けの問題を扱った。そして、従来の特徴付けは証明論的な観点に偏っていたが、意味論的観点に立った場合に、これまで注目されていた条件だけでは取り扱い得ない点のあることを示した。 2012年度後半には、矛盾的対象や可能的対象の論理的取り扱いにおける第一人者であるニューヨーク市立大学のGraham Priest教授を訪問し、特に既存の枠組みとの比較を行った。具体的には、数学の基礎において議論の対象となる素朴集合論に着目し、本研究で展開した古典的否定を含む体系に基づく素朴集合論も破綻はせず、矛盾的対象の取り扱いが可能であることを示した。さらに、2011年度において展開したポーランドの論理学者レシニェフスキーの伝統に従っている論理的存在論を矛盾許容型論理に基づいて展開した体系と、Priest教授が著書Towards non-beingにおいて展開している体系との比較・検討への手掛かりを得た。

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