山西金朝律师事务所形式逻辑讲堂

山西金朝律师事务所--在线讲座
本所开通律师在线讲座栏目，从法学概念、法条运用、法理分析结合案例讲解相关法律知识，以浅显易懂的语言帮助您提高法律意识水平。

本期开讲《形式逻辑》。

讲座（一）形式逻辑概述
形式逻辑（Formal logic）是研究演绎推理及其规律的科学，包括对于词项和命题形式的逻辑性质的研究、思维结构的研究与必然推出的研究，它提供检验有效的推理和非有效推理的标准。

它总结了人类思维的经验教训，以保持思维的确定性为核心，用一系列规则、方法帮助人们正确地思考问题和表达思想，是人们认识世界和改造世界的必要工具，是人类认识发育到一定阶段后出现思维方法。

形式逻辑研究的推理中的前提和结论之间的关系，是由作为前提和结论的命题的逻辑形式决定的，而命题的逻辑形式（简称命题形式）的逻辑性质则是由逻辑常项决定的。

形式逻辑已经历了2000多年的历史，19世纪中叶以前的形式逻辑主要是传统逻辑，19世纪中叶以后发展起来的现代形式逻辑，通常称为数理逻辑，也称为符号逻辑。

传统逻辑通常把命题分为直言命题、选言命题和假言命题，并研究这几种命题的形式和推理形式。

传统逻辑还包括关于矛盾律和排中律等逻辑规律的理论，以及有关词项的理论。

数理逻辑它是现代形式逻辑。

之所以称为数理逻辑，一方面是由于在研究中广泛地使用了人工的符号语言，并发展为使用一种形式化的公理方法，同时也应用了某些数学的工具和具体的结果；另一方面则是由于现代形式逻辑的发展受到数学基础研究的推动，特别是受到深入研究数学证明的逻辑规律和数学基础研究中提出来的逻辑问题的推动。

数理逻辑之所以又被称为符号逻辑，是由于它使用人工的符号语言。

逻辑，是对思维过程的抽象。

研究逻辑的目的是要在思维的层面上弄清楚得到结论的原因。

从这个研究任务上来看，凡是具有得出结论的作用的思维过程，都是逻辑过程。

据此，人的逻辑应分为三大类，即朴素逻辑、工具逻辑（包括称名逻辑、形式逻辑、表象逻辑）和辩证逻辑。