La logica nasce come disciplina che studia i principi e le regole del ragionamento, ne valuta la correttezza e ne formalizza l'uso. Fin dall'antichità la logica è stata molto studiata: nella Grecia classica il più famoso e importante pensatore che si è dedicato alla logica fu Aristotele (384 ac-322 ac).