اتساق

الاتساق يقال في علم المنطق عن نظرية أنها متناسقة عندما تخلو من أي تناقضات،  والاتساق (عدم التناقض) هو مقياس الصواب والخطأ في العلوم الصورية (المنطق والرياضيات)، أما العلوم الطبيعية فإن مقياس الصواب والخطأ فيها هو تطابق النتائج مع الواقع.

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

الهوامش 

ما وراء المنطق
مسائل هيلبرت
نظرية البرهان