[拼音]：Weiniside Baoluo

[外文]：Paul of Venice (?～1429)

中世纪意大利逻辑学家。逻辑史书上关于他的生平记载极少。他曾任教师，著有《大逻辑》等书。

保罗对词项、命题和推论作了详尽的研究，对欧洲中世纪逻辑的发展作出了重要贡献。他的《大逻辑》一书是中世纪最系统的一部形式逻辑著作。他陈述了一些重要的推论规则，例如：

（1）从条件命题的前件得到后件，是正确的推论；

（2）在析取命题中，从否定一支得到另一支是正确的推论；

（3）对条件命题，由后件的矛盾命题到前件的矛盾命题是有效的推论；

（4）如果前一个推论的后件是后面一个推论的前件，则从第一个推论的前件到最后一个推论的后件，是有效的推论，等等。保罗还发现了“说谎者悖论”（见悖论）的一些变形，如苏格拉底相信“苏格拉底骗人”，此外不相信其他命题等。他在发现这类悖论的基础上，总结和分析了前人提出的解决办法，并提出了自己的解决办法。保罗的办法实质上在于严格区别悖论命题的普通涵义和“精当”涵义。设悖论命题为 A（即A意味：A是假的），悖论的产生与以下两个命题有关：

（1）如果A意味p，则A真当且仅当p，

（2）如果A意味p，则A假当且仅当非p。

（1）②对A采用的是普通涵义。A的“精当”涵义如下：

（1）ˊ 如果A意味p，则A真当且仅当[嘼A真，并且嘽p]；

（2）ˊ 如果A意味p，则A假当且仅当[并非嘼A真，并且嘽p]。

按照保罗的办法，以①ˊ②ˊ取代①②，悖论就不会发生。这种巧妙的解决办法已接触到语言分层次的问题。