أى نظرية عامة للمنطق الأستنتاجي لابد وأن تحقق هدفين: الأول، تفسير العلاقات بين المقدمات والنتيجة داخل الحُجة. والثاني تقديم طرق وأدوات للتفريق ما بين الاستنتاج الصالح و الغير صالح. وفي الواقع هناك منظومتين فقط في تاريخ علم المنطق حاولتا التعامل مع هذين الهدفين، وهما منظومة المنطق الكلاسيكية أو الأرسطوطالية، والثانية عادة ما يطلق عليها منظومة المنطق الرمزية او الرياضية، والبعض قد يطلق عليها المنطق الحديث .
- جهنم الإسلام
- The Impossibility of Miracles إستحالة المعجزات
- التفسيرات النفسية لجهنم
- معضلة الشر عند مُتكلمي الإسلام
- Religion Explains Nothing! !دين لا يفسر شئ
- EP63: Propositional Logic منطق القضايا
- الحُجّة الوجودية من التعريف
- جهنم حضارات الغرب
- جهنم ما قبل التاريخ
- Religious Experiences التجارب الدينية