Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Logic uncovers the truth

Since 2016, Graham Emil Leigh has been supported by the Wallenberg Academy Fellows research programme to establish a cross-disciplinary research project in Logic — Reflection and Truth.

What is truth? How can we trust it? These questions have puzzled logicians and philosophers since antiquity. The aim of the project Reflection and Truth is to capture our understanding of truth in the formal framework provided by Logic, and to develop modern methods for the analysis of truth with applications to philosophy, mathematics, and also computer science.

“One of the goals is to bring out some of the similarities I see within the three scientific fields,” says Graham Emil Leigh, who has a PhD in Mathematics.

In addition to contributing to general philosophical issues, the project will develop new techniques of mathematical proof that push the boundaries of mathematical knowledge and verifying computer algorithms.

The project is for five years and is funded by Knut and Alice Wallenberg Foundation. Graham Leigh has previously worked at universities in Leeds, Oxford and Vienna. Now he is a member of the University of Gothenburg.

Current publications and more information can be found on Graham Emil Leigh's personal web page.

Read the interview with Graham Emil Leigh on the Wallenberg Foundation website.

Events

Below is a list of recent and upcoming project events. Click the link below for more details.

On-going: FLoV Logic Seminar

6 December, 2018: Gothenburg–Warsaw Workshop on Truth.

11–13 June, 2018: Tenth Scandanavian Logic Symposium (SLS'18).

 

Contact Information

Graham Leigh

Box 200, se-405 30 GÖTEBORG, Sweden

Visiting Address:
Olof Wijksgatan 6

Phone:
+46 (0)31-786 2934

Page Manager: Monica Havström|Last update: 11/30/2018
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?