時間的様相の論理と意味論

• Project/Area Number: 08710004
• Research Category: Grant-in-Aid for Encouragement of Young Scientists (A)
• Allocation Type: Single-year Grants
• Research Field: Philosophy
• Research Institution: Saitama University
• Principal Investigator: 加地 大介 埼玉大学, 教養学部, 助教授 (50251145)
• Project Period (FY): 1996
• Project Status: Completed (Fiscal Year 1996)
• Budget Amount: ¥1,000,000 (Direct Cost: ¥1,000,000); Fiscal Year 1996: ¥1,000,000 (Direct Cost: ¥1,000,000)
• Keywords: 時間 / 様相 / 論理 / 意味論 / 部分論理 / ウカシェ-ヴィチ / 決定論 / 三値論理

Research Abstract

ウカシェ-ヴィチの死後40周年の記念学会「Lukasiewicz in Dublin(ダブリンのウカシェ-ヴィチ)」で「Was Lukasiewicz Wrong?:Three-valued Logic and Determinism(ウカシェ-ヴィチは間違っていたか?:三値論理と決定論)」という題目で発表を行い、それを論文にして会議録の編集委員会に提出した。また、日本科学哲学会で「部分論理と時間様相」という題目で発表を行い、これも同学会へ論文として提出した。
これらの考察を通じて認識されてきたことは、時間様相とは、因果様相とも真理様相とも異なる独特の様相であり、世界の部分性に由来する存在論的な様相であるということである。
まず第一に、時間様相における可能性は、矛盾を許容するという点で真理様相(および因果様相)における可能性よりも弱い可能性であり、したがってルイスタイプの様相論理、時制論理、超付値論理などの、古典論理のト-トロジーを保存するような論理学によってはその論理を捉えられないという結論を得た。そこで、時間様相の論理学として最も適切なものとして、部分論理にウカシェ-ヴィチの定義による様相演算子を加えた体系Lを提示した。また、時間様相は因果様相、真理様相に比べて最も外延的な様相であるので、その論理学に対する意味論としては、時間の分岐モデルに基づく可能世界意味論や超付値による意味論などの内包的な意味論を採る必要はなく、真理表による外延的な意味論が適用できるということを主張した。