If you do not find what you're looking for, you can use more accurate words.
ظهر أول بحث عن نظرية المصداقية المنطقية تحت مسمى نظرية التعلم الرسمي، الاسم الذي وضعه (أوشيرسون واخرون 1986). ويعنبر هذا الاسم مضللا حيث يقدم دراسة عن كيفية تعلم الدارسين. وأعاد كيفين كيلي تسمية هذا المنهج باسم نظرية المعرفة الحسابية (1991،1996) مما يعكس جذوره التاريخية المرتبطة بالنظرية الحسابية ويتجنب الفهم الخاطئ .
يقدم علماء الحاسب الآلي برامج وخوارزميات لمختلف الأغراض التجريبية ،ومن هذا المنظور فإن التعلم هو نقطة التقاء يمكن الوثوق بها لتصحيح الإجابات عن مختلف الأسئلة التجريبية. لذلك فإن نظرية التعلم هي الدراسة الرسمية للمشكلات الإستقرائية ومدى تعقدها وإمكانية الحل لكل من العوامل الذهنية وعوامل تورنج الحسابية.
في منتصف الستينات من القرن الماضي، أضاف (جولد 1967) نظرية تعلم الرسمي لنظريات اكتساب اللغة حيث يطلب من الطفل أن يتلاقى بشكل موثوق فيه مع قواعد لغته الطبيعية.باختصار شديد . وبالتزامن وضع هيلاري بوتنام(بوتنام 1963) نظرية عن التعلم ينتقد بها نظرية كارناب التأكيدية عزم من خلالها على عرض معايير كارناب المسوغة فيما يتعلق باحتمالية نظريته التأكيدية حيث توجد الفرضية التي تنص على أن خوارزميات كارناب الإستقرائية لا يمكن تعلمها حتى مع وجود كل الافتراضات المطلوبة والممكنة. بالإضافة إلى ذلك قدم (بلام وبلام 1975) و(انجلوين1980) حلولا رياضية للمشكلات الإستقرائية.
لم يتم فهم نظرية التعلم الرسمي بين الفلاسفة بشكل واضح ربما لأنهم وجدوا صعوبة في تطبيق النتائج المتعلقة بالإستقرائية على الفلسفة التقليدية القديمة. وقد خضعت نظرية التعلم الرسمي للتساؤل في فلسفة العلوم وعلم المناهج ونظرية المعرفة وذلك بفضل الجهد الذي بذله كيفين كيلي، كلارك جليمور، دان أوشيرسون وأخرون.