Libri di Antonio Ledda

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.

Che cosa sono le teorie scientifiche e come si rapportano al mondo? Che cosa distingue le teorie matematiche dalle teorie delle scienze empiriche e che cosa, invece, le accomuna? Come mai la matematica è il mezzo migliore e più potente per descrivere e spiegare i fenomeni naturali, ma anche molti di quelli sociali e psicologici? Domande di questo genere possono oggi essere affrontate in modo adeguato solo riconoscendo il ruolo fondamentale svolto dai modelli nello sviluppo delle scienze e delle loro teorie. La prima parte del libro analizza e ricostruisce le diverse accezioni del concetto di modello nella tradizione semantica della filosofia della scienza; la seconda e la terza sono invece dedicate ai modelli nelle teorie fisiche e in quelle matematiche. Il volume mette in luce come gran parte degli usi più significativi del termine "modello" nelle scienze possa essere ricondotta alla nozione matematico-insiemistica di modello. Essa costituisce la base di due distinti concetti di verità, uno dei quali si applica alle teorie matematiche e l'altro a quelle empiriche.

È intenzione del presente lavoro indagare, seguendo una prospettiva gnoseologica, una parte almeno della storia di due modelli filosofici che hanno indicato una via sostanziale - ed, in questo senso, forte - del pensare. Il tomismo e la fenomenologia, seppur praticamente distanti, mostrano in controluce uno spirito che pare accostarli nella ricerca essenziale del conoscere. Da tale presupposto si sviluppa una ricerca tesa ad evidenziare i principi stessi delle esigenze razionali fenomenologiche sullo sfondo prospettico dell'imponente struttura metafisica tomista, della quale l'opera husserliana raccoglie l'afflato ad essere sistematica di sapere. In un serrato confronto con le acquisizioni teoretiche contenute nelle principali opere dei due pensatori studiati, viene messo in luce ciò che in Husserl è ricerca ed in Tommaso è verità pretesa. Obbiettivo dell'autore non è quello di giustificare ed eleggere affinità, bensì d'interrogare per quanto possibile, nella crisi della condizione in atto, le intenzioni che hanno spinto due pensieri a farsi sistema, chiavi di volta che, sommerse, pur vivono ed agiscono nell'esistere.