Percorsi di logica

Lo scopo di Percorsi di Logica è guidare il lettore alla scoperta di alcuni tra i temi più importanti della logica formale classica. Il volume mira a esporre in modo rigoroso ed esauriente, agevolando la costruzione di percorsi tematici personalizzati, i concetti e i risultati di base impiegati in questa disciplina, senza trascurarne l’accessibilità da parte di un pubblico non specialista. A tal fine, il testo è corredato di una sezione riservata ai preliminari matematici e alle tecniche dimostrative più comuni. Il volume presenta la logica proposizionale e predicativa, considerandole da una prospettiva semantica e sintattica. Particolare attenzione è riservata alla loro metateoria. Percorsi di Logica è pensato per le esigenze dei nuovi corsi di laurea in discipline umanistiche e scientifiche. Tuttavia, il volume è accessibile anche ai lettori autodidatti che intendono approfondire autonomamente i temi classici e alcuni degli sviluppi più recenti della logica formale.

Davide Fazio è ricercatore post-dottorato presso il dipartimento di Pedagogia, Psicologia e Filosofia dell’Università di Cagliari. I suoi interessi di ricerca includono le logiche non-classiche, le algebre della logica, e l’epistemologia formale.
Antonio Ledda è professore ordinario di Logica e Filosofia della Scienza presso il dipartimento di Pedagogia, Psicologia e Filosofia dell’Università di Cagliari. Gli ambiti sui quali verte la sua ricerca sono l’indagine algebrica relativa alle strutture quantistiche, la teoria della residuazione e la logica algebrica.
Michele Pra Baldi è ricercatore post-dottorato presso l’Istituto di Ricerca in Intelligenza Artificiale del Consiglio Superiore per la Ricerca Scientifica spagnolo (IIIA-CSIC). Gli ambiti della sua ricerca includono la logica algebrica, le sue applicazioni allo studio semantico di logiche non classiche e l’epistemologia formale.

Il formato PDF è un formato sviluppato da Adobe ampiamente utilizzato per distribuire documenti su Internet e ormai diventato un importante standard per la stampa. Il principale vantaggio di questo formato consiste nell'essere totalmente rispettoso dell'impaginazione data al contenuto. Quindi un eBook in PDF verrà visualizzato allo stesso modo su ogni tipo di computer (Windows, Mac OS e Unix/Linux) e su ogni eReader che supporta il formato PDF.

Il Watermark DRM conosciuto anche social DRM include all’interno del file delle informazioni sul legittimo proprietario (per esempio nome, cognome, indirizzo email ecc.). L'eBook è quindi personalizzato ma a parte questo può essere letto su qualsiasi dispositivo compatibile con il formato scelto e può essere trasferito, copiato e stampato senza limitazioni di alcun tipo.