"기호논리학 : 2020년 1학기"의 두 판 사이의 차이
imported>Zolaist |
(차이 없음)
|
2020년 6월 18일 (목) 14:58 판
- 수업시간 : 월5 & 수5,6
- 담당교수 : 정동욱 (zolaist@gmail.com)
- 강의 웹사이트 : http://zolaist.org/wiki/index.php/Logic_2020-1
수업 목표
논리학은 논증의 타당성을 다루는 학문이다. 어떤 학문이든 자신의 주장을 뒷받침하기 위해 논증을 사용할 수밖에 없으므로, 논리학은 다른 모든 학문의 기초를 제공한다고 볼 수 있다. 기호논리학은 복잡한 일상언어 대신 단순한 기호들로만 이루어진 형식언어를 활용한 논리학이다. 형식언어는 일상언어에 비해 표현의 제약이 많은 대신 논리적 귀결 관계가 명확하기 때문에 추론과 논증을 탐구하고 훈련하기 위한 목적으로 안성맞춤이다.
이 수업의 수강생들은 형식언어의 특별한 문법에 따라 문장을 작성하는 방법, 일상언어로 이루어진 문장을 형식언어로 번역하는 방법, 형식언어의 문장들로 이루어진 논증의 타당성을 검토하는 방법을 배울 것이다. 이 과정에서 수강생들은 논리학의 기본 개념들을 배우는 동시에 이를 적용할 수 있는 능력도 갖추게 될 것이다.
수업 방법과 평가 방법
교재는 이병덕의 『코어 논리학』(성균관대학교출판부, 2019)을 사용할 것이며, 교재의 순서를 따라 수업을 진행할 것이다. 논리학은 임의의 전제들로부터 어떤 결론이 도출될 수 있는지에 대한 이론인 동시에 그 이론을 실제로 적용하여 구체적인 전제들로부터 모종의 결론을 추론하는 기술이기도 하다. 논리학의 이론적 측면은 강의를 통해 전달하겠지만, 논리학의 기술적 측면은 교재의 연습문제와 과제를 스스로 풀면서 습득하는 수밖에 없다. 그러한 문제 풀이 과정에서 논리학의 이론적 측면에 대한 이해도 완벽해질 것이다.
평가 비율 : 출석(10%) | 과제(20%) | 중간고사(35%) | 기말고사(35%)
- 출석(10%) : 비대면 수업 기간 동안은 일정 기준을 만족하는 과제를 제출하면 출석으로 인정합니다. 최종 출석 점수는 [10-(결석횟수+0.5×지각횟수)]로 계산됩니다.
- 과제(20%) : 총 10회 이상의 과제가 나갈 것입니다. 각 과제당 일정 기준을 만족하면 무조건 10점을 드립니다. 예를 들어, 퀴즈 형식의 20점짜리 과제에 대해 18점 이상이라는 기준이 제시된 경우, 18점을 받든 19점을 받든 기준을 만족한 것으로 간주하여 10점 만점을 드립니다. 그래서 만약 총 10회의 과제에서 총 90점을 받았다면, 최종 과제 점수는 18점이 됩니다.
- 중간고사&기말고사(70%) : 결국 가장 중요한 비중을 차지하는 것은 시험이 될 것입니다.
시험을 잘 보려면 평소 과제를 정답 해설이나 남의 도움 없이 스스로 해결하는 버릇을 들여야 합니다. 당장 답이 생각나지 않는다고 해서 곧장 해설을 보거나 친구에게 해답을 구한다면 결국 그 부분은 제대로 이해하지 못한 채 넘어가게 됩니다. 그리고 한 번 그렇게 넘어가면 그 뒤의 내용은 더욱 이해가 어려울 것입니다. 정답 해설을 통해 이해한 것 같더라도, 책을 덮은 후 스스로 풀 수 없다면 그것은 진정을 이해한 것이 아님을 명심해야 할 것입니다.
수업 일정
1주. 논리학과 논증 : 연역 논증과 귀납 논증
- 읽을거리 : 교재 1,2장 | 기호논리학 강의노트01.pdf | 기호논리학 퀴즈01
- 모든 수강생의 퀴즈 제출이 확인되었습니다. 감사합니다.
2주. 타당성, 필연적 참, 상상가능성
- 기호논리학 강의노트02.pdf | 기호논리학 퀴즈02 (마감 : 3월 29일)
- 참고 : 벤슨 메이츠, 『기호논리학』 (문예출판사, 1995), 서장.
3주. 논리적 연결사
- 기호논리학 강의03A : 강의 소개 및 퀴즈02 해설
- 기호논리학 강의03B : 논리적 연결사
- 기호논리학 과제03.pdf : 강의03B를 시청하면서 풀 수 있도록 제작했습니다. 파일을 출력하여 빈칸을 펜으로 채우거나 혹은 파일 내에서 직접 빈칸을 채워 넣어 e-campus를 통해 제출해 주세요. (마감 : 4월 5일)
- 읽을거리 : 교재 3장
4주. 모순, 반대, 소반대, 정언 진술 그리고 벤 다이어그램 & 문장 논리의 언어와 진리표를 이용한 타당성 증명
- 동영상 강의04A : 모순, 정언 진술, 벤다이어그램 | 기호논리학 강의노트04A
- 동영상 강의04B : 문장 논리의 언어와 진리표 | 기호논리학 강의노트04B
- 읽을거리 : 교재 4-5장
- 과제 : (1) 강의노트04A와 04B 빈칸 채우기 (2) 교재 4장 연습문제 A1, A2, A10, A11, B, C1, C3, C5, C7, D3, 5장 연습문제 C3, C4, C6, C3, C6, E2, E3, E5, F2, F4, G1, G2, G5
- 과제 제출 마감은 4월 12일이며, e-campus 과제 메뉴를 통해 제출해 주세요. 2종류의 과제를 모두 하나의 파일로 모아서 제출해주시기 바랍니다. 가장 쉬운 방법은 종이에 풀어서 1장씩 사진을 찍은 후 pdf 파일이나 zip파일로 묶어서 제출하는 것입니다.
- 참고로 강의노트의 정답은 동영상 강의에 있으며, 연습문제의 정답은 교재 뒷편에 있습니다. 그러므로 과제에 대해 따로 해설은 드리지 않을 것입니다. 다만 이해가 안 되는 문제가 있다면 메일이나 강의 웹사이트 아래의 Disqus를 통해 문의해 주시기 바랍니다.
5주. 조건문, 쌍조건문, 필요조건 그리고 충분조건
- 동영상 강의05A : 조건문과 쌍조건문 | 강의노트05A
- 동영상 강의05B : 조건문과 쌍조건문 연습 | 강의노트05B
- 과제 : (1) 강의노트05A 빈칸 채우기 & (2) 교재 6장 연습문제A5, A6, B2, B4, C9, D5, D9, E3, E5, E10, F3, G3 (마감 : 4월 19일)
6주. 문장 논리 1 : 자연 연역에 의한 타당성 증명
- 동영상 강의6A : 논리적 참과 논리적 거짓 & 4,5장 연습문제 | 강의노트06A
- 동영상 강의6B : 자연 연역 | 강의노트06B
- 과제 : (1) 강의노트06B 제출 (2) 교재 7장 연습문제 A4, A5, A7, A10, A12, B4, B6, B8, B10, B12 (마감 : 4월 26일. 딜레이 제출시 하루에 1점씩 감점)
- 동영상 강의06C : 6장 연습문제 해설 | 강의노트06C
7주. 문장 논리 2 : 파생 규칙
8주. 자연 연역과 파생 규칙 연습
- 강의노트08A | 동영상 강의08A : 자연 연역 연습
- 강의노트08B | 동영상 강의08B : 파생규칙 연습
- 과제 : 강의노트08B 제출 & 8장 연습문제 B2, B4, C3, C9, D3, D6 (마감 : 5월 10일)
- 테스트 : 테스트01 (마감 : 5월 10일)
9주. 술어 논리 1 : 술어 논리의 언어
- 동영상 강의09A : 술어 논리의 언어 | 강의노트09A
- 동영상 강의09B : 자연연역 및 파생규칙 과제 해설
- 과제 : 강의노트09A 제출 (마감 : 5월 17일)
10주. 술어 논리 2 : 의미론과 타당성
- 동영상 강의10A : 술어 논리의 의미론과 타당성 | 강의노트10A
- 동영상 강의10B : 술어 논리의 의미론과 타당성 추가 | 강의노트10B
- 과제 : 강의노트10A (마감 : 5월 24일) & 강의노트10B 제출 (마감 : 5월 26일)
11주. 다중 양화 문장
- 동영상 강의11A : 다중 양화 문장 (5월 21일 오전 8시 공개 예정) | 강의노트11A
- 동영상 강의11B : 술어 논리의 의미론과 타당성 연습 | 강의노트11B
- 과제 : 강의노트 11A, 11B 제출 (마감 : 5월 31일)
12주. 술어 논리의 자연 연역
- 동영상 강의12A : 술어 논리의 자연 연역 1 | 강의노트12A
- 동영상 강의12B : 술어 논리의 자연 연역 2 | 강의노트12B
- 과제 : 강의노트12A,B 제출 (마감 : 6월 7일)
13주. 동일성 문장과 확정 기술어구
- 동영상 강의13A : 술어 논리의 자연 연역 3 | 강의노트13A
- 과제 : 강의노트13A 제출 (마감 : 6월 14일)
- 동영상 강의13B : 자연 연역 연습 & 동일성 문장 | 강의노트13B
- 강의노트13B는 강의노트14A와 함께 6월 18일 (목)까지 제출해 주세요.
14주. 확정 기술어구 재구성을 통한 논증의 이해
- 동영상 강의14A : 확정 기술어구 | 강의노트14A
- 과제 : 강의노트13B, 14A 제출 (마감 : 6월 18일)
- 동영상 강의14B : 기호논리학과 철학 | 강의노트14B
15주. 기말고사
- 동영상 강의15A : 동일성 문장과 확정 기술어구 연습 (6월 19일 공개 예정) | 강의노트15A