• Korean Journal of Cognitive Science
• /
• v.4 no.1
• /
• pp.26-50
• /
• 1993

'발견의논리'는 최근의 과ㅎ가철학에서 가장 중요한 문제 중의 하나가 되고 있다.그러나 '발견'과'논리'라는 용어의 애매성 때문에

• Korean Journal of Logic
• /
• v.2
• /
• pp.91-118
• /
• 1998

라이프니츠는 일반적으로 현대논리학의 선각자라고 부른다. 그래서 라이프니츠 논리학에서는 현대 논리학을 이해함에 있어서 중요한 단초들을 발견할 수 있다. 라이프니츠의 논리학을 대표하는 개념으로는 흔히 보편수학, 보편기호학 그리고 논리연산학을 들곤한다. 라이프니츠의 보편수학의 이념은 연대 논리학이 논리학과 수학의 통일에서 출발할 수 있는 결정적인 근거를 제공했다. 이러한 현대 논리학의 출발에 있어서는 상이한 두 입장을 발견할 수 있는데, 부울, 슈레더의 논리대수학과 프레게의 논리학주의가 바로 그것이다. 이 두 입장은 "논리학과 수학의 통일"에 있어서는 공통적인 관심을 보이지만, 논리학의 본질을 라이프니츠의 보편기호학에서 찾느냐 또는 라이프니츠의 논리연산학에서 찾느냐에 따라 상이한 입장을 취한다. 이외에도 보편과학이나 조합술을 이해하지 않고는 라이프니츠 논리학에 대한 총체적인 시각을 갖기 힘들다. 이 두 개념은 특히 타과학이나 과학적 방법론과 관련지어 논리학이란 과연 무엇인가라는 논리철학적인 조명에 있어서 중요한 실마리를 제공한다.

• Korean journal of communication and information
• /
• v.54
• /
• pp.76-97
• /
• 2011

What are the meanings of abduction as a methodology of Cultural Studies? By contextualizing Charles Sanders Peirce's logic of abduction in the discipline of Cultural Studies, I explore the epistemological discussion on the modern scientific research methodology of social sciences. Abduction is a kind of logical inference, which is often associated with guessing or intuition. Peirce's method of abduction and Cultural Studies' contextual formation in effect address an alternative methodology to positivism. Criticizing the modern Eurocentric structure of knowledge construction, I suggest that the virtue of abduction, as a logic of discovery, should be re-discovered in the context of Cultural Studies. Abduction holds important lessons for Cultural Studies as well as social sciences in general because of its focus on intuition, empathy, and intellectual collaboration. Through its elaboration of the logic of abduction, Cultural Studies is able to maintain not only its epistemological ground but also its methodological communicability.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.703-705
• /
• 2002

정보의 급속한 확산과 더불어 체계적이고 효율적으로 정보를 분류하고 활용할 수 있는 방법에 대한 연구의 필요성이 증대되고 있다. 생물정보에 있어서도 기존에 축적된 많은 정보뿐만 아니라 새로 밝혀지는 정보들을 자동적으로 분류하고 재활용하는 방법의 일환으로 귀납적 논리 프로그래밍을 적용한 방법론이 채택되고 있다. 본 논문에서는 귀납적 논리 프로그래밍을 이용하여 단백질 구조 분류 데이터베이스론 생성하고 이를 기반으로 단백질 폴더에 내재된 공통의 규칙들을 발견하고, 새로운 단백질에 적용하여 구조를 예측할 수 있는 방법론에 대하여 기술한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.397-400
• /
• 2004

이전 논문은 자바 프로그램 내에 포함된 논리적인 오류를 발견하기 위해 HDTS 기술을 제안하였다. HDTS 는 알고리즈믹 프로그램 디버깅 기술, 단계적 프로그램 디버깅 기술, 그리고 프로그램 분할을 혼합하여 효율적으로 논리적인 오류가 포함된 프로그램을 디버깅하는 기술이다. 본 논문에서는 HDTS 기술을 구현하기 위한 HDTS 시스템을 설계한다.

• The Journal of Korean Philosophical History
• /
• no.52
• /
• pp.37-67
• /
• 2017

This article is to examine the characteristics of Habin Sin Hu-Dam's method of interpreting Zhouyi and to review its position in Zhouyi history of Joseon Dynasty. Especially, there has been drown attention to the connection both Habin and Tasan Cheong Yagyong. Habin is a philosopher who consistently interprets Zhouyi through the inner logic of it, not through Neo-confucian framework of it. The inner logic is yaobian theory, which is found through investigating the auguries in the old Books of Confucianism. It could be said that this discovery is the Habin's original one, although there may be historically connections between him and Seong-Ho School in the interpreting methodology about Zhouyi. However, at a future date this logic is found in Tasan. There are no connections between two philosophers, but it may be said that they arrive at the common method of interpreting Zhouyi through investigating the auguries in the old Books of Confucianism. We find that their common methods of interpreting Zhouyi do not keep to authoritative interpretation, but there is the passion of searching for Zhouyi the way as it is.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.7
• /
• pp.1908-1922
• /
• 1998

본 논문은 논리언어 프로그램의 효율적인 클로즈(Clause) 인덱싱을 위한 컴파일 기법에 대한 체계적인 접근방법을 제시한다. 본 접근방법의 핵심으로서 노드당 평균 병렬도와 클로즈 수행시도(clause trial) 횟수를 정확하게 나타낼 수 있는 기법으로서 인덱싱트리(Indexign Tree)를 제안한다. 인덱싱트리는 인덱싱 수행 시에 인덱싱을 위한 지시어(Instruction)의 수행 결과로 프로그램으 컨트롤이 실패처리코드로 이동하는 경우도 정량적으로 나타내 준다. 인덱싱트리를 사용하여 논리 프로그램을 위한 대표적인 가상머신인 WAM(Warren Abstract Machine)을 분석한 결과, WAM에서 사용하는 인덱싱 기법이 논리 프로그램의 병렬 처리에 있어 탐색트리의 병렬도를 감소시키며, 또한 스케쥴링의 효율성을 저하시키는 결점을 내포하고 있음을 발견할 수 있었다. 이러한 결점을 해결하기 위하여 본 논문은 플랫 인덱싱이라는 새로운 인덱싱 기법을 제안하고 이것을 실제 논리언어 컴파일러에 구현하여 측정한 향상 및 분석 결과를 보여준다.

• Journal for History of Mathematics
• /
• v.18 no.2
• /
• pp.23-30
• /
• 2005

Intuition has played an important role in process of invention of mathematics and given understanding of mathematical truth and the direction of solution. So, I review about intuition in history of mathematical philosophy and mathematics because we need systematic research about intuition for search of the methods for enhancement of intuition in mathematics education. According to the research of scholars who emphasize intuitive education, intuition is common feature which everybody hold and is not special feature which particular person hold. In addition, intuition is universal ability that can enhance by proper instruction. So, we have to emphasize the importance of the development of intuition and education which emphasize creative thought via intuition.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.1027-1030
• /
• 2015

하드웨어 디자인 설계에서 초기 단계의 설계 오류 발견은 개발 비용 감소 및 설계 시간 단축 측면에서 그 효과가 매우 크다. 이러한 초기 설계 오류 발견을 위한 대표적인 방법으로는 정형 검증(formal verification)이 있으며, Cadence SMV(Symbolic Model Verifier)는 정형 검증을 위해 Verilog HDL(Hardware Description Language)을 SMV로 자동 변환 해주는 장점이 있지만, 사건 기반 구조(event based structures)의 sensitivity list에 대한 지원을 하지 않는 한계가 있다. 이에 본 논문에서는 Cadence SMV에서 디지털회로(digital circuit) 중 하나인 조합 논리회로(combinational logic circuit)를 sensitivity list가 고려된 검증이 가능하도록 하는 방법을 제안한다. 신뢰성 있는 실험을 위해 본 논문에서는 제안하는 방법의 일반적인 규칙을 도출하였고, 도출된 규칙이 적용된 SMV 파일을 생성하는 자동화 프로그램을 구현하여 실험하였다. 실험결과 제안한 방법을 적용한 경우 기존 Cadence SMV가 발견하지 못한 설계상의 오류를 발견할 수 있었다.

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.27-59
• /
• 2010

After the unexpected death of the late professor Young-Jung Kim on July 28th last year, 4 pieces of paper unpublished were discovered. Those papers reveal that he had a grand program. In particular, we found that he had his own ideas and theory which he called "Presupposition Logic" and "Field Logic". In this paper, I will call his program "Presupposition Logic Program". He explored a new logic system, Presupposition Logic, in order to realize necessity and possibility of the closer relationship between logic and critical thinking. In this paper, I will expound what his "presupposition" and "Presupposition Logic" are and why he thought Presupposition Logic is necessary from a perspective of logic. And I will critically elucidate what was the problem that troubled him.