The International Research Area on Foundations of the Sciences

Upcoming Events


The School of Athens - General view

Show All

Upcoming Events

Recent Events

Upcoming Events


Symposium on:
"THE ROLE OF INTUITION
IN THE SCIENTIFIC RESEARCH"
March 21st, 2019
Seat of the National Research Council (CNR)
P.le Aldo Moro, 3 - Rome
Organized by the Chaplaincy for the Italian Research Centers of
the Italian Ministry for University and Research (MIUR)

Get the Poster of the Symposium
Get the Depliant of the Chaplaincy Activities


THIRD INTERNATIONAL CONFERENCE ON:
"FORMAL METHODS AND SCIENCE IN PHILOSOPHY III"

Inter-University Centre, Dubrovnik (Croatia)
April 11-13, 2019

Keynote speakers

  • Christoph Benzmüller, Free University of Berlin
  • María Manzano, University of Salamanca
  • Edward Zalta, Standford University

The general subject of the conference are problems of philosophical ontology, epistemology, philosophy of science, and philosophy of mind that are formulated or solved using formal methods (as defined in logic, mathematics, formal linguistics, theoretical computer science, information science, AI) and/or with references to the results of natural and social sciences.

The following special topics will be addressed:

- use of formal methods in philosophy,

- philosophical analysis of scientific notions (natural law, matter, change, cause, chance, time, space, uncertainty, quantum phenomena, probability, social interaction),

- philosophical analysis of scientific methods (formalisms, rationality, values and norms, etc.),

- the role and use of scientific notions and methods in philosophy (formal systems in philosophy, critical analysis, systematic philosophy, etc.).

Conference Committee

  • Gianfranco Basti, Pontifical Lateran University, Vatican City

  • Grzegorz Bugajak, Cardinal Stefan Wyszyński University, Warsaw

  • Filip Grgić, Institute of Philosophy, Zagreb

  • Srećko Kovač, Institute of Philosophy, Zagreb

  • Kordula Świętorzecka, Cardinal Stefan Wyszyński University, Warsaw

 

More...


ECSS2019 - Summit

EUROPEAN COMPUTER SCIENCE SUMMIT 2019

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

More...


Recent Events


World Logic Day 2019

Visit the site for discovering in how many countries we are celebrating the 1st WLD - World Logic Day - 2019: http://www.logica-universalis.org/wld . 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.

1st WORLD LOGIC DAY AT PUL - JANUARY 14, 2019
Room 303 15:00-17:00

Program

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
Relations
(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...


 

HISTORY OF SCIENTIFIC THOUGHT
SEMINAR SERIES 2017/2018
Final Workshop
"How theories are born out between science, philosophy
and theology"
Pontifical Lateran University
November 26, 2018


brochureWorkshop Brochure



IRAFS-2018
International Conference
THE ORIGINS AND EVOLUTION OF SPACE-TIME
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 far 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…
top

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)
top

Organizing Committee

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

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

Unilog-18

 

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"

ECSS

Informatics Education Panel at ECSS in Gothenburg

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