• 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.19 no.1
• /
• pp.49-82
• /
• 2016

In this paper, I argue that it is Kripke's Tractarian notion of rule-following that prevents him from giving a non-skeptical (straight) solution to Wittgenstein's paradox. I characterize the Tractarian notion of rule-following as the 'determinate/infinistic' notion of rule-following. The later Wittgenstein, however, advocates an opposite notion of rule-following: the 'indeterminate/finistic' notion. Considering the later Wittgenstein's context-sensitive, pragmatics-oriented approach to meaning and rule-following, the later Wittgenstein could not have endorsed the determinate/infinistic notion of rule-following. To the contrary, a motive behind Wittgenstein's skeptical paradox was to blame the Tractarian notion of rule-following as the major culprit giving rise to the paradox. At the end, I argue that Kripke's adherence to the Tractarian-correspondence theory of truth also contributes to his failure to offer a non-skeptical solution to the paradox. If Kripke had noticed that the later Wittgenstein was a deflationist about truth, he could have avoided his skeptical conclusion.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2000.05a
• /
• pp.164-170
• /
• 2000

본 논문은 과거 많은 학자들에 의해 제기된 주구조와 부구조, 하위구조 등의 담화 내 계층적 구조에 대한 증거로 일탈을 중심으로 부구조를 분석하였다. 먼저 주제 일탈의 구조와 정의에 관해 분석하고 중단과 화제 전환 등과의 차이를 설명하였다. 지식 표현 언어인 Sowa의 개념구조론의 체계 내에서 담화의 계층적 구조와 그 구조를 나타내는 언어적 표시인 담화 표지의 예를 기술하는 방법을 제시한다. 개념 관계로 일탈, 화제 전환, 틀의 관계를 설정하여 담화 내 계층구조와 담화 부분과의 화용적인 관계를 규명하였다. 기존의 개념구조론은 선택적 제약, 조응 등의 의미론적인 개념들을 간결하고 정확하게 기술할 수 있었는데 화용론적인 측면의 기술도 가능함을 보여준다.

• Annual Conference on Human and Language Technology
• /
• 2003.10d
• /
• pp.293-299
• /
• 2003

인간 게놈 프로젝트가 완료됨에 다라 생체서열과 언어 사이의 대응 관계가 부각되고 있다. 본고에서는 Lewis Carroll의 언어 유희 사례를 컴퓨터생물학의 측면에서 재조명하고, Carroll이 제시한 문제 중에서 간단한 anagram 문제의 해결을 다루고자 한다. 우선 DNA 컴퓨팅의 방법론을 적용한 DNAgram의 개념을 확장하여 plasmid-DNAgram의 개념을 새롭게 도입하였다. 이 개념을 형광단백질에 대한 DNAgram의 개념을 확장하여 plasmid-DNAgram의 개념을 새롭게 도입하였다. 이 개념을 형광단백질에 대한 FRET(fluorescent resonance energy transfer)분석기법의 응용 사례인 cameleon 형광단백질에 대한 FRET 분석기법에 적용함으로써 anagram 문제의 어휘론적, 구문론적, 의미론적, 화용론적 측면에 대응하는 바이오분자 컴퓨팅 방법론을 제안하였다.

• Journal of Korean Medical classics
• /
• v.20 no.3
• /
• pp.101-120
• /
• 2007

"주해상한론(註解傷寒論)"시성무이저술적서적(是成無已著述的書籍), 저시관우(這是關于)"상한론(傷寒論)"최초주석적서(最初注釋的書). "주해상한론(註解傷寒論)"유지대영향우후대의가(劉至大影響于後代醫家), 단야유제기관우도식적해석지비판(但也有提起關于圖式的解釋之批判). "주해상한론(註解傷寒論)"시주서술관우태양병개념화계지탕증(是主敍術關于太陽病槪念和桂枝湯證). 특별관우중풍화상한적내용시설명태양병적개념(特別關于中風和傷漢的內容是設明太陽病的槪念), 후대의가근종차설(後代醫家근從此說). 야성무이설명대우계지탕증적병기(也成無已說明對于桂枝湯證的病機), 시이풍상위적개념래설명적(是以風傷衛的槪念來說明的).

• Korean Journal of Logic
• /
• v.1
• /
• pp.65-93
• /
• 1997

거짓말쟁이 역설에 대한 전통적인 설명은 다음 두 가지로 주어진다. 역설을 일으키는 거짓말쟁이 문장이 자기지시적이기 때문에 역설이 발생하므로 자기지시적 문장을 금함으로써 그 역설을 피할 수 있다는 것이 첫 번째이고, 둘째는 모든 문장을 참이나 거짓이라고 주장하는 진리값에 대한 배중률(principle of bivalence)에 집착하기 때문에 그 역설이 발생한다고 생각하고 제3의 진리값을 갖는 문장이 있음을 인정해야 한다는 것이다. 이러한 전통적인 설명과 달리 진리 개념을 비일관적인 개념으로 보고 진리 술어와 그 외의 술어의 용법상의 차이를 설명함으로써 거짓말쟁이 역설에 대한 새로운 설명을 시도하고자 하는 것이 굽타의 "진리 수정론"이다. 굽타의 진리 수정론에 따르면, 진리 술어 외의 술어들은 그 외연이 고정적으로 산출되고 그 과정은 적용 규칙(rule of application)에 의해서 설명되지만 진리 술어는 순환적 정의처럼 고정된 외연을 만들어내지 못하고 단지 가설적 외연만 만들어 낼 뿐이다. 이렇게 진리술어의 가정적 외연을 산출해내는 과정은 수정규칙(rule of revision)에 의해서 설명된다. 요컨대 진리 수정론은 순환적 개념도 의미를 가질 수 있음을 보여주는 의미론적 구조틀이 있다는 것과 진리개념이 바로 그러한 의미구조틀에 의해서 의미를 갖는 순환적 개념이라는 것이다. 그리고 굽타는 그러한 의미구조 틀을 일정한 규칙을 갖는 함수로 설명하려고 시도한다. 즉 진리개념을 일관적인 것으로 보고 거짓말쟁이 역설을 해결해야 할 병리적 현상으로 보는 진리의 일관성론과 달리 굽타의 진리 수정론은 진리술어 자체가 비일관적이기 때문에 거짓말쟁이 역설은 그 술어의 속성상 자연스러운 것이지 피해야 만할 병리적 현상이 아니라고 주장한다. 필자는 의미론적 역설에 대한 여러 가지 설명 중에서 진리 수정론이 가장 설득력 있는 것으로 인정하고 그에 대한 가능한 반론을 검토하고 그에 대한 답변을 시도했다. 또한 진리 수정론을 통해서 거짓말쟁이 역설을 설명하고 -해결하려는 것이 아니라- 나아가서 진리 개념에 대한 이해를 제공해보려고 시도했다.

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• Korean Journal of Logic
• /
• v.7 no.1
• /
• pp.23-40
• /
• 2004

실체 유물론과 인과 결정론이 개인의 자유와 동일성을 실질적으로 열어주려면 사건 원인 외에 행위자 원인의 여지를 허용해야 한다. 그 두 가지 원인은 법칙적 일반적 결정의 개념과 합리적 개성적 결정의 개념을 지니고 있다. 개성의 인과적 역할은 법칙화할 수 없는 물질성의 여지를 남긴다. 바로 그 가능성이 인간의 자유와 동일성의 실질적 복권의 가능성이다.

• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.407-436
• /
• 2013

I examine the notion of truth in the intuitionistic type theory and provide a better explanation of the objective intuitionistic conception of mathematical truth than that of Dag Prawitz. After a brief explanation of the distinction among proposition, type and judgement in comparison with Frege's theory of judgement, I examine the judgements of the form 'A true' in the intuitionistic type theory and explain how the determinacy of the existence of proofs can be understood intuitionistically. I also examine how the existential judgements of the form 'Pf(A) exists' should be understood. In particular, I diagnose the reason why such existential judgements do not have propositional contents. I criticize an understanding of the existential judgements as elliptical judgements. I argue that, at least in two respects, the notion of truth explained in this paper is a more advanced version of the objective intuitionistic conception of mathematical truth than that provided by Prawitz. I briefly consider a subjectivist's objection to the conception of truth explained in this paper and provide an answer to it.

• Proceedings of the KGS Conference
• /
• 2003.11a
• /
• pp.229-234
• /
• 2003

본 논문에서는 지역발전에 관한 다양한 개념이나 이론들(특히 포드주의적 축적체제 이후에 나타난 새로운 축적체제에 대한 논의로서 정치경제학이나 조절이론과 직, 간접적으로 관련된 개념이나 이론들)을 열거하고 이들을 재검토하고자 한다 (한국공간환경학회,2000; 최병두, 2002). 우선 전통적 지역발전론으로 지역 간 균형상태와 발전단계를 강조하는 주류 이론과 지역 간 불균등발전에 초점을 두고 원인을 규명하고자 하는 정치경제학적 이론을 살펴보고, 다음으로 정치경제학의 연장선상에 있지만 부분적으로 주류 (지역)발전론을 결합시킨 중범위 이론으로서 조절이론 또는 (포스트) 포드주의론에 근거한 지역발전론을 검토할 것이다. (중략)