기호논리학

1919년 미국 오리건주 포틀랜드에서 태어났다. 오리건대학교, 코넬대학교, 캘리포니아 버클리대학교에서 철학과 수학을 공부했다. 캘리포니아 버클리대학교에서 박사 학위를 받고 2009년 90세를 일기로 작고하기 전까지 철학과 교수로 재직했다. 주요 저서로 『스토아 논리학』(1953), 『기호논리학』(1965, 1972)이 있다. 주요 논문으로는 「동의성」(1950), 「분석 문장」(1951), 「일상언어에 대한 진술의 검증」(1958), 「라이프니츠의 가능세계론」(1968), 「라이프니츠의 철학」(1986) 등이 있으며 논리학, 언어철학, 철학사에서 높은 평가를 받는 저작과 논문을 남겼다.

서울대학교 철학과를 졸업하고 브라운대학교에서 철학 석사 및 박사 학위를 받았다. 서울대학교 철학과 교수 및 인지과학 협동과정 겸임교수로 재직했다. 미국 스탠퍼드대학교 CSLI연구소 방문학자, 한국논리학회 회장과 한국인지과학회 회장을 역임했으며 한국철학회 열암학술상을 수상했다. 지은 책으로 『심리철학과 인지과학』(1996), 『언어, 논리, 존재』(1997), 『사회철학대계 4: 기술시대와 사회철학』(2005), 『선제논리를 향하여』(2010) 등이 있으며, 옮긴 책으로 『계산가능성과 논리』(1996), 『개인의 동일성과 불멸성에 관한 대화』(2000) 등이 있다.

서울대학교 철학과 학부와 대학원을 졸업하고, 프린스턴대학교에서 철학 박사 학위를 받았다. 서울시립대학교 철학과 교수, 런던대학교 철학과 방문학자, 한국철학회 및 철학연구회 편집위원과 한국논리학회 연구위원장을 역임했으며 현재 연세대학교 철학과 교수로 재직하고 있다. 우수연구업적교수상 및 우수강의교수상을 수상했다. 지은 책으로 『김재권과 물리주의』(공저, 2008), 『때문에』(2020)가 있다. 논문으로 「물리주의와 지식 논변」(2004), 「통세계적 동일성의 문제와 양상 인식론」(2004), 「술어에 대한 새로운 프레게적 이론」(2005), 「진리에 대한 최소 이론의 설명력」(2006), 「회의주의 문제와 지식의 정당화 조건」(2011), 「밸러궈의 수학적 플라톤주의와 인식론적 문제」(2015), 「선결 문제 요구의 오류는 왜 오류인가?」(2016), 「두 종류의 인식적 요행과 지식 개념 분석」(2019) 외 다수가 있다.