语言、思维和逻辑——符号逻辑通俗讲座之一

1.什么是数理逻辑——一个需要商榷的提法在我国,人们习惯上称传统逻辑为形式逻辑,称现代逻辑为数理逻辑或符号逻辑。那么,什么是数理逻辑呢? 一种通常的提法是:数理逻辑是运用数学方法研究思维的形式结构及其规律的科学。这种提法需要商榷。首先,什么是数学方法?数学方法区别于其他方法之处,就在于它的精确性与严格性。用更本质的概念刻划,就在于它的逻辑性。因此,用“运用数学方法”来规定数理逻辑,难免有循环定义之嫌。事实上,用推