• 논리연구
• /
• 제16권2호
• /
• pp.189-231
• /
• 2013

필자는 이 글에서 윌리엄슨의 반례와 파라의 역설이 초평가주의에 대한 결정적 반박이 되지 않음을 보이고자 한다. 이를 위해 필자는 일반적으로 초평가주의의 타당성으로 인정되는 전체적 타당성이 아닌 국지적 타당성이 초평가주의 의미론에 적합한 표준적 타당성임을 보이고, 이에 근거해서 윌리엄슨의 반례와 파라의 역설이 기초하는 'D-도입'이 성립하지 않음을 보일 것이다. 간단히 말해, 전체적 타당성은 고전적 명료화를 통해 모호성을 이해하는 초평가주의 의미론의 특성을 정확하게 포착하지 못하지만, 국지적 타당성은 초평가주의 의미론의 특성, 특히 '분명함'을 나타내는 D-연산자의 의미론적 특성을 정확히 포착한다는 것이다. 필자의 전략은 초평가주의에 대한 최소한의 수정을 통해 윌리엄슨의 반례와 파라의 역설이 제기하는 문제를 해결하는 것, 즉 초평가주의가 고전논리학을 보수적으로 보존할 수 있으며, 파라의 역설에도 불구하고 더미의 역설을 해결할 수 있음을 보이는 것이다.

• 한국항공우주학회지
• /
• 제44권6호
• /
• pp.520-529
• /
• 2016

본 연구의 목적은 중고도-장기체공 무인기의 성능을 역설계를 통해 분석하는 것이며, 역설계를 위한 모델로 RQ-1 Predator를 선정하였다. CATIA 프로그램을 사용하여 RQ-1 Predator의 외형에 대한 형상과 중량 분포를 생성하였다. RQ-1 Predator의 공력특성은 주로 와류격자법과 경험식을 조합하여 수행하였으며, 추진 성능은 Howe의 경험식을 통해 수행되었다. 상승률, 실용상승한도, 항속 거리, 그리고 체공 시간에 대한 역설계를 수행하였으며, 역설계 결과가 참고문헌과 잘 일치함을 확인하였다.

• 논리연구
• /
• 제19권3호
• /
• pp.341-368
• /
• 2016

"p이지만 나는 p라고 믿지 않는다"와 같은 문장은 어떤 상황에서도 자연스럽게 발화될 수 있을 것 같지 않고, 심지어는 부조리하고 모순되게 들리기까지 한다. 무어의 역설이 제기하는 문제는 왜 이런 문장이 아무런 형식적인 모순이 없음에도 불구하고 이를 발화하는 것이 부조리하게 들리는지를 설명하는 것이다. 무어의 역설에 대한 기존의 견해는 주로 믿음이나 주장(assertion)의 성격에서 그 부조리성의 근원을 찾으려 한다. 필자는 본 논문에서 기존의 견해들이 무어의 역설을 만족스럽게 설명하지 못함을 주장하고, 이에 대한 새로운 설명을 제안한다. 이 제안에 따르면 무어의 역설의 근원은 "자기-지시"에 있다. 자기-지시는 주체가 어떤 특정한 방식으로 믿음을 형성하는 성향에 의해 부분적으로 구성되는데, 무어의 역설은 주체가 자신을 "나"로 지시하는 동시에 어떤 사람을 "나"로 지시하기 위해 만족시켜야할 조건을 만족시키지 못하는 데에서 발생한다.

• 응용통계연구
• /
• 제22권5호
• /
• pp.1073-1084
• /
• 2009

두 평정자가 R개의 순서형 반응 범주로 각 개체를 분류한 $R{\times}R$ 분할표에 대해, 불합치의 정도를 가중치로 부여한 가중 합치도 $H_{\omega}$를 제안하고, 최대 우도추정량 및 분산을 유도하였다. 또한 $2{\times}2$ 분할표에서 Feinstein과 Cicchetti(1990)가 제기한 마지막 역설을 새롭게 정의하고 증명하였으며, ${\kappa}$의 새로운 역설을 제기하고, ${\kappa}$와 주변분포의 전반적인 관계를 정리하였다.

• 논리연구
• /
• 제21권1호
• /
• pp.59-96
• /
• 2018

순수하게 형식적인 견지에서 직관주의 논리는 거짓말쟁이 유형의 역설을 다루는데 어떠한 이점도 없다고 여겨진다. 이 글에서 우리는 표준 직관주의 자연연역체계가 거짓말쟁이 유형의 역설에 취약함을 논할 것이다. 다시 말해, 거짓말쟁이 유형의 문장을 수용함이 모순(${\perp}$)을 도출하는 추론을 야기한다는 것이다. 이러한 결과는 이중부정 제거규칙(DNE)에 대한 제약이 ${\perp}$을 도출하는 추론을 막지 못한다는 것을 보여준다. 하지만 이는 거짓말쟁이 유형의 역설에 대한 직관주의적 접근법이 잘못된 것이 아니라 표준 자연연역 체계의 표현력이 부족한 문제라고 할 수 있다. 우리는 주어진 체계 S에 대한 메타-레벨 부정 연산자 ⊬$_s$와 메타-레벨 모순 연산자 ⋏를 직관주의 체계에 도입할 것이다. 그리고 체계의 완전성에 대한 가정 없이는 이 체계에서 ${\perp}$에 대한 추론을 얻을 수 없음을 보일 것이다. 또한 우리는 이중 메타-레벨 부정 제거규칙(DMNE)을 고려할 것이다. 이 규칙은 체계의 완전성을 암묵적으로 가정하며 DMNE에 대한 제약은 ${\perp}$의 추론을 막을 수 있을 것이다.

• Journal of the Korean Data and Information Science Society
• /
• 제23권5호
• /
• pp.867-880
• /
• 2012

파론도 역설은 개별로는 지는 게임들이 결합하여 이기게 되거나 개별로는 이기는 게임들이 결합하여 지게 되는 역설적인 현상을 말한다. 본 논문에서는 주변의 투자 결과에 의해 매수 종목을 정하는 공간의존 파론도 게임의 규칙을 적용하여 매일 주식을 사고 파는 경우에 각 포트폴리오의 거래당 기대수익금을 계산하고, 2008년부터 2010년까지의 한국거래소의 주식 데이터를 이용하여 주식 투자에서도 파론도 역설 현상이 존재함을 확인한다.

• 논리연구
• /
• 제20권2호
• /
• pp.163-196
• /
• 2017

비트겐슈타인은 "논리-철학 논고"에서 러셀의 역설을 해결했다고 선언한다. 그에 따르면, 함수는 그 자신의 논항이 될 수 없다. 만일 함수 F(fx)가 자기 자신의 논항이 될 수 있다고 가정하면, "F(F(fx))"라는 명제가 주어지는데, 이 명제에서 외부 함수 F와 내부 함수 F는 상이한 의미를 갖는다. 그렇게 되면 "F(F(fx))"는 확정적인 뜻을 지닐 수 없다. 그러나 왜 비트겐슈타인은 함수 F(fx)와 "F(F(fx))"를 문제 삼고 있는가? 이 물음에 대답하기 위해서는 우리는 무엇보다도 러셀의 역설에 대해 러셀 자신이 어떻게 해결하려고 시도했는지를 면밀히 검토해야 한다. 오직 러셀의 해결책을 이해할 수 있을 때에만 우리는 비트겐슈타인이 러셀의 역설을 어떻게 해결하려고 했는지를 이해할 수 있다. 특히 비트겐슈타인이 1913년 노르웨이에서 러셀에게 보낸 편지는 우리에게 결정적인 실마리를 제공해 준다.

• 논리연구
• /
• 제19권1호
• /
• pp.49-82
• /
• 2016

크립키는 비트겐슈타인의 회의론적 역설을 다룸에 있어서 규칙 따르기에 대한 어떤 특정한 개념을 처음부터 전제하고 시작한다. 그런데 문제는 크립키가 자신이 이런 전제를 가정한다는 것을 전혀 명시적으로 밝히지 않고 있으며 더 나아가 크립키가 전제하는 규칙따르기에 대한 개념은 후기 비트겐슈타인이 옹호하고자 하는 규칙 따르기의 개념과 완전히 반대되는 개념이라는 것이다. 크립키가 전제하는 개념은 전기 비트겐슈타인이 옹호하는 비맥락주의적 의미론에 근거하는 '무한적이고 결정지어진' 규칙 따르기 개념이다. 비트겐슈타인의 회의론적 역설은 바로 이런 전기 비트겐슈타인적인 의미론과 규칙 따르기 개념으로부터 발생한다고 볼 수 있다. 따라서 크립키가 비트겐슈타인의 역설은 직접적인 해결이 아닌 회의론적 해결만이 가능하다고 주장한 것은 그가 여전히 전기 비트겐슈타인적인 의미개념과 규칙 따르기 개념을 받아들이기 때문이라고 볼 수 있다. 즉, 크립키는 후기 비트겐슈타인과는 달리 여전히 한 발을 트락타투스적 의미론에 담근 채 비트겐슈타인의 역설을 논하고 있기 때문에 회의론적 해결에 머문다는 것이다. 필자는 이를 크립키가 암묵적으로 가정하는 또 하나의 전제인 진리 대응론에 연결시킴으로써 크립키와 후기 비트겐슈타인의 차이점을 분명히 하고자 한다.

• 대한조선학회논문집
• /
• 제36권4호
• /
• pp.28-36
• /
• 1999

본 연구에서는 MGM(Modified Grrabedian-McFadden)방법에 기초한 효율적인 역설계 방법을 개발하였다. 표면압력 분포를 얻기 위해 2-D Navier-Stokes 방정식을 풀었고, 역설계를 수행하기 위해 MGM방법을 사용하였다. MGM 방법은 설계 목적 압력분포와 Navier-Stokes 방정식에서 계산된 압력분포의 차인 잔여량을 보정하는 잔여-보정 기법이다. 코드 개발을 위하여 몇몇 익형과 프로펠러 형상설계에 적용하였다. 이들 모두 목표하는 형상에 잘 수렴해 갔다.

• 한국산학기술학회논문지
• /
• 제17권8호
• /
• pp.38-45
• /
• 2016

연구의 목적은 3차원 역설계 기술을 기반으로 MEP (Mechanical, Electrical and Plumbing) 시설물 유지관리 작업의 효율성을 개선할 수 있는 방안을 도출하는 것이다. 최근, 3차원 이미지 스캔 기반 역설계 기술이 건설, 건축, 구조, 플랜트 분야에서 많이 활용되고 있다. 특히, 객체 수가 많고, 형태가 복잡한 MEP 설비의 경우, 여러 번의 시설물 관리 작업으로 인해 도면과 상이한 경우가 많아, 최근 반도체 공장, 플랜트, 빌딩 MEP 등을 중심으로 많이 활용되고 있다. 3차원 이미지 스캔을 통해 획득된 3차원 포인트 클라우드는 대상물의 정밀한 3차원 정보를 포함하고 있어, 이를 잘 활용한다면, 시설물 관리 등 다양한 유스케이스에 필요한 객체 정보를 추출할 수 있다. 특히, 형태가 복잡한 MEP 시설물 관리 작업의 효율성을 개선할 수 있다. 본 연구에서는 이와 관련된 기술 동향을 조사하고, 이를 기반으로 3차원 역설계 프로세스를 분석한다. 분석한 결과를 바탕으로, MEP 시설물 관리 작업의 개선 방안을 도출하고, 그 효과를 기술한다.