Con ogni acquisto su Bookdealer sostieni una libreria indipendente del territorio.
Editore: Plus
Reparto: Logica
ISBN: 9788884926722
Data di pubblicazione: 02/12/2009
Numero pagine: 532
Collana: Manuali
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.
Registrati gratuitamente e ottieni subito un codice sconto per il tuo primo acquisto.