|
Titolo: Letture di logica. Fondamenti della Matematica. Linee di ricerca attuali
A cura di: Miriam Franchella e Corrado Mangione - Università degli Studi di Milano
Editore: Led
Collana: "Esedra. Collana di Letture" 6
Pagine: 460
Formato: 14,5x21 cm
Anno: 1993
Codice ISBN: 88-7916-025-7
Prezzo: 36,50 Euro
Clicca per procedere all'acquisto
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.
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
|