• Korean Journal of Logic
• /
• v.18 no.1
• /
• pp.65-83
• /
• 2015

This paper deals with non-algebraic Kripke-style semantics for three-valued paraconsistent logic: set-theoretical Kripke-style semantics. We first recall two three-valued paraconsistent systems. We next introduce set-theoretical Kripke-style semantics for them.

• Korean Journal of Logic
• /
• v.17 no.3
• /
• pp.441-461
• /
• 2014

This paper deals with one sort of Kripke-style semantics for three-valued paraconsistent logic: algebraic Kripke-style semantics. We first introduce two three-valued systems, define their corresponding algebraic structures, and give algebraic completeness results for them. Next, we introduce algebraic Kripke-style semantics for them, and then connect them with algebraic semantics.

• Korean Journal of Logic
• /
• v.11 no.1
• /
• pp.33-65
• /
• 2008

최근에 양은석은 "비트겐슈타인과 초일관성: 비트겐슈타인의 반실재론"에서 모순에 대한 비트겐슈타인의 견해에 대해 매우 주목할 만한 주장을 하였다. 그에 따르면, 비트겐슈타인은 약한 의미의 초일관주의자로 간주될 수 있다. 이 글에서는 이러한 양은석의 주장이 설득력 없는 것임을 보이고자 한다. 또한 비트겐슈타인이 논리학과 수학, 그리고 모순을 어떻게 바라보았는지를 가능한 한 공정하게 조명하고자 한다. 여러 학자들은 모순에 대한 비트겐슈타인의 생각이 대단히 특이한 것이라고 간주하였고, 더 나아가 마치 어떤 중대한 오류를 포함하는 것처럼 평가하였다. 그러나 이제 이러한 평가는 더 이상 유효하지 않다. 모순과 관련된 비트겐슈타인의 생각은 더 이상 특이하지 않다. 왜냐하면 그의 생각은 옳기 때문이다.

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