한국논리학회 회원님들께
 
논리학회 회원 여러분 안녕하신지요?
 
논리학회 2021년 겨울 학술 발표회 계획을 알려 드립니다.
코로나 19 대유행으로 그동안 학회를 열지 못했습니다.
이 점을 너그럽게 이해해 주시길 빕니다.
 
올해 초에 예정된 <교양으로서 논리 교육의 현재와 미래>라는 주제의 콜로퀴움은 취소하기로 하겠습니다.
예전에 자유 주제로 발표 신청하신 분들이 이번에 발표하시도록 하겠습니다.
 
학회는 오프라인에 가질 형편이 되지 않아 온라인에서 진행할까 합니다.
참여방법은 다음과 같습니다.
 
2021년 2월 5일 금요일 오후 13:00
주소: https://korea-ac-kr.zoom.us/j/5361069991?pwd=Q2VTWXZuNkZOTkthblZoYXZsTFR5dz09
 
회원 여러분들의 많은 관심과 참여 부탁드립니다.
 
 
한국논리학회 드림
 
 
-------------------------------------
 
 
2021년 한국논리학회 겨울 정기 발표회
 
 
일시: 2020년 2월 5일 금요일
 
장소: 온라인 주소
 
12:50-1:00 등록
13:00-13:10 개회사: 김한승, 논리학회 회장(국민대학교 교양대학)
 
13:10-14:00 이계식 (한경대 컴퓨터공학과), 컴퓨팅 사고 대 수학적 사고
14:00-14:10 휴식
 
14:10-15:00 양은석 (전북대 철학과), Micanorm analogue sof Łukasiewicz, Goedel, and Product t-norms
15:00-15:10 휴식
 
15:10-16:00 최승락 (고려대 철학과), The problem of classical reductio in Tennant’s criterion for paradoxicality
 
 
-------------------------------------
 
발표 초록
 
- 이계식, 컴퓨팅 사고 대 수학적 사고
  2016년 1월, 다보스 포럼(WEF, World Economic Forum)이 개최된 이후, 제4차 산업혁명이 화두가 되고 있다. WEF(2016)의 일자리 미래 보고서(The Future of Jobs)에서는 제4차 산업혁명이 가까운 미래에 도래할 것이며, 이로 인해 사회, 기술 및 산업 구조에 많은 변화가 나타날 것으로 보았다. 이러한 급격한 변화에 따라 미래 사회에서 요구하는 인재상도 변화하고 있으며, 교육에서도 지식 전달 위주가 아닌 문제해결(problem solving)과 컴퓨팅 사고(computational thinking)를 중심으로 하는 교수·학습법의 중요성에 대한 논의가 점차 강하게 이루어지고 있다. 컴퓨팅 사고는 “사람 또는 기계가 효과적으로 수행할 수 있도록 문제를 형식화하고 해법을 표현하는 것과 관련된 사고 과정”으로, ‘컴퓨터 과학의 근본적인 개념을 사용한 문제해결’을 강조하며, 보통 컴퓨터 과학, 보다 구체적으로는 컴퓨터 프로그래밍과 연관되어 이해된다. 컴퓨팅 사고와 함께 언급되는 것이 수학적 사고(mathematical thinking)이다. 수학적 사고는 정의보다는 보통 “수학적 개념과 원리를 이용한 수학적 문제해결”이라는 특성으로 묘사된다. 컴퓨팅 사고와 수학적 사고는 서로 많은 특성을 공유한다. 본 발표에서는 수학과 수리논리학의 관점에서 컴퓨팅 사고와 수학적 사고 사이의 공통점과 차이점에 대해 살펴본다.
 
- 양은석, Micanorm analogue sof Łukasiewicz, Goedel, and Product t-norms
  Binary MICA(Monotonic Identity Commutative Aggregation) operations called micanorms and micanorms with three weak forms of associativity have been introduced by Yang. He in particular considered micanorm analogues of the Łukasiewicz and Product t-norms. Here we investigate basic algebraic properties of micanorm analogues of the Łukasiewicz, Gődel, and Product t-norms. More precisely, first, we recall some micanorms introduced by Yang. Next, we investigate some basic properties of micanorm analogues of the Łukasiewicz, Gődel, and Product t-norms.
 
- 최승락, The problem of classical reductio in Tennant’s criterion for paradoxicality
  Neil Tennant has proposed a proof-theoretic criterion for paradoxicality (TCP) that a genuine paradox formalized in natural deduction 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.
2020/12/30 17:03 2020/12/30 17:03

이 글에는 트랙백을 보낼 수 없습니다

1 2 3 4 5 ... 53
블로그이미지
About
논리학회

이 누리집은 한국논리학회 공식 누리집입니다. 학회장은 김한승입니다. 학회 주소: (02707) 서울특별시 성북구 정릉로 77, 국민대학교 북악관 1326호 김한승 교수 연구실 | 총무간사: 이종현 kalogic2017@gmail.com | 논리연구 투고처: (02451) 서울특별시 동대문구 이문로25길 11 교수연구동 207호 김신 교수 연구실 | 또는 편집인의 메일 skim@hufs.ac.kr

Recent Comment

Recent Trackback

497399
Today : 16   Yesterday : 102
rss 구독하기
Textcube