（一）数理逻辑思想的形成早在两千多年以前，伴随着生产实践、自然科学和思想论战的发展，以思维和论辩的方法为研究对象的逻辑学就在中国、印度、希腊逐步产生了。不过，当...(展开)

到17世纪，随着实验自然科学的兴起和发展，英国哲学家弗兰西斯·培根开拓了新的逻辑科学领域，研究了科学归纳法问题，奠定了归纳逻辑的基础。培根的主要著作是《新工具》...(展开)