• 논리연구
• /
• 제21권1호
• /
• pp.59-96
• /
• 2018

순수하게 형식적인 견지에서 직관주의 논리는 거짓말쟁이 유형의 역설을 다루는데 어떠한 이점도 없다고 여겨진다. 이 글에서 우리는 표준 직관주의 자연연역체계가 거짓말쟁이 유형의 역설에 취약함을 논할 것이다. 다시 말해, 거짓말쟁이 유형의 문장을 수용함이 모순(${\perp}$)을 도출하는 추론을 야기한다는 것이다. 이러한 결과는 이중부정 제거규칙(DNE)에 대한 제약이 ${\perp}$을 도출하는 추론을 막지 못한다는 것을 보여준다. 하지만 이는 거짓말쟁이 유형의 역설에 대한 직관주의적 접근법이 잘못된 것이 아니라 표준 자연연역 체계의 표현력이 부족한 문제라고 할 수 있다. 우리는 주어진 체계 S에 대한 메타-레벨 부정 연산자 ⊬$_s$와 메타-레벨 모순 연산자 ⋏를 직관주의 체계에 도입할 것이다. 그리고 체계의 완전성에 대한 가정 없이는 이 체계에서 ${\perp}$에 대한 추론을 얻을 수 없음을 보일 것이다. 또한 우리는 이중 메타-레벨 부정 제거규칙(DMNE)을 고려할 것이다. 이 규칙은 체계의 완전성을 암묵적으로 가정하며 DMNE에 대한 제약은 ${\perp}$의 추론을 막을 수 있을 것이다.

• 한국콘텐츠학회논문지
• /
• 제16권2호
• /
• pp.686-695
• /
• 2016

본 연구는 청소년소설을 중심으로 소녀들의 자살 심리를 연구하였다. 논의된 결과는 다음과 같다. 첫째, 김려령 작가의 "우아한 거짓말"(2009)은 화연이란 소녀가 자신이 집단 따돌림을 당하지 않기 위해 천지라는 아이를 따돌리는 소설이다. 화연은 '관계적 공격'을 통해 또래 소녀들에게 천지에 대한 나쁜 이미지를 심어준다. 이로 인해 천지는 자기를 투명 인간으로 인식하고 자신이 이 상황을 변화시킬 수 없게 되자 도피 심리를 보여준다. 둘째, 이옥수의 "킬리만자로에서, 안녕"(2008)이란 작품에서 윤성민의 여자 친구 수회는 아프리카에서 태어나서 자라다가 엄마의 죽음을 겪게 되고 이로 인해 트라우마를 안고 살아간다. 새엄마의 성적 압박으로 인해 자신의 애완동물을 돌볼 수 없게 되자 수회는 우울증에 시달리고 에너지가 고갈된다. 부모의 강압과 언어폭력도 소녀들에게는 자기처벌심리가 작동하여 자살에 이르게 하는 것이다. 셋째, 박채란의 "목요일, 사이프러스에서"(2009)란 작품에는 소녀들이 자신이 원하는 것을 얻기 위한 협상도구로 자살을 이용하는 심리가 나타난다. 청소년들은 사소한 요구가 좌절되어도 자존감을 찾기 위한 보복심리가 작용하여 자살을 시도한다.