从三段论扩充到命题逻辑
-
摘要: 以罗伯特·范·罗伊的工作为基础,展示如何通过形式化的方法把三段论逻辑扩充到全部命题逻辑.文中将依次给出按现代逻辑标准形式化的三个逻辑:亚里士多德的三段论逻辑SYL,引入否定词项等之后的扩充系统SYL+,最终得到从三段论逻辑扩充而来的命题逻辑SYL-PL.
-
-
计量
- 文章访问数: 333
- HTML全文浏览数: 218
- PDF下载数: 1
- 施引文献: 0
引用本文: | 张立英,刘新文. 从三段论扩充到命题逻辑[J]. 西南大学学报(社会科学版), 2013, 39(1). |
Citation: |
摘要: 以罗伯特·范·罗伊的工作为基础,展示如何通过形式化的方法把三段论逻辑扩充到全部命题逻辑.文中将依次给出按现代逻辑标准形式化的三个逻辑:亚里士多德的三段论逻辑SYL,引入否定词项等之后的扩充系统SYL+,最终得到从三段论逻辑扩充而来的命题逻辑SYL-PL.