摘要
宽泛地说,逻辑学的主要任务之一是研究合理的论证,构造相应的论证系统,例如亚里士多德的三段论和一阶逻辑。如今,人们已普遍接受一个常识:如果没有合理的论证方法,理性的(民主的)社会生活和科学研究是不可能的,作为证据,请考虑一下说理与证明在人类文明中的作用。同时,运用计算机处理某对象领域中相关问题的必要条件是:该领域能够被二进制逻辑描述。因此,计算机在全球的普遍运用等于宣告逻辑学渗入世界的每一个角落。不言而喻,就其重要性而言逻辑学是人类文明的基石之一。
出处
《求是学刊》
CSSCI
北大核心
2007年第6期23-24,共2页
Seeking Truth