逻辑学与数学的关系:数学起源于直觉,数学起源于逻辑,二者并重。
直觉主义认为:数学起源于直觉。
逻辑主义认为:数学起源于逻辑。
形式主义认为:二者并重。
逻辑和数学之间关系
逻辑是探索、阐述和确立有效推理原则的学料。最早是由古希腊学者亚里士多德创建的。数理逻辑是用数学方法即建立一套符号体系的方法来研究推理的形式结构和规律的一门学料。
包括逻辑演算、集合论,证明论、模型论、递归论等内容。由于在逻辑学中使用了符号,故数理逻辑也称为符号逻辑。数理逻辑研究的主要问题是推理。所谓推理是指研究前提和结论之间的关系与思维规律,数理逻辑的特点是叙述简单明了,通俗流畅。逻辑性强。