قابلية التفسير

في المنطق الرياضي ، تعد قابلية التفسير علاقة بين النظريات الرسمية تعبر عن إمكانية تفسير أو ترجمة إحداها إلى الأخرى.

لنفترض أن T و S نظريتان صوريتان . بتبسيطٍ طفيف، يُقال إن T قابلة للتفسير في S إذا وفقط إذا أمكن ترجمة لغة T إلى لغة S بحيث تُثبت S ترجمة كل نظرية من نظريات T. بالطبع ، توجد بعض الشروط الطبيعية على الترجمات المقبولة هنا، مثل ضرورة أن تحافظ الترجمة على البنية المنطقية للصيغ .

تم تقديم هذا المفهوم، إلى جانب قابلية التفسير الضعيفة ، من قبل ألفريد تارسكي في عام 1953. وهناك ثلاثة مفاهيم أخرى ذات صلة هي قابلية التفسير المشترك ، والتسامح المنطقي ، والتسامح المشترك ، والتي قدمها جيورجي جاباريدزه في عامي 1992-1993.

• التوسع المحافظ
• التفسير (المنطق)
• التفسير (نظرية النموذج)
• منطق قابلية التفسير

• Japaridze, G., and De Jongh, D. (1998) "The logic of provability" in Buss, S., ed., Handbook of Proof Theory . North-Holland: 476–546.
• ألفريد تارسكي ، أندريه موستوفسكي ، ورافائيل روبنسون (1953) النظريات غير القابلة للتقرير . نورث هولاند.