逻辑是研究思维的形式及其规律的科学。一般来说,被尊为逻辑之父的是古希腊的哲学家亚里士多德。他制定了包括三段论逻辑在内的分析和评价论证的系统准则。19世纪以前,在逻辑学的研究——特别是教学中,一直延续着这种“大逻辑”传统。近代德国哲学家弗雷格提出将数学方法融入逻辑学,英国数学家罗素...