• Journal for History of Mathematics
• /
• v.23 no.2
• /
• pp.23-56
• /
• 2010

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

• Korean Journal of Logic
• /
• v.9 no.2
• /
• pp.117-175
• /
• 2006

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

• Journal of the Korea Convergence Society
• /
• v.10 no.1
• /
• pp.115-121
• /
• 2019

This study presents "Indispensability" and "Irreplaceability" as new variables for studying the attachment process of digital products that are different from physical products. To analyze this quantitatively, we will set up an integrated model to explore how attachment can be formed through different product-user interactions and time value which are necessary for attachment formation. Analysis of 197 respondents' data for empirical analysis showed that system-centric interactions did not affect the duration of use, whereas user-centric interactions affected the duration of use. In addition, the effects of the period of use on the Indispensability and the Irreplaceability were demonstrated, and the effects on the Indispensability were greater than Irreplaceability.

• Korean Journal of Logic
• /
• v.11 no.1
• /
• pp.1-31
• /
• 2008

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

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.05a
• /
• pp.582-584
• /
• 2014

Conventional Web crawlers are reducing overhead burden on the server to ensure the integrity of data optimization measures have been continuously developed. The amount of data growing exponentially faster among those data, then the data needs to be collected should be used to the modern web crawler is the indispensable presence. In this paper, suggested that the existing Web crawler and Web crawler approach efficiency comparison and analysis. In addition, based on the results, compared to suggest an optimized technique, Web crawlers, data collection cycle dynamically reduces the overhead of the server system was designed for. This is a Web crawler approach will be utilized in the field of the search system.