Aristoteles mantık biliminin kurucusudur. Aristotelesçi mantık düşüncenin biçimsel tarafını analiz ettiğinden (yani analitik olduğundan) çoğu zaman formel mantık olarak anılır. Bununla birlikte Aristoteles’in mantık ilmini dış gerçeklikten tamamen bağımsız olarak tasavvur ettiğini düşünmek hata olur.