الجدلية (من اليونانية δι- di 'مرتين' و ἀλήθεια alḗtheia 'الحقيقة') هي الرأي القائل بأن هناك عبارات صحيحة وكاذبة. بتعبير أدق ، هو الاعتقاد بأنه يمكن أن يكون هناك بيان حقيقي يكون نفيه صحيحًا أيضًا. تسمى هذه العبارات "التناقضات الحقيقية" ، أو الجدلية ، أو اللامثالية. الجدلية ليست نظام منطق رسمي. بدلاً من ذلك ، إنها أطروحة حول الحقيقة التي تؤثر على بناء منطق رسمي ، غالبًا ما يعتمد على أنظمة موجودة مسبقًا. لإدخال الديديتية عواقب مختلفة ، اعتمادًا على النظرية التي تم إدخالها فيها. والخطأ الشائع الناتج عن ذلك هو رفض الجدلية على أساس أنه في النظم التقليدية للمنطق (على سبيل المثال ، المنطق الكلاسيكي والمنطق الحدسي) ، يصبح كل بيان نظرية إذا كان التناقض صحيحًا ، مما يقلل من أهمية مثل هذه الأنظمة عندما يتم تضمين الجدلية باعتبارها المسلمة. [1] ومع ذلك ، فإن الأنظمة المنطقية الأخرى لا تنفجر بهذه الطريقة عند ظهور التناقضات ؛ تُعرف مثل هذه الأنظمة المتسامحة مع التناقض بالمنطق المتناقض. أنصار الجدلية الذين لا يريدون السماح بأن كل عبارة صحيحة يتمتعون بحرية تفضيل هؤلاء على المنطق التقليدي المتفجر. يعرّف غراهام بريست الديالتيّة بأنها الرأي القائل بوجود تناقضات حقيقية. جي سي بيل هو مدافع آخر. يختلف موقفه عن موقف الكاهن في الدعوة إلى الانكماش البناء (المنهجي) فيما يتعلق بمسند الحقيقة. [3]
Dialetheism (from Greek δι- di- 'twice' and ἀλήθεια alḗtheia 'truth') is the view that there are statements which are both true and false. More precisely, it is the belief that there can be a true statement whose negation is also true. Such statements are called "true contradictions", dialetheia, or nondualisms.
Dialetheism is not a system of formal logic; instead, it is a thesis about truth that influences the construction of a formal logic, often based on pre-existing systems. Introducing dialetheism has various consequences, depending on the theory into which it is introduced. A common mistake resulting from this is to reject dialetheism on the basis that, in traditional systems of logic (e.g., classical logic and intuitionistic logic), every statement becomes a theorem if a contradiction is true, trivialising such systems when dialetheism is included as an axiom.[1] Other logical systems, however, do not explode in this manner when contradictions are introduced; such contradiction-tolerant systems are known as paraconsistent logics. Dialetheists who do not want to allow that every statement is true are free to favour these over traditional, explosive logics.
Graham Priest defines dialetheism as the view that there are true contradictions.[2] Jc Beall is another advocate; his position differs from Priest's in advocating constructive (methodological) deflationism regarding the truth predicate.[3]
مشاهدة المرفق 455785