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.


—————————————————————————

Catalogo per Collane

I Manuali | Metodo | Materiali | Studi e ricerche | Esedra - Collana di letture | Strumenti | Colloquium | Le Antologie | LED Bibliotheca | Lingue e Culture | Lingue di oggi | Lingue e contesti | Traduzione - Testi e strumenti | Archeologia e Arte antica | Quaderni di Erga-Logoi | Hellenika. Studi di Storia greca | Biblioteca classica | Materiali per una Palingenesi delle Costituzioni Tardo-imperiali | Collana della Rivista di Diritto Romano | BFLR - Biblioteca di filologia e linguistica romanze | Palinsesti - Studi e Testi di Letteratura Italiana | Biblioteca Insubrica | Nomologica | Parerga Nomologica | Humanity by Design. Laboratorio di Antropologia Sociologia e Design della Comunicazione | Laboratorio teoretico | Etica e Vita Comune | Irene. Interdisciplinary Researches on Ethics and the Natural Environment | International Research Center for Cognitive Applied Neuroscience (IrcCAN) | Psicologicamente. Collana dei Dipartimenti di Psicologia. Sapienza Università di Roma | Psychologica | ECPS - The Series | Strumenti e metodi per le scienze sociali | Quaderni di Storia del Pensiero Sociologico | Scienze Sociali | Comunicazione Mente Tecnologia | Languages Cultures Mediation. The Series | Il segno e le lettere. Collana del Dipartimento di Lingue, Letterature e Culture moderne dell’UniversitÓ degli Studi G. d’Annunzio | Costellazioni | Le forme del sentire | Il Filarete. Pubblicazioni della Facoltà di Lettere e Filosofia dell’Università degli Studi di Milano | Cantar Sottile | Studi sull’istruzione superiore. Collana del CIRSIS. Università di Pavia | Istituto Lombardo. Accademia di Scienze e Lettere | Spazio Tesi | Piccoli Giganti Edizioni | Quaderni TaLTaC | Mots Palabras Words - Saggi | Problemata
—————————————————————————

Catalogo per Argomenti

Letteratura. Studi e testi | Estetica - IntermedialitÓ - Arte - Musica - Spettacolo | Scienze dell’antichità | Scienze della storia | Filosofia - Logica - Pensiero Matematico e Scientifico | Etica - Filosofia ambientale | Pensiero politico e sociologico | Diritto - Storia, filosofia e sociologia del diritto | Psicologia giuridica - Criminologia | Psicologia - Neuropsicologia | Informatica umanistica | Scienze della formazione | Strumenti per la didattica e per l’autoapprendimento | Scienze della Comunicazione e Linguistica | Lingue e culture - Mediazione interlinguistica e interculturale | Culture e Società | Economia | Statistica - Metodologia della ricerca sociale

—————————————————————————

eBooks

ePub | PDF

—————————————————————————

Autori e Curatori

A - B - C - D - E - F - G - H - I - J - K - L- M - N - O - P - Q - R - S - T - U - V - W - Z