研究課題/領域番号 |
23K18598
|
研究種目 |
研究活動スタート支援
|
配分区分 | 基金 |
審査区分 |
0101:思想、芸術およびその関連分野
|
研究機関 | 東北大学 |
研究代表者 |
大森 仁 東北大学, 情報科学研究科, 准教授 (50771036)
|
研究期間 (年度) |
2023-08-31 – 2025-03-31
|
研究課題ステータス |
交付 (2023年度)
|
配分額 *注記 |
2,210千円 (直接経費: 1,700千円、間接経費: 510千円)
2024年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2023年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
|
キーワード | 多値論理 / 非決定論的意味論 / 真矛盾主義 / 矛盾許容型論理 / 証明論的意味論 |
研究開始時の研究の概要 |
本研究の主題は、多値論理の意味論の一般化とみなすことができるNon-deterministic semanticsである。その考え方自体は、哲学者の間で1960年代から様々な形で見られるが、2000年以降技術的な観点から大きな進展があった。しかし、哲学的な観点から技術的に得られてきた理解を踏まえた研究は未だないままであるという現状を踏まえ、Non-deterministic semanticsの、(i)古典論理との距離の検討、(ii)哲学的貢献の可能性の検討、そして(iii)非古典論理の立場からの展開の可能性の検討、の三つを目標としている。
|