연역 논리학 (논증의 증명과 반박 | 반양장)

강성원

서울대학교사회과학대학을졸업하고미국아이오와대학교에서전산학석사,박사학위를받았다.1993년부터KT에서선임연구원으로근무하였으며,2001년부터는KAIST전산학부교수로재직중이다.저서로는『소프트웨어아키텍처로의초대(2012)』,『체계적인소프트웨어제품라인개발(2017)』,『소프트웨어제품라인개발입문(2021)』,번역서로는『지식인의자격(2024)』이있다.

제Ⅰ부서론
제1장세계에대한우리의인식구조와문장의구조
제2장문장,단순문장,복합문장
제3장명제,모순
3.1명제,타당한명제,부당한명제
3.2모순
3.3명제가아닌문장
제4장논증,타당한논증,부당한논증,추론규칙
제5장논증의증명구조와반박구조
연습문제

제Ⅱ부고전논리학
제1장명제의벤다이어그램표현
제2장벤다이어그램을이용한논증의증명과반박
제3장정언적삼단논법
제4장정언적삼단논법의증명과반박
연습문제

제Ⅲ부명제논리
제1장문법
1.1명제기호
1.2연결사,논리식변수,명제논리의논리식
1.3괄호의생략
1.4명제논리논리식의자연어번역
1.5자연어문장의명제논리논리식표현
제2장의미론
2.1진리값과진리표
2.2진리함수로서의연결사
2.3원자식,분자식,타당한논리식,모순논리식
2.4충족가능성,충족불가능성
2.5논리적동치
제3장명제논리에서의논증의증명과반박
3.1진리표를이용한논증의증명과반박
3.2추론규칙을이용한논증의증명
3.2.1타당한논리식형태,동치법칙
3.2.2연역의구조
3.2.3명제논리에서의전건긍정MP1과파생추론규칙들
3.2.4논증증명의예
3.2.5증명의전략
연습문제

제Ⅳ부술어논리
제1장문법
1.1주어와술어
1.2양화사,양화변수,술어논리의논리식
1.3양화사의범위
1.4자유변수,결합변수,변수의재명명
1.5항,논리식의자유로운대입
1.6술어논리논리식의자연어번역
1.7자연어문장의술어논리의논리식표현
제2장의미론
2.1술어논리논리식의해석
2.2양화사의순서
2.3자유변수의해석
제3장술어논리에서의논증의증명과반박
3.1추론규칙을이용한논증의증명
3.1.1명제논리추론규칙의술어논리에서의타당성
3.1.2술어논리에서의전건긍정추론규칙MP2
3.1.3양화사를도입하고제거하는추론규칙들
3.1.4동치법칙
3.1.5논증증명의예
3.2모델구축에의한논증의반박
3.2.1모델의구축
3.2.2논증의반박
연습문제

제Ⅴ부자연연역
제1장논리의정형화
1.1문법적으로올바른논리식
1.2정형적증명
제2장명제논리에서의논증의증명
2.1추론규칙들
2.1.1.∧-도입규칙
2.1.2.∧-제거규칙
2.1.3.∨-도입규칙
2.1.4.→-제거규칙
2.1.5.∨-제거규칙
2.1.6.→-도입규칙
2.1.7.¬-도입규칙
2.1.8.¬-제거규칙
2.2추론규칙의증명*
2.2.1→-제거규칙의증명*
2.2.2→-도입규칙의증명*
2.2.3나머지추론규칙들의증명*
2.3논증의증명
제3장술어논리에서의논증의증명
3.1추론규칙들
3.2추론규칙의증명*
3.2.1→-제거규칙의증명*
3.2.2→-도입규칙의증명*
3.2.3양화사를도입하고제거하는추론규칙들의증명*
3.3논증의증명
연습문제

제Ⅵ부진리나무
제1장명제논리에서의논증의증명과반박
1.1진리나무구축규칙
1.2진리나무구축절차
1.3논증의증명과반박
제2장술어논리에서의논증의증명과반박
2.1진리나무구축규칙
2.2진리나무구축절차
2.3논증의증명과반박
연습문제

제Ⅶ부맺는말
논증의증명관점:술어논리추론체계의건전성과완전성
논증의반박관점:명제논리의결정성과술어논리의비결정성
연역논리학의활용
연습문제

연습문제풀이
참고문헌
용어정의
우리말용어의영어번역
영어용어의우리말번역
기호정의
부록A.타당한논리식과추론규칙들
부록B.추론규칙증명의전개구조
찾아보기