ينص مبدأ التحقق على أن العبارة لا تكون ذات معنى إلا إذا أمكن التحقق منها من خلال الملاحظة التجريبية أو كانت صحيحة بحكم التعريف (تحليلية). وعند تطبيقه على اللغة الدينية، يتحدى هذا المبدأ المعنى المعرفي للعبارات اللاهوتية عن الله، حيث أن ادعاءات مثل "الله قادر على كل شيء" أو "الله يحب البشرية" لا تبدو قابلة للتحقق التجريبي ولا صحيحة تحليلياً. وهكذا يطرح المبدأ تحدياً أساسياً: إذا لم يكن بالإمكان التحقق من العبارات الدينية من خلال التجربة الحسية أو التحليل المنطقي، فقد تكون خالية من المعنى المعرفي—ربما تعبر عن مشاعر أو مواقف بدلاً من تقديم ادعاءات واقعية عن الحقيقة. وهذا يخلق معضلة للمؤمنين الذين يفهمون عادة عباراتهم على أنها ادعاءات حقيقية عن طبيعة الواقع.
ظهر مبدأ التحقق من حلقة فيينا في عشرينيات وثلاثينيات القرن العشرين، خاصة من خلال أعمال موريتز شليك ورودولف كارناب وأوتو نويراث. وقد نشره أ.ج. آير في الفلسفة الناطقة بالإنجليزية من خلال كتابه اللغة والحقيقة والمنطق (1936)، حيث جادل بأن العبارات الميتافيزيقية واللاهوتية خالية من المعنى حرفياً. ميّز الوضعيون المنطقيون بين المعنى المعرفي (المحتوى الواقعي) والمعنى الانفعالي (التعبير عن المشاعر)، وأحالوا اللغة الدينية إلى الفئة الأخيرة. ومع ذلك، استجاب المفكرون الدينيون بطرق مختلفة: جادل جون هيك في الإيمان والمعرفة (1957) لصالح التحقق الأخروي، مقترحاً أن الادعاءات الدينية يمكن التحقق منها من حيث المبدأ بعد الموت. طور إيان رامزي في اللغة الدينية (1957) مفهوم مواقف الكشف حيث تعمل اللغة الدينية بشكل مختلف عن الخطاب التجريبي.
أثار النقاد عدة اعتراضات قوية على تطبيق مبدأ التحقق على اللغة الدينية. أولاً، يبدو المبدأ متناقضاً ذاتياً: فالعبارة "العبارات القابلة للتحقق فقط هي ذات معنى" ليست هي نفسها قابلة للتحقق التجريبي ولا تحليلية. ثانياً، يستبعد المبدأ ليس فقط اللغة الدينية بل أيضاً العبارات الأخلاقية والأحكام الجمالية والادعاءات التاريخية عن الماضي. ثالثاً، جادل المدافعون عن اللغة الدينية بأنها تعمل بطرق متعددة تتجاوز تقديم الادعاءات التجريبية—التعبير عن الالتزام، أو إثارة التجارب، أو وصف السلوكيات. اقترحت فلسفة فيتجنشتاين المتأخرة، خاصة في التحقيقات الفلسفية (1953)، أن المعنى ينبع من الاستخدام داخل الألعاب اللغوية، وليس من شروط التحقق. قد تشكل اللغة الدينية لعبتها اللغوية الخاصة بقواعد متميزة. جادل الفلاسفة المعاصرون مثل ألفين بلانتينجا بأن مبدأ التحقق يستند إلى نظرية معرفة تجريبية عفا عليها الزمن تمنح امتيازاً تعسفياً للتجربة الحسية.
يختلف مبدأ التحقق عن المقاربات الأخرى للغة الدينية في موقفه الإقصائي الجذري. بينما يحافظ الإسناد التناظري (توما الأكويني) على أن المصطلحات تنطبق على الله والمخلوقات بمعانٍ مترابطة لكن مختلفة، وتركز طريقة النفي على ما ليس الله عليه، يشكك مبدأ التحقق في ما إذا كانت اللغة الدينية لها أي محتوى معرفي على الإطلاق. وعلى عكس تحدي التكذيب، الذي يسأل عما يُعتبر دليلاً ضد الادعاءات الدينية، يتطلب التحقق تأكيداً تجريبياً إيجابياً. المبدأ أكثر صرامة من التفسير الرمزي، الذي يمنح اللغة الدينية معنى غير حرفي، حيث أنه ينفي احتمالياً أي محتوى قابل للصدق في العبارات الدينية.