形式逻辑基本规律

指人们的思维必须遵守的最基本的逻辑规律，包括同一律、矛盾律、排中律和充足理由律。前三条规律为亚里士多德所发现，后一条规律是莱布尼茨提出的。这些规律对于一切思维形式都是普遍有效的，是各种思维形式的特殊的逻辑规律和规则的基础。同一律、矛盾律和排中律各自内容虽然不同，但有着内在的紧密联系，从不同的角度要求并保证思维具有确定性和一贯性。充足理由律则要求并保证思维的论证性。人们的思维如果违反了这些基本规律，那么就要导致思想上的混乱。
同一律 内容：在同一个思维过程中，每一个思想都必须保持自身的同一。公式：A是A。这个公式中的“A”表示任意一个概念或命题。同一律要求在同一个论证中，每一个概念或命题的内容都必须是确定的。如果在使用概念和命题进行推理或论证的过程中违反了同一律的要求，就要犯“偷换概念”、“偷换论题”的逻辑错误。
矛盾律 内容：在同一个思维过程中，两个相互排斥的思想不能都是真的，其中至少有一个是假的。公式：A不是非A。这个公式中的“A”表示任意一个命题。矛盾律要求在同一个论证中，对于两个相互反对或者相互矛盾的命题不能都加以肯定。违反了矛盾律的要求，在思维中就要出现自相矛盾的情况。
排中律 内容：在同一个思维过程中，两个互相矛盾的思想不能都是假的，其中必有一真。公式：或者A或者非A。这个公式中的“A”表示任意一个命题。排中律要求在同一个论证中，对于两个相互矛盾的命题不能都予以否定，而必须肯定其中的一个。违反排中律，就要犯“模棱两不可”的逻辑错误。
充足理由律 内容：在论证过程中，确定任何一个命题为真时，必须具有充足理由。公式：A真，因为B真并且B能推出A。公式中的“A”代表在论证中要确定为真的命题，“B”代表用来确定“A”真的命题（也可以是一组命题）。充足理由律要求在论证某个论题为真时，要有理由，理由要真实，理由与论题之间要有逻辑上的推论关系。违反充足理由律的要求，思维就缺少论证性，就要犯“虚假理由”或“推不出”的逻辑错误。