코어논리학 : 논리적 추론과 증명 테크닉

이병덕

미국인디애나대학교철학과에서세계적인논리학자인아닐굽타의지도하에논리적역설에관한연구로박사학위를받았다.현재성균관대학교철학과교수이다.
행정고시공직적격성평가(PSAT)언어논리영역출제위원과선정위원ㆍ법학적성시험(LEET)추리논증영역출제위원과운영위원으로참여했다.또한한국연구재단인문학단전문위원ㆍ한국논리학회회장및한국논리학회가발행하는등재지『논리연구』의편집위원장을역임했다.현재한국분석철학회가발행하는등재지『철학적분석』의편집위원장을맡고있다.
대표저서로『현대인식론』(성균관대학교출판부,2013)과『표상의언어에서추론의언어로』(성균관대학교출판부,2017)가있다.

머리말

1장__논증이란무엇인가?
2장__연역논증과귀납논증
3장__논리적연결사:부정,연언그리고선언
4장__모순,반대,소반대,정언진술그리고벤다이어그램
5장__문장논리의언어와진리표를이용한타당성증명
6장__조건문,쌍조건문,필요조건그리고충분조건
7장__문장논리I:자연연역에의한타당성증명
8장__문장논리II:파생규칙
9장__술어논리I:술어논리의언어
10장__술어논리II:의미론과타당성
11장__다중양화문장
12장__술어논리의자연연역
13장__동일성문장과확정기술어구
14장__재구성을통한논증의이해
15장__비형식적오류

부록__삼단논법

연습문제해답
찾아보기

이책의핵심콘셉트,다섯가지

논리학은단지암기해야할지식에머물러서는결코안되며,실제로살면서마주치게되는다양한종류의논증들의타당성과부당성을평가하고증명하는능력을키워줄수있어야한다.그래서저자는논리학을처음접하는학생들도핵심적인증명테크닉들을체계적이면서도난해하지않은방식으로배울수있도록이책을썼다고말한다.특히불요불급한논의를배제함으로써문장논리,술어논리,그리고비형식논리학의기본개념들을한학기동안핵심적으로배울수있도록정리하였다.

자연연역에의한증명테크닉을책전체에체계적으로사용하였다.특히기본추론규칙들을먼저도입한후나머지유용한규칙들을기본규칙들에의해증명되는파생규칙들로도입함으로써,학생들이추론규칙들을체계적으로이해하고,또한쉽게활용할수있도록구성하였다.

기존의논리학교과서들과달리학생들이논리학을공부하면서스스로논증의타당성을증명할수있는능력을기르는데역점을두었다.그러하여이목적에부합하는수많은증명의사례들과연습문제들을풍부하게제시하였다.또한풀어본답이맞는지스스로확인할수있도록모든연습문제들의해답을책말미에함께수록하였다.

대개의논리학개론서들은술어논리의의미론을다루지않는다.때문에술어논리의논증이타당한경우는증명할수있지만,부당한경우엔이를증명하기어려운문제가있곤했다.이책은술어논리의의미론을추가함으로써간단한모형세계이론을활용해논증이부당한경우도쉽게증명해볼수있도록하였다.

일상적논증들을재구성하는방법과비형식적오류들을추가함으로써학생들이일상적으로겪는실제사례들속에서도형식논리학의테크닉을어떻게적용하는지가늠해볼수있도록구성하였다.