• 논리연구
• /
• 제5권2호
• /
• pp.1-21
• /
• 2002

A semantics for logical necessity, based on Carnap's criterion of adequacy, is given with respect to the ontology of logical atomism. A calculus for sentential (propositional) modal logic is described and shown to be complete with respect to this semantics. The semantics is then modified in terms of a restricted notion of 'all possible worlds' in the interpretation of necessity and shown to yield a completeness theorem for the modal logic S5. Such a restricted notion introduces material content into the meaning of necessity so that, in addition to atomic facts, there are "modal facts" that distinguish one world from another.

• 동양고전연구
• /
• 제35호
• /
• pp.275-295
• /
• 2009

이 글은 그레이엄 (A. C. Graham)이 후기묵가의 저작인 "묵경"에서 보이는 필(必)과 선지(先知)를 각각 '논리적 필연성'과 '선험적 지식'(a priori knowledge)으로 보는 해석을 비판하기 위한 것이다. 그레이엄은 묵가의 논리학을 '이름과 대상을 짝짓는' '기술의 학'(論)과 '이름과 이름간의 관계를 따지는' '추론의 학'(辯)으로 나누고 특히 후자에 대해 비록 그것이 서구의 형식논리학은 아니지만, 유클리드 기하학과 같은 엄밀한 증명의 과정으로 보아야 한다고 하였다. 이러한 그의 주장들은 지식을 그 대상에 따라 명지(名知)와 합지(合知)로 나누어보는 데서 출발한다. 그러나 내가 보기에 기술의 학과 이름의 학은 후기묵가의 저작인 "묵경"안에서 명확히 구분될 수 없고, 게다가 묵가의 선지(先知)와 이 선지(先知)가 가진 필연성은 기본적으로 논리적 필연성이 아니라 규범적 필연성 및 경험적 필연성의 개념이다. 규범적 필연성은 중국의 정명(正名)사상에서 제시된 '규범적 정의이론'으로부터 기인하는 것이다. 규범적 정의이론이란 기술적 정의이론과는 달리 규범적으로 개념을 정의하는 것이다. 예컨대 '아버지는 자애롭다'의 정의는 형태는 기술적이나 사실은 '아버지는 자애로워야한다'의 규범적인 것이다. 이러한 규범적 정의이론을 통해 경험적 지식은 그것이 지식인한 당연히 필연적으로 오류 불가능임이 주장된다. 한마디로 묵가에서는 경험적 지식이 추론적 지식 혹은 선험적 지식보다 항상 더 우선적이기에 묵가의 선험적 지식은 사실 엄밀하게 선험적인 것이 아니고, 이러한 지식이 갖는 필연성도 규범적 필연성 및 경험적 필연성에 불과하다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권6호
• /
• pp.498-507
• /
• 2009

프로그래밍 언어 학습이 논리적 사고력에 미치는 영향에 대한 선행 연구는 부족한 실정이며, 각 연구 결과마다 연구 대상, 방법과 학습 주제 등에 따라 논리 향상 정도와 영역이 다르므로, 일반화 과정에 어려움이 있다. 또한 논리적 사고력의 향상이 학습자의 인지 발달에 의한 것인지 프로그래밍 언어 학습에 의한 것인지 분명하지 않아 프로그래밍 언어 학습의 필요성이 증명되었다고 할 수 없다. 본 연구에서는 초등 6학년생들에게 교육용 프로그래밍 언어 학습을 7차시 동안 실시한 후, 메타인지 수준별로 논리적 사고력에 미치는 영향을 조사하고, 컴퓨터 활용 교육의 효과와 비교하였다. 실험 결과에 따르면, 두리틀과 로고, 그리고 파워포인트 학습 집단 모두에서, 상위 수준의 메타인지를 지닌 학생들은 논리적 사고력에 유의미한 신장 효과를 나타낸 반면, 하위 수준의 학생들은 두리틀과 로고 학습 후에만 유의미한 논리적 사고력의 신장을 나타냈다. 그러나 메타인지 수준에 상관 없이 세 학습 집단 간에 논리적 사고력 향상 정도의 유의미한 차이는 없었다.

• 한국언어정보학회지:언어와정보
• /
• 제9권2호
• /
• pp.1-22
• /
• 2005

In this paper I propose the semantics of two modality markers in Korean, keyss and (u)1 kes. I compare the two modality markers with respect to some properties. First, keyss is used to express logical necessity while (u)1 kes can be used to express a simple prediction as well. Second, keyss expresses some logical conclusion from the speaker's own information state without claiming it is true. On the other hand, (u)1 kes expresses the claim that the speaker's prediction will be true. Third, the prediction of keyss is non-monotonic: it can be reversed without being inconsistent. However, that of (u)1 kes cannot. Fourth, (u)1 kes can be used freely in epistemic conditionals, but keyss cannot. Finally, when keyss is used, the prediction cannot be repeated. The prediction from the use of (u)1 kes can be repeated. To account for these differences, I propose that keyss is used when the speaker makes a purely logical presumption based on his/her own information state, and that (u)1 kes is used to make a prediction which is asserted to be true. This proposal accounts for all the differences of the two modality markers.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제12권4호
• /
• pp.259-270
• /
• 2008

The change of the developed countries to highly technological societies continuously requires that they nurture and use the full potential of mathematically and scientifically talented people. As this is a process that should start early in order to be efficient, the main responsibility of identifying and addressing the specific needs of these people is assigned to public school systems and, in particular, to elementary teachers. In this regard, three significant areas of concern arise and are discussed in this paper: (a) The complexity in identifying mathematically promising and mathematically talented elementary students; (b) The highly responsible and difficult task for elementary teachers to differentiate and serve the mathematically promising students within an inclusive classroom; and (c) The need of teachers with specialized training and mathematics knowledge in pre-high school grades. The last one should be considered predominantly as a logical consequence of the first two. The main goal and, hence, the purpose of the paper is to promote understanding of this crucial necessity of mathematics specialists and to advocate for a change in this direction.

• 한국안전학회지
• /
• 제31권4호
• /
• pp.120-125
• /
• 2016

Usually, a risk can be expressed as a product of likelihood and consequence of a hazard factor. Therefore, conventional risk assessment is carried out by frequency analysis and severity analysis, in turns. However, it is well known that intuitive thinking is another excellent way of thinking of human beings. This study aimed to confirm whether there exist any difference in risk assessment results derived by two different procedures - intuitive and analytical. Thus, the present study showed 10 different illustrations to 30 undergraduate students. Their responses were organized as fuzzy membership functions, and summarized as risk assessments, and compared. The results were also verified with the help of statistical hypothesis testing, which showed no significant difference. On the contrary, however, similarity measure used in fuzzy set theory was not credible as anticipated. Many cases failed to satisfy statistical hypothesis even with similarity measure higher than 0.60 so that only a trend could be accepted. In addition, a subject showed a somewhat consistent logical discrepancy in his response, which implied the necessity of sincere analysis in fuzzy formulations.

• 한국군사과학기술학회지
• /
• 제13권2호
• /
• pp.258-267
• /
• 2010

The necessity of the new system development arises in both defence and commercial systems industry either when a breakthrough in technology needs to be realized in the form of a brand-new system or when the existing product already in operation needs to be upgraded to satisfy the increasing stakeholder's requirements. In the latter case, it is not rare that specific system technical specifications on the existing products are not available. The purpose of this study is to investigate how to handle the difficulty when an upgraded system is required to be developed based on the existing product whose detailed technical specifications cannot be obtained. A step-by-step process is described based on the reverse engineering of the existing product. As a result, a logical system model is obtained for the product. The process developed is further enhanced and evaluated by the computer-aided system engineering tool. The resulting logical system model should be helpful in the next phase of the new product development.

• 디자인학연구
• /
• 제21권
• /
• pp.77-86
• /
• 1997

현대사회는 매스미디어에 의한 이미지의 시대이다. 광고매체는 이러한 현대사회의 일상생활에서의 각종 시각정보전달 매체 물을 통한 수용자의 이미지의 접촉과 반도에 지대한 자극과 영향을 준다. 신문, 잡지광고 텍스트 제작에 있어서 서체(typeface)선택의 활용에 따른 시각이미지(시심상, visual image)의 비교 연구를 통하여 볼 때, 헤드라인 서체의 선택은 광고카피의 중요성 못지 않게, 광고 컨셉에 맞는 발신자(광고주, client)와 수용자(소비자, consumer)의 관계에서 보다 효율적인 대 소비자를 향한 광고효과의 증대를 위해 중시되어져야 한다. 한편 이러한 헤드라인 서체의 시각이미지(시심상, visual image)는 다른 시각화상정보 전달요소(그림, 시진 등)들과 '심리적 조화의 일치' 라는 관점에서 행하여져야 한다. 이는 모든 인간들이 각자의 얼굴을 지니고, 각기 맡은바 역할에 맞추어 살아가는 것과 같이, 서체(typeface)도 각기 서체가 갖는 이미지의 '심리적 조화의 일치'하에 활용될 때 서체의 개성과 역할이 배가되어지기 때문이다.

• 한국초등수학교육학회지
• /
• 제14권1호
• /
• pp.65-80
• /
• 2010

본 연구는 고대 그리스 시대의 수학적 추론의 발달 과정을 통하여 그 본질과 지도 방안을 탐색해 보고자 하였다. 먼저 문헌 연구로서 고대 그리스 시대의 수학적 추론의 발달 과정에 대한 Netz의 분석을 살펴보았고, Freudenthal의 국소적 조직화 이론과의 관련성을 분석해 보았다. 분석 결과 수학적 추론에서 용어와 기호가 자연 언어 중심으로 되는 것이 적절한 것으로 파악되었으며, 학생들의 직관에 근거하여 수학적 필연성을 형성하게 하는 지도 방안이 적절한 것으로 생각된다. 또한 다각형의 내각의 합을 소재로 귀납에 의한 발견과 정당화, 나아가 다각형으로의 일반화라는 패턴에 따른 지도 계열과 방안을 제시하였다.

• 정보교육학회논문지
• /
• 제16권4호
• /
• pp.463-474
• /
• 2012

정보과학기술의 발달로 급변하는 사회에서 정보교육의 필요성에 대한 목소리가 높아지고 있다. 하지만 초등학교의 대부분의 교사들은 정보교육의 필요성을 체감하지 못하고 핵심원리인 정보과학적 사고에 대하여 인지하지 못하고 있는 실정이다. 본 연구에서는 예비 초등교사들이 정보교육의 필요성을 체감하고 정보과학적 사고를 올바로 인지할 수 있도록 Logo를 이용한 정보과학적 사고 기반의 알고리즘 학습 프로그램을 설계하고 시행하였다. 사전, 사후검사를 분석한 결과 예비교사의 논리적 사고력 중 상관논리, 조합논리와 논리적 사고력 합계의 평균이 유의미하게 상승하였다. 또한 정보교육과 정보과학적 사고에 대한 예비교사들의 인식이 긍정적으로 변화한 것으로 나타났다.