布里丹，J.是什么?

[拼音]：Bulidan

[外文]：Jean Buridan (1300～1358)

法国逻辑学家。关于布里丹的生平，逻辑史书记载甚少。他曾于1328年和1340年先后两次任巴黎大学校长。他对科学问题有广泛的兴趣，注释了亚里士多德的物理学和天文学著作，并在这些方面进行了一定的研究。其逻辑著作有：《论辩术大全》和《推论》等。

布里丹对命题的真假条件作了种种规定。例如，他提出一个命题与其矛盾命题的真值正好相反。他曾提出说谎者悖论的一个变形：“写在这卷书中的一切语句都是假的”，这个语句是写在这卷书中唯一的一个语句，如果这个语句是真的，那么它就是假的，因为它是写在这卷书中的一个语句；如果这个语句是假的，那么这卷书中至少有一个语句是真的，可是这卷书中只有唯一的一个语句，因此它是真的。布里丹还提出了解决这种悖论的方法。他的推论学说在欧洲中世纪逻辑中具有重要地位，其内容包括直言命题和模态命题中的推论规律和三段论推理。他在中世纪第一个试图用公理方法（见公理化的形式化）构造命题逻辑的系统，从一些相当于公理的命题以及定义出发，推出不少命题逻辑的原理。例如，他把双重否定律、排中律、矛盾律等作为初始命题，推出了以下命题：

（1）一切有效的推论，从后件的矛盾命题推出前件的矛盾命题。

（2）对一切有效的推论来说，凡从后件推出的命题，也可从前件推出。

（3）如果前件由一个命题推出，则后件也由这同一个命题推出。

（4）从前件不能推出的命题，从后件也不能推出。

（5）不能推出后件的命题，也不能推出前件。