中世纪意大利逻辑学家保罗(威尼斯的)(Paul of Venice，?～1429)的着作。本书是中世纪最系统的一部形式逻辑着作。在书中，作者陈述了一些重要的推论规则，例如：①从条件命题的前件得到后件，是正确的推论;②在析取命题中，从否定一支得到另一支是正确的推论;③对条件命题，由后件的矛盾命题到前件的矛盾命题是有效的推论;④如果前一个推论的后件是后面一个推论的前件，则从第一个推论的前件到最后一个推论的后件，是有效的推论，等等。保罗还发现了“说谎者悖论”，的一些变形，如苏格拉底相信“苏格拉底骗人”，此外不相信其他命题等。他在发现这类悖论的基础上，总结和分析了前人提出的解决办法，并提出了自己的解决办法。保罗的办法实质上在于严格区别悖论命题的普通涵义和“精当”涵义。他的解决方法已经接触到了语言分层次的问题。

本文地址： https://www.yishiweijian.com/zhishibk/20230133268.html

文章来源：主编

版权声明：除非特别标注，否则均为本站原创文章，转载时请以链接形式注明文章出处。