Mantık, aklın tüm insanlarda ortak bir işleyiş biçiminin olduğu varsayımına dayanan, akıl yürütmelerdeki düzenliliği formel bir dille ifade etmeye, onları denetlenebilir kılmaya imkân sağlayacak kuralları belirlemeye çalışan bir bilgi sistemi olarak ...