同一律：形式逻辑的基本规律之一，就是在同一思维过程中，必须在同一意义上使用概念和判断，不能混淆不相同的概念和判断．公式是：＂甲是甲＂或＂甲等于甲＂。矛盾律：传统逻辑基本规律之一，又称不矛盾律。它通常被表述为A不是非A，或A不能既是B又不是B。在传统逻辑里，矛盾律首先是作为事物规律提出来的，意为任一事物不能同时既具有某属性又不具有某属性。排中律：传统逻辑基本规律之一，通常被表述为A是B或不是B。传统逻辑首先把排中律当作事物的规律，意为任一事物在同一时间里具有某属性或不具有某属性，而没有其他可能。排中律同时也是思维的规律，即一个命题是真的或不是真的，此外没有其他可能。理由律：即充足理由原则，任何一件事如果是真实的、或实在的，任何一个陈述如果是真的，就必须有一个为什么这样而不那样的充足理由，虽然这些理由常常总是不能为我们所知道的。