首页 > 按月查看>2019年第6月 >29-36
PDF 导出
包含选择名字的STIT逻辑初探
DOI:
作者:
作者单位:

作者简介:

通讯作者:

基金项目:

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


Author:
Affiliation:

Fund Project:

  • 摘要
    • |
  • 图/表
    • |
  • 访问统计
    • |
  • 参考文献
    • |
  • 相似文献
    • |
  • 引证文献
    • |
  • 资源附件
    摘要:

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

    Abstract:

    参考文献
    相似文献
    引证文献
引用本文

黄华新,何键枫.包含选择名字的STIT逻辑初探[J].湖南科技大学学报(社会科学版),2019,(6):29-36

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
历史
  • 收稿日期:
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2019-12-23

您是本站第 4754718 访问者

通信地址：湖南科技大学期刊社

电话/传真：0731-58291391，0731-58290272 E-mail：xuebao@hnust.edu.cn

版权所有：湖南科技大学学报(社会科学版) ® 2025 版权所有