Argomenti di logica. Nuova ediz.

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è com