重庆理工大学学报(社会科学) ›› 2020, Vol. 34 ›› Issue (6): 5-9.

• 逻辑与科学方法论 • 上一篇    

演算 LLC + q 的扩充和应用

贾 青   

  1. 中国社会科学院 哲学研究所
  • 发布日期:2020-07-09
  • 作者简介:贾青,副研究员,博士,硕士生导师,主要从事哲学逻辑研究。

  • Published:2020-07-09

摘要: 给出演算 LLC + q 的一个加模态算子的扩充,即通过向 LLC + q 的语言中增加一个一元模态算子◇,进而得到扩充演算 LLC + q + ◇。LLC + q + ◇这一演算不但能够处理语言学中的回指以及量化问题,还能对“可能”这一模态词进行刻画。除此之外,LLC + q + ◇还能被用于分析皮尔士谜题并给出皮尔士谜题的一个范畴类型逻辑的处理方案。

关键词: LLC + q, LLC + q + ◇, 皮尔士谜题

中图分类号: 

  • B81