گزاره ضرور ازلی

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