KUROKAWA Hidenori 黒川英徳

… Alternative Names

Kurokawa Hidenori 黒川英徳

Less

Researcher Number	30710230
Other IDs	https://orcid.org/0000-0002-5536-4974
Affiliation (Current)	2025: 金沢大学, GS教育系, 准教授
Affiliation (based on the past Project Information) *help	2018 – 2023: 金沢大学, GS教育系, 准教授 2017: 金沢大学, 国際基幹教育院, 准教授
Review Section/Research Field	Principal Investigator Basic Section 01010:Philosophy and ethics-related / Philosophy/Ethics Except Principal Investigator Basic Section 01010:Philosophy and ethics-related
Keywords	Principal Investigator 証明論 / 直観主義解析学 / 直観主義論理 / 構成的数学 / 構成の理論 / informal rigour / 非古典論理 / シークエント計算 / 証明論的意味論 / 論理定項 … More / 証明論理 / 様相論理 / 下部構造論理 / 直観主義 / 無際限拡張可能性 / カット除去証明 / 無矛盾性証明 / 算術的完全性 / 無矛盾性 / choice sequence / Kreisel / Church / intensional logic / Fregean Sinn / 内包性 (intensionality) / チャーチ / ラッセル / フレーゲ / ラッセル-マイヒルのパラドックス / 内包論理 / 実数 / ネステッド・シークエント / logical consequence / squeezing argument / impredicativity / DoI / stability / Belnap's criteria / nested sequent / logical constant / 非可述的 / モデル論的帰結関係 / ラベル付きシークエント計算 / 連続体仮説 / 完全性定理 / 論理的帰結 / 非形式的厳密さ / Stability / labelled sequents / nested sequents / クライゼル-グッドマンのパラドックス / 竹内外史 / クライゼル / 反映原理 … More Except Principal Investigator 公理的集合論 / 数理論理学 / 数理哲学史 / 連続体の哲学 / 連続体問題 Less

数学の基礎における内包的概念と新しい内包論理の構築Principal Investigator
- Principal Investigator
  
  黒川英徳
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 01010:Philosophy and ethics-related
- Research Institution
  Kanazawa University
Mathematics and Philosophy of Set Theory of the Continuum
- Principal Investigator
  
  Fujita Hiroshi
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 01010:Philosophy and ethics-related
- Research Institution
  Ehime University
Charaterization of the notion of logical constant via proof-theoretic methodsPrincipal Investigator
- Principal Investigator
  
  Kurokawa Hidenori
- Project Period (FY)
  2018 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 01010:Philosophy and ethics-related
- Research Institution
  Kanazawa University
証明，　構成性，　パラドックスPrincipal Investigator
- Principal Investigator
  
  黒川英徳
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for JSPS Fellows
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Kanazawa University
  Kobe University

All 2023 2022 2020 2019 2018 2017 2016 2015

All Journal Article Presentation Book

[Book] 数学における証明と真理第４部　真理と様相（黒川担当）2016
- Author(s)
  佐野勝彦,　倉橋大志,　薄葉季路,　黒川英徳,　菊池誠（共著）
- Total Pages
  304
- Publisher
  共立出版
- Data Source
  KAKENHI-PROJECT-15J05414
[Book] Advances in proof-theoretic semantics (Trends in Logic, Vol. 43), (eds.) Th. Pietscha, P. Schroder-Heister, Ch 3. Kreisel’s theory of constructions, the Kreisel-Goodman paradox, and the second clause2015
- Author(s)
  W. Dean & H. Kurokawa
- Total Pages
  283
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-15J05414
[Journal Article] ゲーデルの論理学と<狂気>（書評「ゲーデルの悪霊たち」）2022
- Author(s)
  黒川英徳
- Journal Title
  
  数学セミナー
  
  Volume: 通巻724号 Pages: 90-90
- Data Source
  KAKENHI-PROJECT-18K00036
[Journal Article] Resource sharing linear logic2020
- Author(s)
  Hidenori Kurokawa, Hirohiko Kushida
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: 30 Issue: 1 Pages: 295-319
- DOI
  10.1093/logcom/exaa013
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K00036
[Journal Article] Takeuti's early view of the concept of set2020
- Author(s)
  Hidenori Kurokawa
- Journal Title
  
  Springer Proceedings of Mathematics and Statistics
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K00036
[Journal Article] On the semantic concept of logical consequence2020
- Author(s)
  Hidenori Kurokawa
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K00036
[Journal Article] Belnap's criteria for logical constants and the principle of reflection2019
- Author(s)
  Hidenori Kurokawa
- Journal Title
  
  Proceedings of the 41st International Wittgenstein Symposium
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K00036
[Journal Article] On the semantic concept of logical consequence2019
- Author(s)
  Hidenori Kurokawa
- Journal Title
  
  Electronic proceedings of LENLS (logic and engineering of natural language semantics) 19 in the JSAI International Symposia on AI (JSAI-isAI2019)
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K00036
[Journal Article] 「完全性定理再訪」2019
- Author(s)
  黒川英徳
- Journal Title
  
  日本数学会2019年度秋季総合分科会数学基礎論及び歴史分科会アブストラクト
  
  Volume: - Pages: 57-69
- Data Source
  KAKENHI-PROJECT-18K00036
[Journal Article] The principle of reflection via nested sequents2015
- Author(s)
  Hidenori Kurokawa
- Journal Title
  
  the Logica Yearbook 2014
  
  Volume: 1 Pages: 1-15
- Data Source
  KAKENHI-PROJECT-15J05414
[Presentation] Takeuti’s view of a proof-theoretic analysis of the concept of set2023
- Author(s)
  Hidenori Kurokawa
- Organizer
  Mini-workshop at IHPST (The University of Paris, Pantheon-Sorbonne)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K00036
[Presentation] Squeezing reals2023
- Author(s)
  黒川英徳
- Organizer
  日本科学哲学会
- Data Source
  KAKENHI-PROJECT-22K00028
[Presentation] ワークショップ「連続体の謎―実数の理解に対する数学的及び哲学的再考」2023
- Author(s)
  菊池誠・池田真治・藤田博司・黒川英徳
- Organizer
  科学哲学会第56回大会
- Data Source
  KAKENHI-PROJECT-20K00010
[Presentation] Squeezing reals2023
- Author(s)
  黒川英徳
- Organizer
  日本科学哲学会
- Data Source
  KAKENHI-PROJECT-18K00036
[Presentation] Takeuti’s view of a proof-theoretic analysis of the concept of set2022
- Author(s)
  Hidenori Kurokawa
- Organizer
  Proofs, Computation and Meaning The University of Tubingen (on-line)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K00036
[Presentation] On the methodology of informal rigour: applications to the concept of “system”?2022
- Author(s)
  黒川英徳
- Organizer
  科学基礎論学会シンポジウム 2022 年度総会と講演会
- Invited
- Data Source
  KAKENHI-PROJECT-18K00036
[Presentation] “On the Methodology of Informal Rigour: Set Theory, Semantics, and Intuitionism”2020
- Author(s)
  Walter Dean and Hidenori Kurokawa
- Organizer
  Midwest PhilMath Workshop (University of Notre Dame)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K00036
[Presentation] Labelled sequent calculi for relevant logics2020
- Author(s)
  Hidenori Kurokawa
- Organizer
  Fourth Workshop on Mathematical Logic and its Applications (JAIST)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K00036
[Presentation] On Takeuti's view of the concept of set2019
- Author(s)
  Hidneori Kurokawa
- Organizer
  The congress of logic, methodology and philosophy of science and technology
- Data Source
  KAKENHI-PROJECT-18K00036
[Presentation] Stability in sequent calculus2019
- Author(s)
  Hidenori Kurokawa
- Organizer
  Seminar in logic and philosophy of mathematics
- Data Source
  KAKENHI-PROJECT-18K00036
[Presentation] On the semantic concept of logical consequence2019
- Author(s)
  Hidenori Kurokawa
- Organizer
  The workshop of logic and engineering of natural language semantics (LENLS) 19
- Data Source
  KAKENHI-PROJECT-18K00036
[Presentation] Stability in sequent calculus2019
- Author(s)
  Hidenori Kurokawa, Alberto Naibo
- Organizer
  The third conference on proof-theoretic semantics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K00036
[Presentation] 完全性定理再訪2019
- Author(s)
  黒川英徳
- Organizer
  日本数学会　２０１９年秋季総合分科会　数学基礎論および歴史分科会
- Invited
- Data Source
  KAKENHI-PROJECT-18K00036
[Presentation] LKのカット消去定理2018
- Author(s)
  黒川英徳
- Organizer
  数学基礎論サマースクール
- Invited
- Data Source
  KAKENHI-PROJECT-18K00036
[Presentation] Belnap's criteria of logical constants and the principle of reflection2018
- Author(s)
  Hidenori Kurokawa
- Organizer
  The 41st International Wittgenstein Symposium
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K00036
[Presentation] On Takeuti's view of the concept of set2018
- Author(s)
  Hidenori Kurokawa
- Organizer
  Symposium on advances in mathematical logic (SAML) 2018 Takeuti Memorial Symposium
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K00036
[Presentation] On Takeuti's view of the concept of set2018
- Author(s)
  Hidenori Kurokawa
- Organizer
  Workshop in philosophical logic and philosophy of logic
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K00036
[Presentation] The principle of reflection and nested sequents2017
- Author(s)
  Hidenori Kurokawa
- Organizer
  Midlands logic seminar, University of Birmingham
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15J05414
[Presentation] Informal provability and the logic of proofs2017
- Author(s)
  Hidenori Kurokawa
- Organizer
  Logic seminar, IHPST University of Paris I
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15J05414
[Presentation] The principle of reflection and nested sequents2017
- Author(s)
  Hidenori Kurokawa
- Organizer
  Mathematical Logic and its Applications 2
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15J05414
[Presentation] Informal provability and the logic of proofs2017
- Author(s)
  Hidenori Kurokawa
- Organizer
  Tokyo Forum for Analytic Philosophy, University of Tokyo
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15J05414
[Presentation] Substructural modal logics extending linear logic2016
- Author(s)
  Hidenori Kurokawa, Hirohiko Kushida
- Organizer
  Frontiers of non-classicality: logic, mathematics, and philosophy
- Place of Presentation
  Tamaki Yacht Club, Aukland, New Zealand
- Year and Date
  2016-01-28
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15J05414
[Presentation] Incompleteness and the indefinite extensibility2016
- Author(s)
  Hidenori Kurokawa and Takeshi Yamada
- Organizer
  Hamburg-Tokyo Workshop: Language and reality
- Place of Presentation
  The University of Tokyo
- Year and Date
  2016-06-25
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15J05414
[Presentation] 自然数概念の無際限拡張可能性について2015
- Author(s)
  菊池誠，黒川英徳
- Organizer
  科学基礎論学会
- Place of Presentation
  北海道教育大学
- Year and Date
  2015-06-14
- Data Source
  KAKENHI-PROJECT-15J05414
[Presentation] A simplification of the Kreisel-Goodman Theory of Constructions2015
- Author(s)
  Walter Dean, Hidenori Kurokawa
- Organizer
  Logic Colloquium
- Place of Presentation
  The University of Helsinki
- Year and Date
  2015-08-07
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15J05414
[Presentation] Labelled sequent calculi for substructural logics I: relevant logics2015
- Author(s)
  Hidenori Kurokawa
- Organizer
  Kyoto Non-classical Logic Workshop
- Place of Presentation
  Kyoto University
- Year and Date
  2015-11-19
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15J05414
[Presentation] Labelled sequent calculi for substructural logics I: relevant logics2015
- Author(s)
  Hidenori Kurokawa, Sara Negri
- Organizer
  Congress of Logic, Methodology, and Philosophy of Science
- Place of Presentation
  The University of Helsinki
- Year and Date
  2015-08-07
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15J05414
[Presentation] On the Interpretation of HPC in the Kreisel-Goodman Theory of Constructions2015
- Author(s)
  Hidenori Kurokawa
- Organizer
  Computability Theory and Foundations of Mathematics
- Place of Presentation
  Tokyo Institute of Technology
- Year and Date
  2015-09-09
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15J05414
[Presentation] Generic common knowledge and other fixed point logics2015
- Author(s)
  Hidenori Kurokawa
- Organizer
  認識論理・様相論理研究会
- Place of Presentation
  早稲田大学
- Year and Date
  2015-12-05
- Data Source
  KAKENHI-PROJECT-15J05414

1. Fujita Hiroshi (60238582)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
2. 菊池誠 (60273801)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
3. 池田真治 (70634012)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results

KUROKAWA Hidenori 黒川 英徳

Kurokawa Hidenori 黒川 英徳

Research Projects

Research Products

Co-Researchers

数学の基礎における内包的概念と新しい内包論理の構築Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Mathematics and Philosophy of Set Theory of the Continuum

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Charaterization of the notion of logical constant via proof-theoretic methodsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

証明， 構成性， パラドックスPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 数学における証明と真理 第４部 真理と様相（黒川担当）2016

Author(s)

Total Pages

Publisher

Data Source

[Book] Advances in proof-theoretic semantics (Trends in Logic, Vol. 43), (eds.) Th. Pietscha, P. Schroder-Heister, Ch 3. Kreisel’s theory of constructions, the Kreisel-Goodman paradox, and the second clause2015

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] ゲーデルの論理学と<狂気>（書評「ゲーデルの悪霊たち」）2022

Author(s)

Journal Title

Data Source

[Journal Article] Resource sharing linear logic2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Takeuti's early view of the concept of set2020

Author(s)

Journal Title

Data Source

[Journal Article] On the semantic concept of logical consequence2020

Author(s)

Journal Title

Data Source

[Journal Article] Belnap's criteria for logical constants and the principle of reflection2019

Author(s)

Journal Title

Data Source

[Journal Article] On the semantic concept of logical consequence2019

Author(s)

Journal Title

Data Source

[Journal Article] 「完全性定理再訪」2019

Author(s)

Journal Title

Data Source

[Journal Article] The principle of reflection via nested sequents2015

Author(s)

Journal Title

Data Source

[Presentation] Takeuti’s view of a proof-theoretic analysis of the concept of set2023

Author(s)

Organizer

Data Source

[Presentation] Squeezing reals2023

Author(s)

Organizer

Data Source

KUROKAWA Hidenori 黒川英徳

Kurokawa Hidenori 黒川英徳

証明，　構成性，　パラドックスPrincipal Investigator

[Book] 数学における証明と真理第４部　真理と様相（黒川担当）2016