연세대학교 철학과를 졸업하고 뉴욕주립대학교(버펄로) 대학원에서 철학 박사 학위를 받았다. 지난 사반세기 동안 한국과학기술원에서 교수 생활을 했고, 현재는 명예교수로 있다. 한국논리학회 회장, 한국분석철학회 회장, 한국바둑학회 회장을 지냈다. 최근 저서로 Philosophy’s Loss of Logic to Mathematics(2018), Abduction in Context(2016)가 있고, 국내외 유수 학술지에 다수의 논문을 발표했다. 최근 번역한 책으로는 ≪아리스토텔레스의 초기 논리학≫(2023), ≪아리스토텔레스주의 실재론적 수학철학: 양과 구조의 과학으로서의 수학≫(2022)이 있다.
