构造逻辑

---

(拉丁语constructio——构造) 数理逻辑的一个流派。

Л．布劳维、Г．魏尔、А．海丁的著作为构造逻辑的发展莫定了基础。构造逻辑的基本思想是禁止把适用于有限集合的原理用到无限集合上去(例如：整体大于部分的原理，排中律等)。古典逻辑和构造逻辑对无限概念的看法不同：前者把无限看成是现实的，已经完成了的，而后者则把无限看成是潜在的，正在形成的(现实的无限和潜在的无限)。构造逻辑的特点是研究客体和整个数理逻辑理论的归纳结构。

有人根据构造逻辑的原理试图对现代数理逻辑和数学的基本成果重新加以考察。苏联学者А．Н．科尔莫戈罗夫、А．А．马尔柯夫、Н．А．沙宁对构造逻辑的发展曾作出重大贡献。