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