Letture di Logica
Fondamenti della Matematica. Linee di Ricerca Attuali

A cura di Miriam Franchella e Corrado Mangione – Università degli Studi di Milano

Collana: «Esedra. Collana di Letture» 6 – 14,5 x 21 cm – pagg. 460 – 1993
ISBN 88-7916-025-7

FUORI COMMERCIO

SOMMARIO: Prefazione di C. Mangione - Introduzione di M. Franchella - Nota bibliografica – Parte I. Fondamenti della matematica: G. Frege, I principi dell’aritmetica - D. Hilbert, Nuova fondazione della matematica. Prima comunicazione - L.E.J. Brouwer, Punti e spazi - L.E.J. Brouwer, Considerazioni intuizioniste sul formalismo - G.F.C. Griss, La filosofia idealista - A. Heyting, Sguardo dall’osservatorio intuizionista - P. Bernays, La corrispondenza schematica e le strutture idealizzate – Parte II. Linee di ricerca attuali: H.B. Enderton, Teoria della ricorsività - K. Segerberg e R. Bull, Logica modale di base - A. Macintyre, Teoria dei modelli - J.C. Shepherdson, Introduzione alla teoria della programmazione logica - G.H. Moore, Le origini del forcing - Y. Lafont, Che cos’è la logica lineare? - A. Bonomi, Linguistica e logica – Appendice: Tavola dei simboli speciali.

Questo volume si propone di offrire una testimonianza delle caratteristiche che hanno contraddistinto la determinazione dell’identità e lo sviluppo della logica nel XX secolo, dal suo iniziale legame privilegiato e inscindibile con la problematica dei fondamenti della matematica, al suo evolversi lungo numerose direzioni, nate da tematiche affiorate all’interno della questione fondazionale, che si sono costituite come "settori autonomi" e che ora collegano la logica con altre discipline oltre alla matematica (ad esempio l’informatica, la filosofia del linguaggio) rendendola sfaccettata e difficilmente descrivibile con un’unica definizione. Il volume è articolato in due parti. La prima parte segue l’evolversi della ricerca fondazionale, offrendo le dirette testimonianze di autori che hanno avuto ruoli chiave (Frege, Hilbert, Brouwer, Griss, Heyting e Bernays). La seconda parte, invece, mira a descrivere in modo organico origine, momenti rilevanti, concetti base, orizzonti di ricerca di vari settori che sono oggi fertili campi di indagine logica. Per questo scopo sono stati scelti articoli a carattere divulgativo ed introduttivo (Enderton, Segerberg e Bull, Macintyre, Shepherdson, Moore, Lafont, Bonomi). La raccolta è preceduta da un’introduzione e corredata da una bibliografia di riferimenti essenziali. Ogni articolo è seguito, poi, da una bibliografia specifica propria.