包含选择名字的STIT逻辑初探

摘要：

提出于20世纪的STIT理论是以分支时间、非决定论与自由选择为哲学前提的一类行动逻辑.利用STIT算子可以对能动句进行清晰的形式分析,从而揭示主体的能动性.尽管如此,主体的选择本身却无法在经典STIT理论中得到表达.通过引入新初始符号并丰富语义结构,主体在语义模型中的选择能够在形式语言中得到表示.可以证明新得逻辑具有可靠并完全的公理系统.

关键词：STIT理论、选择、公理系统

所属期刊栏目：22

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金重大资助项目18ZDA290

在线出版日期：2020-01-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：29-36