逻辑的数学转向

On Mathematical Turn of Logic

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

The mid-19th century is a critical period in the development history of logic.The mathematical turn of logic appeared in this period thoroughly remold this old academic subject,which finally become a strict formal discipline.An example of it is using accurate methods of proof in mathematics.What now we called ＂symbol＂ or ＂mathematical＂ logic gained a great development in this period.The development could be the most important and remarkable event in the history of the human intellect development.