ARGOMENTI DI LOGICA. NUOVA EDIZ. di MARLETTI CARLO ANGELO MORICONI

FIN DALLA SUA NASCITA CON ARISTOTELE LA LOGICA SI E' OCCUPATA DI "LINGUAGGI", DELLE "ARGOMENTAZIONI" COSTRUIBILI ENTRO TALI LINGUAGGI, E DELLE "STRUTTURE" CHE QUESTI LINGUAGGI SONO INTESI DESCRIVERE E NELLE QUALI PREMESSE E CONCLUSIONE DELLE ARGOMENTAZIONI POSSONO RISULTARE VERE O FALSE. SUCCESSIVAMENTE, GIA' CON LEIBNIZ, MA POI DEFINITIVAMENTE CON FREGE, SI FECE STRADA L'IDEA CHE I LINGUAGGI IN QUESTIONE DEBBANO ESSERE LINGUAGGI FORMALMENTE DEFINITI ATTRAVERSO ESPLICITE REGOLE DI FORMAZIONE E TRASFORMAZIONE. È A QUESTO PUNTO CHE IL PROBLEMA DELLE INTERRELAZIONI FRA LINGUAGGIO E "REALTA'" POTE' ESSERE STUDIATO MATEMATICAMENTE, METTENDO A FUOCO LE DUE QUESTIONI DI BASE: QUELLA DELLE ASSERZIONI VERE "STRUTTURA PER STRUTTURA" E QUELLA DELLE ASSERZIONI VERE "IN TUTTE LE STRUTTURE". MUOVENDOSI FRA LE SOLLECITAZIONI E LE METODOLOGIE FORNITE VIA VIA DA FILOSOFIA, MATEMATICA E INFORMATICA, LA LOGICA HA SEMPRE MANTENUTO OMOGENEA LA SUA STRUTTURA, QUALIFICANDOSI COME UNA TEORIA, CIOE' COME UN CORPO BEN CARATTERIZZATO E ORGANICO DI CONOSCENZE, CAPACE PERO' DI SIGNIFICATIVI CONTATTI E APPLICAZIONI IN VARI AMBITI DELL'INDAGINE SCIENTIFICA. ED E' DELLA LOGICA COSI' INTESA CHE QUESTO VOLUME INTENDE FORNIRE UNA ESAURIENTE E ORIGINALE PRESENTAZIONE, PRESTANDO PARTICOLARE ATTENZIONE A VARIE TECNICHE DIMOSTRATIVE E DI COSTRUZIONE DI MODELLI E PROPONENDOSI COME UN TESTO UTILIZZABILE IN CORSI DI VARIA NATURA SU QUESTI ARGOMENTI.