biblioest, Università degli Studi di Trieste e delle provincie del Friuli Venezia Giulia, Sebina, biblioteca, opac, catalogo biblioteca, Friuli, Regione Friuli, biblioteche del Friuli Venezia Giulia, Catalogo biblioteca, Prestito libri, prestito ebook, reteindaco
Gli ultimi decenni hanno visto un impetuoso sviluppo nello studio dei sistemi di logica.
[...]
Questi – nati tra la fine dell'Ottocento e l'inizio del Novecento come strumento per l'indagine sui fondamenti della matematica – sono diventati uno dei luoghi privilegiati per una rinnovata discussione di tradizionali temi filosofici: si pensi, ad esempio, alle nozioni di 'necessità', di 'analiticità', di 'verità', di 'infinito', di 'causa'. Muovendo dai problemi posti dalla reinterpretazione della logica classica, i nuovi sistemi logici non hanno solo arricchito la speculazione filosofica contemporanea. Essi, infatti, definiscono un ambito di questioni che interessa logici e matematici, ma anche quei linguisti, psicologi e informatici che indagano le relazioni fra linguaggi formali e linguaggi naturali e le modalità logiche delle argomentazioni umane. Il volume si propone di introdurre, in modo chiaro e progressivo, allo studio di questa vicenda, delineando in primo luogo i caratteri fondamentali della logica classica – connettivi, analisi della quantificazione, regole inferenziali, deduzione naturale, logica modale, logica rilevante – per poi tracciare una mappa dei suoi più importanti sviluppi (induzione e teoria della ricorsione, semantica e teoria dei modelli, sistemi di deduzione e teoria della dimostrazione). Vengono così forniti i basilari strumenti per affrontare direttamente questa complessa materia, svolgendo anche argomenti di solito poco o nulla trattati. È caratteristica di questo volume la presentazione analitica del teorema di completezza semantica.
