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

• Korean Journal of Logic
• /
• v.17 no.2
• /
• pp.233-253
• /
• 2014

The Pinocchio paradox that Eldridge-Smith suggested is a version of the semantic paradox. But it is unique in the sense that this paradox does not contain a semantic predicate. Tarski's solution which appeals to the hierarchy of language and Kripke's para-completeness which accepts the third truth value cannot solve the Pinocchio paradox. This paper argues that Eldridge-Smith's trial to criticize semantical dialetheism is not successful and that the paradox implies the rule of the truth predicate is inconsistent. That is, the proper diagnosis to this paradox is that the Pinocchio principle should be considered to be potentially inconsistent, which suggests that semantic paradoxes such as the liar paradox arise because the rule of the truth-predicate is inconsistent. The Pinocchio paradox teaches us that consistent view of truth cannot be successful to solve the semantic paradoxes and that we should accept the inconsistent view of truth.