32. 第五节 负命题等值推理 - 1

逻辑学有两千多年的发展历史。人们通常把19世纪中叶以前的逻辑学称为传统逻辑，又称为形式逻辑，把19世纪中叶以后发展起来的数理逻辑称为现代逻辑，也称为符号逻辑。传统逻辑主要是指传统演绎逻辑和传统归纳逻辑，即由亚里士多德创立、经过中世纪和近代的演变而一直发展到19世纪的形式逻辑。其中，传统演绎逻辑通常从词项逻辑和命题逻辑这两个视角来研究人类语言中的推理现象，而传统归纳逻辑主要研究枚举归纳推理、穆勒五法和类比推理。传统逻辑还包括关于同一律、矛盾律和排中律等逻辑思维规律的理论。现代逻辑与传统逻辑的一个重要区别在于,现代逻辑在研究中广泛使用了人工符号语言，并发展为使用一种形式化的公理方法，同时也应用了某些数学理论。现代逻辑通过更为精确的人工语言来研究人类思维中的推理现象。现代逻辑作为一种研究理论工具，不仅有助于研究哲学问题，而且对研究人工智能与计算机理论也有重要价值。除了传统逻辑与现代逻辑，在上世纪70年代人们开始研究关于日常语言论证的非形式逻辑。非形式逻辑的任务是讲述日常生活中分析、解释、评价、批评和论证建构的非形式标准、尺度和程序。形式逻辑研究论证主要是基于语义的研究，即真假命题之间的关系研究；而非形式逻辑研究论证主要是基于语用的研究，即从语境和论证目的角度进行研究，这更贴近人们的日常生活。