逻辑的数学转向

摘要

19世纪中期是逻辑发展史上的一个重要时期。在这一时期出现的逻辑的数学转向使这门古典学术脱胎换骨,最终发展成为一门严格的形式化的学科,它的典范是在数学中使用的精确证明的方法。现代所谓的＂符号＂或＂数理＂逻辑在这段时间的发展是两千年逻辑史上最重要的,也可以说是人类理智史上最重要和最非凡的事件。