彼得•阿伯拉—-语言逻辑学

完美蕴涵三段论或条件论凭借其形式是有效的。阿伯拉认为三段论的规范语气及其条件化是形式上有效的，不需要主题或最大命题来保证推理。阿伯拉关于完美蕴涵的标准是普遍替代，这是另一个被认为起源于几个世纪后的观点。三段论

一切都是废话

因此，所有Bs均为CST：

都是Cs

对于替换A、B和C的任何术语都有效。除了形式逻辑结构之外，不需要任何东西来保证蕴涵。

不完美的蕴涵需要更多的东西来证明推论的正确性。这里，阿伯拉进一步区分了三段论和条件句。不完全三段论的有效性标准是前提不可能为真，结论不可能为假。然而，阿伯拉允许关于世界的非形式事实（de natura rerum）证明三段论推理的必要性。这些关于世界的事实被编成主题和命题。极大命题；例如，“对物种的任何预测都是对属的预测”不仅通过规定一个关于世界的非形式事实来保证推论的正确性，而且还将可接受的替代范围限制在那些表示属及其物种的术语上。有效的不完全三段论的必要性不在于逻辑，而在于物理学。

阿伯拉对条件句有更严格的标准。在当代，阿伯拉否定了演绎定理。前因不可能为真，后因不可能为假，这是不够的。这种关系可能是偶然的。一个条件句要成为真的，它也必须是由先行词所表示的理解“包含”了对结果句的理解。阿伯拉尔给出的一个真正的有条件的例子是，“如果某物是身体，那么它就是物质的。”物质性包含在术语“身体”所指的理解中，因此这个条件是真实的。然而，“如果某物是一个物体，它是有色的”是错误的。这是一个关于世界的事实，每个身体都是某种颜色或其他颜色，但“被着色”并不包含在对身体的理解中。因此，虽然焓值“X是一个物体，因此X是有色的”是有效的，但相应的条件是假的。他的学生，索尔兹伯里的约翰表示震惊，阿伯拉会接受一些三段论是有效的，但拒绝他们的相应条件为假。