• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

圏論の哲学的研究

Research Project

Project/Area Number 04J04159
Research Category

Grant-in-Aid for JSPS Fellows

Allocation TypeSingle-year Grants
Section国内
Research Field Philosophy/Ethics
Research InstitutionTokyo Metropolitan University

Principal Investigator

太田 宏平  首都大学東京, 人文科学研究科, 特別研究員(DC1)

Project Period (FY) 2004 – 2006
Project Status Completed (Fiscal Year 2006)
Budget Amount *help
¥1,600,000 (Direct Cost: ¥1,600,000)
Fiscal Year 2006: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 2005: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 2004: ¥600,000 (Direct Cost: ¥600,000)
Keywords圏論 / フレーゲ / 抽象ベーム木 / ウィトゲンシュタイン / 変項 / ゲーム意味論 / カット除去 / ludics / abstract machine / 判断 / 型理論 / ダメット / ヘーゲル / マルティン=レフ
Research Abstract

圏論について現代的意義のある哲学的研究を行うために論理学及び計算論の進展との関わりに注目した。categorical combinator、categorical abstract machine、λσといった、直接的に圏に関わっていた諸体系は計算を自然演繹的およびラムダム計算における正規化ではなくて式計算におけるカット除去によって捉えるという現代の潮流(それは具体的には、proof net, geometry of interaction, game semantics, pointer abstract machineを始めとする諸々のabstract machine, interaction net, 微分ラムダ計算等である。)の源となっている。
2006年5月に投稿し、2007年1月に差し戻された論文「空所について」では、フレーゲの空所ないし項場所に基づく関数表現の捉え方が、上記の潮流のひとつのまとまった成果であるP.-L.Curienの抽象ベーム木の体系に近いということを指摘した。このことは、変項という一種の表現ではなくて、表現をそこにおくことのできる場所という考えに基づいて関数表現を捉えることや、フレーゲが不飽和性を本来見出すべき領域として意義Sinnの領域を挙げていることの重要性にもつながっていくことが投稿後明らかになったので、今後行う再投稿においてはこのあたりの事情も論じていく予定である。
7月と11月に行った研究発表では抽象ベーム木と同様の体系であるludicsにおける証明および命題の取り扱いを、ダメットおよびマルティン=レーフのそれと比較して論じた。上記フレーゲ研究の進展に伴い、これは証明を関数のような不飽和なものとしてとらえるか、それともマルティン=レーフのように飽和した数学的対象としてとらえるかという問題であることが明らかになった。

Report

(3 results)
  • 2006 Annual Research Report
  • 2005 Annual Research Report
  • 2004 Annual Research Report

URL: 

Published: 2004-04-01   Modified: 2024-03-26  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi