Faculty of Philosophy
STOQ Courses 2003/4
1. fundamental course
50476
PROF. GIANFRANCO BASTI, Pontifical Lateran University.
Course (I Semester): «The Question of Foundations: From Metalogic to Metaphysics»
Starting from the questions related to the foundations of logic and mathematics in modern theoretical and applied mathematical sciences, the course shows the connections of these problems with some ontological and metaphysical questions, through the contribution of the formal ontology (e.g., the different senses of the terms «existence» in the mathematical language of modern sciences and in the ontological language of the ordinary and philosophical languages).
The course is obligatory for all the students of the specialization in «Logic and Epistemology» in the Faculty of Philosophy .
Bibliography:
G. BASTI, Filosofia della Natura e della Scienza. Vol.I: I Fondamenti, Lateran University Press, Rome, 2003 (exp. ch.1 and ch.2).
E. NAGEL ET AL., Goedel's Proof, New York University Press, New York, 2002 (Revised Edition).
G. BASTI, Analogia, ontologia formale e problema dei fondamenti. (preprint. Downloadable in the lecture notes page of this site).
2. intensive courses
-
These courses (50546 and 50547) are organically inserted into the Specialization Programme (Licenza), Section of "Logic and Epistemology" (II Level), as well as in the Doctorate Programme (III Level). For more information on these Programs, go to the relative web page of the Philosophy Faculty at the Lateran University official web site.
-
However, also students of the Second Year of the First Level (Bachelor Degree, Baccalaureato) can follow these courses at a profit, with a special permission of the Dean. The courses suppose indeed only a sufficient knowledge of the elementary formal logic and of its symbolism (i.e., the attendance at 50101 and 50104 courses of the First Year).
50546
PROF. SERGIO GALVAN (Catholic University, Milan):
" Elements of intensional logic (Introduzione alle logiche intensionali)"
(Intensive Course: I Semester, January 13-22, 2004)
The course gives an introductory overview of a particular branch of formal logic: the so-called "intensional logic", as a collection of modal logic models. These models are coming into prominence in the contemporary cultural scenery. In fact, they allow a limited but highly flexible symbolic formalization of the "contentual languages" of the humanistic disciplines, philosophy and theology included, in their treatment of specific problems (ontological, epistemological, ethical, legal, etc.). This formalization of the humanistic disciplines allows a more rigorous and well-founded confrontation with the scientific disciplines and their mathematical "extensional" formalism, on all the classical topics of the interdisciplinary dialogue among them.
Moreover, in the actual, ever more global culture, where different educations, traditions, and sensibilities are contrasted — which neither communicated, nor understood if not fought each other over the centuries and the millennia — an adequate formalization of such different approaches to the same problems becomes essential. These different approaches to the same legal, ethical, ontological and religious problems lead indeed the existence of individuals and societies. A comparison based on different but definite because axiomatic principles, can emphasize the common features, without negating or hiding the differences. On this basis, an agreement also minimal on specific and well defined topics, becomes always possible wherever it is feasible.
This course is promoted and supported within the STOQ Project. The attendance at this course is strongly recommended also as propaedeutic to Professor Cocchiarella's course on formal ontology.
The course is given in Italian.
Bibliography:
S. GALVAN: Logiche intensionali. Sistemi proposizionali di logica modale, deontica, epistemica, Franco Angeli, Milano, 1991 (exp. ch. 2, pp. 71-119)
Other texts useful for the course are downloadable from the lecture notes page of this site.
50547
PROF. NINO B. COCCHIARELLA (Indiana University, USA) :
" Elements of formal ontology (Introduzione all'ontologia formale)"
Intensive Course: II Semester, April 26-30, 2004)
The course gives an introductory overview of this newborn discipline that is becoming ever more relevant in the contemporary analytic philosophy because it is filling a gap in the early Fregean and neo-positivistic approach to the philosophical analysis. Center of the formal ontology is indeed the formalization of the different ontologies, explicitly developed in the different metaphysics' but implicitly supposed in every use of the ordinary and scientific language. In other terms, the formal ontology deals with the formal, symbolic analysis of the different senses of the term "being", as the basis of any logical theory of meaning. Particularly, the approach of the "conceptual realism" developed by Professor Cocchiarella is presented. It allows a formalization of the Aristotelian realism and its causal explanation of "natural kinds", with interesting contact points with quantum physics on one side, and phenomenology on the other. Particularly, this approach allows a "naturalistic" interpretation of phenomenological concepts, today supported by many philosophers of nature and of science, both in Europe and in United States .
This course is promoted and supported within the STOQ Project.
The course is given in English with a simultaneous translation into Italian.
Bibliography:
N. B. COCCHIARELLA, "Logic and Ontology", Axiomathes 12: 117–150, 2001.
N. B. COCCHIARELLA, "Conceptual Realism as a Formal Ontology". In: R. POLI AND P.SIRNOR (EDS.), Formal Ontology, Kluwer Academic Press, Dordrecht, 1996.
Both papers are downloadable from the lecture notes page of this site.
Faculty of Theology
STOQ Courses 2003/4
1. fundamental course
10243
PROF. PIERO CODA, Pontifical Lateran University.
Course (I Semester): «Monotheism and Trinity. I»
First Part of a Two-Year Course. The course deepens the relationship between the reli-gious assert about the existence of one only God, and the Christian assert about the ex-istence of “One God in Three Persons”. Particular attention is given on the relationship between Monotheism and the rational knowledge of God in metaphysics, versus the modern atheistic philosophies, overall those using the modern natural sciences as a sup-port of this atheistic belief.
2. intensive courses
10242 (Teamwork course)
PROF. JEAN-MICHEL MALDAMÉ O.P., Institute Catholique de Toulouse, France, Member of the Pontifical Academy of the Sciences
Seminar and Lecture (II Semester, March 2004): «Questions of scientific and of theological epistemology»
The seminar and the lecture will deepen some key-questions on the relationship between the epistemology of the modern mathematical and natural sciences, and the epistemology of the theological disciplines. This theme will be discussed through a short commentary on some works of the main representatives of the two fields in the last century.
The seminar and the lecture are inserted in the teamwork course, coordinated by Prof. P. Coda, «The faith: some questions of fundamental theology». The course is obligatory for all the students of the specialization in «Fundamental Theology».
10242 (Teamwork course)
CARD. GEORGES COTTIER, Theologian of the Pontifical House, Vatican. Member of the Pontifical Academy of the Sciences
Seminar and Lecture (II Semester, April 2004): «The epistemology of theology»
The seminar and the public lecture will deepen some aspects of the epistemological basis of theology according to some fundamental texts of the Christian Tradition.
The seminar and the lecture are inserted in the teamwork course, coordinated by Prof. P. Coda, «The faith: some questions of fundamental theology». The course is obligatory for all the students of the specialization in «Fundamental Theology».
|
