"Formalizzazione logica e semantica linguistica da Saussure a Chomsky"