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