ATTENZIONE: CAUSA VACCINAZIONE LUNEDì 15 FEBBRAIO NON CI SARA' LA LEZIONE DEL CORSO 50101 CHE VERRA' RECUPERATA IN SEGUITO
TESTI E DISPENSE (SLIDE) DELLE LEZIONI
- Sono disponibili online in due maniere:
- Nella Sezione dei materiali didattici della mia Cattedra Online con tutti i limiti della pagina che non consente creazione di cartelle per i diversi corsi
- In forma più completa e accessibile alla pagina delle dispense del sito web "stoqatpul" del portale IRAFS. Ovvero: http://www.stoqatpul.org/lat/it/lat_dispense_09.html Per acce edere ai materiali disponibili per ciascun corso, cliccare sul numero del corso desiderato e scaricare il file richiesto.
LEZIONI REGISTRATE
- Verranno inviate personalmente agli inidirzzi istituzionali degli alunni.
RICEVIMENTO ALUNNI
- Agli orari indicati, anche il ricevimento avverrà online, connettendovi in videoconferenza via Skype al mio indirizzo:
- gfb108
- Basterà mandare la richiesta di amicizia e io accettandola, renderò possibile l'incontro online. Ovviamente se sto ricevendo qualcun'altro/a vi chiederò di attendere.
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, che è una branca, insieme con l'epistemologia formale e la deontica (etica e diritto) formale. Il calcolo simbolico si presenta oggi perciò, come uno strumento indispensabile per il dialogo interdisciplinare (scienza-filosofia) e il dialogo interculturale (e interreligioso). Novità di quest'anno è che nel corso verrà illustrato sistematicamente anche il passaggio dalla logica all'informatica.
Bibliografia
Testi fondamentali:
G. BASTI e F. PANIZZOLI, Istituzioni di Filosofia Formale. Dalla Logica Formale, all’Ontologia Formale, LUP-Lateran University Press, Roma, 2018 (Dialogo di Filosofia, n. 28), 421pp.
M.DAVIS, Il Calcolatore Universale. Nuova Edizione Ampliata, Adelphi, Milano, 2011.
G. BASTI, Schemi del corso ad uso degli studenti.
S. GALVAN, Logiche intensionali. Sistemi proposizionali di logica modale, deontica, epistemica, Franco Angeli, Milano 1991 (esaurito, ma disponibile per gentile concessione dell'Autore, in fotocopie presso la copisteria).
Innanzitutto, verrà mostrato il proprio di una metafisica dell’essere umano in relazione alle diverse scienze dell’uomo (biologiche, nerofisiologiche, psicologiche, sociologiche) e all'Intelligenza Artificiale. Quindi verrà presentato un profilo storico-teoretico delle diverse antropologie filosofiche che si sono sviluppate nel pensiero occidentale dalle origini ai giorni nostri. La parte sistematica del corso sarà dedicata ad un approfondimento dell’essenza metafisica dell’essere umano a partire dalle sue operazioni proprie, vitali, razionali, deliberative. Risultato di quest’analisi sarà la dimostrazione della duplice componente materiale e spirituale nell’unità metafisica della persona umana. Tre argomenti di indole più direttamente metafisico-teoretica concluderanno il corso: la sostanzialità dell’anima umana forma del corpo, la relazione fra l’anima ed il corpo, la nozione di persona nella sua irriducibile individualità e dignità.
Particolare attenzione inoltre sarà riservata a due temi oggi particolarmente sentiti nel dibattito culturale: la relazione mente-corpo e il problema dell’ominizzazione, all’origine della vita personale nel grembo materno.
Bibliografia
Testo fondamentale:
G. BASTI, Filosofia dell’uomo, Edizioni Studio Domenicano, Bologna 1995 (20103).
Altri Testi:
ID., La relazione mente-corpo nella filosofia e nella scienza, Ed.Studio Domenicano, Bologna 1991 (Ristampa anastatica, 2002).
ID., "Persona, Intersoggettività, Realtà. I Tre Pilastri della Relazione di Cura". In Carere-Comes T., Montanari C. (a cura di). Atti del 5. Congresso SEPI (Society for Exploration of Psychotherapy Integration)-Italia: “Psicoterapia e Counseling: Comunanze e differenze”, Roma 2 giugno 2012. ASPIC Edizioni scientifiche, Roma 2013, pp. 59-107
A. CLARK, Dare corpo alla mente, MacGraw-Hill, Milano 2003;
A. KENNY, Aquinas on Mind, Routledge, London-New York 19942;
Lo scopo del corso è fornire un'introduzione generale alla logica formale contemporanea, dopo la cosiddetta "svolta linguistica" del XX secolo, intesa come logica formalizzata in un calcolo simbolico. Ci si soffermerà soltanto sulla logica delle proposizioni e sui procedimenti di prova basati sulle cosiddette "tavole di verità", insegnando allo studente a usare mediante opportune esercitazioni questo fondamentale strumento che introduce meglio di ogni altro all'idea leibniziana di logica come "calcolo (characteristicaI) universale" e quindi al moderno concetto di "calcolatore universale".
Bibliografia
Schemi del professore
Testi fondamentali
G. BASTI e F. PANIZZOLI., Istituzioni di Filosofia Formale. Dalla Logica Formale, all’Ontologia Formale, LUP-Lateran University Press, Roma, 2018 (Dialogo di Filosofia, n. 28), 421pp.
J.M.BOCHENSKY, Nove lezioni di logica simbolica, ESD, Bologna 1994.
Scopo del corso sarà di fornire agli studenti una panoramica storico-teoretica aggiornata di uno dei problemi classici della metafisica, il rapporto fra l’anima e il corpo, divenuto nella modernità il problema epistemologico della relazione mente-corpo, per l’affermarsi di un’epistemologia rappresentazionale, basata sull’evidenza cosciente e non più sull’essere. Grazie allo sviluppo attuale, delle scienze e delle neuroscienze cognitive, la prospettiva ontologica del rapporto mente-corpo riemerge prepotentemente in due direzioni. Nella direzione dell’indagine fenomenologica ed ontologica sulla coscienza e nella direzione della teoria duale della mente forma del corpo, propria della metafisica aristotelico-tomista della persona umana e della sua unità psicofisica, come soggetto della relazionalità interpersonale.
Bibliografia
G. Basti, Persona, Intersoggettività, Realtà. I Tre Pilastri della Relazione di Cura. In Carere-Comes T., Montanari C. (a cura di). Atti del Convegno Psicoterapia e Counseling: Comunanze e differenze. ASPIC Edizioni scientifiche, Roma 2013, pp. 59-107.
G. Basti, De la Física de la información al conoscimiento y libertad de la persona. Traducción y edición de Eduardo Vadillo Romero, Istituto Teologico S. Idelfonso, Toledo 2019.
G. Basti, Per un’ontologia naturale della mente intenzionale, in Prospettive ontologiche. Realismi a confronto, R. Poli (ed.), Morcelliana, Brescia 2014, pp. 269-302.
G. Rizzolatti - D. Sinigaglia, So quel che fai. Il cervello che agisce e i neuroni specchio, Raffaello Cortina, Milano 2005.
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)