OKAMOTO Kengo 岡本賢吾

… Alternative Names

岡本賢吾オカモトケンゴ

Less

Researcher Number	00224072
Affiliation (Current)	2025: 東京都立大学, 人文科学研究科, 客員教授
Affiliation (based on the past Project Information) *help	2023: 東京都立大学, 人文科学研究科, 客員教授 2020 – 2022: 東京都立大学, 人文科学研究科, 教授 2017 – 2019: 首都大学東京, 人文科学研究科, 教授 2009: 首都大学東京, 人文科学研究科大学院, 教授 2007 – 2009: 首都大学東京, 人文科学研究科, 教授 … More 2008: 首都大学東京, 都市教養学部, 教授 2006: 首都大学東京, 人文科学研究科, 助教授 1998 – 2004: 東京都立大学, 人文学部, 助教授 1994: 山形大学, 人文学部, 助教授 Less
Review Section/Research Field	Principal Investigator Philosophy Except Principal Investigator Philosophy/Ethics / Medium-sized Section 1:Philosophy, art, and related fields / Philosophy
Keywords	Principal Investigator Set Theory / Category Theory / Type Theory / Physicalism / Constructivism / Realism / Philosophy of Mathematics / Philosophy of Logic / 直観主義 / 形式主義 … More / 論理主義 / ブラウワー / タルスキ / 数学 / 論理学 / 集合論 / 圏論 / タイプ理論 / 物理主義 / 構成主義 / 実在論 / 数学の哲学 / 論理哲学 / ウィトゲンシュタイン / ボルツァーノ / ライプニッツ / 概念記法 / 事態 / 命題 / 可能なもの / 様相 … More Except Principal Investigator 数学の哲学 / 論理学 / 哲学 / 意味 / プラトニズム / カント / フレーゲ / 計算の哲学 / 議論の不一致の克服 / 不一致 / 相互理解 / 論理的意味論 / 証明 / 論証 / 否定 / 証明論的意味論 / 不一致の理解と克服 / 論理哲学 / 不一致の哲学 / 論理的不一致 / 論理の哲学 / 数理論理学 / 集合論 / 証明論 / 数学基礎論 / 論理学の哲学 / Russell's Paradox / Self-Knowledge / Indeterminacy of Transtlation / Belief / Modality / Meaning / Cognitive Activities / Naturalism / 遠近法 / 抽象的対象 / 外在主義 / 心理意味論 / 合理性 / クワイン / 命題 / 言語 / ケント翻訳の不確定性 / アンスコーム / 可能性 / 観察なき知識 / ラッセルのパラドクス / 自己知 / 翻訳の不確定性 / 信念 / 様相 / 認識(活動) / 自然主義 / 意味論 / 西洋哲学 / デジャヴュ / 時間論 / 生の哲学 / semantic conception of the theories / 線型論理 / 粘菌 / 精神病理学 / 時間 / 意義 / 文脈原理 / スコット領域 / プロセス / 反実在論 / ブラウワー / ラッセル / ゲーデル / 精神医学 / シーケント計算 / ウィトゲンシュタイン / ダメット / 計算 / てんかん / スコーレム / 圏論 / 形而上学 / 生命 Less

Study on "Disagreement" in logic
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2019 – 2024
- Research Category
  
  Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
- Review Section
  
  Medium-sized Section 1:Philosophy, art, and related fields
- Research Institution
  Keio University
New developments of the philosophy of mathematics
- Principal Investigator
  
  Kikuchi Makoto
- Project Period (FY)
  2017 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Kobe University
An Overview of the 20th Century analytic philosophy and its historical and systematic examination
- Principal Investigator
  
  MATSUSAKA Yoichi
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Tokyo Metropolitan University
Philosophy of Computation-developments and explorations
- Principal Investigator
  
  MIYOSHI Hiroyuki
- Project Period (FY)
  2005 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Kyoto Sangyo University
Philosophical Appraisal of the Representative Standpoints in the Foundations of Logic and Mathematics: Realism, Constructivism and PhysicalismPrincipal Investigator
- Principal Investigator
  
  OKAMOTO Kengo
- Project Period (FY)
  2001 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy
- Research Institution
  Tokyo Metropolitan University
Examinations of Naturalistic Approach to Human Cognitive Activities
- Principal Investigator
  
  TANJI Nobunaru
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Philosophy
- Research Institution
  Tokyo Metropolitan University
現代論理学との連関における近世形而上学的な無限・関係・様相論の意義Principal Investigator
- Principal Investigator
  
  岡本賢吾
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  Philosophy
- Research Institution
  Yamagata University

[Book] 分析哲学の誕生 : フレーゲ・ラッセル(日本科学哲学会編)2008
- Author(s)
  岡本賢吾
- Publisher
  勁草書房
- Data Source
  KAKENHI-PROJECT-18520019
[Book] 日本科学哲学会編『分析哲学の誕生:フレーゲ・ラッセル』2008
- Author(s)
  岡本賢吾
- Publisher
  勁草書房
- Data Source
  KAKENHI-PROJECT-18520019
[Book] 分析哲学の誕生:フレーゲ・ラッセル2008
- Author(s)
  日本科学哲学会編、野本和幸責任編集・岡本賢吾、松阪陽一, (他11名)著
- Publisher
  勁草書房
- Data Source
  KAKENHI-PROJECT-18520019
[Book] 哲学の歴史11論理・数学・言語2007
- Author(s)
  飯田隆編、岡本賢吾, (他13名)著
- Publisher
  中央公論社
- Data Source
  KAKENHI-PROJECT-18520019
[Book] 哲学の歴史第11巻-論理・数学・言語2007
- Author(s)
  飯田隆編, 金子洋之, 岡本賢吾, 戸田山和久
- Total Pages
  750
- Publisher
  中央公論新社
- Data Source
  KAKENHI-PROJECT-17320009
[Book] 哲学の歴史112007
- Author(s)
  岡本賢吾
- Publisher
  中央公論新社
- Data Source
  KAKENHI-PROJECT-18520019
[Book] 哲学の歴史第11巻-論理・数学・言語第IV章「数学基礎論の展開とその哲学」2007
- Author(s)
  飯田隆編, 岡本賢吾, 他著
- Total Pages
  750
- Publisher
  中央公論新社
- Data Source
  KAKENHI-PROJECT-17320009
[Book] フレーゲ哲学の最新像2007
- Author(s)
  岡本賢吾, 金子洋之(編)
- Total Pages
  374
- Publisher
  勁草書房
- Data Source
  KAKENHI-PROJECT-18520019
[Book] 哲学の歴史11
- Author(s)
  岡本賢吾
- Publisher
  中央公論社
- Data Source
  KAKENHI-PROJECT-18520019
[Journal Article] ワークショップ報告：菊池誠『不完全性定理』を読む2018
- Author(s)
  岡本賢吾
- Journal Title
  
  科学哲学
  
  Volume: 51 Pages: 95-102
- Data Source
  KAKENHI-PROJECT-17H02263
[Journal Article] なぜ意味論はプロセスを含むか…表示意味論・領域理論をめぐって2007
- Author(s)
  岡本賢吾
- Journal Title
  
  科学哲学 40-2
  
  Pages: 23-39
- NAID
  130003640659
- Data Source
  KAKENHI-PROJECT-18520019
[Journal Article] なぜ意味論は「プロセス」を含むか-表示的意味論・領域理論をめぐって2007
- Author(s)
  岡本賢吾
- Journal Title
  
  科学哲学第40巻2号
  
  Pages: 23-39
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17320009
[Journal Article] 不完全性定理再考2007
- Author(s)
  岡本賢吾, 田中一之(対談)
- Journal Title
  
  現代思想 35-3
  
  Pages: 58-74
- Data Source
  KAKENHI-PROJECT-18520019
[Journal Article] 編者解説2007
- Author(s)
  岡本賢吾
- Journal Title
  
  岡本賢吾・金子洋之編『フレーゲ哲学の最新像』 374
  
  Pages: 343-365
- Data Source
  KAKENHI-PROJECT-17320009
[Journal Article] 編者解説2007
- Author(s)
  岡本賢吾
- Journal Title
  
  フレーゲ哲学の最新像(勁草書房、2007年2月、374頁)(岡本賢吾・金子洋之編)
  
  Pages: 343-365
- Data Source
  KAKENHI-PROJECT-17320009
[Journal Article] なぜ意味論はプロセスを含むか-表示意味論・領域理論をめぐって2007
- Author(s)
  岡本賢吾, 日本科学哲学会編
- Journal Title
  
  科学哲学 vol.40-2
- NAID
  130003640659
- Data Source
  KAKENHI-PROJECT-18520019
[Journal Article] なぜ意味論はプロセスを含むか-表示意味論・領域理論をめぐって2007
- Author(s)
  岡本賢吾
- Journal Title
  
  科学哲学 40-2
  
  Pages: 23-39
- NAID
  130003640659
- Data Source
  KAKENHI-PROJECT-18520019
[Journal Article] Philosophy of Logic based on the Concepts of Proposition, Construction and Judgment (in Japanese)2003
- Author(s)
  Okamoto, Kengo
- Journal Title
  
  SHISO Vol.10, No.954
  
  Pages: 159-183
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13410002
[Journal Article] 命題を集合と同一視すること-包括原理からカリー=ハワード対応へ2003
- Author(s)
  岡本賢吾
- Journal Title
  
  科学哲学(日本科学哲学会) 36巻2号
  
  Pages: 103-118
- NAID
  130003640584
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13410002
[Journal Article] 「命題」・「構成」・「判断」の論理哲学-フレーゲ/ウィトゲンシュタインの「概念記法」をどう見るか2003
- Author(s)
  岡本賢吾
- Journal Title
  
  思想(岩波書店) 10号No.954
  
  Pages: 159-183
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13410002
[Journal Article] Identifying Propositions with Sets - From Comprehension Principle to Curry-Howard Isomorphism(in Japanese)2003
- Author(s)
  Okamoto, Kengo
- Journal Title
  
  PHIOSOPHY OF SCIENCE vol.36 No.2
  
  Pages: 103-118
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13410002
[Journal Article] 無限なものの「確定性」と「拡張可能性」-「概念/外延」の観点から2002
- Author(s)
  岡本賢吾
- Journal Title
  
  哲学(日本哲学会) 53号
  
  Pages: 47-61
- NAID
  130003661420
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13410002
[Journal Article] Definiteness and Indefinite Extensibility of the Infinite (in Japanese)2002
- Author(s)
  Okamoto, Kengo
- Journal Title
  
  TETSUGAKU vol.53
  
  Pages: 47-61
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13410002
[Journal Article] On Frege's Conception of Logicism (in Japanese)2001
- Author(s)
  Okamoto, Kengo
- Journal Title
  
  PHIOSOPHY OF SCIENCE vol.34 No.1
  
  Pages: 7-19
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13410002
[Journal Article] 「論理主義」は何をするのか-フレーゲの場合2001
- Author(s)
  岡本賢吾
- Journal Title
  
  科学哲学(日本科学哲学会) 34巻1号
  
  Pages: 7-19
- NAID
  130003640560
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13410002
[Presentation] How are Assumptions and Commitments surrounding Godel’s Incompleteness Theorem to be Conceived of ?- A (hopefully) Contribution to Logic Education-2024
- Author(s)
  Kengo Okamoto
- Organizer
  World Logic Day 14th Meeting
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] Wittgenstein on Understanding a Mathematical Proposition-A Reconsideration from a Linear / Modal Logical Point of View2024
- Author(s)
  岡本賢吾
- Organizer
  Workshop with Jocelyn Benoist: Discussions on Wittgenstein and Beyond
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] How to Spell Out Implicit Logical Dependencies2024
- Author(s)
  Kengo Okamoto
- Organizer
  Disagreement in Logic and Reasoning
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] ワークショップ「部分構造論理からWittgensteinを／Wittgensteinから部分構造論理を読み解く」2023
- Author(s)
  岡本賢吾
- Organizer
  科学基礎論学会
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] “Lebensformen”の論理学を考える－　世界哲学のプラットフォームの可能性？2022
- Author(s)
  岡本賢吾
- Organizer
  日本哲学会
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] 空所と変数：タイプ階層の創発史に向けて2021
- Author(s)
  岡本賢吾
- Organizer
  科学基礎論学会2021年度秋の研究例会（ワークショップ「変数から論理と数学と捉え直す：最近の成果」）
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] 「もう一つのゲーデル埋め込みを考える－技術的詳細と哲学的興味」2021
- Author(s)
  岡本賢吾, 山崎紗紀子, 三上温湯
- Organizer
  日本科学哲学会大会
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] 「なぜFrege／WittgensteinのBefore&Afterなのか」2021
- Author(s)
  岡本賢吾
- Organizer
  科学基礎論学会大会ワークショップ「Context概念再考：論理主義のBefore&After」
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] 「空所と変数：タイプ階層の創発史に向けて」2021
- Author(s)
  岡本賢吾
- Organizer
  科学基礎論学会秋の研究例会ワークショップ「変数から論理と数学と捉え直す：最近の成果」
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] もう一つのゲーデル埋め込みを考える－技術的詳細と哲学的興味2021
- Author(s)
  岡本賢吾・山崎紗紀子・三上温湯
- Organizer
  日本科学哲学会2021年度大会
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] なぜFrege／WittgensteinのBefore&Afterなのか2021
- Author(s)
  岡本賢吾
- Organizer
  科学基礎論学会2021年度総会と講演会（ワークショップ「Context概念再考：論理主義のBefore&After」）
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] 基礎づけ言語としての直観主義論理：その拡張を考える2020
- Author(s)
  岡本賢吾
- Organizer
  科学基礎論学会2020年度大会
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] How should We Make Intelligible the Coexistence of Different Logics?2019
- Author(s)
  Kengo Okamoto
- Organizer
  16th CLMPST
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] Reasoning 論の哲学的新展開2019
- Author(s)
  岡本賢吾
- Organizer
  日本哲学会第78回大会
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] On Internal Employment of "Formal Concepts"2019
- Author(s)
  Kengo Okamoto
- Organizer
  Philosophy Workshop
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] Why Making Propositions and Proofs into Objects?2019
- Author(s)
  Shingo Okamoto
- Organizer
  第52回科学哲学会大会シンポジウム"Type Theory Re-Visited-Type, Abstraction, Classification"
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] Why Making Propositions and Proofs into Objects?2019
- Author(s)
  Kengo Okamoto
- Organizer
  科学哲学会大会シンポジウム
- Invited
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] The Notions of Assumption, Truth and Provability Revisited - Some Cosiderations motivated by the GMT Embedding2017
- Author(s)
  Kengo Okamoto
- Organizer
  Workshop in Logic and Philosophy of Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02263
[Presentation] 数学者たちが切り開いた現代哲学-数学と哲学のinterplayの射程を探る」、「社会に数理科学を発信する次世代型人材創発」ラウンドアップフォーラム2010
- Author(s)
  岡本賢吾
- Place of Presentation
  明治大学
- Year and Date
  2010-03-20
- Data Source
  KAKENHI-PROJECT-18520019
[Presentation] 数学者たちが切り開いた現代哲学-数学と哲学のinterplayの射程を探る2010
- Author(s)
  岡本賢吾
- Organizer
  「社会に数理科学を発信する次世代型人材創発」ラウンドアッテ゜フォーラム
- Place of Presentation
  明治大学
- Year and Date
  2010-03-20
- Data Source
  KAKENHI-PROJECT-18520019
[Presentation] 哲学における「論理・数学教育」のひとつの目標2009
- Author(s)
  岡本賢吾
- Organizer
  日本科学哲学会
- Place of Presentation
  高千穂大学
- Year and Date
  2009-11-21
- Data Source
  KAKENHI-PROJECT-18520019
[Presentation] Why Read Frege from Construtivist Viewpoint?2008
- Author(s)
  Kengo Okamoto
- Organizer
  Workshop on Constructivism : Logic and Mathematics
- Place of Presentation
  TAIST
- Year and Date
  2008-05-29
- Data Source
  KAKENHI-PROJECT-17320009
[Presentation] Why Read Frege from Construtivist Viewpoint? "2008
- Author(s)
  岡本賢吾
- Organizer
  Workshop on Constructivism : Logic and Mathematics
- Place of Presentation
  北陸先端科学技術大学
- Year and Date
  2008-05-29
- Data Source
  KAKENHI-PROJECT-18520019
[Presentation] Why Read Frege from Construtivist Viewpoint?2008
- Author(s)
  Kengo Okamoto
- Organizer
  Workshop onConstructivism : Logic and Mathematics
- Place of Presentation
  JAIST
- Year and Date
  2008-05-29
- Data Source
  KAKENHI-PROJECT-17320009
[Presentation] Why Read Frege from Construtivist Viewpoint?2008
- Author(s)
  岡本賢吾
- Organizer
  Workshop on Constructivism:Logic and Mathematics
- Year and Date
  2008-05-29
- Data Source
  KAKENHI-PROJECT-18520019
[Presentation] ワークショップ「論理的推論の生成」提題2008
- Author(s)
  岡本賢吾
- Organizer
  哲学会第46回大会
- Place of Presentation
  東京大学
- Year and Date
  2008-10-25
- Data Source
  KAKENHI-PROJECT-17320009
[Presentation] 数学に於ける変数(2)2008
- Author(s)
  岡本賢吾, 竹内泉
- Organizer
  日本科学哲学会第41回大会
- Place of Presentation
  福岡大学
- Year and Date
  2008-10-18
- Data Source
  KAKENHI-PROJECT-18520019
[Presentation] 数学に於ける変数(2)2008
- Author(s)
  岡本賢吾
- Organizer
  日本科学哲学会第41回大会
- Place of Presentation
  福岡大学
- Year and Date
  2008-10-18
- Data Source
  KAKENHI-PROJECT-17320009
[Presentation] Why Read Frege from Construtivist Viewpoint?2008
- Author(s)
  岡本賢吾
- Organizer
  Workshop on Constructivism : Logic and Mathematics
- Place of Presentation
  北陸先端科学技術大学
- Year and Date
  2008-05-29
- Data Source
  KAKENHI-PROJECT-18520019
[Presentation] 論理的推論の生成2008
- Author(s)
  岡本賢吾
- Organizer
  哲学会第46回大会
- Place of Presentation
  東京大学
- Year and Date
  2008-10-25
- Data Source
  KAKENHI-PROJECT-18520019
[Presentation] ワークショップ:双対性から論理と計算を捉え直す-領域理論から量子計算,相互作用の幾何まで2007
- Author(s)
  岡本賢吾(オーガナイザ・司会)
- Organizer
  日本科学哲学会第40回大会
- Place of Presentation
  中央大学多摩キャンパス
- Year and Date
  2007-11-11
- Data Source
  KAKENHI-PROJECT-17320009
[Presentation] 双対性から論理と計算を捉え直す-領域理論から量子計算、相互作用の幾何まで2007
- Author(s)
  岡本賢吾
- Organizer
  日本科学哲学会第40回大会
- Place of Presentation
  中央大学多摩キャンパス
- Year and Date
  2007-11-11
- Data Source
  KAKENHI-PROJECT-18520019
[Presentation] 双対性から論理と計算を捉え直す-領域理論から量子計算、相互作用の幾何まで2007
- Author(s)
  岡本賢吾
- Organizer
  日本科学哲学会
- Place of Presentation
  中央大学多摩キャンパス
- Year and Date
  2007-11-11
- Data Source
  KAKENHI-PROJECT-18520019

1. TANJI Nobuharu (20112469)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
2. NOMOTO Kazuyuki (70007714)

# of Collaborated Projects: 3 results

# of Collaborated Products: 1 results
3. KANEKO Youji (60191988)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
4. MATSUSAKA Yoichi (50244398)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
5. MIYOSHI Hiroyuki (60286135)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. TODAYAMA Kazuhisa (90217513)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
7. 岡田光弘 (30224025)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. GUNJI Gunji (40192570)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. DEGUCHI Yasuo (20314073)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. HIGAKI Tatsuya (70242071)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. FUKAO Kenjiro (60359817)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. KANZAKI Shigeru (20153025)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. SHINOHARA Naruhiko (60295459)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. ISHIKAWA Motomu (80192483)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. Kikuchi Makoto (60273801)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. 五十嵐涼介 (40853205)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 細川雄一郎 (60853190)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 伊藤遼 (70853422)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. 峯島宏次 (80725739)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

OKAMOTO Kengo 岡本 賢吾

岡本 賢吾 オカモト ケンゴ

Research Projects

Research Products

Co-Researchers

Study on "Disagreement" in logic

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

New developments of the philosophy of mathematics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

An Overview of the 20th Century analytic philosophy and its historical and systematic examination

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Philosophy of Computation-developments and explorations

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Philosophical Appraisal of the Representative Standpoints in the Foundations of Logic and Mathematics: Realism, Constructivism and PhysicalismPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Examinations of Naturalistic Approach to Human Cognitive Activities

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

現代論理学との連関における近世形而上学的な無限・関係・様相論の意義Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 分析哲学の誕生 : フレーゲ・ラッセル(日本科学哲学会編)2008

Author(s)

Publisher

Data Source

[Book] 日本科学哲学会編『分析哲学の誕生:フレーゲ・ラッセル』2008

Author(s)

Publisher

Data Source

[Book] 分析哲学の誕生:フレーゲ・ラッセル2008

Author(s)

Publisher

Data Source

[Book] 哲学の歴史11論理・数学・言語2007

Author(s)

Publisher

Data Source

[Book] 哲学の歴史第11巻-論理・数学・言語2007

Author(s)

Total Pages

Publisher

Data Source

[Book] 哲学の歴史112007

Author(s)

Publisher

Data Source

[Book] 哲学の歴史 第11巻-論理・数学・言語 第IV章「数学基礎論の展開とその哲学」2007

Author(s)

Total Pages

Publisher

Data Source

[Book] フレーゲ哲学の最新像2007

Author(s)

Total Pages

OKAMOTO Kengo 岡本賢吾

岡本賢吾オカモトケンゴ

[Book] 哲学の歴史第11巻-論理・数学・言語第IV章「数学基礎論の展開とその哲学」2007