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