例说数理逻辑学的产生和发展

来源：语数外学习(语文教育), 2020, (04): 51-52.

<正>逻辑学是探索、阐述和确立有效推理原则的学科.用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑学,也叫做符号逻辑学.数理逻辑学的产生利用计算的方法来代替人们思维中的逻辑推理过程,这种想法早在17世纪就有人提出过.莱布尼茨就曾经设想过能不能创造一种"通用的科学语言",可