التأويل في المنطق هو إسناد معنى لرموز لغة شكلية بتعيين امتدادات للثوابت والمتغيرات والدوال والعلاقات بما يجعل جملاً في اللغة تكتسب قيمًا حقيقية؛ تُعرّف اللغة الشكلية نحويًا ثم تُفسَّر عبر دالة تفسيرية تمنح كل رمز امتداده، وإذا أعطت الدالة قيمة "صحيحة" لجملة أو لنظرية يُقال إن التفسير هو نموذج لها.