Leigh is one of only 16 researchers admitted to this prolongation grant in 2020. Wallenberg Academy Fellows is a long-term program that supports young researchers. At the end of the first five-year period the Wallenberg Academy Fellows can be nominated for another five years of funding.
When Graham Leigh became a Wallenberg Academy Fellow in 2015, he was able to form a research group that studies logic at the intersection of mathematics, philosophy and theoretical computer science.
鈥淲e examine questions such as: What is truth and why do we trust it? How do we distinguish true claims from false ones?鈥, says Graham Leigh.
Similar questions have preoccupied many logicians and philosophers since ancient days, what is new in your approach?
鈥淩ather than investigating these questions in isolation, we view them as instances of more general phenomena: What rules do we rely on when deducing new truths from old? What assumptions underly our acts of abstraction and generalisation?鈥
When he started five years ago he said:
鈥淭here isn鈥檛 really a clear ending. It鈥檚 all about digging deeper. I鈥檓 building an interdisciplinary research team from various fields, but with the same logical underpinnings, and then we鈥檒l see what we find. Perhaps we鈥檒l learn more about computer science, or maybe our focus will be more philosophical. I don鈥檛 actually know yet.鈥
What views do you have today? Have you changed direction?
鈥淲hen I look at logic as a subject, I don't see the traditional division into Mathematics, Philosophy, Computer 91探花 and Linguistics. Instead, I see different cultures that share the same underlying concepts and problems, just expressed in different languages.鈥
Please tell us little more about your new project.
鈥淐ircularity plays a crucial role in all areas of logic. It manifests in self-reference in language, in algorithms, even in our notions of identity and similarity. This project is an attempt to unify the different manifestations of circularity and develop a general theory for reasoning about such concepts.鈥
Now Graham Leigh can continue with his research project for another five years thanks to the grant from the Knut and Alice Wallenberg Foundation (KAW).
Written by Monica Havstr枚m
91探花
See Graham Leigh's personal web page
More information
Knut and Alice Wallenberg Foundation (external web)
