التناسقية
من ويكيبيديا، الموسوعة الحرة
 |
هذه المقالة يتيمة إذ لا تصل إليها مقالة أخرى. ساعد بإضافة وصلة إليها في مقالة متعلقة بها. (أبريل_2012) |
يقال في علم المنطق عن نظرية أنها متناسقة عندما تخلو من أي تناقضات. الخلو من التناقضات يشير إلى كلا التناقضات المعنوية والقواعدية. هذا الخلو من التناقضات يمكن تعريفه بطريقتين: تعريف دلالي أو تعريف نحوي. التعريف الدلالي ينص على أن النظرية متناغمة ومتنسقة إذا وفقط إذا كان لها نموذج. (أنظر نظرية النموذج)، بمعنى أن هنالك تفسير بموجبه جميع الصيغ في النظرية صحيحة. هذا هو المنطق المستخدم في المنطق الأرسطي التقليدي، على الرغم من المنطق الرياضي المعاصر يتم استخدام مصطلح إرضاء بدلاً من ذلك. أما التعريف النحوي ينص على أن النظرية متناغمة ومتنسقة إذا وفقط إذا لم يكن هنالك صيغة P بحيث كلٍ من P و نَفيُها يمكن استنتاجهما و إثباتهما من بديهيات نظرية تحت نفس النظام الاستنتاجي المستخدم.
