Dalla filosofia della scienza alla filosofia nella scienza. E-book. Formato EPUB Alberto Strumia   -  Edusc, 2017  - 

A partire dagli anni sessanta del XX secolo abbiamo assistito, con la comparsa della problematiche legate alla complessità – in fisica, biologia e progressivamente in tutte le discipline – che si sono affiancate a quelle già presenti relative alla logica e ai fondamenti della matematica, all’emergere, dall’interno delle discipline scientifiche, dei loro teoremi, leggi e formulazioni, di questioni che un tempo erano riservate alla filosofia della natura e alla metafisica. Così, gradualmente, la “Filosofia della scienza” si è venuta a trasformare in una “Filosofia nella scienza”. Questo libro intende esporre sommariamente i passaggi salienti di questo percorso. Alberto Strumia è dottore in Fisica e in Teologia fondamentale, è stato ordinario di Fisica-matematica all’Università di Bari ed è docente di Filosofia della natura, Filosofia della scienza e Logica alla Facoltà teologica dell’Emilia Romagna. Si occupa di logica formale e di teoria dei fondamenti.

Percorsi interdisciplinari della logica. E-book. Formato EPUB Alberto Strumia   -  Edusc, 2017  - 

La logica si presenta, oggi, come una disciplina totalmente astratta, priva di qualunque aggancio “empirico” con l’esperienza, addirittura più della matematica che, alla fine ha a che fare con calcoli che terminano con dati numerici utili a “qualcosa” e non sempre solo con simboli vuoti. Eppure la logica, originariamente, nasce anch’essa come una scienza in qualche modo “sperimentale”... La differenza con le “scienze sperimentali” come la fisica, la biologia, ecc., consiste nel fatto che queste ultime hanno come oggetto delle entità reali “extra-mentali”, osservabili con i nostri sensi esterni, mentre l’oggetto della logica è tratto dall’esperienza “interna” (mentale, non esternamente sensibile) e studia le regole di funzionamento del pensiero, considerato indipendentemente dal suo significato, dal suo possibile riferimento al mondo extra-mentale, finendo per distaccarsene completamente. In questo nostro percorso ci interesseremo, in una prima parte, della logica aristotelica, il cui impiego è basilare anche per accostare tutte le altre, occupandoci in primo luogo della logica “formale” e in secondo luogo della logica “materiale”, nel senso di logica della “dimostrazione”. In una seconda parte vedremo come si è giunti ad introdurre l’uso dei “simboli” nella logica moderna e nella logica matematica, fino ad ottenere una sua formalizzazione totale. Accenneremo poi alle problematiche che hanno riaperto una sorta di “via empirica” anche per la logica odierna (“incompletezza” dei sistemi assiomatici) e ai più recenti sviluppi che aprono la strada a quella nuova disciplina che va sotto il nome di “ontologia formale”, riaffacciandosi così anche alla logica e alla metafisica classica Alberto Strumia è dottore in Fisica e in Teologia, è stato ordinario di fisica-matematica all’Università di Bari ed è docente di filosofia della natura e della scienza alla Facoltà teologica dell’Emilia Romagna. Si occupa di logica formale e di teoria dei fondamenti.