(资料图片仅供参考)
1、构造逻辑是一种非经典的逻辑系统。它主要由对数学持直觉主义、构造主义或致力于构造性数学研究和发展的数学家和逻辑学家建立和使用。在数理逻辑和数学基础中,“构造性”一词有几种不同的理解并在几种不同的意义下使用,其共同之处在于它们都满足下列构造性要求:①对存在命题ヨxAx的一个证明是构造性的,如果从这个证明能找到(构造出)一个特殊的对象x,它满足A;②不能无条件地使用排中律。按照构造性观点,对于p∨塡p,只有在有一个方法能判明p与塡p中哪一个是真的情况下,才能承认它是真的,而不承认任一命题非真即假。按照这些构造性观点建立的逻辑就是构造逻辑。
文章到此就分享结束,希望对大家有所帮助。