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

چکیده
منطق جدید با پیشرف تها و توسع ههای گسترد های که داشته است م یتواند ابزاری قوی
جهت تبیین براهین فلسفی و الاهیاتی ب هشمار رود. اصل موضوعی بودن سیست مهای منطقی
جدید کمک بزرگی در کشف سازگاری یا ناسازگار یهای استدلا لهای فلسفی و الاهیاتی
است. افزون بر این، اهمیت اصل موضوعی کردن نظا مهای فلسفی و الاهیاتی بر اهل نظر
پوشیده نیست و استفاده از نظا مهای پیشرفته منطقی جدید برای این هدف مهم نیز م یتواند
سودمند باشد.
در این جستار برآنیم که با ذکر نمون ههایی، نحوه کاربرد و اهمیت نظا مهای منطقی جدید
و روش اصل موضوعی را در حل پار های از مه مترین مسائل الاهیاتی نشان دهیم.
یکی از مسائل مهم و زیر بنایی الاهیات مساله اثبات وجود باری است. یافتن براهین
مستحکم اثبات وجود خدا مبتنی بر نظا مهای منطقی جدید دیری نیست که برخی از
بزر گترین منط قدانان جدید را به خود مشغول داشته اس ت؛ بنابراین، برای آشنایی با نمون ههای
گوناگون این تلا شها مه مترین آ نها در این تحقیق ذکر شده و با توجه به وسعت یک مقاله
یکی از این براهین که بر منطق موجهات جدید مبتنی است مورد بررسی تحلیلی قرار گرفته.
(Free منطق آزاد ، (Modal Logic) واژگان کلیدی: منطق ، الاهیات ، منطق موجهات
. ( Semantic ) معنا ، ( Syntax ) گزاره ضرور ازلی، برهان پذیری، نحو ، Logic)
محقق.
۸۴/۱۰/ ۸۴ تأیید: ۵ /۹/ تاریخ دریافت: ۷
۲۱۲
سال یازدهم / پاییز ۱۳۸۵
ادامه مطب را در فایل پی دی اف مشاهده کنید.