重庆理工大学学报（社会科学）

重庆理工大学学报（社会科学） ›› 2020, Vol. 34 ›› Issue (2): 10-18.

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

Lukasiewicz的实然三段论系统LA的证实与证伪

黄梦瑶，张晓君   

  1. 四川师范大学逻辑与信息研究所
  • 发布日期:2020-03-15
  • 作者简介:黄梦瑶， 硕士研究生， 主要从事自然语言逻辑研究； 通讯作者： 张晓君， 研究员， 博士， 主要从事自然语言逻辑研究。

  • Published:2020-03-15

PDF (PC)

56

赞

摘要： 以 Ｊｏｈｎｓｏｎ 等文献为基础，利用广义量词理论和集合论， 对Lukasiewicz提出的实然三段论系统LA进行深度拓展研究，并给出一些定理说明如何形式化地对实然三段论进行证实与证伪。

关键词: 实然三段论, LA系统, 证实, 证伪

中图分类号: 

  • B81