Tanto più la realtà, la società, il mondo si allargano, si espandono, si complicano - causando per questo, nell'uomo, un senso di smarrimento e di paura - tanto più è necessario che egli ritrovi se stesso in un cammino interiore profondo e vero. Alla «globalizzazione» si può far fronte con l'«interiorizzazione»; al «distanziamento sociale» con l'intimità. Conoscere se stessi, diventare consapevoli della propria vita interiore e della propria storia, è il primo passo per un'esistenza forte, libera e riconciliata. Questo libro non è un manuale né una considerazione astratta sui tempi moderni: è una raccolta di esercizi per la vita quotidiana, da fare nel rispetto del mistero della propria persona. Nel «conoscere» te stesso c'è in ballo la tua storia, la tua vita, assolutamente personale e unica, di cui devi avere rispetto e timore assoluto, come se non ti appartenesse del tutto, come se non fosse tua. Non è solo tua.
Tanto più la realtà, la società, il mondo si allargano, si espandono, si complicano - causando per questo, nell'uomo, un senso di smarrimento e di paura - tanto più è necessario che egli ritrovi se stesso in un cammino interiore profondo e vero. Alla «globalizzazione» si può far fronte con l'«interiorizzazione»; al «distanziamento sociale» con l'intimità. Conoscere se stessi, diventare consapevoli della propria vita interiore e della propria storia, è il primo passo per un'esistenza forte, libera e riconciliata. Questo libro non è un manuale né una considerazione astratta sui tempi moderni: è una raccolta di esercizi per la vita quotidiana, da fare nel rispetto del mistero della propria persona. Nel «conoscere» te stesso c'è in ballo la tua storia, la tua vita, assolutamente personale e unica, di cui devi avere rispetto e timore assoluto, come se non ti appartenesse del tutto, come se non fosse tua. Non è solo tua.
Proponiamo un manuale di Logica formale concepito all’interno del più ampio progetto di Filosofia formale. Ciò significa non solo attenzione alla disciplina della logica, sviluppatasi in senso rigoroso (formalizzato) a partire dalla fine del XIX secolo, ma alla lunga tradizione speculativa occidentale sia continentale che analitica la quale, nel XXI sec. può convergere “costruttivamente”, rispetto a questi due rami, in un percorso unitario che abbiamo appena cominciato a scrivere. Seguendo una terminologia che ormai è diffusa nel mondo accademico internazionale, chiamiamo Filosofia Formale (Ontologia Formale, Epistemologia Formale, Etica Formale) questo programma di ricerca in campo speculativo.
GIANFRANCO BASTI (1954)
È professore ordinario di Filosofia della natura e della scienza presso la Pontificia Università Lateranense. È membro associato della Pontifica Accademia di S. Tommaso, membro della APA-American Philosophical Association, dello IEEE-Institute for Electric and Electronic Engineering, Computer and Neural Network Society, e della AAAS-American Society for the Advancement of Science, Editrice della prestigiosa rivista Science. Dal 1997 è direttore e co-fondatore del progetto IRAFS-International Research Area on Foundations of the Sciences e dal 2003 coordinatore del progetto STOQ-Science, Theology and the Ontological Quest presso la PUL. È autore di oltre 120 pubblicazioni in campo filosofico e scientifico.
FRANCESCO PANIZZOLI (1982)
È assistente del professor G. Basti presso la cattedra di Filosofia della natura e della scienza della Pontificia Università Lateranense. Ha pubblicato il libro Ontologia della partecipazione. Verso una formalizzazione della metafisica di Tommaso d’Aquino (2014) e diversi articoli di filosofia della scienza e ontologia formale.
Proponiamo un manuale di Logica formale concepito all’interno del più ampio progetto di Filosofia formale. Ciò significa non solo attenzione alla disciplina della logica, sviluppatasi in senso rigoroso (formalizzato) a partire dalla fine del XIX secolo, ma alla lunga tradizione speculativa occidentale sia continentale che analitica la quale, nel XXI sec. può convergere “costruttivamente”, rispetto a questi due rami, in un percorso unitario che abbiamo appena cominciato a scrivere. Seguendo una terminologia che ormai è diffusa nel mondo accademico internazionale, chiamiamo Filosofia Formale (Ontologia Formale, Epistemologia Formale, Etica Formale) questo programma di ricerca in campo speculativo.
GIANFRANCO BASTI (1954)
È professore ordinario di Filosofia della natura e della scienza presso la Pontificia Università Lateranense. È membro associato della Pontifica Accademia di S. Tommaso, membro della APA-American Philosophical Association, dello IEEE-Institute for Electric and Electronic Engineering, Computer and Neural Network Society, e della AAAS-American Society for the Advancement of Science, Editrice della prestigiosa rivista Science. Dal 1997 è direttore e co-fondatore del progetto IRAFS-International Research Area on Foundations of the Sciences e dal 2003 coordinatore del progetto STOQ-Science, Theology and the Ontological Quest presso la PUL. È autore di oltre 120 pubblicazioni in campo filosofico e scientifico.
FRANCESCO PANIZZOLI (1982)
È assistente del professor G. Basti presso la cattedra di Filosofia della natura e della scienza della Pontificia Università Lateranense. Ha pubblicato il libro Ontologia della partecipazione. Verso una formalizzazione della metafisica di Tommaso d’Aquino (2014) e diversi articoli di filosofia della scienza e ontologia formale.
