【数理逻辑】亦称“符号逻辑”。用数学方法研究思维的形式结构及其规律的学科。内容包括逻辑演算、模型论、公理集合论、递归论和证明论等。对数学、计算机科学、自动化系统等有深远的影响。
数理逻辑shù lǐ luó ji用数学方法研究推理、计算等逻辑问题的学科。也称符号逻辑。1920年《新青年》第8卷第2号张崧年《罗素》：“罗素(Bertrand Russell)是现代世界至极伟大的数理哲学家，是于近世在科学思想的发展上开一新时期的一种最高妙的新学(即数理逻辑，也称记号逻辑或逻辑斯谛科Logistic)很有创发而且集大成的。”1946年钱钟书《围城》三：“柏格森的敌人罗素肯敷衍中国人，请他喝过一次茶，他从此研究数理逻辑。”
|