同一律是形式逻辑的基本规律之一，就是在同一思维过程中，必须在同一意义上使用概念和判断，不能混淆不相同的概念和判断。公式是：＂甲是甲＂或＂甲等于甲＂。

包括三方面的内容：

(1)思维对象的同一。在同一个思维过程中，思维的对象必须保持同一；在讨论问题、回答问题或反驳别人的时候，各方的思维对象也要保持同一。

(2)概念的同一。在同一个思维过程中，使用的概念必须保持同一；在讨论问题、回答问题或反驳别人的时候，各方使用的概念也要保持同一。

(3)判断的同一。同一个主体(个人或集体)在同一时间(相应的客观事物处于相对稳定状态时)，从同一方面对同一事物作出的判断必须保持同一。同一律要求思维的确定性，但是并不否认思维的发展变化。它完全是对思维过程说的，并不要求客观事物保持同一，绝对不变。

逻辑的“同一律”方面的内容中，应该包括“同一立场”和“同一时空”在里面。

哲学中的同一律

在杂多缤纷的世界中，每一个个别的“存在”都是“一”，具有个别性、独立性、完全与自己等同，但与别的其他事物都不相同。这就是“同一律”（Princium Identitatis）所呈现的公式：A=A，并非有两个相同的A，而是惟有一个与自己等同的A。“同一律”保证每个事物独立存在的资格，事物都存在自己之内，用不着和“特性”一般，寄生在别的事物身上，这就是“范畴”中的“实体”的存在。