1935년 평남 평양 출생
서울대학교 문리대 철학과 학부 및 대학원 졸업
오스트리아 잘츠부르크대학교에서 철학박사 학위 취득
현재 고려대학교 문과대학 철학과 교수
한국인지과학회와 철학연구회 회장 역임
주요저서로는
<확률과 결단론>(Salzburg Universit t, 1974)
<집합과 논리>(구광조 공저, 지학사, 1968)
<고등학교 논리학>(대한교과서주식회사, 1990)
<인공지능의 철학>(고려대학교출판부, 1993) 등이 있다.
