• 논리연구
• /
• 제20권3호
• /
• pp.335-366
• /
• 2017

소렌센(R. Sorensen)은 자신이 제시한 더미 역설(sorites paradox)을 통해 '모호함'이 모호함을 입증하였다. 필자는 이 글에서 소렌센이 제시한 더미 역설이 새로운 역설을 야기함을 보일 것이다. 간단히 말해, 소렌센이 제시한 더미 역설은 더미 역설이 성립하기 위한 조건을 만족하면서 만족하지 못한다는 것이다. 그래서 필자가 제시하는 '소렌센 더미 역설'은 소렌센이 제시한 더미 역설의 역설이라고 할 수 있다. 그런데 더미 역설이 성립하기 위한 조건은 인접한 두 대상 $a_n$, $a{_n}^{\prime}$과 관련된 $P(a_n)$과 $P(a{_n}^{\prime})$의 진리값이 다르지 않다는 것을 포함한다. 그리고 이 조건은 모호성의 정의적 특징을 나타내는 것이기도 하다. 이 조건으로부터 모호한 용어의 적용범위를 구분하는 절단점이 없다는 주장이 도출되기 때문이다. 따라서 필자가 제시하는 소렌센 더미 역설은 모호성 자체가 비일관적임을 보이는 것이라고 할 수 있다.

• 논리연구
• /
• 제17권2호
• /
• pp.233-253
• /
• 2014

엘드리지-스미스가 제시한 피노키오 역설은 거짓말쟁이 역설과 같은 의미론적 역설의 변형이지만, 의미론적인 술어를 포함하고 있지 않다는 점에서 독특하다. 언어의 위계를 이용하여 의미론적 역설을 해결하려는 타르스키의 해결책이나, 진리 술어를 부분적으로 정의되는 것으로 보고 거짓말쟁이 문장에 대해서 진리 틈새를 인정하는 크립케의 초완전성 견해는 피노키오 역설에 대한 적절한 해결 방안이 아니다. 피노키오 역설을 통해서 양진주의에 대해서 비판하는 엘드리지-스미스의 시도가 성공적이지 않음과 함께 이 역설의 중요한 함축은 진리 술어에 관한 규칙이 비일관적이라는 것을 논증한다. 이 역설에 대한 적절한 진단은 이 역설을 낳는 피노키오 원리가 잠재적으로 비일관적임을 인정하는 것이고, 이 점은 거짓말쟁이 역설과 같은 의미론적 역설이 발생하는 이유는 진리 술어에 대한 규칙이 비일관적이기 때문이라는 점을 시사한다. 피노키오 역설을 통해서 우리가 알 수 있는 것은 의미론적 역설에 대한 진리 일관성주의적 해결책은 성공할 수 없고 진리 비일관성주의를 받아들여야 한다는 것이다.

• 논리연구
• /
• 제20권3호
• /
• pp.367-390
• /
• 2017

입증의 역설에 관한 기존의 논의는 까마귀가 아니고 검지도 않은 대상이 까마귀 가설을 입증한다는 사실에 대체로 집중되어 왔다. 나는 이 글에서 까마귀가 아니지만 검은 대상이 입증의 역설과 관련하여 흥미로운 문제를 야기한다는 점을 부각시키고자 한다. 우선 헴펠이 입증의 역설을 어떻게 이해하고 있는지를 검토해 입증의 역설에 대한 기존의 논의가 부분적이었음을 밝힌다. 이어 까마귀가 아니지만 검은 대상이 까마귀 가설을 입증한다는 것을 헴펠이 정확히 어떻게 정당화 하는지를 살펴보고, 헴펠이 이 과정에 '증거의 역귀결 조건'이라고 부르는 원리를 가정하고 있음을 보인다. 끝으로 입증의 역설에 대한 이런 새로운 이해가 헴펠과 베이즈주의의 역설 해결책에 어떤 영향을 미치는지를 살펴본다.

• 논리연구
• /
• 제17권3호
• /
• pp.425-440
• /
• 2014

최근 김한승 교수는 그의 논문 "확률과 시간에 관한 두 가지 퍼즐"(2014)에서 수리기사의 역설을 소개하고 이에 대한 흥미로운 논의를 내놓았다. 김한승(2014)에 따르면, 수리기사 역설에서 '오전'이 참일 확률과 '오후'가 참일 확률은 동일하지만 후회라는 감정의 본성상 '오후'를 선택하는 것이 합리적이다. 본 논문에서 필자는 김한승 교수가 수리기사 역설을 이해, 진단하는 방식에 대해 문제 제기를 하고(1, 2절), 그 역설의 한 가지 가능한 해결 방향에 대해 간략히 논의한다(3절). 필자가 보기에 후회의 감정은 수리기사 역설을 일으키는 중요한 원천이 아니며, 오히려 문제의 상황이 정말로 역설적인 이유는 후회의 부정적인 효용을 고려하지 않는다 하더라도 여전히 퍼즐이 발생하기 때문이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 춘계학술발표대회
• /
• pp.896-897
• /
• 2015

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

• 한국건설관리학회논문집
• /
• 제15권3호
• /
• pp.3-11
• /
• 2014

최근 국내 건축경기 불황에 대한 방안으로 리모델링 시장이 신규 유망시장으로 주목받고 있다. 하지만 리모델링 공사를 추진하는데 있어, 도면의 부재나 도면 정보의 부족 등으로 시공에 상당한 어려움을 겪고 있다. 이러한 문제를 해결하기 위해 역설계 기술을 이용한 도면화 기술에 대한 활발한 연구가 진행 중이지만, 현장에서는 역설계 기술의 정확도와 도면화 시간에 대한 정보부족으로 역설계 기술의 사용을 주저하고 있다. 따라서 본 연구에서는 실험을 통해 역설계 과정 중 3차원 형상 정보를 획득하는데 있어서 포인트 데이터 정밀도에 따른 측정시간과 오차를 분석하여 최적의 포인트 데이터 획득 정밀도를 제안하고자 한다.

• 한국사회복지학
• /
• 제64권1호
• /
• pp.53-77
• /
• 2012

본 연구는 행복에 대한 사회과학적 접근의 효시로 불리는 이스털린 역설을 이해하고, 이 역설을 둘러싸고 나타나는 논쟁의 흐름을 파악하고자 한다. 보다 구체적으로는 이스털린 역설을 둘러싼 논쟁의 흐름을 파악하는 가장 핵심적인 개념인 만족점(satiation point)의 존재여부에 대한 논쟁을 정리하고, 이를 기초로 사회복지적 함의를 추출하고자 하였다. 이를 위한 논문의 구성은 다음과 같다. 제2장에서는 이스털린 역설을 이론적으로 고찰하는데, 첫째, 행복에 대한 해석을 시도하고, 둘째, 이스털린의 관찰을 파악하고, 그리고 셋째, 이스털린 역설의 이론을 설명한다. 이어 제3장에서는 이스털린 역설을 둘러싼 논쟁의 흐름을 살펴보고자 한다. 이 논쟁은 주로 욕구이론가들이 이스털린 역설에 대해서 공격하고 이에 대해서 이스털린이 방어하는 양상을 보이고 있는데, 비단 행복과 소득의 관계뿐만 아니라, 자본주의 체제 전반에 걸친 인식의 충돌을 보여준다. 이러한 논쟁에 대한 이해의 기초 위에서 제4장에서는 "만족점(satiation point)은 존재하는가?"라는 논쟁적 이슈를 제기하고, 이 논쟁을 제1절에서 욕구이론의 입장, 그리고 제2절에서는 행복의 상대주의적 입장에서 살펴보고, 이를 기초로 제3절에서는 사회복지적 함의를 살펴보았다.

• 논리연구
• /
• 제16권1호
• /
• pp.17-43
• /
• 2013

최근에 이병욱 교수는 집단인과개념을 이용함으로써 선행결과역설에 대한 새로운 해결방식을 제시하고자 했다. 이 논문에서 필자는 이병욱 교수의 해결방식이 우리 인과개념에 대한 지평을 확장시켜 주는 기여를 하지만 선행결과역설에 대한 만족스런 해결이 되지 못함을 보이고자 한다. 필자는 우선 선행결과역설에 우리가 직면하고 있는 수수께끼의 두 가지 원천을 밝히고, 이 역설을 해결하기 위해 반드시 만족시켜야 할 두 가지 조건을 제시할 것이다. 그리고 이병욱 교수의 해결방식은 그 두 가지 조건을 동시에 충족시킬 수 없음을 논증할 것이다.

• 한국산학기술학회논문지
• /
• 제15권9호
• /
• pp.5870-5876
• /
• 2014

본 연구의 목적은 효과적인 건축 MEP(Mechanic, Electric and Plumbing) 파이프 객체 역설계 자동화를 위한 시스템 아키텍처를 제안하고, 프로토타입 개발을 통해 역설계 기술에서 향후 개선할 점을 도출하는 것이다. 이를 위해 역설계 작업에 필요한 요구사항, 유스케이스, 기능 및 클래스를 도출하였다. 도출된 기능을 바탕으로 건축 MEP파이프 객체 역설계를 위한 아키텍처를 설계하였으며, 시스템의 정적 구조, 알고리즘을 설계하였다. 제안된 시스템 아키텍처를 기반으로 한 프로토타입 개발 연구를 통해 향후 개선할 점을 도출하였으며, 일반적인 파이프 유형은 RANSAC(RANdom SAmple Consensus)등 일반적인 역설계 방법으로 처리가 가능하지만, 이형 파이프와 대용량 데이터 처리를 위한 공간 인덱싱 기반 LOD(Level Of Detail)기법이 별도로 고려될 필요가 있다는 것을 확인하였다.

• 논리연구
• /
• 제17권2호
• /
• pp.287-322
• /
• 2014

분석의 역설을 처음으로 명확하게 자각하고, 이를 회피할 방안을 제시한 사람은 무어(G. E. Moore)이다. 여기서는 이 역설의 해결책을 무어식의반-언어적 노선과 이에서 벗어나 있는 노선으로 나누어 제시한다. 후자에는 개념의 특징 및 종류, 명제의 구조, 비동등성 관계에 주목해서 역설을 회피하려는 전략이 있다. 본 논문의 일차적인 목적은 주요 역설해결책을 기술하고 그 분류를 제시하는 것이지만, 이와 더불어 또한 각 해결 전략의 한계를 논하도록 하겠다. 그런데 이런 논의를 효율적으로 전개하려면, 먼저 무어의 분석이론을 재구성하는 일이 필요하다. 무어의 분석이론은, 단지 역사적인 중요성뿐 아니라, 고전적 분석의 전형을 이룬다는 점에서도 관심의 대상이 되기에 충분하다. 또한 분석의 역설이 고전적 분석과 같이 특정 유형의 분석에만 해당한다는 주장에 반대하여 넓은 범위의 분석에서 발생한다고 주장하겠다. 그러나 더불어 이런 상황이 분석의 무용성을 보여주는 것은 아니라고 주장하겠다.