|
| 包含选择名字的STIT逻辑初探 |
|
| |
| DOI： |
| 中文关键词: STIT理论 选择 公理系统 |
| 英文关键词: |
| 基金项目:国家社会科学基金重大资助项目（18ZDA290） |
|
| 摘要点击次数: 1540 |
| 全文下载次数: 942 |
| 中文摘要: |
| 提出于20世纪的STIT理论是以分支时间、非决定论与自由选择为哲学前提的一类行动逻辑。利用STIT算子可以对能动句进行清晰的形式分析，从而揭示主体的能动性。尽管如此，主体的选择本身却无法在经典STIT理论中得到表达。通过引入新初始符号并丰富语义结构，主体在语义模型中的选择能够在形式语言中得到表示。可以证明新得逻辑具有可靠并完全的公理系统。 |
| 英文摘要: |
| |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |
|
|
|
