• 한국수학사학회지
• /
• 제23권2호
• /
• pp.23-56
• /
• 2010

본 논문의 목적은 집합론이 메타논리학에 필수불가결하다는 주장, 즉 필수불가결성 논제에 반대하는 것이다. 만일 집합론이 메타논리학에 필수불가결하다면, 집합론을 포함하게 되는 논리적 탐구는 논리학의 가장 근본적인 특성들인 주제중립성과 보편적 적용가능성을 결여하게 되기 때문이다. 논리학의 주제중립성은 논리학의 명제들이 개별 과학과 같은 특정한 지식 분야에 국한되지 않는다는 것을 말하며, 논리학의 보편적 적용가능성은 논리학의 명제들과 추론 규칙들이 모든 과학 분야들과 합리적 담론들에서 사용될 수 있다는 것을 말한다. 나아가 주제중립성과 보편적 적용가능성을 지니기 위해서는, 논리학을 기술하는 메타논리적 용어들과 개념들 역시 이러한 특성들을 지녀야만 한다. 하지만 필수불가결성 논제를 받아들이게 되면, 우리는 논리학이 적용되는 모든 분야에서 집합론의 용어들과 집합론적 개념들이 필수불가결하다는 것을 받아들여야만 한다. 그리고 이는 분명 불합리한 일이다. 필수불가결성 논제가 그럴듯하지 않다는 것을 보이기 위해서 나는 집합과 관련된 존재론적 문제를 살펴볼 것이다. 이러한 탐구는 집합이 어떤 식으로 이해되든지 간에 존재론적으로 보수적인 "논리적 존재자" 로 간주되기 어렵다는 것을 보여줄 것이다.

• 논리연구
• /
• 제9권2호
• /
• pp.117-175
• /
• 2006

이 논문은 매디가 왜 수학적 실재론을 포기하고 그녀 특유의 수학적 자연주의를 표방하게 되었는지를 탐구하려 한다. 이 문제에 관하여 널리 받아들여지고 있는 한 가설에 따르면, 매디의 입장 변화는 콰인-퍼트남 필수불가결성 논증을 비판하고 포기함으로써 야기되었다. 필자는 이 가설이 지닌 설득력을 인정하지만, 그것만으로는 실재론의 포기의 충분한 이유가 될 수 없다고 생각하며, 그 대신 과학과 수학의 유비 문제가 매디의 입장 변화를 이해하는 데 더 나은 조망을 제공한다는 점을 보여주고자 한다. 이를 위해서는 콰인과 괴델에 크게 빚졌던 실재론자 시절 매디의 사유가 얼마만큼 수학과 과학의 유비에 지배되었는지를 살펴보아야 하는 동시에, 왜 매디가 이 유비를 포기함으로써 실재론을 포기하게 되는지를 이해하여야 한다. 아울러 이 유비의 포기에 대한 다소의 비판적 검토를 통해 매디의 수학적 존재론의 지적 여정을 왜 필자가 존재론적 퇴보라 믿는지에 대한 몇 가지 이유가 시사될 것이다.

• 한국융합학회논문지
• /
• 제10권1호
• /
• pp.115-121
• /
• 2019

본 연구는 물리적 제품과는 다른 디지털 제품의 애착과정을 연구하기 위한 새로운 변수로 '필수불가결성'과 '대체불가능성'을 제시한다. 이를 정량적으로 분석하기 위해 애착형성에 필수적인 상호작용성과 시간적 가치를 변수에 추가하여 통합모형을 구성하여 상이한 제품-사용자간 상호작용을 통해 어떻게 애착을 형성해갈 수 있는가를 탐색적으로 살펴보고자 한다. 실증분석을 위해 197명의 응답자의 자료를 분석한 결과 시스템 중심의 상호작용은 사용기간에 영향을 미치지 않은 반면, 사용자 중심의 상호작용은 사용기간에 영향을 미쳤다. 또한 사용기간이 필수불가결성과 대체불가능성에 미치는 영향이 증명되었으며, 대체불가능성보다는 필수불가결성에 미치는 영향이 컸다.

• 논리연구
• /
• 제11권1호
• /
• pp.1-31
• /
• 2008

최근 가장 영향력 있는 수학적 실재론과 관련된 논변은 버지스와 로젠의 딜레마이다. 일종의 반-유명론적 논증인 버지스-로젠 딜레마는 유명론자들이 취할 수 있는 제한된 선택지를 제시한 후 그 어느 선택지도 적절하지 못함을 주장하는 것이다. 논자 역시 버지스-로젠 딜레마가 성립한다면 유명론이 가망 없는 전략임에 동의한다. 그러나 논자는 그들의 논의가 유명론 대 실재론이라는 대립구도 대신, 유명론 대 수학 및 과학이라는 잘못된 대립구도를 전제하고 있음을 본 논문을 통해 밝히고자 한다. 간략히 말해, 논자는 버지스-로젠 딜레마는 수학자 및 과학자들의 주장이 글자 그대로 실재론을 함의함을 전제하는데, 이것은 실제 수학 및 과학 활동과 일치하지 않을뿐더러, 이를 입증하기 위해서는 철학적 가정이 개입해야 함을 밝히고, 그 과정에서 유명론의 가능성을 모색하고자 한다. 이러한 논자의 전략은 유명론 진영 안의 특정한 입장을 지지하는 것은 아니다. 버지스-로젠 딜레마는 특정한 유명론의 문제라기보다는 유명론 자체의 가능성과 관련된 것이기 때문이다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2014년도 춘계학술대회
• /
• pp.582-584
• /
• 2014

기존의 웹크롤러들은 서버의 오버헤드 부담을 줄이면서 데이터의 무결성을 보장하기 위해 최적화 방안에 대해 지속적으로 발전해왔다. 기하급수적으로 빠르게 늘어가는 데이터의 양과 그 데이터들 중에서 필요한 데이터를 수집해서 사용해야 하는 현대인들에게 웹크롤러는 필수불가결의 존재이다. 본 논문에서는 기존의 웹크롤러 방식과 제안된 웹크롤러 방식의 효율성을 비교 및 분석하였다. 또한, 비교된 결과를 바탕으로 최적화된 기법을 제안하고, 웹크롤러의 데이터 수집 주기를 동적으로 조절하여 서버 오버헤드를 감소시키는 시스템에 대해 설계하였다. 이는 웹크롤러 방식을 사용하는 검색 시스템 분야에 활용될 것이다.