Linguaggio e modelli formali

L’aspirazione al rigore formale caratterizza essenzialmente il pensiero linguistico del Novecento, dallo strutturalismo, passando attraverso la svolta impressa dal generativismo, fino ai nostri giorni, in cui, anche a causa dell'imponente sviluppo del web, l'ideale della macchina che comprende il linguaggio è sempre più attuale. Questo volume, presentando le principali teorie formali applicate alla analisi sintattica e semantica delle lingue naturali, prova a suggerire quanto sia stato, e continui a essere, complesso e fecondo l'intreccio tra logica, matematica, filosofia e linguistica descrittiva nella riflessione moderna sul linguaggio. Ne emerge un quadro in cui linguaggio e ragionamento trovano un comune fondamento teorico.