stoqatpul.org

The STOQ Logo

STOQ-Scienza, Teologia e la Questione Ontologica

Fede e ragione sono come due ali con le quali lo spirito umano s'innalza alla contemplazione della verità (Fides et Ratio, 1)

Dispense

[Causa le dimensioni di molti dei documenti qui raccolti, consigliamo di non aprirli direttamente, ma di salvarli prima sul proprio computer.]


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

Versione PdfParte I Versione PdfParte II Versione PdfParte III

Versione PdfBasti 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 (In Press)

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

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

Versione PdfBasti 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.

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

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

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

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

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

Versione PdfVitiello 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"

Versione PdfProgramma

Versione PdfBasti Appendice Sentenza CC n.118

Versione PdfBasti Logica Aletica e Deontica

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

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

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

English Textbooks for the Course

A) Classical and Symbolic Logic

Dispensa BastiCopi-Cohen, "Introduction to Logic 8. ed."

B) Modal Logic

Dispensa BastiHuges-Cresswell, "New Introduction to Modal Logic

Tor Vergata 2012-13

Versione PdfProgramma

Versione PdfBasti I Versione PdfBasti II Versione PdfMarcacci Versione PdfBasti III Versione PdfPessa I

Versione PdfBasti IV Versione PdfLicata Versione PdfBasti V Versione PdfVitiello Versione PdfPessa II

Versione PdfBasti VI

Corso 50930 (II Semestre)
"Questioni di Storia del Pensiero Scientifico" (Palumbo)
Versione PdfI Versione PdfII Versione PdfIII Versione PdfIV


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

Versione Pdf Parte I

Versione Pdf Parte II

Versione Pdf Parte III

Versione Pdf Parte IV

English Textbooks for the Course

A) Classical and Symbolic Logic

Dispensa BastiCopi-Cohen, "Introduction to Logic 8. ed."

B) Modal Logic

Dispensa BastiHuges-Cresswell, "New Introduction to Modal Logic

Altri testi di consultazione:

Versione PdfBasti, G., Capolupo, A., & Vitiello, G. (2016). Quantum Field Theory and Coalgebraic Logic in Theoretical Computer Science. Preprint: arXiv:1701.00527v1 [quant-ph] 29 Dec 2016: http://www.arxiv.org

Versione PdfBasti 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.

Versione PdfG. 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.

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

Versione PdfSamson Abramsky and Nikos Tzevelekos, Introduction to categories and categorical logic

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

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

Versione PdfR. 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

Versione Pdf Esercizi

Versione Pdf

  • 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)"

Versione PdfDispensa: "Ragionare per Credere"

Versione PdfTesi d'Esame (Revisione 01/01/09)


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

Versione PdfTesi d'Esame Versione PdfStandard Model(pdf) versione *pptStandard Model (ppt) Versione PdfOntologia Realismo Naturale


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

Versione PdfParte I Versione PdfParte II Versione PdfParte III Versione PdfParte IV Versione PdfParte V

(Revisione 19/5/08)


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

Dispense (lucidi) del Corso:

Dalla Logica all'Ontologia Formale IParte I Dalla Logica all'Ontologia Formale II Parte II Dalla Logica all'Ontologia Formale III 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 :

Dalla Logica all'Ontologia Formale (preprint)

__________

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

Parte ICorso di Ontologia Formale I    Parte IICorso di Ontologia Formale II

__________

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

__________

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.

Analogia e Ontologia445K


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

Versione Pdf Parte 0 Versione PdfParte I Versione PdfParte II Versione PdfParteIII Versione PdfParteIV

Versione PdfTesi d'Esame (Revisione 19/5/09)

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

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

Versione PdfBasti 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.

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

 

English Textbooks for the Course

A) Classical and Symbolic Logic

Dispensa BastiCopi-Cohen, "Introduction to Logic 8. ed."

B) Modal Logic

Dispensa BastiHuges-Cresswell, "New Introduction to Modal Logic

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

Schemi delle Lezioni (Lucidi)

Dispensa BastiParte Ia Dispensa Basti Parte Ib Dispensa BastiParte II Dispensa BastiParte 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:
    Steinhardt-Turok 1P.J. Steinhardt-N.Turok, "The Cyclic Model Simplified"
    Steinhardt-Turok 2M. D. Lemonick, "Before the big-bang"
  3. Nuove Integrazioni alla Parte Fisica del Corso:
    Basti Divus ThomasBasti G., L’ontologia formale del “realismo naturale”, cosmologia evolutiva e partecipazione dell’essere, Divus Thomas 117-2(2014), 229-334

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

Parte Metafisica:


 

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:


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

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

Versione PdfParte I Versione PdfParte II Versione PdfParte III Versione PdfParte IV

Versione PdfParte V Versione PdfParte VI

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

Tesi d'Esame: Temi d'Esame


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

Parte di Logica Classica (Larrey) Versione Pdf Versione Pdf

Parte di Logica Simbolica (Basti) Versione Pdf Versione 2010 Pdf

Versione Word (compresso)(Versione Word compressa)

Errata CorrigeEsercitazione ITesto Bochenski

Esercitazione 1 di Logica SimbolicaEsercitazione IEsercitazione 1

Esercitazione 2 di Logica SimbolicaEsercitazione IIEsercitazione 2

Esercitazione 3 di Logica SimbolicaEsercitazione IIIEsercitazione 3

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

Tesi d'Esame Tesi d'Esame

English Textbooks for the Course 50602

A) Classical and Symbolic Logic

Dispensa BastiCopi-Cohen, "Introduction to Logic 8. ed."

Corso CIL (PUL)
"Scienze Naturali per IRC"

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

Ragionare x CredereLucidi


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

Schemi delle Lezioni (Lucidi)

Dispensa BastiParte Ia Dispensa Basti Parte Ib Dispensa BastiParte II Dispensa BastiParte III

Questionario d'Esame

Questionario d'Esame Domande


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

Dispense

Presentazione BastiPresentazione di Basti del Corso di Fogassi 2008 (Italiano)

Presentazione Basti Presentazione Corso e Workshop 2010 (Italiano)

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)

Scienze Cognitive

G.BASTI, "The quantum field theory (QFT) dual paradigm in fundamental physics and the semantic information content and measure in cognitive sciences", London, 2016 (In press)

Scienze Cognitive446K

G.BASTI, "From Formal Logic to Formal Ontology. The New Dual Paradigm In Natural Sciences", Campinas, 2014 (In press)

Ontologia Formale1024K

G.BASTI, "Persona Intersoggettività, Realtà. I Tre Pilastri della Relazione di Cura", Firenze, 2014 (in stampa)

Scienze Cognitive694K

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.

Scienze Cognitive578K

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.

Scienze Cognitive226K

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

Scienze Cognitive1404K

Scienze cognitive e Ontologia della Mente Intenzionale (Lucidi)

Scienze Cognitive1670K

G. BASTI, Dualità, epigenesi, intenzionalità. Dal mente-corpo al persona-corpo, Divus Thomas (2012), (In Stampa)

Scienze Cognitive764K

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.

Logica Scoperta244K

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

Questionario d'Esame 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) .

Questionario d'Esame 164K

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

Testi recenti del Prof. WALTER FREEMAN disicussi nel corso:

Stochastic Chaos KIV Model Intention Decision Place of Codes in Non-Linear Neurodynamics Neurodynamics and mani body dynamics


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).

Dispense 177K Dispense 2176K Dispense 3290K Dispense Galvan-Giordani 4148K

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.

Lineamenti245K


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

PIE System323K

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

Modale200KDeontica 1 90K Deontica 2 90k 90K

 


Corso 50567:
"Introduzione alla Cosmologia Fisica "

Nuove Dispense del Corso 2011:

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

Dispense del Corso 2009:

Dispensa 1n.1 Dispensa 1n.2 Dispensa 1n.3 Dispensa 4n.4 Dispensa 5n.5
Dispensa 6n.6 Dispensa 7n.7 Dispensa 1n.8 Dispensa 9n.9 Dispensa 10n.10
Dispensa 11n.11 Dispensa 12n.12 Dispensa 13n.13 Dispensa 14n.14 Dispensa 11n.15
Dispensa 16n.16 Dispensa 17n.17 Dispensa 18n.18 Dispensa 19n.19 Conferenza "Sidereus"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 Fisica Generale2.000K

Dispense del Corso Fisica II Fisica Generale200K


Corso 50547:
"Introduzione all'Ontologia Formale"

Nuove Dispense delle Lezioni 1-10 (2009) :

Dispensa 1n.1 Dispensa 2n.2 Dispensa 3n.3 Dispensa 4n.4 Dispensa 5n.5 Dispensa 6n.6 Dispensa 7n.7
Dispensa 8n.8 Dispensa 9n.9 Dispensa 10n.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):

Logic and OntologyVers. Orig. Logic and OntologyTr. 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.

Formal Ontology314K

 

 

 

 

 

 

 

 

 

 

 

 

top


Home >