Development of Mathematical Logic as Foundation of Philosophy of Science

• Project/Area Number: 24K03357
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 01010:Philosophy and ethics-related
• Research Institution: Kobe University
• Principal Investigator: 菊池 誠 神戸大学, システム情報学研究科, 教授 (60273801)
• Project Period (FY): 2024-04-01 – 2028-03-31
• Project Status: Granted (Fiscal Year 2024)
• Budget Amount: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000); Fiscal Year 2027: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2026: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2025: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2024: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
• Keywords: 数理論理学 / 科学哲学 / 論理実証主義

Outline of Research at the Start

20世紀初めに科学技術は著しく発展し，社会科学や人文科学を含む科学全体を自然科学の方法で展開することを提唱する論理実証主義が生まれた．理実証主義は哲学的には20世紀中頃に否定されたが，その議論は20世紀初めに確立された数理論理学を前提としており，最近の数理論理学の発展によって論理実証主義の評価は大きく変わる可能性がある．本研究は20世紀の科学の発展の契機となった数学の抽象化を見直しながら数理論理学の研究を進め，数学や情報通信技術に関する哲学的議論に基づいて数理論理学の発展を再考し，その発展の科学哲学への影響を考察することを目指すものである．