1919년 미국 오리건주에서 태어났다, 캘리포니아 대학에서 박사학위를 받았으며, 2005년 현재 캘리포니아 버클리대 철학과 명예교수이다. 지은 책으로 <라이프니츠의 철학> 등이 있다. 주로 논리학, 언어철학, 라이프니츠 철학에 대한 저작과 논문을 발표했다.
1955년 전남 담양 출생. 서울대 철학과 졸업(B.A), 미국 브라운대 대학원 철학과 졸업(M.A. 및 Ph.D.), 서울대 철학과 교수, 서울대 대학원 인지과학 협동 과정 제1대 전공주임, 한국 철학회 총무이사, 서울대 논술 입학고사 출제위원, 미국 스탠포드대 CSLI연구소 방문학자, 열암학술상 수상(수상작: '언어,논리,존재'), 서울대 인문대학 기획위원, 학술진흥재단 연구평가위원, 서울대 대학원 인지과학 협동 과정 제3대 전공주임, 한국인지과학회 부회장, 한국논리학회 회장, 서울대 학내벤처 (주)오란디프 대표이사, 서울대 대학자율화연구위원회 위원, 서울대 정보화위원회 위원, 한국인지과학회 회장, 서울대 철학사상연구소 논리논술경시대회 출제위원.출제위원장, 서울대 정보화위원회 위원, 서울대 연구위원회 위원, 2005학년도 대학입학전형 논술고사연구팀 위원, 서울대 대학원 인지과학 협동 과정 제5대 전공주임, 서울대 인문정보연구소 소장, 제21회 입법고등고시 제1차 시험(공직적성평가) 출제위원, 서울대 기초학문발전연구위원회 간사위원, 2008학년도 대학입학전형 인문계열 평가방안연구팀 위원장, EBS논술연구소 소장, 제22회 입법고등고시 제1차 시험(공직적성평가) 출제위원, 서울대 철학과 학과장, 서울대 철학과 BK21 철학교육연구사업단장, 서울대 입학관리본부장, 대교협 모집요강심의위원, 교과부 정책자문위원회 고등교육분과위원, 교과부 자체평가위원회 위원, 서울.경인지역 대학교 입학관련처장협의회 회장, 자택에서 급성 심장마비로 별세. 주요 저서 및 역서로는 <언어, 논리, 존재>, <심리철학과 인지과학>, <계산가능성과 논리> 등이 있다.
