黒川英徳 KUROKAWA Hidenori

研究者番号	30710230
その他のID	https://orcid.org/0000-0002-5536-4974
所属 (現在)	2025年度: 金沢大学, GS教育系, 准教授
所属 (過去の研究課題情報に基づく) *注記	2018年度 – 2023年度: 金沢大学, GS教育系, 准教授 2017年度: 金沢大学, 国際基幹教育院, 准教授
審査区分/研究分野	研究代表者小区分01010:哲学および倫理学関連 / 哲学・倫理学研究代表者以外小区分01010:哲学および倫理学関連
キーワード	研究代表者証明論 / 直観主義解析学 / 直観主義論理 / 構成的数学 / 構成の理論 / informal rigour / 非古典論理 / シークエント計算 / 証明論的意味論 / 論理定項 … もっと見る / 証明論理 / 様相論理 / 下部構造論理 / 直観主義 / 無際限拡張可能性 / カット除去証明 / 無矛盾性証明 / 算術的完全性 / 無矛盾性 / 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 / クライゼル-グッドマンのパラドックス / 竹内外史 / クライゼル / 反映原理 … もっと見る研究代表者以外公理的集合論 / 数理論理学 / 数理哲学史 / 連続体の哲学 / 連続体問題隠す

数学の基礎における内包的概念と新しい内包論理の構築研究代表者
- 研究代表者
  
  黒川英徳
- 研究期間 (年度)
  2022 – 2025
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分01010:哲学および倫理学関連
- 研究機関
  金沢大学
連続体と集合論の数理と哲理
- 研究代表者
  
  藤田博司
- 研究期間 (年度)
  2020 – 2023
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分01010:哲学および倫理学関連
- 研究機関
  愛媛大学
証明論的手法による論理定項の特徴づけ研究代表者
- 研究代表者
  
  黒川英徳
- 研究期間 (年度)
  2018 – 2023
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分01010:哲学および倫理学関連
- 研究機関
  金沢大学
証明，　構成性，　パラドックス研究代表者
- 研究代表者
  
  黒川英徳
- 研究期間 (年度)
  2015 – 2017
- 研究種目
  
  特別研究員奨励費
- 研究分野
  
  哲学・倫理学
- 研究機関
  金沢大学
   神戸大学

すべて 2023 2022 2020 2019 2018 2017 2016 2015

すべて雑誌論文学会発表図書

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

1. 藤田博司 (60238582)

共同の研究課題数: 1件

共同の研究成果数: 1件
2. 菊池誠 (60273801)

共同の研究課題数: 1件

共同の研究成果数: 1件
3. 池田真治 (70634012)

共同の研究課題数: 1件

共同の研究成果数: 1件

黒川 英徳 KUROKAWA Hidenori

研究課題

研究成果

共同研究者

数学の基礎における内包的概念と新しい内包論理の構築研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

連続体と集合論の数理と哲理

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

証明論的手法による論理定項の特徴づけ研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

証明， 構成性， パラドックス研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

著者名/発表者名

総ページ数

出版者

データソース

[図書] 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

著者名/発表者名

総ページ数

出版者

データソース

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

著者名/発表者名

雑誌名

データソース

[雑誌論文] Resource sharing linear logic2020

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Takeuti's early view of the concept of set2020

著者名/発表者名

雑誌名

データソース

[雑誌論文] On the semantic concept of logical consequence2020

著者名/発表者名

雑誌名

データソース

[雑誌論文] Belnap's criteria for logical constants and the principle of reflection2019

著者名/発表者名

雑誌名

データソース

[雑誌論文] On the semantic concept of logical consequence2019

著者名/発表者名

雑誌名

データソース

[雑誌論文] 「完全性定理再訪」2019

著者名/発表者名

雑誌名

データソース

[雑誌論文] The principle of reflection via nested sequents2015

著者名/発表者名

雑誌名

データソース

[学会発表] Takeuti’s view of a proof-theoretic analysis of the concept of set2023

著者名/発表者名

学会等名

データソース

[学会発表] Squeezing reals2023

著者名/発表者名

学会等名

データソース

[学会発表] ワークショップ「連続体の謎―実数の理解に対する数学的及び哲学的再考」2023

黒川英徳 KUROKAWA Hidenori

証明，　構成性，　パラドックス研究代表者

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