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