• Korean Journal of Logic
• /
• v.22 no.1
• /
• pp.87-124
• /
• 2019

A dialetheic approach to the sorites paradox is to understand a borderline case as a true contradiction. In order to accommodate this approach, the possibility of an alternative that does not involve a contradiction should be considered first. Beall presents an alternative that has all virtues of dialetheic solution without contradiction. I do not think his alternative has no contradiction. Using the inclosure schema I will show it. Furthermore, I will show that all alternatives which do not accept the existence of cut-off point imply a contradiction. This means that we have to accept a true contradiction as long as we accept the intuition of vagueness, especially, what is called 'tolerance'.

• Korean Journal of Logic
• /
• v.19 no.3
• /
• pp.341-368
• /
• 2016

Asserting a sentence of the form "p but I do not believe that p" sounds inappropriate, and even absurd or contradictory. The problem that Moore's paradox raises is to explain why asserting such a sentence is absurd despite the fact that there is apparently no logical contradiction in it. Many of the influential accounts of Moore's paradox try to locate its source in the nature of belief or in the nature of assertion. In this paper, I argue that these accounts are not satisfactory, and develop and defend a novel account. According to this account, the source of Moore's paradox should be located in self-reference. Self-reference is constituted by a certain disposition to form second-order beliefs. A subject who is ready to assert "p but I do not believe p" fails to conform to the disposition that is constitutive of self-reference, while at the same time referring to the relevant individual with "I."

• Intergrated Energy Industry
• /
• s.4
• /
• pp.49-51
• /
• 2006

• 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}$.

• Korean Journal of Logic
• /
• v.17 no.3
• /
• pp.373-399
• /
• 2014

This paper deals with the question whether the metaphysical dialetheism is a persuasive view or not. That is, the purpose of this paper is to criticize the metaphysical dialetheism by answering three questions, whether the dialetheism is compatible with the correspondence theory of truth, whether there is an observable contradiction, finally what the status of LNC is. In conclusion, it is argued that dialetheism is incompatible with the correspondence theory of truth, because it results in trivialism to suppose that two views are compatible. It is also claimed that LNC should be understood as the principle of exclusion which constrains the structure of the world and that the real world is consistent. Therefore, there is no observable contradiction in the world and the metaphysical dialetheism is not persuasive.

• Journal for History of Mathematics
• /
• v.9 no.2
• /
• pp.30-42
• /
• 1996

최근 <수학기초론>이란 용어는 Burali-Forti paradox 이후 족(class)과 집합(set) 개념을 이해하려는 시도에서 출발한 20세기적 문제에 적용되고 있다. 이 글에서는 그 해결책으로 제시된 주의ㆍ주장 중 논리적인 모순을 해결하기 위한 Russel의 논리주의적 공리론에 바탕을 두고 살펴보려고 한다. 제 2장에서는 무한의 심연 속에 웅크리고 있는 집합론에서의 역설과 발생 원인에 대하여 살펴보았다. 제 3장에서는 공리론적 집합론 중에서 러셀의 유형론과 그것을 단순화시킨 현대의 유형론을 살펴보고, ZF 집합론과 ZF 집합론의 연장인 처치 집합론의 기본 공리를 살펴보았다.

• The Journal of Korean Association of Computer Education
• /
• v.22 no.1
• /
• pp.87-98
• /
• 2019

It is easy to assume that contradictions are logically incorrect or empty sets that have no solvability. This dilemma, which can not be done, is difficult to solve because it has to solve the contradiction hidden in it. Paradoxically, therefore, contradiction resolution has been viewed as an innovative and creative problem-solving. TRIZ, which analyzes the solution of the problem from the perspective of resolving contradictions, has been used for people rather than computers. The Butterfly model, which analyzes the problem from the perspective of solving the contradiction like TRIZ, analyzed the type of contradiction problem using symbolic logic. In order to apply an appropriate concrete solution strategy for a given contradiction problems, we designed the Butterfly algorithm based on decision making tree. We also developed a visualization tool based on Python tkInter to find concrete solution strategies for given contradiction problems. In order to verify the developed tool, the third grade students of middle school learned the Butterfly algorithm, analyzed the contradiction of the wooden support, and won the grand prize at an invention contest in search of a new solution. The Butterfly algorithm developed in this paper systematically reduces the solution space of contradictory problems in the beginning of problem solving and can help solve contradiction problems without trial and errors.

• Cross-Cultural Studies
• /
• v.38
• /
• pp.65-87
• /
• 2015

This study has examined, first of all, one of unique characteristics of picturebook, so-called dual audience. To be more exact, this paper aimed at exploring the flexibility of picturebooks that allows both of children and adult reader to enjoy them. For this, we analysed Piggybook by Anthony Browne that so far has been read as a traditional picturebook with a single distinctive narrative rather than as a postmodern picturebook with multiple narratives, centering on paradox and irony. The results of this study were as fallows: Piggybook has the potential of multiple readings and meanings for a variety of audiences. Above all, this picturebook raises not only the question about the gender roles but also the one about representation of reality through the language.

• Korean Institute of Interior Design Journal
• /
• v.15 no.3 s.56
• /
• pp.40-47
• /
• 2006

This study examined concepts and expressional relations with Rene Maggritte works that had influence upon design expressions of Shiro Kuramata who brought name of things to the extreme to give new values and functions at the end. Rene Maggritte who was a representative surrealism painter in Belgium had a lot of influence and inspiration on the art world including pop art and conceptual art in the middle of the 20th century and so many modern artists. Rene Maggritte unreasonably placed object of ordinary things that people could know to combine them and to make people's thought be free from ideas. Shiro Kuramata worked at wide areas including the space, lighting, furniture and products to be well known as a designer who could create concepts. Shiro Kuramata designed indoor space and furniture not by making forms but by being free from customary names and concepts of things to examine substance and to discover unlimited possibility and to create new visual functions. And, such a thing made people be free from names and concepts that they cognized for a long time, and it brought freedom to things. This study investigated correlations of work concepts and expressions of Rene Maggritte and Shiro Kuramata to bring new inspiration and expansion to people's thought methods and design methodology regarding concepts of things.

• Korean Journal of Logic
• /
• v.9 no.2
• /
• pp.59-98
• /
• 2006

유아론에 대한 비트겐슈타인의 철학적 투쟁을 조명하는 것은 그의 전체 철학의 핵심을 조명하는 것에 상당한다. 요컨대 유아론의 문제는 언어놀이, 놀이와 언어의 유사성, 가족 유사성, 규칙 따르기, 규칙 따르기의 역설, 사적 언어 논변, 뜻함, 봄과 -로서 봄, 모순, 논리적 필연성, 함 또는 실천과 같은 후기 비트겐슈타인의 핵심 개념이나 주제와 얽혀 있다. 이를 보이기 위해서 이 글에서는 유아론의 개념, 유아론에 대한 청년 비트겐슈타인의 생각, 후기 비트겐슈타인의 진단을 논의하게 될 것이다. 이러한 과정에서 우리는 비트겐슈타인이 유아론(넓게는 데카르트주의, 영국경험론, 현상학)에서 실천으로 나아가는 패러다임의 전환을 수행하고 있다는 것을 확인하게 될 것이다. 이러한 논의가 진행되면 우리는 유아론에 대한 후기 비트겐슈타인의 비판과 '사적 언어'가 어떻게 연결되는지 자연스럽게 문제 삼게 된다. 많은 학자들이 주장하는 바에 따르면, 비트겐슈타인은 사적 언어가 불가능하다고 간주했다. 그러나 나는 이러한 주장은 비트겐슈타인이 처한 패러다임의 전환 상황을 간과하는 처사로서 설득력 없는 것임을 보이고자 한다.