stoqatpul.org

Elenco dispense disponibili

Corsi
20566 50208 50101 50102 50476 50546 50547 50550 50566 50567 50569 50583 50589 50590 50597 50598 50602 50609 50629 50646 50656 50924 50929 50930 50931 50969

Tor Vergata

Corso 50598 (II Semestre)
Logica III

Parte I Parte II Parte III Parte IV

Basti G., Capolupo A., Vitiello G., "Quantum Field Theory and Coalgebraic Logic in Theoretical Computer Science", Progr. in Bioph. and Molec. Biol., Special Issue: Quantum Information in Biology: from Molecular Biology to Cognition, vol. 123, 2017 pp.39-52.

Basti G., L’ontologia formale del “realismo naturale”, cosmologia evolutiva e partecipazione dell’essere, Divus Thomas 117-2(2014), 229-334.

G. BASTI, "L’idea di scienza di Maritain tra passato e futuro", Aquinas LVIII,1-2(2015), pp.117-165.

Basti G., The post-modern transcendental of language in science and philosophy. In Delic Z. (Ed.) Epistemology and Trasformation of Knowledge in a Global Age, InTech Publisher, London, 2017, pp. 35-62. [Spanish Transl. in: Basti G.,  De la Física de la información al conoscimiento y libertad de la persona. Colección de artículos del professor Gianfranco Basti en su 65º aniversario, Traducción y edición de Eduardo Vadillo Romero, Istituto Teologico S. Idelfonso, Toledo, 2019, pp. 313-350].

Samson Abramsky, «Logic and categories as a tool for building theories. Second edition, 25/01/12.» <https://arxiv.org/abs/1201.5342v1> [accessed 31 August 2018]

Samson Abramsky and Nikos Tzevelekos, Introduction to categories and categorical logic

S. LINDSTOEM & K. SEGERBERG, "Modal logic and Philosophy", in: P. Blackburn et al. (eds.), Handbook of modal logic, Elsevier, Amsterdam, 2007, 1150-2114

Y. VENEMA, "Algebras and Coalgebras", in: P. Blackburn et al. (eds.), Handbook of modal logic, Elsevier, Amsterdam, 2007,331-426

C. CIRSTEA ET AL., «Modal logics are coalgebraic», The Computer Journal (2011) 54 (1): 31-41 (doi: 10.1093/comjnl/bxp004).

D. SANGIORGI, "The origins of bisimulation and coinduction". In: ACM Transactions on Programming Languages and
Systems, 31(4), 2009, pp. 111-151.

Vitiello G., «Links. Relating different physical systems through the common QFT algebraic structure». Lecture Notes in Physics, 718(2007), 165-205

Corso 50597 (I Semestre)
"Logica e Diritto"

Programma

Basti Appendice Sentenza CC n.118

Basti Logica Aletica e Deontica

Basti G., L’ontologia formale del “realismo naturale”, cosmologia evolutiva e partecipazione dell’essere, Divus Thomas 117-2(2014), 229-334.

Samson Abramsky and Nikos Tzevelekos, Introduction to categories and categorical logic

English Textbooks for the Course

A) Classical and Symbolic Logic

Copi-Cohen, "Introduction to Logic 8. ed."

B) Modal Logic

Huges-Cresswell, "New Introduction to Modal Logic

Tor Vergata 2012-13

Programma

Basti I Basti II Marcacci Basti III Pessa I

Basti IV Licata Basti V Vitiello Pessa II

Basti VI

Corso 50930 (II Semestre)
"Questioni di Storia del Pensiero Scientifico" (Palumbo)
I II III IV

Corso 50629/50924 (I Semestre)
"Questioni di Logica e Ontologia Formale " (Basti)

Parte I

Parte II

Parte III

Parte IV

English Textbooks for the Course

A) Classical and Symbolic Logic

Copi-Cohen, "Introduction to Logic 8. ed."

B) Modal Logic

Huges-Cresswell, "New Introduction to Modal Logic

Altri testi di consultazione:

Landsmaan K., Foundations of Quantum Theory. From Classical Concepts to Operator Algebras, Springer, Berlin New York, 2017. (Available free on line by Springer-link)

Basti, G., Capolupo, A., & Vitiello, G. Quantum Field Theory and Coalgebraic Logic in Theoretical Computer Science. Progress in Biophysics and Molecular Biology 130(2017), pp. 39-52. [Preprint: arXiv:1701.00527v1 [quant-ph] 29 Dec 2016: http://www.arxiv.org]

Basti G., The post-modern transcendental of language in science and philosophy. In Delic Z. (Ed.) Epistemology and Trasformation of Knowledge in a Global Age, InTech Publisher, London, 2017, pp. 35-62.

G. BASTI "For a constructive post-modernity. The post-modern phenomenology of language and the phenomenology", Analecta Husserliana, vol. CXXI, Springer Verlag, Berlin-New York, 2017. In Press.

G. BASTI, "L’idea di scienza di Maritain tra passato e futuro",Aquinas, LVIII,1-2(2015), pp.117-165

Samson Abramsky and Nikos Tzevelekos, Introduction to categories and categorical logic

S. LINDSTOEM & K. SEGERBERG, "Modal logic and Philosophy", in: P. Blackburn et al. (eds.), Handbook of modal logic, Elsevier, Amsterdam, 2007, 1150-2114

Y. VENEMA, "Algebras and Coalgebras", in: P. Blackburn et al. (eds.), Handbook of modal logic, Elsevier, Amsterdam, 2007,331-426

R. GOLDBLATT, "Mathematical Modal Logic: a View of its Evolution", In Logic & the Modalities in the Twentieth Century, volume 7 of the Handbook of the History of Logic, edited by Dov M. Gabbay and John Woods, Elsevier, 2006, 1-98

Consulta anche dispense (lucidi) e articoli dei corsi 50476 e 50547

Esercizi

• Basti G., Logica aletica, deontica, ontologia formale. Dalla verità ontica all'obbligo deontico. In: Logica e Diritto: tra scoperta ed argomentazione. Atti della Giornata canonistica interdisciplinare, a cura di Paolo Gherri e Gianfranco Basti, Lateran University Press, Città del Vaticano, 2012, pp. 105-270.

Corso 50208 (I Semestre)
"Teologia Naturale Parte II (Basti)"

Dispensa: "Ragionare per Credere"

Tesi d'Esame (Revisione 01/01/09)

Corso 50101 (II Semestre)
"Filosofia della Natura e della Scienza"

G. Basti, Philosophy of nature and of sciences, I vol.: The Foundations, Engl. Version, 2012.

Basti G., The post-modern transcendental of language in science and philosophy. In Delic Z. (Ed.) Epistemology and Trasformation of Knowledge in a Global Age, InTech Publisher, London, 2017, pp. 35-62. [Spanish Translation in: Basti G.,  De la Física de la información al conoscimiento y libertad de la persona. Colección de artículos del professor Gianfranco Basti en su 65º aniversario, Traducción y edición de Eduardo Vadillo Romero, Istituto Teologico S. Idelfonso, Toledo, 2019, pp.313-350].

Samson Abramsky, «Logic and categories as a tool for building theories. Second edition, 25/01/12.» <https://arxiv.org/abs/1201.5342v1> [accessed 31 August 2018]

Ulteriori materiali anche in modalita' e-learning possono trovarsi nella pagina Courses and Lectures del sito IRAFS.

Tesi d'Esame

Standard Model(pdf) Standard Model (ppt)

G. BASTI, L’ontologia formale del “realismo naturale”, cosmologia evolutiva e partecipazione dell’essere, Divus Thomas 117-2(2014), pp. 229-334

G. BASTI, "L’idea di scienza di Maritain tra passato e futuro", Aquinas LVIII,1-2(2015), pp.117-165.

J. LADYMAN, "Structural Realism", Stanford Encyclopedia of Philosophy, 2016.

Corso 20566 (II Semestre - Facoltà di Diritto Canonico)
"Introduzione alla Logica Deontica"

Parte I Parte II Parte III Parte IV Parte V

(Revisione 19/5/08)

Corso 50476:
"La Questione dei Fondamenti:
Dalla metalogica alla Metafisica"

Dispense (lucidi) del Corso:

Parte I Parte II Parte III (Revisione 16/12/08)

__________

BASTI G., Ontologia formale: per una metafisica post-moderna, In: ALBERTO STRUMIA ED., Il problema dei fondamenti. Da Aristotele, a Tommaso d’Aquino, all’Ontologia Formale, Cantagalli, Siena, 2007,
pp. 193-228 :

(preprint)

__________

G. BASTI, Ontologia Formale: dalla logica alla metafisica (lucidi)

Parte I    Parte II

__________

G. BASTI, La Persona Umana. Scienza, Ontologia e Teologia a confronto (lucidi)
1500K

__________

G. BASTI, "Analogia, ontologia formale e problema dei fondamenti". In: BASTI G & TESTI C.A. (Eds.), Analogia e autoreferenza, Marietti 1820, Genova-Milano, 2004, pp. 159-236.

445K

Corso 50609 (II Semestre)
"Logica II: Logiche Modali e Intensionali"

Parte 0 Parte I Parte II ParteIII ParteIV

Tesi d'Esame (Revisione 19/5/09)

Questionario d'Esame (Sess. Inv. A.A.07/08)

G. BASTI, "L’idea di scienza di Maritain tra passato e futuro", Aquinas, LVIII,1-2(2015), pp.117-165

Basti G., The post-modern transcendental of language in science and philosophy. In Delic Z. (Ed.) Epistemology and Trasformation of Knowledge in a Global Age, InTech Publisher, London, 2017, pp. 35-62.

Samson Abramsky and Nikos Tzevelekos, Introduction to categories and categorical logic

English Textbooks for the Course

A) Classical and Symbolic Logic

B) Modal Logic

Appendice: "Storia delle Idee Moderne e Contemporanee" (Basti)

Schemi delle Lezioni (Lucidi)

Parte Ia Parte Ib Parte II Parte III

Corso 50931 (ex 50656)
Questioni di Epistemologia e Filosofia della Scienza I
"Cosmologia e Ontologia del Mondo Fisico"

Parte Fisica:

1. Lucidi del Corso:
   "Introduzione alla Cosmologia Fisica I" (G. Basti, PUL)
   "Introduzione alla Cosmologia Fisica II" (G. Basti, PUL)
   "Il Modello Standard" (F. Murtas, INFN & LNF. Cfr.: http://www.lnf.infn.it/persone/murtas.html )
2. Integrazioni alla Parte Fisica del Corso:
   P.J. Steinhardt-N.Turok, "The Cyclic Model Simplified"
   M. D. Lemonick, "Before the big-bang"
3. Nuove Integrazioni alla Parte Fisica del Corso:
   Basti G., L’ontologia formale del “realismo naturale”, cosmologia evolutiva e partecipazione dell’essere, Divus Thomas 117-2(2014), 229-334

Vitiello G., Stati coerenti e domini coerenti nella fisica della materia vivente, La Med. Biol., 4(2010), pp.13-18
Masiero A., Il bosone di Higgs: la sua esistenza, la nostra esistenza, Il Nuovo Saggiatore 28-3/4(2012), pp.4-13

Parte Metafisica:

• G. Basti, Filosofia della Natura e della Scienza. Parte I: I Fondamenti, LUP, 2004, cap. VI.
• Basti G., L’ontologia formale del “realismo naturale”, cosmologia evolutiva e partecipazione dell’essere, Divus Thomas 117-2(2014), 229-334
  

Corso 50550
"Storia del Pensiero Scientifico II"

I lucidi aggiornati delle lezioni della prof.ssa Marcacci si possono trovare sul suo sito personale:

www.flaviamarcacci.it

Lucidi delle Lezioni:

• Fisica del '600
• Fisica del '700
• Calore ed energia
• Storia del calcolo infinitesimale
• Elettromagnetismo 1
• Elettromagnetismo 2
• Elettromagnetismo 3
• Fisica Atomica
• Meccanica Quantistica
• Teoria della Relatività

Corso 50102 (I Semestre)
"Filosofia dell'Uomo (Antropologia Filosofica)"

Schemi delle Lezioni (Lucidi: Revisione 9/10/2011)

Parte I Parte II Parte III Parte IV

Parte V Parte VI

G. Basti, "Persona, intersoggettività, realtà..." (In stampa)

Tesi d'Esame:

Corso 50602 (I Semestre)
"Logica I: Logica Classica e Simbolica"

Parte di Logica Classica (Larrey) Versione Pdf

Parte di Logica Simbolica (Basti) Versione 2010 Pdf

Tavole di verita' in Logica Proposizionale (Basti) Versione 2018

(Versione Word compressa)

Errata CorrigeTesto Bochenski

Esercitazione 1 di Logica SimbolicaEsercitazione 1

Esercitazione 2 di Logica SimbolicaEsercitazione 2

Esercitazione 3 di Logica SimbolicaEsercitazione 3

Tesi d'Esame (Parte di Logica Classica e Parte di Logica Simbolica)

Tesi d'Esame

English Textbooks for the Course 50602

A) Classical and Symbolic Logic

Corso CIL (PUL)
"Scienze Naturali per IRC"

"Ragionare per Credere. La ragionevolezza della fede nell'età post-moderna"

Lucidi

Corso FO1120 (Università Gregoriana):
"Storia delle Idee Moderne e Contemporanee" (Basti)

Schemi delle Lezioni (Lucidi)

Parte Ia Parte Ib Parte II Parte III

Questionario d'Esame

Domande

Corso 50583 (II Semestre)
"Basi neurofisiologiche del comportamento intenzionale "

Dispense

Presentazione di Basti del Corso di Fogassi 2008 (Italiano)

Presentazione Corso e Workshop 2010 (Italiano)

• Testi del Prof. Fogassi si possono trovare sul sito del suo Dipartimento

Saggio di Freeman presentato al IRAFS'02 International Conference (English Manuscript)

Corso 50929 (ex 50646-50969)
"Questioni di epistemologia e
Filosofia della Scienza II:
Neurofisiologia e ontologia della mente"

L. LIMONCELLI, "Manuale di Neurofisiologia" (ad uso degli studenti)

G. BASTI, "Dall'IA alle Neuroscienze Cognitive 1" (slide)

G. BASTI, "Dall'IA alle Neuroscienze Cognitive 2" (slide)

G. BASTI, "Persona e Neuroscienze Cognitive 1" (slide)

G. BASTI, "Persona e Neuroscienze Cognitive 2" (slide)

G.BASTI, "The quantum field theory (QFT) dual paradigm in fundamental physics and the semantic information content and measure in cognitive sciences", In: Representation and Reality in Humans, Other Living Organisms and Intelligent Machines, Dodig-Crnkovic, Gordana and Giovagnoli, Raffaela (Eds.), Springer International Publishing, Berlin-New York, 2017, pp. 177-210

446K

G.BASTI, "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.

694K

G.BASTI, "Dal mente-corpo al persona-corpo. Il paradigma intenzionale nelle scienze cognitive". In: …E la coscienza? Fenomenologia, psico-patologia e neuroscienze, a cura di: ANGELA ALES-BELLO & PATRIZIA MANGANARO, G. Laterza, Bari, 2012, pp.523-634.

578K

V.GALLESE, F.FERRI, C.SINIGAGLIA, "Corpo, Azione e Coscienza Corporea di Sè: Una Prospettiva Neurofenomenologica". In: …E la coscienza? Fenomenologia, psico-patologia e neuroscienze, a cura di: ANGELA ALES-BELLO & PATRIZIA MANGANARO, G. Laterza, Bari, 2012.

226K

G.BASTI, "La relazione mente-corpo nella filosofia e nella scienza", Bologna, ISD, 1985 (Ristampa 2002) (Libro)

1404K

Scienze cognitive e Ontologia della Mente Intenzionale (Lucidi)

1670K

G. BASTI, Dualità, epigenesi, intenzionalità. Dal mente-corpo al persona-corpo,Divus Thomas 115-1(2012), pp. 29-89.

764K

G. BASTI, Logica della scoperta e paradigma intenzionale nelle scienze cognitive. In "Quale Scienza per la Psicoterapia. Atti del III Congresso Nazionale della SEPI, Roma 2008", a cura di T. Carere, Florence Art Edizioni, Firenze 2009, pp. 183-216.

244K

Il Rapporto Mente-Corpo e le Scienze Cognitive (Lucidi)

850K

Manoscrito originale integrale della voce "mente-corpo, rapporto" pubblicata in versione ridotta nel Dizionario Enciclopedico di Scienza e Fede, Vol.I, Roma, 2002 pp. 920-938 (schema online) .

164K

Versione inglese online della medesima voce nella Interdisciplinary Encyclopaedia on Religion and Science (2005).

Testi recenti del Prof. WALTER FREEMAN disicussi nel corso:

Corsi 50546-50589:
"Introduzione alle Logiche Intensionali I-II "

Dispense (lucidi) del corso (inclusi dispense di Galvan-Giordani sull'argomento ontologico per l'esistenza di Dio in Leibniz-Goedel).

77K 176K 290K 148K

S. GALVAN, "Lineamenti di una teoria essenzialistica della necessità" in L. Lombardi Vallauri (Ed.), Logos dell’essere e della norma, Bari 1999, pp. 347-375.

245K

S. GALVAN & A. GIORDANI, A Logic of the Possible and the Existent. PIE System (preprint).

323K

Dispense (lucidi) del Corso di Logica Modale e Deontica (2005-2006)

200K 90K 90k 90K

Corso 50567:
"Introduzione alla Cosmologia Fisica "

Nuove Dispense del Corso 2011:

n.1 n.2 n.3 n.4 n.5
n.6 n.7 n.8 n.9 n.10
n.11n.12 n.13 n.14 n.15 n.16

Dispense del Corso 2009:

n.1 n.2 n.3 n.4 n.5
n.6 n.7 n.8 n.9 n.10
n.11 n.12 n.13 n.14 n.15
n.16 n.17 n.18 n.19 n.20

Dispense del Corso 2005:

I Dispensa      II Dispensa      III Dispensa   
   IV Dispensa V Dispensa      VI Dispensa    
  VII Dispensa      VIII Dispensa IX Dispensa      
X Dispensa       XI Dispensa       XII Dispensa
XIII Dispensa       XIV Dispensa       XV Dispensa       XVI Dispensa XVII Dispensa       XVIII Dispensa     
  XIX Dispensa       XX Dispensa  

Corsi 50566-50590:
"Elementi di Fisica Generale. I-II"

Dispense del Corso Fisica I 2.000K

Dispense del Corso Fisica II 200K

Corso 50547:
"Introduzione all'Ontologia Formale"

Nuove Dispense delle Lezioni 1-10 (2009) :

n.1 n.2 n.3 n.4 n.5 n.6 n.7
n.8 n.9 n.10

______________
Dispense delle Lezioni 1-10 (2004):

n.1 n.2 n.3 n.4n.5n.6n.7
n.8n.9n.10

Le dispense del corso del 2004 sono oggi raccolte e sviluppate nel libro: N. B. COCCHIARELLA, Formal Ontology and Conceptual Naturalism, Springer, Berlin-New York, 2007.

______________
N. B. COCCHIARELLA, "Logic and Ontology", Axiomathes 12: 117–150, 2001 (tr. it. a cura di F. MARCACCI e G. BASTI: "Logica e Ontologia", Aquinas 9-52: 7-49, 2009):

Vers. Orig. Tr. It. (preprint)

______________
N. B. COCCHIARELLA, "Conceptual Realism as a Formal Ontology". In: R. POLI AND P.SIMONS (EDS.), Formal Ontology, Kluwer Academic Press, Dordrecht, 1996.

314K