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