Ettore Casari - La matematica della verità. Strumenti matematici della semantica logica (2006)

Ettore Casari - La matematica della verità. Strumenti matematici della semantica logica (2006)

Pdf

La ricerca logica, o anche solo la lettura di articoli e saggi concernenti questa disciplina, richiede ormai la padronanza di un non banale patrimonio di nozioni matematiche; in particolare, per quanto attiene alla semantica logica - ossia a quel ramo della logica che si occupa delle possibili interpretazioni e quindi dei possibili concetti di verità logica - di conoscenze algebriche e topologiche. L'ambizione di questo libro è quella di offrire una raccolta, il più possibile sistematica, leggibile ed esauriente di quei paragrafi delle teorie matematiche che vengono più di frequente usati nell'indagine semantica, colmando così una lacuna avvertita ormai come un serio ostacolo allo sviluppo della logica e delle sue sempre più ampie applicazioni.