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

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

• Journal for History of Mathematics
• /
• v.24 no.1
• /
• pp.63-73
• /
• 2011

This paper analyses conceptual change from Euclid's dictionary definition to Hilbert's mathematical definition about primitive terms in Geometry. Realism, conceptualism, nominalism about mathematical objects are related to this conceptual change.

• Korean Journal of Logic
• /
• v.14 no.1
• /
• pp.77-102
• /
• 2011

This paper is about the problems that Quine's criterion of ontological commitment creates for Nominalists. Quine's clear criterion of ontological commitment, summarized as "to be is to be the value of a variable", means that when we accept a sentence to be true, we are committed to the existence of things that must exist for the sentence to be true. The criterion causes problems for Nominalists. According to Quine's criterion, Nominalists who consider "Humility is a virtue" as true should accept the existence of the property, humility. However, Nominalists are reluctant to accept that properties such as humility exist, although they wish to accept what is meant by "humility is a virtue". The way out of this predicament is presenting a paraphrase which delivers what Nominalists wanted to say through the original sentence without ontological commitment to the property. Several attempts were made to paraphrase such sentences, only to fail. In this paper, successful paraphrases will be presented to cope with previously discussed difficulties. Beforehand, several issues involved in the Quine's criterion will be clarified. Also, Lewis's critical objection that we should give up the business of paraphrase will be discussed.

• Korean Journal of Logic
• /
• v.12 no.2
• /
• pp.1-29
• /
• 2009

According to Field, mathematical objects do not exist but they might have existed. In this paper I examine how persuasive this 'contingent' nominalism could be. For this I give a detailed analysis of the recent debate on the contingency of mathematical objects. I argue that the putative connection between contingency and explanation could still be sustained, but an independent argument is needed in order to support a general principle underlying the connection. I show that the attacks based on the anti-insularity principles already reflect their own positions on the modal status of the existence of mathematical objects.

• Korean Journal of Logic
• /
• v.4
• /
• pp.109-123
• /
• 2000

데이빗슨은 "Slingshot 논변"이라는 그의 유명한 논변을 이용하여 진리 대응론을 비판한다. 그의 논변은 타당하지만, 다음 두 전제들에 의존한다. (1) 논리적으로 동치인 문장들은 같은 사실에 대응한다. (2) 참인 문장은 그 문장 내의 한 단칭어가 공지시적 단칭어에 의해 대체될 때 대응하는 사실이 변하지 않는다. 이 논문에서 필자는 두 번째 전제가 설득력이 없음을, 특히, Slingshot 논변의 구성을 위해 필수적인 통일성 문장들에 대해서 설득력이 없음을 주장한다.

• Life and Agrochemicals
• /
• s.257
• /
• pp.52-55
• /
• 2010

2차 세계대전후 유기합성살충제공업이 구미 유명화학공업회사들 사이에서 일제히 개시되었다. 그 당시 농약연구의 현저한 특징은 처음부터 초거대 연구소가 지어져 스타트 시점부터 치열한 생존경쟁을 했다는 것이다. 그 결과 현재 극히 소수만 이 세상에 살아남아 있다는 것이다.

• Korean Journal of Logic
• /
• v.14 no.1
• /
• pp.103-118
• /
• 2011

In his paper "The Existence of Mathematical Objects and Contingency" Professor Choi deals with the debate between Hartry Field and Hale/Wright. In this famous debate, Hale/Wright and Field argue back and forth about whether some explanations for the contingency of mathematical objects need to be provided or not. In this paper, I raise 3 objections to Professor Choi's critical analysis of this debate.

• Review of KIISC
• /
• v.23 no.4
• /
• pp.15-21
• /
• 2013

기업의 비즈니스 환경에서 정보보호의 중요성이 높아감에 따라 정보보호와 관련된 표준이나 벤치마크의 필요성도 증대되었다. 이러한 표준에는 ISO/IEC 27001, ISO/IEC 27002, PCIDSS, ITIL, COBIT 등이 유명하다. 본 논문에서는 IT 거버넌스의 프레임워크로서 폭 넓은 범위의 정보보호 플랫폼이 될 수 있는 COBIT 4.1과 정보보호를 위한 상세한 최선의 실무(best practice)를 담고 있는 ISO/IEC 27002의 각 정보보호 요소에 대해 간략히 알아보고, 이들을 서로 매핑하여 "높은 수준"의 프레임워크와 "낮은 수준"의 방법론의 통합에 대한 방향을 제시하고자 한다.

• 발명특허
• /
• v.5 no.12 s.58
• /
• pp.22-24
• /
• 1980

근대과학을 낳는데 가장 중요한 역할을 한 갈릴레오는 우연히 망원경을 만든 것을 계기로 천문학에 끼여들었다. 망원경에 의한 천체관측은 2천년동안 끄떡없던 아리스토텔레스티 우주론이 틀렸음을 보여 주었다. 1609년 달의 정체가 밝혀지고 본성의 위성들이 발견되자 대중의 열광은 극에 이르렀으며 갈릴레오는 일약 유명해졌다. 가톨릭교회는 갈릴레오의 발견을 크게 환영했다. 그는 로마에 불려가 교황 바오르 5세(Paul V $1552\~1621$의 환대를 받고 성대한 축하행사에 참석했다. 예수회소속천문학자들도 갈릴레오를 찬양했다. 유일한 반대세력은 대학에 자리잡고 있느 소수의 아리스토펠레스주의자들이었다. 갈릴레오가 옹호한 코페르니쿠스체계에 대한 최초의 공격은 평신도와 하급성직자들에게서 나왔다.

• The Science & Technology
• /
• no.9 s.412
• /
• pp.44-47
• /
• 2003

아인슈타인이 지난 1916년 발표한 일바상대론을 통해 처음으로 제시한 중력장의 실체를 찾는 작업이 프랑스와 이탈리아의 실험물리학자들에 의해 본격화됐다. 7월 23일 피사의 사탑으로 유명한 이탈리아 피사에서 수 킬로미터 떨어진 카시나 평원에서 두 나라의 물리학자들은 지난 1996년 착공해 최근 완성한 중력장 간섭계 VIGRO를 공개했다. 지금까지 누구도 시도하지 못했던 간섭계제작의 아이디어를 낸 지 10년만의 일이다. 프랑스와 이탈리아 정부가 공동으로 1억 5천만 유로를 들여 완성한 VIGRO는 앞으로 1년간의 시험가동 기간을 거친 뒤 본격적으로 우주에서 발생하는 중력장의 실체를 밝혀내게 된다.