形式逻辑

形式逻辑是一门以思维形式及其规律为主要研究对象，同时也涉及一些简单的逻辑方法的科学。

形式逻辑的研究对象

任何具体思维都有它的内容，也有它的形式。任何具体思维，都涉及一些特定的对象。

例如：

• 物理学中的具体思维，就涉及声、光、电、力等这些特定的对象。
• 数学中的具体思维，就涉及数量、图形等这些特定的对象。

各个不同领域中的具体思维所涉及的对象是不相同的。但是，在各个不同领域的具体思维中，又存在着一些共同因素。

例如：在各个不同领域的具体思维中，都要应用诸如下列这些思维因素：

• 如果······那么······

• 所有······都是······

各个领域共同要用到的思维因素，就是思维形式。

各个领域具体思维所涉及的特殊对象，就是思维内容。

形式逻辑只研究思维形式而不研究思维内容，这不是要将思维形式和思维内容割裂。相反，形式逻辑研究思维形式，正是为了使人们自觉的掌握思维形式的规律。

举例

• S—所有帝国主义政府的一切决策都是从人民出发。
• A—美国是帝国主义国家。
• P—所以美国政府的一切决策都是从人民出发。
  • 形式逻辑研究的是 “S→A→P”的过程是否正确。
  • 形式逻辑不研究“S”,“A”,“P”本身是否正确。

形式逻辑的基本规律

形式逻辑的基本规律和其他规律，要求思想有确定性、明确性、无矛盾性与一贯性，

同一律

• “前后所说的是同一个”，即，在一个思维过程中，前后提及的内容应当是一致的、同一的。

矛盾律

“互相矛盾的思想，其真假判断也一定互相矛盾”，即，在一个思维过程中，两个互相否定的思想不能同真,必有一假。

排中律

“排除中立“，即，在一个思维过程中，一个思想要么是真的，要么是假的，不存在“薛定谔状态”。 

形式逻辑与数理逻辑、辩证逻辑区别

形式逻辑、数理逻辑、辩证逻辑使不同的，但又有一定联系的三门学科。

数理逻辑

• 数理逻辑与形式逻辑的研究对象不是完全相同的

• 数理逻辑与形式逻辑的研究方法是不同的

• 数理逻辑与形式逻辑再人们认识中所起的作用是不同的

辩证逻辑

• 形式逻辑只从思维形式而研究思想本身的准确性、明确性、无矛盾性与一贯性
• 形式逻辑只从真假的角度，研究各种思维之间的真假关系

形式逻辑的作用

• 形式逻辑是认识客观世界的辅助工具

• 形式逻辑是论证思想和表达思想的必要工具
• 形式逻辑可以帮助我们识破谣言、勘破诡辩（但形式逻辑学习再好也无法战胜诡辩）