تأملی در منطق ریاضی ((نگرش اصل موضوعی))

بنیان محاسباتی منطق ریاضی حساب گزاره ها است. حساب گزاره ها از دو لایه تشکیل می شود: لایه روئین آن نگرش تابع ارزش و لایه زیرین آن نگرش اصل موضوعی است. در این مقاله لایه زیرین حساب گزاره ها یعنی نگرش اصل موضوعی مورد نقد و بررسی قرارگرفته است. در این بررسی، ضمن معرفی نظام اصل موضوعی دو ویژگی بنیادین آن را کاویده ایم: یکی قاعده استنتاجی مشترک، در این بخش نشان داده ایم که قاعده وضع مقدم( رفع تالی) از سویی جوهر استدلالی هر نظام عقلی است و از سوی دیگر مشترک بین آن هاست . ویژگی دیگر نظام اصل موضعی، قابلیت تکثر آن است . در این بخش ضمن مقایسه قابلیت تکثر نظام اصل موضوعی با جوهر استدلالی آن نظام نشان داده ایم که منطق به مثابه استدلال،‌ نه تنها محتاج نظام اصل موضوعی نیست، بلکه حاکمیت نگرش اصل موضوعی در منطق، آن را جوهر استدلالی - ابزاری - خود دور ساخته و هویت علمی خاص - استقلالی - بدان می بخشد.