Düşüncenin düşünceyle doğrulanması bilimidir. Aristoteles, düşüncelerin doğru olup olmadığını denetlemek için bilimsel bir düşünce yöntemi aramış ve doğru düşünmenin kurallarını saptamaya çalışarak Bunlara Yunanca ‘alet’ anlamına gelen ‘organon’ adını vermiştir. Aristoteles’e göre mantık kuralları doğru düşünmenin aletleridir. ‘Biçimsel mantık’ denilen mantık, Aristoteles’in kurduğu mantıktır.