INTRODUZIONE ALLA LOGICA
Linguaggio, significato, argomentazione
Autore/i e indice
Autori
Andrea Cantini si è laureato nel 1974 in Filosofia a Firenze con Ettore Casari. È stato borsista Fulbright presso la University of California di Berkeley, e borsista Humboldt e CNRNATO presso l’Università di Monaco di Baviera. Ha insegnato presso le Università della Calabria e di Trieste ed è attualmente ordinario di Logica presso l’Università di Firenze. I suoi interessi di ricerca riguardano le teorie della verità e dell’astrazione, la teoria della dimostrazione, la storia e la filosofia della logica e della matematica. È autore fra l’altro della monografia Logical Frameworks forTruth and Abstraction (Amsterdam, 1996) e di numerosi articoli su riviste specializzate di logica (“Journal of Symbolic Logic”, “Archive for Mathematical Logic”, “Studia Logica”) e in atti di convegni nazionali e internazionali.
Pierluigi Minari si è laureato in Filosofia con Ettore Casari a Firenze, dove ha poi conseguito il titolo di dottore di ricerca in Filosofia. È attualmente professore straordinario di Logica all’Università di Firenze. Le sue principali aree di ricerca sono le logiche non classiche (intermedie, modali, polivalenti, sottostrutturali), la semantica algebrica e relazionale, la teoria della dimostrazione, la logica combinatoria e il lambda-calcolo. Fra le sue pubblicazioni si segnalano la monografia Indagini semantiche sulle logiche intermedie proposizionali (Bibliopolis, Napoli, 1989) e numerosi articoli su riviste internazionali di logica (tra cui “Zeitschrift für Mathematische Logik und Grundlagen der Mathematik”, “Studia Logica”, “Journal of Symbolic Logic”, “Archive for Mathematical Logic”) e in atti di convegni nazionali e internazionali.
Indice
Premessa; 1. A proposito della logica: sul concetto d’inferenza; I. I concetti di base: 2. Analisi logica: gli enunciati atomici; 3. Analisi logica: le operazioni di connessione; 4. Analisi logica: quantificatori; 5. Alberi di Beth per la logica enunciativa; 6. Alberi di Beth per la logica dei predicati; 7. La sillogistica; II. Strumenti: 8. Teoria ingenua degli insiemi: nozioni introduttive; 9. Algoritmi e macchine di Turing: un’introduzione; Indice analitico.