同一律

传统逻辑基本规律之一。通常表述为“A是A”。在传统逻辑里，它有4方面的含义。①事物规律：任一事物是什么就是什么，即任一事物与自身同一。②思维规律：任一命题是真的就是真的。③认识的规范：任何人如果断定某一命题就应断定该命题。④语义规则：在同一语境中，同一语词或语句应当表示同一思想。后两种含义都是规范性的，常被当作为防止偷换概念或偷换论题的根据，因之也可称为同一律的要求。亚里士多德没有明确提出同一律，但已有关于同一律的思想和应用。他在《前分析篇)中说：“任何真实的事物，必定在每一方面与它自身一致。”G．W．F．黑格尔用一般思维中的命题形式不是“A是A”这一事实来反对作为逻辑规律的A是A，这是一种曲解。同一律在任何逻辑系统，任何数学分支中，都起作用。事物的自身同一并不排斥事物的变化发展。在现代逻辑中，p→p是命题逻辑的同一律；x=x是带等词的一阶谓词逻辑的同一律；A=A是关于集合的同一律。