• Journal of Korean Philosophical Society
• /
• v.137
• /
• pp.1-31
• /
• 2016

The aim of this paper is to put forward the significance that Dewey's naturalistic theory of value has today in examining how value arises from experience. This is a necessary discussion as logical-positivists bring about the problem of fact/value dichotomy and further deny the possibility of intellectual discussion on value judgments. In this situation, the task that the discussion on value must be resolved is to go beyond the problem of fact/value dichotomy and to confer objectivity upon value judgments. In the stream of analytic philosophy, the significance of Dewey's theory of value is revealed by how Putnam and Johnson receive it. To overcome the problem of dichotomy, Putnam asserts that they are entangled because the value arises from a criticism through scientific inquiry. Also Johnson proves that Dewey's moral deliberation as valuation is wedded with cognition, feeling, and imagination by the research on cognitive science and shows that Dewey's theory of value is un-relativistic because it is on the basis of shared experience. So, if the absolute value is not given to us, Dewey's theory of value shows us how value is made by open inquiry. It has the significance of proposing the direction that the theory of value orients itself today.

• The Journal of Korean Institute for Practical Engineering Education
• /
• v.5 no.1
• /
• pp.1-13
• /
• 2013

For a basic engineering education the confirmation and verification of the deductive Inference was studied and the principle of probability inference was applied. The background of introduction of deductive Inference and its test method was mentioned, and historic arguments on the compatibility of deductive statistical inference was summarized and analyzed. Philosophical arguments on the deductive confirmation for engineering experiments was introduced. Premise, procedure, and control of the experiments are studied. As an example of the deductive probability inference three groups of experimental data were used in order to find successful inferences respectively.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2010.10a
• /
• pp.161-163
• /
• 2010

말하기는 곧 행위라는 주장이 화용론의 핵심명제이다. VTS 대화는 선박들의 효율적이고 안전한 항해를 위해 이루어지는 언어적 상호작용 행위이다. 본 연구에서는 모든 VTS 화행은 항해행위의 수행에 따른 부수적인 요소가 아니라 필수불가결한 요소라는 점에 주목하고자 하였다. 먼저 화용론에서 다루는 대화의 협력원칙, 공손원칙, 명령화행 및 약속화행의 적정성, 최소대화의 원칙을 VTS 대화 상황에 적용하여 VTS 화행의 특성을 정립하고자 하였다. 그리고 실제 발생했던 해양사고에서 선박 간 담화 또는 대화를 분석함으로써 화용론적 실패가 충돌사고에 어떻게 영향을 끼치는지를 검토해보았다. VTS 상황에서 이루어지는 담화 또는 대화분석을 통해 해양사고의 원인을 심도 있게 분석하는 방안과 이의 결과를 항해사 및 관제사 교육에 활용하는 방안을 제시하였다. 덧붙여서 co-Navigation 개념이 항해안전의 새로운 패러다임이 되어야 한다는 것을 주장하였다.

• 한국경영정보학회:학술대회논문집
• /
• 2007.06a
• /
• pp.447-452
• /
• 2007

본 연구는 최근 지식경영에서 중요하게 받아들여지고 있는 CoP의 성과측정체계에 대한 프레임웍을 제시하고 실제에 있어서 그 프레임웍이 얼마나 잘 적용될 수 있는지에 대해서 사례연구를 통해 고찰하고 추가적으로 CoP와 관련한 명제를 제시하고자 한다. CoP의 성과측정체계는 지식경영과 조직론의 기존의 문헌연구를 통하여 제시하였는데 크게 CoP Readiness, CoP Activity, Social Capital과 Business Output의 영역으로 크게 구분하고 세부적으로 정성적이고 정량적인 방법으로 측정할 수 있는 방법을 제시하였다. CoP의 성과는 위의 단계를 거치면서 나타나며 Business Output은 BSC방법을 통해 측정할 것을 제시하였다. 제시된 성과측정체계는 CoP를 효과적으로 활용하고 있는 국내 8개사의 사례를 통해 실증적으로 검토하였고 각 사에서 현재 활용 중인 측정체계와의 차이와 적용가능성을 고찰하였고 이를 통해 추가적으로 연구를 진행할 수 있는 4개의 명제를 제시하였다.

• Korean Journal of Logic
• /
• v.7 no.2
• /
• pp.71-104
• /
• 2004

비트겐슈타인이 왜 "논고"를 포기했느냐 하는 주제는 비트겐슈타인의 철학을 조명하는 데 매우 중요한 문제이다. 그러나 이 글의 일차적인 관심은 비트겐슈타인이라는 한 개인의 실제 철학적 사유 과정보다는, 오히려 "논고"가 포기될 수 있는 모든 가능성들과 경로를 생각하고 추적하는 데 있다. 이를 위하여 우리는 "논고"의 여러 근본 전제들을 크게 두 가지로 나눌 수 있다. 한 부류는 직접적 논박 가능성이 희박한 것으로서, 여기에는 "논고"에서 정의에 해당되는 것, 모호한 개념인 "완전한 분석"과 관련된 것, 그리고 유아론과 관련된 것 등이 있다. 다른한 부류는 전자에 비해 어떤 직접적인 논박 가능성의 여지가 있는 근본 전제로서, 가장 중요한 것으로 요소 명제들의 상호 독립성을 들 수 있다. "논고"는 소위 "색깔배제 문제"부터 후자에 속하는 근본전제가 직접적인 타격을 입으면서 와해되기 시작했으며, "논고"와는 완전히 다른 패러다임에 서게 됨으로써 비로소 포기되었다.

• Journal of KIISE:Software and Applications
• /
• v.37 no.2
• /
• pp.148-154
• /
• 2010

In the study of the formal semantics of uncertain databases, we typically take an algebraic approach by mapping an uncertain database to possible worlds which are a set of relational databases. In this paper, we present a new semantics for uncertain databases which takes a logical approach by translating uncertain databases into logical theories. A characteristic feature of our semantics is that it uses linear logic, instead of propositional logic, as its logical foundation. Linear logic is suitable for a logical interpretation of uncertain information because unlike propositional logic, it treats logical formulae not as persistent facts but as consumable resources. As the main result, we show that our semantics is faithful to the operational account of uncertain databases in the algebraic approach.

• Korean Journal of Cognitive Science
• /
• v.14 no.4
• /
• pp.65-70
• /
• 2003

In this article, I show that the cognitive suicide argument does not succeed in refuting eliminativism. The argument misses an important aspect of eliminativism. In Sec. 3, the last section, I will suggest the aspect of eliminativism and, on the basis of it, will develop my criticism against eliminativism.

• KSCI Review
• /
• v.10 no.2
• /
• pp.9-15
• /
• 2003

정보화는 IT의 기술의 씨알이 되어 발전하였으며 한국이 세계 속에 두각을 나타내게 되었다. 21세기의 초창기는 기술로 승부하겠지만 점점 기술의 개발이 고도화되면서 부속적으로는 기술의 응용분야도 함께 발전해야한다는 명제를 우리는 안고 있다. 그것이 바로 정보기술의 아우름이라고 표현하면 좋겠다. 옛말에 “구슬이 세 말이라도 꿰어야 보배”라는 말이 있다. 다시 말해 기술이 아무리 훌륭하다고 하더라도 앞으로는 응용되고 인간이 활용하지 않는다면 사장되는 경우가 많다는 것을 표현하는 말이다. 여기서는 정보화를 사회복지에 응용하는 분야 중 개략적으로 방법론을 다루었다. 이 주제발표가 IT기술을 개발하는 학자들에게 새로운 패러다임으로 작용하기를 바라는 마음에서 주제 발표를 하게 되었다.

• Journal for History of Mathematics
• /
• v.21 no.2
• /
• pp.55-70
• /
• 2008

This study is about the Data which is one of Euclid's writing. It dealt with the organization of contents, formal system and mathematical meaning. First, we investigated the organization of contents of the Data. Second, on the basis of this investigation, we analyzed the formal system of the Data. It contains the analysis of described method of definition, proposition, proof and the meaning of 'given'. Third, we explored the mathematical meaning of the Data which can be classified as algebraic point of view, geometric point of view and the opposite point of view to 'The Elements'.

• Korean Journal of Logic
• /
• v.5 no.1
• /
• pp.27-44
• /
• 2001

아리스토텔레스 이후부터 프레게와 럿셀의 현대논리학이 등장하기 전까지 가장 중요한 논리학의 저서는 "포트로얄 논리학"이라고 알려진 "논리학 혹은 사유의 기술" 이다. 이 저서는 아리스토텔레스와 중세의 고전논리학적 요소와 프레게의 현대논리학적 요소를 동시에 지니고 있어 고전논리학과 현대논리학의 가교 역할을 하고 있다고 할 수 있다. 이 논문의 목적은 포트로얄 논리학에 나타난 서술문의 계사에 대한 설명과 그에 대한 대립되는 해석들을 살펴보고 포토로얄 논리학전체 체계에 비추어 볼 때 어떠한 해석이 보다 설득력있는 해석인가를 검토해 봄으로써 포트로얄 논리학이 지닌 고전적 요소와 현대적 요소를 대비해 보는 것이다. 즉 포트로얄 논리학의 서술문의 계사에 대한 설명을 통해서 그 저서의 한계와 의미를 알아보고, 논리학사에서 그 저서의 정당한 가치를 평가하는 것이 이 논문의 목적이다. 서술문의 계사에 대한 포트로얄 논리학의 설명은 계사는 주어와 술어 사이의 동일성 기호라는 고전적인 해석을 가능하게 하는 여지를 가지고 있는 것은 분명하다. 동시에 서술문의 계사는 술어의 속성들의 집합(comprehension)에 속한 성질들을 주어의 외연(extension)에 적용시키는 역할을 한다고 주장함으로써 프레게의 개념과 대상에 대한 설명과 유사함도 보이고 있다. 필자는 포트로얄 논리학의 계사에 대한 설명을 주어와 술어의 동일성 기호로 해석하는 최근의 빠리앙뜨의 주장(1978)을 비판적으로 살펴보고, 포트로얄 논리학의 계사에 대한 설명을 보다 정확하게 이해하는 것은 술어의 속성과 주어의 외연 사이의 서술적 기능이라고 보는 것이라고 주장한다. 계사를 동일성 기호로 해석하는 것은 첫째 포트로얄 논리학 전체를 살펴볼 때 빈약한 문헌적 증거밖에 갖지 못하고, 둘째 논리학과 의미론에서 포트로얄 논리학의 가장 중요한 기여라고 평가되는 속성집합과 외연의 구별에 대한 오해를 포함하고 있으며, 마지막으로 이러한 해석은 같은 술어도 주어가 달라짐에 따라 다른 의미를 갖는다는 주장을 포함함으로써 반직관적이다. 반면에 계사를 서술적 기능을 하는 것으로 해석하는 것은 포트로얄 논리학의 외연과 내포 사이의 구별에 대한 보다 정확한 이해에 근거한 것이고 종속절을 갖고 있는 명제에 대한 포트로얄 논리학의 분석에 의해서도 뒷받침됨을 보인다. 그러나 포트로얄 논리학은 주어의 외연이 공집합인 명제에 대한 분석에서 여전히 고전논리학적인 설명을 고수한다. 즉 그러한 면제에 대해 주어의 외연이 존재한다고 가정하는 존재적 관점의 해석만 허락함으로써 전칭명제를 조건적으로 해석하고$[({\forall}x)(Sx{\rightarrow}Px)]$, 특칭명제를 연언적으로 해석함으로써$[({\exists}x)(Sx&Px)]$, 그 문제를 해결하는 현대논리학과는 구별된다. 즉 포트로얄 논리학은 서술문의 계사를 동일성 기호가 아니라 주어와 술어의 외연과 내포사이의 서술적 기능으로 설명한다는 점에서 고전적인 견해와 구별되지만, 여전히 존재적 관점에서 모든 명제를 해석한다는 점에서 고전적이다. 이것이 바로 포트로얄 논리학의 평가를 위해서 주목해야 할 그 논리학의 가치이며 한계인 것이다.