简介

逻辑内容

简介

2008年由Johns Hopkins大学数学系研究生Franklin Allen和Christopher Schardl提出的与传统逻辑体系不同的新型逻辑。Franklin Allen和Christopher Schardl提出这一新型逻辑体系的想法源自于一次在寝室内的一次讨论，于是二者便以寝室房号424为其命名。2008年11月25日，Franklin Allen和Christopher Schardl在《Annals of Pure and Applied Logic》发表自己的研究成果。

逻辑内容

424逻辑建立在几个与传统逻辑不同的公设之上：

1、不可传递性：若命题A=B且B=C，则A≠C

2、共存性：存在命题A，为真且为假

3、超越性：若命题A无法推出B，B无法推出C，则A=>C

在这三个公设之上，424逻辑在自身可以构建出一套足够完备的定理体系。虽然这个逻辑体系与传统的人类思维格格不入，但是Franklin Allen和Christopher Schardl已经证明它在数学上的一致性。

英国伦敦大学逻辑学教授David Makinson称424逻辑的提出堪比非欧几何之于欧式几何。

虽然距离诞生不到一年时间，但是424逻辑很快焕发出了巨大的生命力。它在控制论、人工智能、应用统计、神经网络研究、心理学等领域得到了长足的发展。