چند روشن‌گری در مورد منطق

چکیده:

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

تحصیلات

سمت

مرتضی منیری دانشیار گروه ریاضی دانشگاه شهید بهشتی

تعداد صفحات

21

فصلنامه

فصلنامه منطق پژوهی دوره 11شماره 2

ناشر

پژوهشگاه علوم انسانی و مطالعات فرهنگی

نقد و بررسی

هیچ دیدگاهی هنوز نیست.

اولین نفری باشید که نظر می دهید “چند روشن‌گری در مورد منطق”

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *

2 × پنج =