布里丹,J.
正文
法國邏輯學家。關於布里丹的生平,邏輯史書記載甚少。他曾於1328年和1340年先後兩次任巴黎大學校長。他對科學問題有廣泛的興趣,注釋了亞里士多德的物理學和天文學著作,並在這些方面進行了一定的研究。其邏輯著作有:《論辯術大全》和《推論》等。布里丹對命題的真假條件作了種種規定。例如,他提出一個命題與其矛盾命題的真值正好相反。他曾提出說謊者悖論的一個變形:"寫在這卷書中的一切語句都是假的",這個語句是寫在這卷書中唯一的一個語句,如果這個語句是真的,那么它就是假的,因為它是寫在這卷書中的一個語句;如果這個語句是假的,那么這卷書中至少有一個語句是真的,可是這卷書中只有唯一的一個語句,因此它是真的。布里丹還提出了解決這種悖論的方法。他的推論學說在歐洲中世紀邏輯中具有重要地位,其內容包括直言命題和模態命題中的推論規律和三段論推理。他在中世紀第一個試圖用公理方法(見公理化的形式化)構造命題邏輯的系統,從一些相當於公理的命題以及定義出發,推出不少命題邏輯的原理。例如,他把雙重否定律、排中律、矛盾律等作為初始命題,推出了以下命題:①一切有效的推論,從後件的矛盾命題推出前件的矛盾命題。②對一切有效的推論來說,凡從後件推出的命題,也可從前件推出。③如果前件由一個命題推出,則後件也由這同一個命題推出。④從前件不能推出的命題,從後件也不能推出。⑤不能推出後件的命題,也不能推出前件。