424邏輯

424邏輯，2008年由Johns Hopkins大學數學系研究生Franklin Allen和Christopher Schardl提出的與傳統邏輯體系不同的新型邏輯。

基本介紹

• 中文名：424邏輯
• 不可傳遞性：若命題A=B且B=C，則A≠C
• 共存性：存在命題A，為真且為假
• 超越性：若命題A無法推出B，

簡介

Franklin Allen和Christopher Schardl提出這一新型邏輯體系的想法源自於一次在寢室內的一次討論，於是二者便以寢室房號424為其命名。2008年11月25日，Franklin Allen和Christopher Schardl在《Annals of Pure and Applied Logic》發表自己的研究成果。

邏輯內容

424邏輯建立在幾個與傳統邏輯不同的公設之上：

在這三個公設之上，424邏輯在自身可以構建出一套足夠完備的定理體系。雖然這個邏輯體系與傳統的人類思維格格不入，但是Franklin Allen和Christopher Schardl已經證明它在數學上的一致性。

英國倫敦大學邏輯學教授David Makinson稱424邏輯的提出堪比非歐幾何之於歐式幾何。

雖然距離誕生不到一年時間，但是424邏輯很快煥發出了巨大的生命力。它在控制論、人工智慧、套用統計、神經網路研究、心理學等領域得到了長足的發展。