منطق کلاسیک

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

در مقابل، نظام‌های منطقی غیر کلاسیک حداقل یکی از ویژگی‌های زیر را دارا هستند:
 افزودن وجوه.
 کنار گذاشتن تقارن و قوانین دمورگان.
 در منطق شهودگرا عدم تقارن نتیجه کنار گذاشتن استحاله ارتفاع نقیضین است.
 در منطق پارا-شهودگرا عدم تقارن نتیجه کنار گذاشتن استحاله اجتماع نقیضین است.
 کنار گذاشتن برخی از قواعد ساختاری.
 منطق خطی مهم‌ترین نمونه از این دست است.

 جستارهای وابسته 

 منطق ریاضی
 منطق صوری

 منابع 

 Nicholas Bunnin; Jiyuan Yu (2004). The Blackwell dictionary of Western philosophy. Wiley-Blackwell. p. 266. 
 L. T. F. Gamut (1991). Logic, language, and meaning, Volume 1: Introduction to Logic. University of Chicago Press. pp. 156–157. 
 Gabbay, Dov, (1994). 'Classical vs non-classical logic'. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, (Eds), Handbook of Logic in Artificial Intelligence and Logic Programming, volume 2, chapter 2.6. Oxford University Press
 Shapiro, Stewart (2000). Classical Logic. In Stanford Encyclopedia of Philosophy [Web]. Stanford: The Metaphysics Research Lab. Retrieved October 28, 2006, from http://plato.stanford.edu/entries/logic-classical
 Haack, Susan, (1996). Deviant Logic, Fuzzy Logic: Beyond the Formalism. Chicago: The University of Chicago Press

رده:منطق کلاسیک
رده:تاریخ منطق
رده:منطق
رده:منطق ارسطویی