OKAMOTO Kengo
教授
岡本 賢吾 オカモト ケンゴ おかもと けんご
プロフィール
最終学歴・学位
東京大学大学院博士課程単位取得退学・文学修士
専門・研究分野
西洋哲学、特に、論理学の哲学および数学の哲学
研究
研究テーマ
(1)圏論・線型論理など、近年の重要な論理学的・数学的理論の発展を踏まえながら、(2)フレーゲ・ウィトゲンシュタインから、ヒルベルト・ブラウワー、さらにゲーデル・タルスキ・ゲンツェンらにいたる「論理学／数学基礎論」の歴史を捉え直し、(3)現代におけるその哲学的な意義・射程・可能性を考察する。
研究キーワード
命題、判断、証明、真理、無限、様相、概念記法、圏論、線型論理、包括原理、カリー=ハワード対応、双対性、フレーゲ、ウィトゲンシュタイン、ヒルベルト、ブラウワー、ゲーデル、タルスキ、ゲンツェン
研究紹介
詳細情報
［著作］
(1)共著：飯田隆編『哲学の歴史・11 ―― 論理・数学・言語』（中央公論社），2007年（「第IV章・数学基礎論の展開とその哲学」を執筆）．
(2)共編訳：岡本賢吾・金子洋之編『フレーゲ哲学の最新像』（勁草書房），2007年（「編者解説」を執筆）．
［論文］（いずれも単著）
(1)「「命題」「構成」「判断」の論理哲学 ―― フレーゲ／ウィトゲンシュタインの「概念記法」をどう見るか」
『思想』第954号（岩波書店），pp.159-183，2003年．
(2)「命題を集合と同一視すること ―― 包括原理からカリー＝ハワード対応へ」
『科学哲学』第36巻2号（日本科学哲学会編），pp.103-118，2003年.
(1)共著：飯田隆編『哲学の歴史・11 ―― 論理・数学・言語』（中央公論社），2007年（「第IV章・数学基礎論の展開とその哲学」を執筆）．
(2)共編訳：岡本賢吾・金子洋之編『フレーゲ哲学の最新像』（勁草書房），2007年（「編者解説」を執筆）．
［論文］（いずれも単著）
(1)「「命題」「構成」「判断」の論理哲学 ―― フレーゲ／ウィトゲンシュタインの「概念記法」をどう見るか」
『思想』第954号（岩波書店），pp.159-183，2003年．
(2)「命題を集合と同一視すること ―― 包括原理からカリー＝ハワード対応へ」
『科学哲学』第36巻2号（日本科学哲学会編），pp.103-118，2003年.
なし
日本科学哲学会: 評議員、理事、編集委員、石本基金運営委員、出版助成部会副部会長。
科学基礎論学会: 評議員、理事、企画委員長。
日本哲学会、哲学会、都立大哲学会、東北哲学会会員。
科学基礎論学会: 評議員、理事、企画委員長。
日本哲学会、哲学会、都立大哲学会、東北哲学会会員。
- 哲学演習（論理哲学）
- 哲学演習（論理哲学）
- 哲学特論第一
- 哲学特論第三
- 現代哲学研究第二＜202＞
- 現代哲学研究第三
- 組織再編前旧課程の同時開講科目等が含まれており、掲載されている全ての科目を開講するわけではありません。
関連HOT TOPICS
すべて見る
連絡先
研究室
5号館413号室
オフィスアワー
金 15:00-19:00 （要事前予約）
内線番号
内線1175
メールアドレス
mihomiwa●tmu.ac.jp
（メールを送信される場合は●を@に変換してください）
