鲍尔查诺，B．

【介绍】：

捷克哲学家、逻辑学家、数学家，曾任布拉格大学的宗教哲学教授，1819年因对政治问题发表了自由的意见而被免职。主要著作有《科学论》(1837)、《无穷的怪论》(逝世后出版，1851)。鲍尔查诺是数理逻辑的先驱之一，他的主要贡献有：①探讨了关系理论，把关系定义为一个整体的特征，注意到对称关系和不对称关系之间的区别，并考察了具有多于两项关系的可能性。②定义了“可推导性”的概念，这一概念现在被称为“后承”。③肯定了实无穷，较早看到无穷集合与真部分一一对应的特征，不把它看成悖论，提出了集合的势的概念。这些对后来G．F．L．P．康托尔创建集合论有一定的影响。