Libri di Moriconi

Strutture sull'argomentare Moriconi Enrico   -  Edizioni Ets, 2009  -  Analitica

I saggi che costituiscono i capitoli di questo volume sono dedicati alla ricostruzione di alcuni momenti centrali nella storia dei fondamenti della matematica.

Second Pisa colloquium in logic, language and epistemology Moriconi E. (Cur.)  Tesconi L. (Cur.)   -  Edizioni Ets, 2014  -  Analitica

Second Pisa colloquium in logic, language and epistemology - Edizioni ETS

Discorso e significato. Introduzione alla logica contemporanea Moriconi Enrico   -  Carocci, 1994  -  Studi Superiori

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.