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