논리적 사고의 기초

최원배

최원배는고려대학교철학과와같은학교대학원을졸업하고,영국리즈대학에서철학박사학위를받았다.지금은한양대학교정책학과에서논리학을가르치고있다.주요관심분야는논리철학,언어철학,수학철학이다.옮긴책으로는『산수의기초』(공역),『수학철학』,『논리학의역사』(공역),『비판적사고:실용적입문』,『피셔의비판적사고』등이있고,지은책으로는『입증』(공저)이있다.

머리말 5
1장논리학의기초개념 11
1.1논리학과논증 11
1.2타당한논증이란? 16
1.3좋은논증과반박방법 27
1.4타당성과일관성 30

1부명제논리 39

2장명제논리의기초개념 41
2.1명제의분류:단순명제와복합명제 41
2.2진리함수적결합사란? 43
2.3네가지유형의복합명제:부정,연언,선언,그리고조건언 47
2.4명제논리의문법:형성규칙 58
2.5명제논리의언어로표현하기:기호화 62

3장자연연역의방법 71
3.1기초개념:제거규칙과도입규칙 71
3.2연언및조건언규칙 78
3.3부정및선언규칙 95
3.4좀더복잡한명제논리추론의증명 121
3.5정리와파생규칙 140

4장진리표와진리나무 161
4.1기초개념:진리표 161
4.2진리표의방법 170
4.3약식진리표의방법 175
4.4진리나무의방법 183

5장몇가지메타논의 205
5.1표현상의적합성 205
5.2타당한논증과상응하는조건언 212
5.3명제논리체계의건전성 215
5.4명제논리체계의완전성 228

2부양화논리 243

6장양화논리의기초개념 245
6.1명제의분류:단칭명제와일반명제 245
6.2두가지종류의양화사와두가지종류의일반화 251
6.3좀더복잡한양화문장1 259
6.4좀더복잡한양화문장2:다항일반성 269

7장자연연역의방법 289
7.1보편양화사규칙 289
7.2존재양화사규칙 301
7.3좀더복잡한양화논리추론의증명 320

8장동일성,일정수를나타내는양화사,그리고한정기술 351
8.1동일성 351
8.2일정수를나타내는양화사 353
8.3한정기술 359
8.4관계의성질 361

9장진리나무 365
9.1진리나무의방법을확장하기 365
9.2진리나무의방법을적용하기 374

연습문제해답 383
참고문헌 445

1장논리학의기초개념에서는타당성개념을중심으로논리학의기초개념몇가지를소개한다.
핵심개념으로는연역논증,단조성,타당성,논증의반례,일관성을다룬다.

2장명제논리의기초개념에서는“진리함수‘란개념을중심으로명제논리의기초개념몇가지를소개한다.핵심개념으로는결합사,진리함수적결합사,진리함수적복합명제를다룬다.

3장자연연역의방법에서는우리가일상적으로추론하는방식을형식화한자연연역의방법을다룬다.여기에서는명제논리의추리규칙8가지를소개한다.
핵심개념으로는제거규칙,도입규칙,소거를다룬다.

4장진리표와진리나무에서는진리표와진리나무라는장치를통해명제논리추론의타당성을판별하는방법을소개한다.

5장몇가지메타논의에서는우리의명제논리가건전하며완전한논리체계임을보인다.
핵심개념으로표현상의적합성,상응하는조건언,건전성,완전성을다룬다.

6장양화논리의기초개념에서는양화사개념을중심으로양화논리의기초개념몇가지를소개한다.
핵심개념으로양화사,논의세계,보편일반화,존재일반화를다룬다.

7장자연연역의방법에서는자연연역의방법을중심으로양화논리를접근한다.이에따라양화논증을다룰수있는추리규칙네가지를추가로도입한다.
핵심개념으로보편/존재양화사제거규칙,보편/존재양화사도입규칙,임의의이름,전형적선언성원을다룬다.

8장동일성,일정수를나타내는양화사,그리고한정기술에서는이장에서는동일성기호를도입함으로써양화논리의표현력이확장됨을보인다.
핵심개념으로동일성술어,일정수를나타내는양화사,한정기술을다룬다

9장진리나무에서는진리나무의방법을사용해양화논리추론의타당성을판별하는방법을소개한다.

끝으로연습문제해답이나와독자들에게도움을준다.

이책은논리학교재로도쓰기위해만든것이라하며저자는머리말에서교재로사용하는선생님들에게꼭필요한부분과시간이부족할때뺄수있는부분도친절하게조언하고있다.
또한저자는이책을통해논리학이논의거리가풍부하고꽤흥미로운학문임을깨닫는사람이조금이라도늘어나기를바라고있다.