한국논리학회 회원님들께
논리학회 회원 여러분 안녕하신지요?
논리학회 2020년 겨울 학술 발표회 일정 변경과 대강의 계획을 알려 드립니다.
예전 공지에서 2월 14일(금요일)로 알려 드렸는데 2월 8일 (토요일)로 바꿉니다.
더 많은 회원들이 참여하실 수 있도록 날짜를 바꾸었음을 너그럽게 이해해주시길 빕니다.
장소는 국민대학교 북악관 805호입니다.
이번 발표회 때는 두 세션으로 진행됩니다.
첫째 세션은 <교양으로서 논리 교육의 현재와 미래>라는 주제로 간단한 콜로퀴움을 갖습니다.
둘째 세션은 자유 주제로 미리 신청하신 발표자의 발표회를 갖습니다.
회원 여러분들의 많은 관심과 참여 부탁드립니다.
한국논리학회 드림
-------------------------------------
2020년 한국논리학회 겨울 정기 발표회
일시: 2020년 2월 8일 토요일
장소: 국민대학교 북악관 805호
12:50-1:00 등록
1:00-1:10 개회사: 김한승, 논리학회 회장(국민대학교 교양대학)
세션 1: 교양으로서 논리 교육의 현재와 미래
1:10-2:00 각 학교의 사례 발표
전북대 사례, 박일호
성신여대 사례, 배식한
성균관대 사례, 홍지호
아주대 사례, 이진희
국민대 사례, 김명석
2:00-2:30 자유 토론
2:30-2:40 휴식
세션 2: 자유 발표
2:40-3:30 이계식 (한경대 컴퓨터공학과), 모델 기반 학습: 수학, 프로그래밍, 논리 교육의 중요성
3:30-3:40 휴식
3:40-4:30 양은석 (전북대 철학과), Relational semantics for Implicational partial Galois logics
4:30-4:40 휴식
4:40-5:30 최승락 (고려대 철학과), Classical reductio should not be blamed for stopping the non-terminating reduction sequence in the paradoxical reasoning
-------------------------------------
발표 초록
- 이계식, 모델 기반 학습: 수학, 프로그래밍, 논리 교육의 중요성
수학, 프로그래밍, 논리의 중요성과 세 분야 사이의 연관성은 잘 알려져 있는 반면에 세 분야의 연관성이 모델 기반 학습이론에 매우 중요한 역할을 수행할 수 있다는 사실은 잘 알려지지 않았다. 발표를 통해 모델 기반 학습과 관련하여 세 분야의 연관성이 갖는 교육학적 역할과 의미를 전달하고자 한다.
- 양은석, Relational semantics for Implicational partial Galois logics
Implicational tonoid logics and their relational semantics have been introduced by Yang and Dunn. This paper extends this investigation to implicational partial Galois logics. For this, we first define some implicational partial gaggle logics as special kinds of implicational tonoid logics called ``implicational partial Galois logics.'' Next, we introduce relational semantics, called Routley--Meyer--style semantics, for those implicational partial Galois logics.
- 최승락, Classical reductio should not be blamed for stopping the non-terminating reduction sequence in the paradoxical reasoning
Neil Tennant has proposed a proof-theoretic criterion for paradoxicality (TCP) that a genuine paradox is a derivation of an unacceptable conclusion which employs a certain form of id est inferences and generates an infinite reduction sequence. Under the assumption that Curry’s paradox is a genuine paradox, Susan Rogerson (2006, p. 174) first puts forwards to a derivation formalizing Curry’s paradox which employs classical reduction ad absurdum and the derivation does not generate a non-terminating reduction sequence. Her derivation raises an undergeneration problem that the criterion excludes a derivation formalizing a genuine paradox from the scope of genuine ones. In order to solve the problem of undergeneration raised by Rogerson-type counterexamples, Tennant(2015) seems to presume that the application of Classical Reductio, i.e. CR-rule, is the culprit of the trouble that it disguises the main feature of paradoxicality. Tennant may not take the problem of undergeneration seriously. I will claim that the undergeneration problem is not solved by simply accusing CR-rule of the trouble because the occurrence of a non-terminating reduction sequence is independent of the use of CR-rule. To show it, I suggest two examples of the Liar paradox. First, I suggest derivations of the Liar paradox and Curry's paradox which neither use CR-rule nor generate a non-terminating reduction sequence. In addition, we provide derivations of the Liar paradox in which the non-terminating reduction sequence is produced even though the CR-rule is used. After we diagnose the culprit of preventing a non-terminating reduction sequence, I will discuss that the problem of undergeneration will be solved by adding the condition to TCP that only harmonious rules are to be used.
