Willard Van Orman Quine thought that the failure of substitutivity in intensional contexts (e.g., "Sally believes that p" or "It is necessarily the case that q") shows that modal logic is an impossible project.
يعتقد ويلارد فان أورمان كواين أن فشل الاستبدالية ( (substitutivety في الحالات المتعلقة بالشدة (مثلاً 'سالي تعتقد أن p' أو 'هو بالضرورة واقع q') يبرهن أن المنطق الشكلي مشروع مستحيل.