• Korean Journal of Logic
• /
• v.20 no.3
• /
• pp.335-366
• /
• 2017

Sorensen proved that 'vague' is vague through a sorites paradox that he presented. I will show that his sorites paradox satisfies the conditions for a sorites paradox and does not satisfy those conditions. So we will face a new paradox which exemplifies inconsistency of conditions for a sorites paradox. But those conditions include a principle which says when two cases are close enough, there will be no change in truth value. It represents an essential feature of vagueness. Therefore the paradox I will present in this article is not only shows inconsistency of conditions for a sorites paradox but also shows inconsistency of vagueness itself.

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

• Korean Journal of Logic
• /
• v.20 no.3
• /
• pp.367-390
• /
• 2017

Much of literature on the paradoxes of confirmation has been focused on the problems raised by the fact that a nonblack nonraven confirms the hypothesis that every raven is black. In this paper I would like to emphasize that more interesting problems are still waiting to be explained, if we notice that a black nonraven confirms the raven hypothesis as well. For this I examine what Hempel exactly means by the paradoxes of confirmation, and show that the previous discussions on the paradoxes were at most partial solutions. Then I argue that Hempel presupposes the so-called 'converse consequence condition' regarding confirmational evidence. Finally I discuss what impact is made on the Bayesian solution to the paradoxes, if we accept a more faithful interpretation to Hempel.

• Korean Journal of Logic
• /
• v.17 no.3
• /
• pp.425-440
• /
• 2014

In his recent paper, Hanseung Kim (2014) discusses the Cable Guy paradox and argues that given the nature of regret, it is rational to bet on the cable guy's afternoon arrival, though it is equally probable for him to arrive in the morning or afternoon interval. In this paper, I argue that regret is not essential to the paradox in that the paradox still arises even if we ignore regret. I then briefly discuss a possible way to proceed to resolve the paradox.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.04a
• /
• pp.896-897
• /
• 2015

본 연구는 3D 이미지 스캔 데이터 기반으로, SWEEPING 형상을 효과적으로 역설계하는 기술에 관한 것이다. 사용자가 미리 정의한 형상 단면 모델 데이터베이스를 이용해, 3차원 SWEEPING 형상을 자동으로 역설계하는 알고리즘을 제안한다. 이를 위해, 3D 이미지 스캔 데이터인 포인트 클라우드에서 자동으로 추출한 단면 포인트들을 처리해, 파라메터 정보를 추출하고, 미리 정의된 형상 단면들과 상호간 유사도를 비교한 후, 가장 유사한 형상 단면을 획득한다. 이러한 기술은 SWEEPING 형상 모델의 역설계 과정을 자동화하는 데 도움을 줄 것이다.

• Korean Journal of Construction Engineering and Management
• /
• v.15 no.3
• /
• pp.3-11
• /
• 2014

Recently, remodeling construction project has been prevalently conducted in major city areas in Korea. However, remodeling construction project has a difficulty in conducting a construction because of non-existing drawing or lack of drawing information. To solve these problems, modeling techniques by using reverse engineering have been widely studied in other industries such as aerospace and automobile industry. But reverse engineering techniques have not been used in remodeling construction projects because those technology haven't supplied less accuracy during required time for surveying. So, this study suggests optimal method of acquiring accurate 3D laser scanner information for reverse engineering at interior remodeling project.

• Korean Journal of Social Welfare
• /
• v.64 no.1
• /
• pp.53-77
• /
• 2012

The Easterlin Paradox is widely accepted as a pioneer of happiness study in social science disciplines including Economics, Psychology, and Sociology. Moreover, it should be noted, the paradox has abundant implications on many social issues such as 'economic growth or social equity', 'basic income' and so forth. It is in this regard that this paper purports to understand debates around the paradox. For this purpose, the chapter two examines the theoretical perspectives of the Easterlin Paradox, and accordingly the chapter three examines the Easterlin Paradox debates since the early 1990s. In the context of the Easterlin paradox debates, the chapter four scrutinizes the debates around satiation point in income-happiness nexus and duly concludes with some social welfare implications.

• Korean Journal of Logic
• /
• v.16 no.1
• /
• pp.17-43
• /
• 2013

Recently Byeong-Uk Yi has attempted to provide a novel solution to the paradox of before-effect by arguing that, upon drawing our attention to the notion of collective causation, we realize that there is a straightforward solution to the paradox. My aim in this paper is to show that Yi's solution fails. To this end, after making explicit two sources of the puzzlement in the paradox of before-effect, I set two requirements one must meet to resolve the paradox. And I argue that Yi's solution cannot meet both requirements at the same time.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.9
• /
• pp.5870-5876
• /
• 2014

The aim of this study was to suggest the System Architecture for Effective Architectural MEP Pipe Reverse Design(PRD) based on the Point Cloud and derive the consideration. To do this, the requirement and use-cases related to the MEP pipe reverse design work were defined and the architecture for the reverse design automation was proposed. To identify a consideration for finding the architecture issues, a prototype was developed using the architecture and evaluated.

• Korean Journal of Logic
• /
• v.17 no.2
• /
• pp.287-322
• /
• 2014

We put forward a scheme of the theory of analysis, and G. E. Moore's theory of analysis is reconstructed. As C. H. Langford pointed out, Moore's theory commits to the paradox of analysis which says that if a analysis is correct then it is not informative, and if it is informative it is not correct. For, according to his theory, analysing statement is necessarily true identity statement and have some information. Moorean responses which is given by Max Black, Raymond Bradley and Norman Swartz, and Wilfrid Sellars rely on the distinction between the information about concepts and linguistic entity. These approaches are deficient in dealing properly with the difference in concepts as analysandum and analysans. Also, non-Moorean resolutions asserted by Myers, King, Black, and Earl are examined.