체코슬로바키아 출생. 「철학」지의 편집 위원을 역임하고 현재 컬럼비아 대학교 교수로 재직중이다. 저서로는 「논리와 과학적 방법 입문」 「학률 이론의 원리들」 「주권 이성」 「형이상학 없는 논리」 「괴델의 증명」 「과학 철학 및 과학사 관련 목적론 재론 및 여타 논문집」 등이 있다.
『수학의 세계』의 편집자였으며 『과학이란 무엇인가?』의 저자이다.
전북대학교 철학과 학부와 대학원에서 배우고 가르쳤다. 지금은 전북대학교 철학과 명예 교수이다. 옮긴 책으로는 『철학적 사고에의 초대』(M. 비어슬리, 서광사, 1985), 『분석철학』(M. 코라도, 서광사, 1986), 『철학의 의미』(J. G. 브렌넌, 박영사, 2007), 『서양의 지혜』(B. Russell, 서광사, 1990), 『철학적 분석 입문』(J. 호스퍼스, 담론사, 1997), 『콰인과 분석철학』(G. D. 로마노스, 한국문화사, 2002), 『논리학』(W. C. 새먼, 박영사, 2010), 『나는 이렇게 철학을 하였다』(B. 러셀, 서광사, 2008), 『자연 과학 철학』(C. G. 헴펠, 서광사, 2010)이 있으며, 편저로는 「논리와 철학」(서광사, 1993)이 있다. 논문으로는 「칸트의 범주 연역에 관한 소고」, 「손가락과 달 ─분석 철학과 동양 철학의 조정을 위한 시론」, 「창과 방패는 모순이 아니다─논리와 한국 철학」외 다수가 있다.