형식논리학

아주대학교
홍성기

페이스북 트위터 카카오톡 네이버밴드 링크복사

주제분류

교육학 >교육일반 >교과과정
강의학기

2013년 2학기

조회수

17,981

형식논리학(formal logic)은 19세기 말에서 20세기초에 일상용어에 바탕을 둔 과거의 논리학을 기호화함으로써 획기적으로 발전한 분야다. 따라서 형식논리적 엄밀성을 이해한다면, 요즈음 많이 시행되고 있는 각종 적성검사에서 논리관련 지식습득은 충분하다고 할 수 있다. 지난 학기에는 배중률의 인정여부를 통해 고전논리와 비고전논리로 양분되는 현대논리학의 경향을 소개하였으나, 학생들에게 상당한 수업부담과 개념의 혼란을 가져온 듯하여, 이번 학기에는 논리학의 주류라고 할 수 있는 고전논리부분만을 집중적으로 소개하고 연습한다.

차시별 강의

1.		강의소개
2.		논리학을 위한 사전지식
3.		고전논리학
4.		명제논리의 의미론
5.		명제논리 논중의 타당성
6.		명제논리의 모형이론
7.		명제논리의 증명이론
8.		술어논리의 구문론
9.		술어논리의 기호화
10.		술어논리의 의미론
11.		술어논리의 자연연역
12.		술어논리의 진리나무
13.		대화논리학