منطق جدید و الاهیات (کاربرد سیستم های منطقی جدید در حل مسائل الاهیاتی)

منطق جدید با پیشرفت ها و توسعه های گسترده ای که داشته است می تواند ابزاری قوی جهت تبیین براهین فلسفی و الاهیاتی به شمار رود. اصل موضوعی بودن سیستم های منطقی جدید کمک بزرگی در کشف سازگاری یا ناسازگاری های استدلال های فلسفی و الاهیاتی است. افزون بر این، اهمیت اصل موضوعی کردن نظام های فلسفی و الاهیاتی بر اهل نظر پوشیده نیست و استفاده از نظام های پیشرفته منطقی جدید برای این هدف مهم نیز می تواند سودمند باشد. در این جستار برآنیم که با ذکر نمونه هایی ، نحوه کاربرد و اهمیت نظام های منطقی جدید و روش اصل موضوعی را در حل پاره ای از مهم ترین مسائل الاهیاتی نشان دهیم. یکی از مسائل مهم و زیر بنایی الاهیات مساله اثبات وجود باری است. یافتن براهین مستحکم اثبات وجود خدا مبتنی بر نظام های منطقی جدید دیری نیست که برخی از بزرگ ترین منطق دانان جدید را به خود مشغول داشته است؛ بنابراین، برای آشنایی با نمونه های گوناگون این تلاش ها مهم ترین آن ها در این تحقیق ذکر شده و با توجه به وسعت یک مقاله یکی از این براهین که بر منطق موجهات جدید مبتنی است مورد بررسی تحلیلی قرار گرفته.