Pontifical
Lateran University

Piazza San Giovanni
in Laterano, 4
00120 Vatican City

www.pul.it


 home | goto | email  

 
View the STOQ Logo
 
 

Course 50476:
"The Question of Foundations:
From Metalogic to Metaphysics"

G. BASTI, Analogia, ontologia formale e problema dei fondamenti. (preprint)

Analogia e Ontologia445K

Course 50546:
"Elements of Intensional Logic"

Lecture notes (transparencies) of the course (Galvani's and Giordani's notes on the ontological argument for God's existence in Leibniz and Goedel included)

Lecture Notes 177K Lecture Notes 2 176K Lecture Notes 4290K Lecture Notes of Galvan-Giordani on God existence148K

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

Course 50547:
"Elements of Formal Ontology"

Lecture Notes 1-10:

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

N. B. COCCHIARELLA, "Logic and Ontology", Axiomathes 12: 117–150, 2001.

Logic and Ontology173K

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

 

 

Click here to visit the web site of the STOQ Project at Gregorian University

Click here to visit the web site of the STOQ Project at Regina Apostolorum
 
  [ home ] [ program ] [ research ] [ information ] [ events ] [ calendar ] [ download] [contacts]