Prize: Logic and Philosophy

Ruth Millikan

“for her groundbreaking theories about biological functions and the biologica...

https://www.kva.se/en/prize-laureate/ruth-millikan-2/

Saharon Shelah

“for his outstanding contributions to mathematical logic, in particular to mo...

https://www.kva.se/en/prize-laureate/saharon-shelah-2/

Dag Prawitz

“for proof-theoretical normalization in natural deduction”

https://www.kva.se/en/prize-laureate/dag-prawitz-2/

Per Martin-Löf

“for the creation of constructive type theory”

https://www.kva.se/en/prize-laureate/per-martin-lof-2/

David Kaplan

“for his contributions to the understanding of the role played by the extra-l...

https://www.kva.se/en/prize-laureate/david-kaplan-2/