성균관대학교 철학과 학사
University of Illinois; Ph.D.(양상논리의 의미론에 대한 연구)
한림대학교 철학과 교수, 한림대학교 인문대학 학장, 한림대학교 인문학연구소 소장
한국분석철학회 회장, 한국논리학회 회장

저서로《패러독스란 무엇인가?》,《13세부터 읽는 논리노트》,《타나톨로지 죽는다는 것》,《논리학: 명제논리와 술어논리》,《가능세계의 철학》,《논리교실 필로지아》,《논리학1, 명제논리》,《논리학2, 술어논리》,《과학적 지식과 인간다운 삶》,《기초논리학》,《죽는 철학자의 3일간 대화》가 있다