布里丹简介
布里丹（Jean Buridan；1300～1358），法国逻辑学家。
关于布里丹的生平，逻辑史书记载甚少。
他曾于1328年和1340年先后两次任巴黎大学校长。
他对科学问题有广泛的兴趣，注释了亚里士多德的物理学和天文学著作，并在这些方面进行了一定的研究。
其逻辑著作有：《论辩术大全》和《推论》等。
布里丹对命题的真假条件作了种种规定。
例如，他提出一个命题与其矛盾命题的真值正好相反。
他曾提出说谎者悖论的一个变形：“写在这卷书中的一切语句都是假的”，这个语句是写在这卷书中唯一的一个语句，如果这个语句是真的，那么它就是假的，因为它是写在这卷书中的一个语句；如果这个语句是假的，那么这卷书中至少有一个语句是真的，可是这卷书中只有唯一的一个语句，因此它是真的。
布里丹还提出了解决这种悖论的方法。
他的推论学说在欧洲中世纪逻辑中具有重要地位，其内容包括直言命题和模态命题中的推论规律和三段论推理。
他在中世纪第一个试图用公理方法（见公理化的形式化）构造命题逻辑的系统，从一些相当于公理的命题以及定义出发，推出不少命题逻辑的原理。
例如，他把双重否定律、排中律、矛盾律等作为初始命题，推出了以下命题：①一切有效的推论，从后件的矛盾命题推出前件的矛盾命题。
②对一切有效的推论来说，凡从后件推出的命题，也可从前件推出。
③如果前件由一个命题推出，则后件也由这同一个命题推出。
④从前件不能推出的命题，从后件也不能推出。
⑤不能推出后件的命题，也不能推出前件。
