数学の哲学における真理のミニマリズムと反実在論

数学哲学中的真理极简主义与反实在论

• 批准号: 09610012
• 负责人: 金子 洋之
• 金额: $ 1.22万
• 依托单位: Senshu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 1998
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-09610012/
• 关键词: 数学の哲学; 物理主義; 論理的必然性; フィールド; ライト; プラトニズム; 真理; ミニマリズム

本研究の初年度の課題は、第一に「数学の哲学」の現状を把握し、第二にそこでの問題状況と真理についての最近の研究成果の関連を明らかにすることであった。現状での数学に哲学は、今世紀初頭から60年代頃までの数学の哲学とはその相貌を大きく変えている。第一の課題はそれがどのような変化であったのかを明確化することであった。一言でいえば、その変化は、数学の哲学固有の問題を数学や数学基礎論の成果を踏まえてその内部で解決を試みることから、数学の哲学の問題群を哲学の他分野-例えば日常言語の意味論や認識論-の問題群との関連のもとに再定式化し、その上で解決を試みることへの変化と言えるであろう。この変化のきっかけは、すでにクワインやパトナムの著作にも窺えるが、それを表立って問題化したのはベナセラフであった。80年代以降は、このベナセラフの路線での研究が盛んになっており、本研究もその路線に立っている。今年度は、そうした様々な研究の中からフィールドのプログラム-数学への物理主義的なアプローチ-とライト・ヘイルのフレーゲ的プラトニズムの間での論争に焦点を合わせ、その論争が論理的必然性の物理主義的な理解をめぐる論争に帰着することを明らかにした。二つ目の課題については立ち入った論究を行うことはできなかったが、真理のミニマリズムがいわば物理主義的な立場からとともに、物理主義に反対する立場からも理解されること、そしてこれら二つの真理観が先の数学の哲学での論争に重なり合うことを示すことができた。

Early の annual は の subject, this study first に status "philosophy of mathematics の の" を grasp し, second に そ こ で の problem situation と truth に つ い て の の recent research の masato even を Ming ら か に す る こ と で あ っ た. Status quo で の mathematics は に philosophy, this century initially か ら 60 s musical ま で の philosophy of mathematics の と は そ の looks big を き く - え て い る. The first topic is the transformation of であった それが <e:1> ような into であった を を and the clarification of する する とであった とであった. A word で い え ば, そ の - は, mathematical problems inherent の の philosophy を mathematics や mathematics base chakra の results を tread ま え て そ の で resolved within を try み る こ と か ら, mathematics の の problem group を philosophy の he eset - example え ば や epistemology - の の everyday words mean theory problem of と の masato even の も と に to demean し, そ の で solve を try on み る こ と へ Change と words えるであろう. こ の variations change の き っ か け は, す で に ク ワ イ ン や パ ト ナ ム の works に も peep え る が, そ れ を table set っ て problematic し た の は ベ ナ セ ラ フ で あ っ た. Since the 1980s, the が and <s:1> ベナセラフ ベナセラフ routes have been used to study the で <e:1> and が る, and this study has been based on the <s:1> そ route に and って る る. Our は, そ う し た others 々 な research の か ら フ ィ ー ル ド の プ ロ グ ラ ム - mathematical へ の physicalist な ア プ ロ ー チ - と ラ イ ト · ヘ イ ル の フ レ ー ゲ of プ ラ ト ニ ズ ム の between で の debate focus に を close わ せ, そ の debate が logical inevitability の physicalist な understand を め ぐ る debate に 帰 the す る こ と を Ming ら か に し た . Two つ mesh の subject に つ い て は made ち into っ た theory in line を う こ と は で き な か っ た が, truth の ミ ニ マ リ ズ ム が い わ ば physicalist position な か ら と と も に, the physicalist に anti polices す る position か ら も understand さ れ る こ と, そ し て こ れ ら two つ の truth 観 が の first philosophy of mathematics の で の debate に heavy な り close う こ と を shown す こ と が Youdaoplaceholder0 た た.

项目成果

金子洋之: "哲学・物理学方面から見た社会システムの理論と複雑系" 専修大学社会科学研究所『社会科学年報』. 第32号. 337-345 (1998)

金子弘之：《从哲学和物理学的角度看社会系统和复杂系统》，专修大学社会科学研究所，社会科学年报第32号。337-345（1998）。

金子洋之: "妥当性と有用性-論理の本性についての一考察" 専修大学人文科学研究所『人文科学年報』. 第28号. (1998)

Hiroyuki Kaneko：“有效性和有用性——逻辑本质的研究”，专修大学人文研究所，人文年度报告第28号。（1998）

金子洋之: "抽象的対象と様相" 日本哲学会『哲学』. (1998)

金子弘之：《抽象对象与形态》日本哲学会《哲学》（1998）。