earticle

영어

This paper is a study on the Leibnizian conception of the combination of human thoughts as a proof involved with the logic of Leibniz. There are many aspects in Leibniz's thought about logic, which are reflected in his various logical ideas and projects. This paper attempts to illuminate that these ideas and projects have important philosophical implications, that they consist of his logic as a scientia universalis, and that his logic is an ars judicandi based on the combination of thoughts and the manipulation of signs. First of all, Leibniz introduced various mathematical methods to establish his logical system. And he needed to perform preliminary logical projects such as the alphabet of human thoughts and the new encyclopedia. The former is the list of signs for simple concepts founded by analyzing complex concepts, and the latter yields to simple concepts and definitions involved in all the sciences. On the basis of these, he attempted to construct his logical system. It enables us to demonstrate all the scientific propositions and to use a characteristica universalis and a calculus ratiocinator. Although he failed to build up a distinct logical system, he endeavored to devise a logical notation for the first time, and his conception of logic inspired Boole and Frege to found modern logics.

한국어

본고는 라이프니츠의 논리학과 직접적으로 연관되어 있는 증명을 위한 사고의 조합에 관해 연구한 논문이다. 그의 논리학 개념에는 다양한 측면들이 있으며, 그러한 측면들은 그의 여러 가 지 논리학적 구상들과 기획들에 반영되어 있다. 이 논문은 이러한 구상들과 기획들이 중요한 철 학적 함의들을 갖고 있음을, 그리고 그것들이 보편학으로서의 그의 논리학을 구성함을, 그리고 그의 논리학이 기호들의 조작과 사고의 조합에 근거한 증명법임을 보이고자 한다. 라이프니츠는 우선적으로 자신의 논리 체계를 정립하기 위해 다양한 수학적인 방법들을 도입했다. 그리고 그 는 인간 사고의 알파벳과 새로운 백과사전과 같은 예비적인 논리적 기획들을 감행했다. 여기서 전자는 복합 개념들을 분석하여 도달한 단순 개념들의 기호들의 목록이며, 후자는 모든 학문들 에 포함된 단순 개념들과 정의들을 산출한다. 이러한 기획들을 토대로, 그는 그의 논리 체계를 건설하고자 하였다. 이러한 논리 체계는 모든 학문적인 명제들을 증명하며 보편 기호법과 추리 계산법의 사용을 가능하게 한다. 비록 라이프니츠가 명확한 논리 체계를 건설하는 데 실패했다 할지라도, 그는 최초로 논리적 기호법을 고안하고자 노력했으며, 그의 논리학 개념은 부울과 프 레게에게 현대 논리학을 형성하도록 영감을 주었다.