서울대학교

안녕하십니까.
서울대학교 철학사상연구소에서 주관하는 제249회 콜로퀴엄 행사를 안내드립니다.
이번 콜로퀴엄은 University of Chicago의 Kevin Davey 교수를 모시고 "What the Curry-Howard Correspondence Shows Us About the Meaning of the Connectives." 라는 주제로 콜로퀴엄을 진행하고자 하오니, 관심있는 분들의 많은 참여 바랍니다.


- 일 시: 2025. 4. 28. (월) 오후 4:00-6:00
- 장 소: 인문대학 6동403호(철학사상연구소)
- 강연자: Kevin Davey (University of Chicago)
- 제목: What the Curry-Howard Correspondence Shows Us About the Meaning of the Connectives.


강연 개요:
The Curry-Howard Correspondence draws a surprising connection between (i) ways of organizing and manipulating data, and (ii) proofs in formal logic.
It offers a new way of thinking about the formalism of logic which, while now somewhat familiar to computer scientists, has largely been overlooked by philosophers. In this talk I present the outlines of the Curry-Howard correspondence, and argue that it gives a philosophically satisfying account of the meaning oflogical connectives. I also argue that it offers a compelling way of seeing what is wrong with pathological connectives like ‘tonk’. The talk will presuppose only a basic understanding of elementary logic.


강연자 소개:
Kevin Davey is an Associate Professor in the Department of Philosophy at the University of Chicago. He received his PhD from the University of Pittsburgh in 2003, and also has Masters degrees in both physics and mathematics. His main areas of interest are the philosophy of science, the philosophy of mathematics, logic, epistemology and the philosophy of physics. In the general philosophy of science and epistemology he is particularly interested in understanding the character of non-deductive inference, both within and outside the context of science. In the philosophy of mathematics, he is currently engaged in a close study of the origin of proof in both the western and non-western mathematical traditions, and the light that sheds on contemporary debates about the nature of mathematics. In logic, he is currently looking at the way we reason about truth, focusing both on philosophical questions about the nature of the truth predicate and technical questions about formal theories of truth.