Facoltà:
Incarico:
Riceve:
Biografia
Nato a Roma nel 1954 e ordinato Sacerdote nel dicembre 1978, ha conseguito nel 1980 la licenza in teologia presso la Pontificia Università Gregoriana. Nel 1984 si è laureato in filosofia presso l'Università Statale di Roma "La Sapienza", con una tesi in filosofia della scienza, diretta dal Prof. Vittorio Somenzi, sull'approccio delle reti neurali al problema dell'intenzionalità cognitiva. Nel 1988, ha conseguito la licenza in filosofia ecclesiastica presso la Pontifica Università Gregoriana. Dal 2002, è professore ordinario di Filosofia della Natura e della Scienza presso la Facoltà di Filosofia della Pontificia Università Lateranense di Roma, di cui è stato eletto Decano nel luglio 2008, per due mandati consecutivi fino a luglio 2014. E’ stato ricercatore presso l'Istituto per i Circuiti Elettronici (ICE) del CNR di Genova (1991-92) e presso l'Istituto Nazionale di Fisica Nucleare (INFN), Sez. Roma 2 "Tor Vergata" (1993-97), per lo sviluppo e l'applicazione di modelli di rete neurale a problemi di pattern recognition, consulente presso l’ASI (Agenzia Spaziale Italiana (2000-2010). E’ inoltre membro corrispondente della Pontificia Accademia di S. Tommaso, dell'American Philosophical Association, dell' International Neural Network Society (INNS), dell'IEEE (Computer Society e Neural Network Society) e dell’ International Society for Optical Engineering (SPIE). In questa veste è organizzatore e chairman di numerosi congressi internazionali nell’ambito della computational intelligence. Nel 1995 ha ricevuto dalla INNS un Neural Network Leadership Award per i suoi studi nel campo. Autore di oltre 120 pubblicazioni di argomento scientifico e filosofico, attualmente i suoi interessi di ricerca sono rivolti, oltre che alle scienze cognitive, allo studio dei fondamenti della logica matematica e della logica filosofica in Teoria delle Categorie (ontologia, epistemologia, etica, filosofia del diritto formali), ultimamente applicata anche alla computazione quantistica in QFT.
Corsi del Docente
Il corso intende fornire allo studente una prima introduzione alla logica filosofica, ovvero a quel particolare sviluppo della logica formale assiomatizzata che si pone come complementare alla logica matematica. Essa costituisce lo strumento logico della cosiddetta “filosofia formale”, in quanto distinta, ed in qualche modo prolungamento e approfondimento, della filosofia analitica che ha contraddistinto il XX secolo. La filosofia formale, nelle sue diverse branche di epistemologia formale, ontologia formale, deontica formale, si differenzia così essenzialmente dalla filosofia analitica da cui prende le mosse. Mentre questa deriva dal programma wittengsteiniano di analisi formale delle teorie come “terapia linguistica”, la filosofia formale si applica alla formalizzazione delle teorie, in modo da renderle universalmente accessibili al controllo razionale e all’utilizzo anche nella contemporaneità, al di là delle distanze storiche e culturali, diventando così complementare all’analisi storico-filologica che ne evidenzia piuttosto le differenze.
Bibliografia
G. BASTI, L’ontologia formale del “realismo naturale”, cosmologia evolutiva e partecipazione dell’essere, in Divus Thomas 117(2014), 229-334.
M.G. CRESSWELL - G.E. HUGES, A new introduction to modal logic, Routledge, London 1996
Il corso intende fornire una visione introduttiva ad un particolare settore della logica formale: le cosiddette “logiche intensionali”, in quanto modelli di sistemi formali di logica modale. Queste logiche vanno assumendo un ruolo d’importanza crescente nell’attuale panorama cul-turale, perché consentono una formalizzazione nei termini di un appropriato seppur limitato linguaggio simbolico, dei linguaggi contenutistici tipici delle discipline filosofiche e teologiche riguardo problematiche specifiche (ontologiche, etiche, epistemologiche, legali, etc.).
Bibliografia
G. BASTI, Logiche modali e intensionali. Schemi delle lezioni ad uso degli studenti.
S. GALVAN, Logiche intensionali. Sistemi proposizionali di logica modale, deontica, epistemica, Franco Angeli, Milano 1991 (spec. cap. 2, pp. 71-119). [Copia Anastatica PUL, 2003, per gentile concessione dell’Autore].
Il corso intende fornire allo studente una prima introduzione ai contenuti, al simbolismo e alla formalizzazione dei più recenti sviluppi della logica formale moderna (calcolo logico simbolico) dai suoi inizi come logica matematica (calcolo vero-funzionale estensionale), al suo sviluppo come logiche intensionali aletiche, deontiche, epistemiche (calcolo modale e sue interpretazioni intensionali), fino all’ontologia analitica e all’ontologia formale. Il calcolo simbolico si presenta oggi perciò, come uno strumento indispensabile per il dialogo interdisciplinare (scienza-filosofia) e il dialogo interculturale (e interreligioso).
Bibliografia
G. BASTI, Schemi del corso ad uso degli studenti.
S. GALVAN, Logiche intensionali. Sistemi proposizionali di logica modale, deontica, epistemica, Franco Angeli, Milano 1991.
Materiale Docente
Ogni documento contenuto in questa sezione è stato inserito con il nulla osta dell'Autore e/o dell'Editore ed è soggetto a copyright. Ogni documento può essere utilizzato esclusivamente per uso personale nel formato originale e solo per scopi compatibili con quello per cui è stato pubblicato. La riproduzione e la diffusione a terzi, attuate con ogni mezzo, dei materiali è consentita esclusivamente in forma parziale e comunque entro i limiti di legge e purchè venga sempre menzionata, la fonte accompagnata dalle indicazioni concernenti la relativa titolarità e gli estremi completi della pubblicazione. In ogni caso, l'utente non può utilizzare o far utilizzare a terzi a fini commerciali i contenuti dei documenti in questa sede riprodotti. Qualsiasi utilizzo non espressamente consentito e/o effettuato oltre i limiti sopra specificati e/o per finalità o utilità commerciale o di sfruttamento economico da parte degli utenti è espressamente vietato e sarà perseguito in base alla normativa italiana in vigore.
Materiale Riservato a Studenti Pul
Accesso docenti al Sistema Cattedre (link)