| Project/Area Number |
20J12361
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Single-year Grants |
|---|
| Section | 国内 |
|---|
| Review Section |
Basic Section 01010:Philosophy and ethics-related
|
|---|
| Research Institution | Hokkaido University |
|---|
Principal Investigator |
林 大智 北海道大学, 文学院, 特別研究員(DC2)
|
|---|
| Project Period (FY) |
2020-04-24 – 2022-03-31
|
| Project Status |
Completed (Fiscal Year 2021)
|
| Budget Amount *help |
¥2,100,000 (Direct Cost: ¥2,100,000)
Fiscal Year 2021: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2020: ¥1,200,000 (Direct Cost: ¥1,200,000)
|
|---|
| Keywords | 公理的真理異論 / 非可述的定義 / 証明論的強さ / 真理 / フレーゲ / 証明論 / 直観主義論理 / 論理主義 / 無矛盾性 / 存在論 |
|---|
| Outline of Research at the Start |
公理的真理理論は、我々が真理についてもつ概念を形式化する分野である。証明論的な観点からは、そうして定式化された理論がどれほど強い論理的帰結をもつのかが主要な関心の一つとなってきた。本研究では、集合論における原理の対応物を定式化することで、より強力な公理的真理理論を獲得することを目標とする。また、そうした原理や理論が、我々の真理概念の理解や推論活動から正当化されることを論証することも試みる。
|
| Outline of Annual Research Achievements |
真理を公理化する試みは基本的に、真理の集合論的・モデル論的構成を形式化する形でなされてきた。しかしながら、Kripkeらが提案した真理の構成方法は比較的強力な集合論の原理を用いており、これを真理の（一階の）公理的理論に落とし込むことは容易ではない。実際Fischer(2015)らは、ある公理系が、意図する真理概念を適切に捉えているといえるための基準を与え、それに従えばKripke的真理概念の公理化は不完全にしかなしえないことを証明した。
そこで本年度の研究では、Kripke的な真理構成で用いられた集合論的原理を公理的真理理論において表現し、真理を公理化する試みを擁護することを目標とした。具体的には、本研究は次の２段階からなる。
①Kripke的な真理構成で用いられる集合論的原理が強力である原因の一つの理解は、ある集合を定義する際に、その集合を含む「全ての」集合に言及している（非可述的定義）点である。本研究では、Kripke的真理概念を定式化するには、より弱い集合論的原理で十分であることを論証し、こちらは真理の公理的理論でも表現できることを示した。特に、この弱い集合論的原理に基づいた真理概念については上述のFischerらの基準も満たせることを証明した。
②こうして定式化された公理的真理理論の証明論的強さは、既存の理論よりも若干強くなることを示した。したがって、「証明論的に強力な公理的真理理論を与える」という本研究の主要な目的の一つに照らしても適切であることがわかった。
|
| Research Progress Status |
令和3年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
令和3年度が最終年度であるため、記入しない。
|
