중앙대학교 철학과를 졸업하고 같은 대학 철학과 대학원에서 석사 및 박사 학위를 받았다. 한국논리학회 전임연구원, 고려대학교 철학연구소 전임연구원을 거쳐 여러 대학에 출강했다. 주요 논문으로 「비트겐슈타인의 수학철학에 있어서 반-플라톤주의」, 「비판적 사고와 구성주의」, 「수학적 증명의 조망 가능성」 등이 있고, 지은 책으로 『비트겐슈타인 수학철학』, 옮긴 책으로 레이먼드 스멀리언의 『도는 말이 없다』가 있다.