| 研究課題/領域番号 |
17K13317
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
哲学・倫理学
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
大西 琢朗 京都大学, 人社未来形発信ユニット, 特定准教授 (50773529)
|
|---|
| 研究期間 (年度) |
2017-04-01 – 2019-03-31
|
| 研究課題ステータス |
完了 (2018年度)
|
| 配分額 *注記 |
2,600千円 (直接経費: 2,000千円、間接経費: 600千円)
2018年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
2017年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
|
|---|
| キーワード | 関連性論理 / 推論主義 / 否定 / 証明論的意味論 / 可能世界意味論 / 様相 / 明示化 / 非古典論理 |
|---|
| 研究成果の概要 |
関連性論理の意味論について哲学と形式論理学双方の観点から検討した。哲学分野では、いわゆる可能世界意味論を「脱形而上学」化し、ブランダム流の推論主義の枠組みで解釈する道を開いた。形式論理学の分野では「様相演算子としての否定」というアイディアを利用することで、従来の関連性論理の意味論の理論構成を新たな仕方で捉えることに成功した。以上の研究成果は、各種学会やワークショップにおける口頭発表や論文集への寄稿を通じて発表した。
|
| 研究成果の学術的意義や社会的意義 |
本研究で取り上げた可能世界意味論や、証明論的意味論を含む推論主義的意味論、関連性論理をはじめとする非古典論理といったトピックは、従来の論理哲学においては、それぞれ重要視されながらも、別個に研究されてきた。本研究では、形式論理学の分野における独自の研究成果を用いながら、これらのトピックを総合的に理解する道を示した。そこでは、自己と他者のあいだのやりとりを通じて推論を行い、さらにそうした推論へのコミットメントを明示化することで自らの合理性を吟味する、という推論主義的描像が姿を現わしつつある。
|
