Linguistica, logica, informatica: una storia cognitive parallela