Logica, la teoria classica dell'inferenza