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

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