Libri di Carlo Angelo Marletti

Fin dalla sua nascita con Aristotele la logica si è 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, già 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 "realtà" poté 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, cioè come un corpo ben caratterizzato e organico di conoscenze, capace però di significativi contatti e applicazioni in vari ambiti dell'indagine scientifica. Ed è della logica così 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.

Fin dalla sua nascita la logica si è occupata di "linguaggi", delle argomentazioni costruibili entro tali linguaggi, e delle strutture che questi linguaggi descrivono e nelle quali premesse e conclusioni delle argomentazioni possono risultare vere o false. Più tardi (con Leibniz e Frege), si fece strada l'idea che i linguaggi in questione debbano essere linguaggi formalmente definiti attraverso esplicite regole di formazione e trasformazione. Allora il problema delle interrelazioni fra linguaggio e realtà poté 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. Fin dall'inizio, l'aspetto argomentativo occupa una posizione speciale. L'idea di un corpo organizzato di conoscenze implica che una teoria non sia descritta come un insieme di asserzioni: queste asserzioni devono essere collegate, e talvolta anche connesse con altri tipi di dati. Muovendosi fra le sollecitazioni e le metodologie fornite via via da filosofia, matematica e informatica, la logica ha sempre mantenuto omogenea la sua natura, qualificandosi come una teoria, cioè come un corpo ben caratterizzato e organico di conoscenze, capace però di significativi contatti e applicazioni nei vari ambiti dell'indagine scientifica. Ed è della logica così intesa che questo volume intende fornire una esauriente e originale presentazione.

Per quasi mezzo secolo il sistema politico italiano è stato caratterizzato da una forma stabile di democrazia multipartitica, fondata su equilibri politici instabili, che pur tra molte contraddizioni ha saputo garantire il pluralismo dell'identità e degli interessi in un quadro di progressivo sviluppo. Ma a partire dai primi anni Novanta la politica non è più stata in grado di rispondere alle esigenze della società ed è iniziata una controversa fase di transizione. Uno dei maggiori limiti del dibattito in corso è quello di aver concentrato l'attenzione soprattutto sugli aspetti formali, lasciando in ombra il rapporto tra politica e società. E su questo terreno che rinasce l'interesse per un'interpretazione sociologica del cambiamento politico.