布里丹公式

在量化模态逻辑中，布里丹公式和可转换的布里丹公式（更准确地说，是模式而不是公式）（i）在句法上说明量词和模态之间的互换原则；（ii）在语义上说明可能世界域之间的关系。

这些公式是为了纪念中世纪哲学家让·布里丹 (JeanBuridan) 而命名的，与露丝·巴肯·马库斯 (RuthBarcanMarcus) 作为公理提出的Barcan公式和反面Barcan公式相类似。

布里丹公式是。用英语来说，这个模式是这样的。如果一切都可能是F，那么一切都可能是F。在经典模态逻辑中（但在模态逻辑的其他表述中不一定）。

布里丹的逻辑，除了对亚里士多德的文本进行贯穿式评论外，布里丹还写了特别有影响力的问题评论，这是中世纪学术成果的一种典型体裁，作者在其中系统地讨论了他们所讲授的文本所提出的最有问题的问题。

这种问题形式使布里丹能够利用他在逻辑学作品中开发的概念工具，详细阐述他对亚里士多德哲学几乎所有方面的唯名论观点。

在他的逻辑学作品中（其中还包括一些对亚里士多德逻辑学著作的重要问题评论），有两部作品因其原创性和重要性而脱颖而出：

简短的《后果论》，它对布里丹的推论理论进行了系统的阐述；

以及更大的《辩证法摘要》，这是布里丹涵盖其逻辑理论所有方面的巨著。

在中世纪的学术界，唯名论者认为，普遍性只存在于特定事物或实用环境之后，而现实主义者则追随柏拉图，断言普遍性独立于并高于特定事物而存在。

布里丹以对可敬的现实主义大师西班牙的彼得的影响巨大的逻辑学论文的评论形式，写下了他的《辩证法摘要》，这本书在大约两个世纪里成为欧洲大学的唯名论逻辑的主要教科书。

然而，为了注释的目的，布里丹完全重新组织了彼得的论文，在彼得的现实主义学说与他自己的唯名论相抵触的地方，他只是用自己的文本取代了彼得的文本。