高橋和巳

[拼音]：Bulidan

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

法國邏輯學家。關於布里丹的生平，邏輯史書記載甚少。他曾於1328年和1340年先後兩次任巴黎大學校長。他對科學問題有廣泛的興趣，註釋了亞里士多德的物理學和天文學著作，並在這些方面進行了一定的研究。其邏輯著作有：《論辯術大全》和《推論》等。

布里丹對命題的真假條件作了種種規定。例如，他提出一個命題與其矛盾命題的真值正好相反。他曾提出說謊者悖論的一個變形：“寫在這卷書中的一切語句都是假的”，這個語句是寫在這卷書中唯一的一個語句，如果這個語句是真的，那麼它就是假的，因為它是寫在這卷書中的一個語句；如果這個語句是假的，那麼這卷書中至少有一個語句是真的，可是這卷書中只有唯一的一個語句，因此它是真的。布里丹還提出瞭解決這種悖論的方法。他的推論學說在歐洲中世紀邏輯中具有重要地位，其內容包括直言命題和模態命題中的推論規律和三段論推理。他在中世紀第一個試圖用公理方法（見公理化的形式化）構造命題邏輯的系統，從一些相當於公理的命題以及定義出發，推出不少命題邏輯的原理。例如，他把雙重否定律、排中律、矛盾律等作為初始命題，推出了以下命題：

（1）一切有效的推論，從後件的矛盾命題推出前件的矛盾命題。

（2）對一切有效的推論來說，凡從後件推出的命題，也可從前件推出。

（3）如果前件由一個命題推出，則後件也由這同一個命題推出。

（4）從前件不能推出的命題，從後件也不能推出。

（5）不能推出後件的命題，也不能推出前件。