في المنطق الكلاسيكي ، ينص قانون عدم التناقض (LNC) (المعروف أيضًا بقانون التناقض ، أو مبدأ عدم التناقض (PNC) ، أو مبدأ التناقض) على أن البيانات المتناقضة لا يمكن أن تكون صحيحة بنفس المعنى في في نفس الوقت ، على سبيل المثال الاقتراحان "A هو B" و "A ليس B" متنافيين. هذا هو الثاني من ثلاثة قوانين الفكر الكلاسيكية. تم ذكر المبدأ كمنظرية منطقية من قبل راسل و وايتهيد في Principia Mathematica على النحو التالي:
\ mathbf {* 3 \ cdot 24}. \ \ \ vash. \ thicksim (p. \ thicksim p)}
إن قانون عدم التناقض ، جنبا إلى جنب مع تكملة له ، قانون الوسط المستبعد (ثلث قوانين الفكر الكلاسيكية الثلاثة) وقانون الهوية (أول قوانين الفكر الكلاسيكية الثلاثة) ، يقسم الكون المنطقي إلى بالضبط جزئين. إنه يخلق انقسامًا حيث يكون الجزءان "متبادلين حصريًا" و "شاملًا". إن قانون عدم التناقض هو مجرد تعبير عن الجانب الحصري المتبادل لهذا الانقسام ، وقانون الوسط المستبعد ، وهو تعبير عن جانبه الشامل بشكل مشترك. [تفرع ثنائي] |