وهكذا، ويقود ديفيدسون إلى استنتاج أن نظرية المعنى يجب أن يكون مثل هذا الحكم لكل من اللغة كائن فإنه ينشئ نظرية من النموذج 'ق صحيحا إذا وفقط إذا ع'.
He concludes that a theory of meaning must be such that for each sentence of the object language it generates a theorem of the form 's is true if and only if p'.