留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

从三段论扩充到命题逻辑

上一篇

下一篇

张立英,刘新文. 从三段论扩充到命题逻辑[J]. 西南大学学报(社会科学版), 2013, 39(1).
引用本文: 张立英,刘新文. 从三段论扩充到命题逻辑[J]. 西南大学学报(社会科学版), 2013, 39(1).
Citation:

从三段论扩充到命题逻辑

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

从三段论扩充到命题逻辑

  • 中央财经大学现代逻辑研究所,北京市,100081 中国社会科学院哲学研究所,北京市,100732

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

English Abstract

参考文献 (0)

目录

/

返回文章
返回