• Korean Journal of Logic
• /
• v.21 no.1
• /
• pp.59-96
• /
• 2018

${\bot}$It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (${\perp}$). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ${\perp}$. It is, however, not the problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation, ⊬$_s$, for a given system S and a meta-level absurdity, ⋏, to the intuitionistic system. We shall show that in the system, the inference to ${\perp}$ is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to ${\perp}$.

• The Journal of the Korea Contents Association
• /
• v.16 no.2
• /
• pp.686-695
• /
• 2016

In this thesis, girls' suicidal mentality which appears in some adolescent novels was sought. We can conclude like these: first, in the novel, Elegant Lies written by Ryeo-ryung Kim, the girl named Wha-yun leaves out Cheon-ji not to be left out alone by her companies. Wha-yun has succeeded in giving an ugly impression of Cheon-ji to the peer girls around her by exercising relational aggression. As a result, Cheon-ji sees herself as a meaningless being and after recognizing that she can't change the situation, she shows psychology of escape. Second, in the novel, Goodbye, from Kilimanjaro written by Ok-soo Lee, Sung-min Yoon's girlfriend Soo-hee born and grown in Africa lives with trauma from her mother's death. As her step-mother suppressed her not to keep in touch with the pet animals, Soo-hee got depressed and out of energy. Parental oppression and verbal violence can let the girl activates self-punishment and lead to suicide. Third, in the novel, Thursday, in Cyprus written by Chae-ran Park, girls could use suicide as a negotiation agenda. Adolescents could commit suicide even if their trivial requests are rejected. In these situations above we can read anticipation of compensation, retaliation and self-punishment mentality.