중앙대학교 철학과 교수. 서울대학교 공과대학 항공공학과를 졸업한 뒤, 서울대학교 철학과에 입학하였고, 서울대학교 대학원에서 철학박사 학위를 받았다. 한국논리학회 회장과, 한국분석철학회 회장을 역임한 바 있으며, 역서로는 《이 책의 제목은 무엇인가》 《수리 철학》이 있다.