ISBN: 978-6741-085-9
Pagine: 540


Condividi pagina su:
 

Argomenti di logica

di C.Marletti, E.Moriconi, M.Mariani  edito da Pisa University Press

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 conclusioni 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”. Fin dall’inizio, comunque, cioè fin dalla teoria del sillogismo di Aristotele, ’aspetto “argomentativo” occupa una posizione speciale. La stessa idea di un corpo organizzato di conoscenze implica infatti che una teoria non debba essere descritta semplicemente come un insieme di asserzioni: queste asserzioni devono essere mutuamente 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, 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.

n ?? ?, ? ? ? ?n ???, ? ?n ???, ? n ?? ?, ? ? ? ?n ???, ?, ? n ?? ?, ? ? ? ?n ?, ???, ? n ?? ?, ? ? ? ?n ?, ???, ? ?n ?, ???, ? G0ce G0ce n = 0 ?? ?,¬? G0ce ¬? ?, ?? ? n > 0 ?n+1 : ?? ?,¬? ¬? IC¬ ? ?, ??? ? n ¬? ? ?1 : ??? ??,¬? ?2 : ???? ???,¬? ? n ? n ?11 : ?, ??? ?? ?21 : ?, ???? ??? ?? : ?, ??? n + 1 n > 0 ?n+1 : ?? ?, ??? ??? IC? ? ???, ?, ? ? n ? ? ? ? ?1 : ??? ??, ? ? ? ? n ? n ?11 : ??? ??, ?, ? ?? : ???, ?, ? n + 1 n > 0 G0ae G0ce n ?, ?, ?? ? n ?, ??? n ?? ?, ?, ? n ???, ? G0ae G0ce continua

Sfoglialo OnLine

Web
Prezzo:
18.99 €


Leggilo sul tuo dispositivo mobile scaricando l'App gratuita

Library
Prezzo:
22,99
Vai alle pubblicazioni dell'editore