| 保罗(威尼斯的) Paul of Venice1342—1429 中世纪意大利逻辑学家。所著《大逻辑》综合前人的学说，构建了一个庞大的形式逻辑体系，是中世纪众多“逻辑大全”中的代表作。该书讨论了不可解命题(语义悖论)。提出一批悖论，并将之归为“单称的”、“量化的”、“可解析的”诸类。列出十四种前人所提出的解决语义悖论的方法，这些方法可归结为“拒斥”、“限制”与“解析”等三类。主张在严格区分语义悖论的普通含义和精当含义的基础上，按精当含义对不可解命题进行层层分析，命题中的悖论就能最终被排除。这一思想引起了现代逻辑学家的重视。还对词项、命题和推论作了详尽讨论。提出真和假是陈述句的值。研究了因空类的存在而引起的词项存在问题，认为有差等关系的命题，其主项须有相同的指代，差等关系方可成立。陈述了一些推理规则，有的相当于现今的充分条件假言推理的肯定前件式、否定后件式，选言推理中的否定肯定式。主要著作还有《亚里士多德后分析篇阐释》、《论诡辩》等。 |