Rchr
J-GLOBAL ID:201301032282512025   Update date: Feb. 01, 2024

Nakatogawa Koji

ナカトガワ コウジ | Nakatogawa Koji
Affiliation and department:
Other affiliations (1):
  • 哲学講座  教授
Homepage URL  (1): http://logic.let.hokudai.ac.jp/~koji/
Research field  (2): Philosophy and ethics ,  Linguistics
Research keywords  (31): logic ,  category theory ,  set theory ,  部分構造論理 ,  量子力学の基礎 ,  前層 ,  時空 ,  国際研究者交流 ,  クオンターレ部分代数 ,  量子論理 ,  哲学 ,  宇宙物理 ,  加法的選言の導入規則 ,  フル・ランベック計算 ,  圏論 ,  C*-代数 ,  epistemic logic ,  quantale ,  宇宙論 ,  帰納推論 ,  始祖学習 ,  極限同定 ,  帰納論理 ,  日本語学 ,  不完全性定理 ,  演繹的推論規則 ,  意図の論理 ,  動的側面 ,  直観主義 ,  反単一化 ,  集合論
Research theme for competitive and other funds  (6):
  • 2008 - 2012 Logic of Quantum Fluctuation Described in Terms of Category Theory : Investigation of the Origin of Space-Time
  • 2007 - 2009 日本語を対象とした語用論の動的側面の形式化の研究
  • 2005 - 2006 部分構造論理の意味論の構築にむけて:量子力学の基礎からのアプローチ
  • 2003 - 2003 始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発
  • 2002 - 2002 始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発
Show all
Papers (18):
  • Koji Nakatogawa. Is it possible to re-construct Tanabe-Sawaguchi's philosophy of manifold within the tradition of post-Fregean philosophy?. Tsukuba Philosophy. 2014. 22. 20-26
  • 中戸川 孝治. 〈永井博先生を悼む〉多様体哲学はポスト・フレーゲ化できるか : タルスキー意味論からローベアー意味論へ(構想の試み). 筑波哲学. 2014. 22. 20-26
  • 中戸川 孝治. How to embed Tanabe-Sawaguchi's 'Philosophy of Manifold' into the Contexts of Post-Fregean Philosophy : From Tarski-Vaught Semantics to F.W.Lawvere's 'Sets Within Mathematics'. 筑波哲学. 2014. 22. 20-26
  • Beaney Michael, Bo Chen, Nakatogawa Koji. Frege, his Logic and his Philosophy Interview with Michael Beaney. Journal of the graduate school of letters. 2010. 5. 0. 1-25
  • Takeshi Ueno, Koji Nakaogawa, Osamu Watari. On non-eliminability of the cut rule and the roles of associativity and distributivity in non-commutative substructural logics. 2009
more...
Books (1):
  • 論理学の基礎と演習
    慶應義塾大学出版会 2006 ISBN:476641313X
Professional career (2):
  • 博士(文学) (筑波大学)
  • MA in Mathematics (UC Berkeley)
Work history (1):
  • 2008 - 2012 北海道大学 大学院・文学研究科 教授
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page