从三段论扩充到命题逻辑
-
摘要: 以罗伯特·范·罗伊的工作为基础,展示如何通过形式化的方法把三段论逻辑扩充到全部命题逻辑.文中将依次给出按现代逻辑标准形式化的三个逻辑:亚里士多德的三段论逻辑SYL,引入否定词项等之后的扩充系统SYL+,最终得到从三段论逻辑扩充而来的命题逻辑SYL-PL.
-
-
计量
- 文章访问数: 455
- HTML全文浏览数: 340
- PDF下载数: 1
- 施引文献: 0
下载: