Privacy Policy
This site incldude some cookies for improving your navigation. For seeing our updated privacy policy, click on the button up on the left. If you accept, close this yellow banner by clicking anywhere on it, and continue your navigation.
The International Research Area on Foundations of the Sciences


The International Research Area on Foundations of the Sciences (IRAFS) was constituted at the Pontifical Lateran University (PUL) in October of 1997.In seventeen years of activity, the Area has promoted at the Lateran University, several conferences, courses and debates, overall through its active participation in the STOQ Project.

c/o Prof. Gianfranco Basti
Pontifical Lateran University
Piazza S. Giovanni in Laterano, 4
00120 Vatican City
Ph.: +39 06 69895671
Fax: +39 06 45420209

Welcome to the IRAFS Portal

The IRAFS - International Research  Area on Foundations of the Sciences - is the first of the research areas based at the Pontifical Lateran University. Its official foundation dates back to October 1997, just about a year away from the premature death of him who was the first promoter and founder of the Area: ENNIO DE GIORGI. Professor at the "Scuola Normale Superiore di Pisa", Member of the "Accademia dei Lincei" in Italy, of the "Académie de France", of the "National Academy of Sciences in US, and of the "Pontifical Academy of Sciences" in Vatican , he was one of the greatest mathematicians of the twentieth century.

... during the last ten years of his scientific activity, was dedicated to research on the foundations of logic and mathematics. For this aim, he founded at the Scuola Normale Superiore of Pisa a famous Seminar for Doctoral students on the Foundations of Mathematics.
Finally, through the collaboration with Prof. EDWARD NELSON of the Dept. of Mathematics at Princeton University (USA), with Prof. GIANFRANCO BASTI and with Dr. ANTONIO LUIGI PERRONE, of the Faculty of Philosophy at PUL, he promoted the creation of IRAFS. Unfortunately for us, however, he was not able to see it on this earth...

... for promoting opportunities of discussion and in-depth research about the foundations of the different scientific and humanistic disciplines, by using the amazing opportunities offered by the axiomatic method. This method, during the XX century, was used overall for developing the mathematical logic. On the contrary, overall during the last thirty years, it was used also for developing the so-called philosophical logic, so to extend the advantages of the axiomatic method, from the mathematical and the natural sciences, to the humanistic disciplines.

This opened the way, not only to the next digital revolution of the semantic web, and of the artificial simulation of the human intentional behavior, destined to change deeply our society, our culture, and our economy - the so-called next "digital tsunami" -, but also to a new era for the interdisciplinary and the intercultural dialogue.

IRAFS, because of the foresight of prof. De Giorgi and of his friends, was since the beginning on the cutting edge of this revolution...

... share, in the modern scientific field, the common mathematical formalisms and, in relation to other subjects in the humanities - ontology, epistemology, and ethics, before all -, the common logical formalism. The axiomatic method makes it "transparent" to the universal comprehension, beyond the cultural and the educational differences, so to help the interdisciplinary and the intercultural dialogue in a decisive way.

In seventeen years of activity, the Area has promoted at the Lateran University, many conferences, courses and debates, overall through the participation at the STOQ Project. Moreover, IRAFS supported the participation of its members in many International Conferences on these topics, with the related scientific publications of their contributions. Finally, the IRAFS organized at the Lateran four International Conferences, on the relation between science, philosophy and theology, and on several cross-border interdisciplinary topics.



Show All. Mouse over to stop.


6th World Congress
on Universal Logic
Vichy, France, June 16-26, 2018



14th European
Computer Science Summit
Gothenburg, Sweden,
October, 8-10, 2018



How theories are born between science, philosophy and theology

Seminars cycle

Winter 2017/2018

IRAFS – Logos&Pathos Workshop
March 6, 2017 | h. 15:00
Room: Paolo VI
Lateran University


and discussion:
Logos & Pathos. Epistemologie contemporanee a confronto, a cura di P. Manganaro e F. Marcacci, Studium, Roma 2017.


IUC-2017. Formal Methods and Science in Philosophy II
Dubrovnik (Croatia), 4-6 May, 2017


Second International Conference on Logic and Religion
Warsaw University (Poland), June 18-22, 2017



"Foro de Educación, Ciencia y Religión. Mirando al Futuro", UPAEP, Universidad Popular Autónoma del Estado de Puebla (Puebla, Mexico), February 8-10, 2017



CONFERENCE 24-25 November, 2016
A Century of Spacetime.

Physics, Philosophy and Theology at the time of the new questions.

In collaboration with DiSPeA

Download the
Conference Program


Workshop on
"Logos & Pathos. The image between Philosophy and Science"
PUL, Room "Senato Accademico"
April 11st, 2016 - h. 3-6 p.m.


CEPOS Conference
"Science, Philosophy, and Religious Commitment"
St. Thomas University, "St. Paul Campus, Minneapolis"
June 26-28, 2016


Workshop on
"Ontos & Logos"
PUL, Room "Pope Francis"
February 9th, 2016 - h. 15-17

Presentation of the new book:
Ontologia Formale, G. Basti, S. Mobeen, APES Ed., Rome, 2015, with contributions of Habermas, Searle, Ales Bello, Basti, Kanakappally, Poli, Mobeen, Giovagnoli.
Presenters: A. Iodice, G. Traversa, D. Santoro.
Chair: Ph. Larrey

Brochure of all
IRAFS 2016 Workshops

It is available for download the Brochure with all IRAFS 2016 Workshops.
Download the Brochure

IRAFS Newsletter n° 3

The third issue of IRAFS Newsletter is available both onsite, and in a downloadable pdf format, in English and in Italian versions. You can also register yourself for receiving IRAFS Newsletter issues directly and freely on your email box.
Go to the Newsletter Page
Download the English Version
Scarica la Versione Italiana