近代数学、逻辑和科学哲学中的若干认识论问题

摘要

从西方科学哲学的观点来看，纯粹数学和逻辑虽不等同于“形而上学”，但它们也不是由“观察语句力组成的。这两门科学的“语句”的“意义”既不是用“可证实性的原则”来确定，但也不是用“可否证性”的原则来否定，而是通过它们所从属的公理的推演及其有关规则来检验，这就是说，数学和逻辑的真理性与经验或实践的标准无关。