한국과학기술원(KAIST) 인문사회과학부 명예교수

저서 『바둑철학』, 『중세철학의 유혹』, 『잃어버린 과학을 찾아서』, 『Philosophy’s Loss of Logic to Mathematics: An Inadequately Understood Take-Over』(Springer, 2018), 『Abduction in Context: The Conjectural Dynamics of Scientific Reasoning』(Springer, 2017) 등 다수 역서 『논리학 대전』, 『논리학의 역사 1, 2』, 『마음의 아이들』, 『둔스 스코투스의 제일 원리론』 등 다수