The International Research Area on Foundations of the Sciences

Upcoming Events

The School of Athens - General view

Show All

Upcoming Events

World Logic Day 2019

Visit the site for discovering in how many countries we are celebrating the 1st WLD - World Logic Day - 2019: . The date of January 14 for celebrating every year the WLD is because this date is the Anniversary of Alfred Tarski's birth (January 14, 1901) and of Kurt Goedel's death (January 14, 1978), the tewo greatest logicians of the XX cent.

Room 303 15:00-17:00


15:00-15:45: Gianfranco Basti, PUL: Tarskian Logic of Models

[G. Basti, SlidesWLD Basti Slides; A. Tarski, The concept of truth in formalized languages Tarski, Truth in formalized languages; The semantic conception of truth Tarski, Truth in formalized languages; A. Tarski-R.L. Vaught, Arithmetical extensions of relational systems (Truth in Model Theory)Tarski, Truth in formalized languages; R. Maddux, The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of
(From Peirce's algebra of relations to Tarski's calculus of relations) Tarski, Truth in formalized languages].

15:45-16:00: Discussion

16:00-16:45: Raffaela Giovagnoli, PUL: The Role of the Biconditional in the Habermasian Theory of Truth

16:45-17:00: Discussion

See also...

ECSS2019 - Summit


ECSS 2019 will be held in Rome (Italy), 28-30 October 2019, hosted by the International Research Area on Foundations of the Sciences (IRAFS) at the Pontifical Lateran University. 

The annual  European Computer Science Summit is the only place, where leaders and decision makers in Informatics research and education in Europe gather to debate strategic themes and trends related to research, education and policies. More...

ECSS 2019 - Committee


Recent Events


Final Workshop
"How theories are born out between science, philosophy
and theology"
Pontifical Lateran University
November 26, 2018

brochureWorkshop Brochure

International Conference
Pontifical Lateran University
November 27-28, 2018

brochureConference Brochure

  • By clicking on the name of the different speakers in the conference poster below, you might read and download the speech abstract, as soon as made available by the different speakers.

Aims of the Conference
Scientific Committee
Organizing Committee
Conference Program

Aims of the Conference

In the motivations for the 2017 Nobel Prize  in Physics awarded to Rainer Weiss, Barry C. Barish, and Kip S. Thorne, “for decisive contributions to the LIGO detector and the observation of gravitational waves” the Royal Swedish  Academy of Sciences stated: “On September 2015, the universe’s gravitational waves, which were predicted by Albert Einstein a hundred years ago, came from a collision between black holes. It took 1.3 billion years for the waves to arrive at the LIGO detector in the USA”. After this first observation others followed during the last years that are changing deeply our scientific cosmology, inaugurating a new age in the so-called “cosmology of precision”. That is, a cosmology become a “Galileian science”, because not only based on mathematical models, but also on precise measurements confirming or refuting the mathematical hypotheses. As the press release of Caltech announcing the Nobel Prize to its three professors stated, “the observation of gravitational waves, ripples in the fabric of space and time (…), provided astronomers with an entirely new set of tools with which to probe the cosmos. Previously, all astronomy observations have relied on light — which includes X-rays, radio waves, and other types of electromagnetic radiation emanating from objects in space — or on very-high-energy particles called neutrinos and cosmic rays. Now, astronomers can learn about cosmic objects through the quivers they make in space and time”. Aim of this Conference is debating between theoretical physicists and philosophers of nature about the different aspects of the work in progress for the construction of a reliable theory of “quantum gravity”. The amazing ontological and epistemological consequences of these discoveries could be indeed that the origins and the evolution of the space-time structure of our universe have ultimately a dynamic (causal) explanation…

Scientific Committee

Gianfranco Basti (Lateran University)
Francesco Guerra (La Sapienza University)
Flavia Marcacci (Lateran University)
Sarah Jones Nelson (Princeton University)
Christopher G. Tully (Princeton University)
Giuseppe Vitiello (Salerno University)

Organizing Committee

Gianfranco Basti
Alfonso D’Amodio
Flavia Marcacci
Mauro Oliva
Emanuele Sedran

conference poster thooft abstract vitiello_abstract howard abstract smeenk abstract nelson abstract rovelli abstract longo abstract vassallo abstract Basti Abstract

UNILOG-2018: 6th World Congress and School on Universal Logic,
Vichy, France, June 16-26, 2018
The World Biggest Conference on Logic



Workshop on: The Logic of Social Practices, June 21-22, 2018

Organized by: Raffaela Giovagnoli (PUL-IRAFS) and Robert Lowe (Gothenburg University, Sweden)

Invited Speaker: Gianfranco Basti (PUL-IRAFS): "A Computable Model of Amartya Sen's Social Choice Function in the Framework of the Category Theory Logic"

Contributing Speaker: Raffaela Giovagnoli (PUL-IRAFS): "Rituals as Social Habits"

Download the Workshop Program Program

ECSS-2018: European Computer Science Summit 2018.
Gothenburg (Sweden), 8-10 October 2018:
"Informatics Transforms and Renews"


Informatics Education Panel at ECSS in Gothenburg

Organized by: Gianfranco Basti (PUL-IRAFS) and Michael E. Caspersen (Aarhus University, Denmark)