NAKATOGAWA Koji 中戸川孝治

… Alternative Names

中戸川孝治ナカトガワコウジ

Less

Researcher Number	20237316
Other IDs
External Links
Affiliation (based on the past Project Information) *help	2012: 北海道大学, 大学院・文学研究科, 教授 2011 – 2012: 北海道大学, 文学研究科, 教授 2008 – 2010: Hokkaido University, 大学院・文学研究科, 教授 2007: 北海道大学, 大学院・文字研究科, 教授 2006: 北海道大学, 大学院文学研究科, 教授 … More 2005: 北海道大学, 大学院・文学研究科, 教授 2003: 北海道大学, 文学研究科, 教授 2002: 北海道大学, 大学院・文学研究科, 教授 1991 – 1992: 北海道大学, 文学部, 助教授 Less
Review Section/Research Field	Principal Investigator Philosophy/Ethics Except Principal Investigator Science and Engineering / Philosophy / Linguistics
Keywords	Principal Investigator 量子力学の基礎 / 部分構造論理 / 国際研究者交流(英国 Oxford) / 量子論の基礎 / 非標準論理 / 不完全性 / ゲーデル宇宙 / 元始宇宙 / ゲーデル宇宙と宇宙背景放射 / 国際情報交換 … More / 科学法則の改訂可能性 / モノイダル・カテゴリー / 古典現象 / 物理法則と経験データ / 不完全性定理 / 圏論の応用 / 量子論理 / 量子力学の基礎 / 時空 / 宇宙論 / 宇宙物理 / 圏論 / 国際研究者交流 / 哲学 / 加法的選言の導入規則 / クオンターレ部分代数 / フル・ランベック計算 / cover scheme / 前層 / epistemic logic / residuated lattice / quantale / C*-代数 … More Except Principal Investigator 帰納論理 / 帰納推論 / 極限同定 / 始祖学習 / situation theory / pragmatism / model theory / theory of meaning / intuitionism / set theory / self-reference paradox / infinity / 不完全性定理 / 非古典論理 / 状況理論 / プラグマティズム / モデル理論 / 意味の理論 / 直観主義 / 集合論 / 自己言及のパラドクス / 無限 / 論理的前提 / 構造的制約 / 世界知識 / 発話行為 / 談話分析 / 意図の論理 / 演繹的推論規則 / 関連性理論 / 動的側面 / 日本語学 / 語用論 / メタ論理プログラミング / 基底定理 / 反単一化 Less

Logic of Quantum Fluctuation Described in Terms of Category Theory : Investigation of the Origin of Space-TimePrincipal Investigator
- Principal Investigator
  
  NAKATOGAWA Koji
- Project Period (FY)
  2008 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Hokkaido University
日本語を対象とした語用論の動的側面の形式化の研究
- Principal Investigator
  
  小野芳彦
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Linguistics
- Research Institution
  Hokkaido University
部分構造論理の意味論の構築にむけて:量子力学の基礎からのアプローチPrincipal Investigator
- Principal Investigator
  
  中戸川孝治
- Project Period (FY)
  2005 – 2006
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Hokkaido University
始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発
- Principal Investigator
  
  山本章博
- Project Period (FY)
  2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発
- Principal Investigator
  
  山本章博
- Project Period (FY)
  2002
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Hokkaido University
Historical Developments and Contemporary Tasks of the Philosophy of Logic and Mathematics in Analytic Philosophy
- Principal Investigator
  
  YAMADA Tomoyuki
- Project Period (FY)
  1991 – 1992
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  Philosophy
- Research Institution
  Hokkaido University

All 2012 2011 2010 2009 2007 2005

All Journal Article Presentation Book

[Book] Aspekte des Konstruktiven Realismus (Friedrich G.Wallner, Fengli Lan, Andreas Schulz(Hrsg.))2012
- Author(s)
  Hajime Tanaka, Koji Nakatogawa, Hiroyasu Nagata
- Publisher
  A proposition called T0906 and Goedel's incompleteness theorem, Peter Lang
- Data Source
  KAKENHI-PROJECT-20520002
[Book] 平成22年度科学研究費補助金基盤研究(C)「量子揺動の論理-圏論による記述:時空の起源からの考察」報告集2010
- Author(s)
  中戸川孝治, 他
- Total Pages
  82
- Publisher
  北海道大学文学研究科論理学研究室
- Data Source
  KAKENHI-PROJECT-20520002
[Book] インフレーション過程の誕生はどの程度ドラスティックか:平成21年度元始の会夏期研究会報告集2009
- Author(s)
  長田博泰、中戸川孝治、羽部朝男、田中一, 他
- Total Pages
  131
- Publisher
  北海道大学大学院文学研究科西洋哲学・倫理学研究室
- Data Source
  KAKENHI-PROJECT-20520002
[Book] インフレーション過程の誕生はどの程度ドラスティックか:平成21年度元始の会夏期研究会報告集2009
- Author(s)
  長田博泰, 中戸川孝治, 羽部朝男, 田中一, 他
- Total Pages
  131
- Publisher
  北海道大学大学院文学研究科西洋哲学・倫理学研究室,
- Data Source
  KAKENHI-PROJECT-20520002
[Book] インフレーション過程の誕生はどの程度ドラスティックか:平成21年度元始の会夏期研究会報告集2009
- Author(s)
  長田博泰、中戸川孝治、羽部朝男、田中一他
- Total Pages
  131
- Publisher
  北海道大学大学院文学研究科西洋哲学・倫理学研究室
- Data Source
  KAKENHI-PROJECT-20520002
[Journal Article] Frege, his Logic and His Philosophy : Interview with Michael Beeney2010
- Author(s)
  Michael Beebey, Chen Bo, Koji Nakatogawa
- Journal Title
  
  Journal of the Graduate School of Letters, Hokkaido University 5
  
  Pages: 1-25
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19652034
[Journal Article] Frege, his logic and his Philosophy2009
- Author(s)
  Michael Beaney, Chen Bo, Koji Nakatogawa
- Journal Title
  
  Journal of the Graduate School of Letters vol.5
  
  Pages: 1-25
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20520002
[Journal Article] Frege, his logic and his philosophy2009
- Author(s)
  Michael Beaney,Chen Bo,Koji Nakatogawa
- Journal Title
  
  Journal of the Graduate School of Letters
  
  Volume: Vol.5 Pages: 1-25
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20520002
[Journal Article] Frege, his logic and his Philosophy : Interview with Michael Beaney2009
- Author(s)
  Michael Beaney, Chen Bo, Koji Nakatogawa
- Journal Title
  
  Journal of the Graduate School of Letters 5
  
  Pages: 1-25
- NAID
  110007523511
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20520002
[Journal Article] On non-eliminability of the cut rule and the roles of associativity and distributivity in non-commutative substructural logics2009
- Author(s)
  T.Ueno, K.Nakatogawa, O.Watari(上野岳史、中戸川孝治、亘理修)
- Journal Title
  
  Archive for Studies in Logic (AFSIL) 10
  
  Pages: 1-10
- NAID
  120006716379
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20520002
[Journal Article] 部分構造論理と "the two wise girls puzzle"2007
- Author(s)
  北村久, 中戸川孝治, 深山洋平
- Journal Title
  
  Archive for Studies in Logic (AFSIL, online journal) Vol. 8, no. 1
  
  Pages: 24-35
- Data Source
  KAKENHI-PROJECT-17652001
[Journal Article] 部分構造論理、cover schemes, quantales2007
- Author(s)
  O.Watari, K.Nakatogawa, T.Ueno
- Journal Title
  
  Archive for Studies in Logic (AFSIL, online journal) Vol. 8, no. 1
  
  Pages: 36-38
- Data Source
  KAKENHI-PROJECT-17652001
[Journal Article] On Structural Inference Rules fro Gentzen-style Natural Deduction, Part II2007
- Author(s)
  T.Ueno, O.Watari, K.Nakatogawa
- Journal Title
  
  Archive for Studies in Logic (AFSIL, online journal) Vol. 8, no. 1
  
  Pages: 1-23
- Data Source
  KAKENHI-PROJECT-17652001
[Journal Article] On Some Problematic Phenomena in the Standard Classical Logic : Analysis form Substructural Logics2005
- Author(s)
  Koji Nakatogawa
- Journal Title
  
  Archive for Studies in Logic Vol.6, no.4
  
  Pages: 1-5
- Data Source
  KAKENHI-PROJECT-17652001
[Presentation] Frege, Functions and Abstract Entities: Should We Continue Doing Philosophy within the Framework of Post Fregean Philosophy, while Living in East Asia?2012
- Author(s)
  Nakatogawa, K.
- Organizer
  First Conference on Contemporary Philosophy in East Asia
- Place of Presentation
  Academia Sinica, Taipei City, Taiwan
- Data Source
  KAKENHI-PROJECT-20520002
[Presentation] On designations of terms in a pre-judgmental expression: sets v.s. arrows2012
- Author(s)
  Nakatogawa, K.
- Organizer
  The International Conference on Kripke, Logic and Philosophy
- Place of Presentation
  Department of Philosophy, Peking University, China
- Invited
- Data Source
  KAKENHI-PROJECT-20520002
[Presentation] Kripke structure, event sheaf and functorial semantics2012
- Author(s)
  中戸川孝治
- Organizer
  第7回科学基礎論春のセミナー
- Place of Presentation
  名古屋大学，愛知県
- Data Source
  KAKENHI-PROJECT-20520002
[Presentation] Post-Fregean Philosophy and Historical Rendering of ‘Sets within Geometry’2012
- Author(s)
  Nakatogawa, K.
- Organizer
  Philosophical Education and Contemporary Society, the 100th Anniversary of Philosophy Department
- Place of Presentation
  Peking University, Beijing, China
- Invited
- Data Source
  KAKENHI-PROJECT-20520002
[Presentation] 元始宇宙の進化2011
- Author(s)
  中戸川孝治
- Organizer
  2011年度科学基礎論学会講演会(ワークショップ・オーガナイザー)
- Place of Presentation
  愛媛大学城北キャンパス
- Data Source
  KAKENHI-PROJECT-20520002
[Presentation] A proposition called T0906 and Goedel's incompleteness theorems, 14th Congress of Logic2011
- Author(s)
  Hajime Tanaka, Koji Nakatogawa, Hiroyuki, Nagata
- Organizer
  Methodology and Philosophy of Science
- Place of Presentation
  Nancy University, France
- Data Source
  KAKENHI-PROJECT-20520002
[Presentation] 宇宙方程式のゲーデル解について2011
- Author(s)
  羽部朝男、中戸川孝治
- Organizer
  2011年度科学基礎論学会講演会
- Place of Presentation
  愛媛大学城北キャンパス
- Data Source
  KAKENHI-PROJECT-20520002
[Presentation] Quantum Computation in Japan : Some Attemps2010
- Author(s)
  Yutaka Shikano, Koji Nakatogawa
- Organizer
  Simons Conference on New Trends in Quantum Computation 2010
- Place of Presentation
  State University of New York, Stony Brook, U.S.A.(Poster Session)
- Year and Date
  2010-11-16
- Data Source
  KAKENHI-PROJECT-20520002
[Presentation] On Philosophy of Saul Kripke2010
- Author(s)
  Koji Nakatogawa, Workshop Organizer
- Organizer
  International Workshop on Philosophy of Saul Kripke : Torward Erasmus Mundus
- Place of Presentation
  北海道大学
- Year and Date
  2010-02-03
- Data Source
  KAKENHI-PROJECT-20520002
[Presentation] 圏論の応用と哲学:研究の現状の概要と方法論的反省2009
- Author(s)
  中戸川孝治
- Organizer
  科学基礎論学会
- Place of Presentation
  大阪市立大学
- Year and Date
  2009-06-14
- Data Source
  KAKENHI-PROJECT-20520002
[Presentation] On some philosophical problems in the foundations of logic2009
- Author(s)
  Koji Nakatogawa
- Organizer
  Clues obtained from substructural logics, Invited lecture
- Place of Presentation
  the philosophy department, Peking University, China
- Year and Date
  2009-03-18
- Data Source
  KAKENHI-PROJECT-20520002
[Presentation] On Some Philosophical Problems in the Foundations of Logic : Clues obtained from Substructural Logics2009
- Author(s)
  Koji Nakatogawa
- Organizer
  Invited lecture at the philosophy department of Peking University, China
- Place of Presentation
  北京大学哲学科、北京、中国
- Year and Date
  2009-03-18
- Data Source
  KAKENHI-PROJECT-20520002
[Presentation] 圏論の応用と哲学:研究の現状の概要と方法論的反省2009
- Author(s)
  中戸川孝治
- Organizer
  2009年度科学基礎論学会講演会(ワークショップ・オーガナイザー)
- Place of Presentation
  大阪市立大学
- Year and Date
  2009-06-14
- Data Source
  KAKENHI-PROJECT-20520002
[Presentation] On Some Philosophical Problems in the Foundations of Logic:Clues obtained from Substructural Logics2009
- Author(s)
  Koji Nakatogawa
- Organizer
  Invited lecture at the philosophpy department of Peking University
- Place of Presentation
  北京大学哲学系招待講演、北京、中国
- Year and Date
  2009-03-18
- Data Source
  KAKENHI-PROJECT-20520002
[Presentation] 圏論の応用と哲学:研究の現状の概要と法論的反省2009
- Author(s)
  中戸川孝治
- Organizer
  科学基礎論学会(ワークショップ・オーガナイザー)
- Place of Presentation
  大阪市立大学
- Year and Date
  2009-06-14
- Data Source
  KAKENHI-PROJECT-20520002

1. YAMADA Tomoyuki (40166723)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
2. 山本章博 (30230535)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. 林晋 (40156443)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. TANAKA Hajime (50000716)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
5. ARAI Asao (80134807)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. HABE Asao (90180926)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
7. NAGATA Hiroyasu (70000875)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
8. KATO Kiyoshi (20109416)

# of Collaborated Projects: 1 results

# of Collaborated Products: 14 results
9. SHIRAHATA Masaru (00286618)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. FUJIMOTO Tadashi (40411277)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. UCHII Soshichi (60027539)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. NAKAGAWA Hajime (40237227)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. KANEKO Hiroshi (60191988)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. ITO Kunitake (90144302)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. IIDA Takashi (10117327)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. 立木秀樹 (10211377)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. 亘理修 (50389657)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. 内山智 (10299737)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 小野芳彦 (20126022)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 加藤重広 (40283048)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
21. 上野岳史

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

NAKATOGAWA Koji 中戸川 孝治

中戸川 孝治 ナカトガワ コウジ

Research Projects

Research Products

Co-Researchers

Logic of Quantum Fluctuation Described in Terms of Category Theory : Investigation of the Origin of Space-TimePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

日本語を対象とした語用論の動的側面の形式化の研究

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

部分構造論理の意味論の構築にむけて:量子力学の基礎からのアプローチPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Historical Developments and Contemporary Tasks of the Philosophy of Logic and Mathematics in Analytic Philosophy

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] Aspekte des Konstruktiven Realismus (Friedrich G.Wallner, Fengli Lan, Andreas Schulz(Hrsg.))2012

Author(s)

Publisher

Data Source

[Book] 平成22年度科学研究費補助金基盤研究(C)「量子揺動の論理-圏論による記述:時空の起源からの考察」報告集2010

Author(s)

Total Pages

Publisher

Data Source

[Book] インフレーション過程の誕生はどの程度ドラスティックか:平成21年度 元始の会夏期研究会報告集2009

Author(s)

Total Pages

Publisher

Data Source

[Book] インフレーション過程の誕生はどの程度ドラスティックか:平成21年度元始の会夏期研究会報告集2009

Author(s)

Total Pages

Publisher

Data Source

[Book] インフレーション過程の誕生はどの程度ドラスティックか:平成21年度元始の会夏期研究会報告集2009

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] Frege, his Logic and His Philosophy : Interview with Michael Beeney2010

Author(s)

Journal Title

Data Source

[Journal Article] Frege, his logic and his Philosophy2009

Author(s)

Journal Title

Data Source

[Journal Article] Frege, his logic and his philosophy2009

Author(s)

Journal Title

Data Source

[Journal Article] Frege, his logic and his Philosophy : Interview with Michael Beaney2009

Author(s)

Journal Title

NAKATOGAWA Koji 中戸川孝治

中戸川孝治ナカトガワコウジ

[Book] インフレーション過程の誕生はどの程度ドラスティックか:平成21年度元始の会夏期研究会報告集2009