고전논리학

위키백과, 우리 모두의 백과사전.
둘러보기로 가기 검색하러 가기

일반적으로 고전논리학(古典論理學)은 아리스토텔레스가 그의 저서 오르가논에서 올바른 논리와 올바르지 못한 논리에서 이들의 추론 방법을 다룬것이 대표적이다. 그의 스승 플라톤이전으로 거슬러 올라가기도한다.

정의[편집]

아리스토텔레스의 고전적 정의에서 뿐만아니라 올바른 명제에서는 명사가 그 중요한 역할을 담당하는데 이에 있어서 명사가 내포하거나 외연하는 범주는 그 종차를 한정하는 양에 기인한다.

이치논리학[편집]

고전논리학은 형식논리학을 추구하기위해 참이나 또는 거짓의 두 값만을 인정하는 이치논리학의 입장을 취한다.

원칙[편집]

플라톤 및 아리스토텔레스가 제시한 형식 논리학의 사유 법칙인 모순율,배중률,동일률의 원칙들이 있다.[1]

비모순율(非矛盾律,Law 또는 Principle of noncontradiction, LNC,PNC)은 아리스토텔레스에 따르면 「어느 사물에 대해서 같은 관점에서 동시에, 그것을 긍정하면서 부정하는 것은 불가능하다」는 것이다. 이러한 맥락에서 모순율(矛盾律,Law of contradiction)이라고 부른다. 따라서 ‘갑은 갑인 동시에 갑이 아닐 수 없다.’와 같이, 모든 사물은 그 자체와 같은 동시에 그 반대의 것과는 같을 수 없다는 원리로, 모순율은 동일률의 이면을 이른다.

한편 배중률(排中律)은 모순율에의해 '어떤 명제와 그것의 부정 가운데 하나는 반드시 참이다'라는 원칙에 이른다. 서로 모순되는 두 가지의 판단이 모두 참이 아닐 수는 없다는 원리이다.

따라서 동일률(同一律)은 '모든 대상은 그 자체와 같다'는 논리학상의 근본 요구를 나타내는 원리갸 되며, ‘갑은 갑이다.’로 표현된다. 동일률은 모순율과 배중률이 전제되어야 한다. 이처럼 이들 세 원칙들은 서로 상관관계가 있다.

함께보기[편집]

참고[편집]

  1. (우리말샘) 모순율,동일률,배중율
  • (위키문헌 영문판- 오르가논 ,아리스토텔레스)https://en.wikisource.org/wiki/Organon
  • (우리말샘) 정의하다
  • (위키문헌 영문판- Categories(범주론)-오르가논 ,아리스토텔레스,영문 Octavius Freire Owen)https://en.wikisource.org/wiki/Categories_(Owen)-'Of species themselves, however, as many as are not genera, are not more substance, one than another, for he will not give a more appropriate definition of "a certain man," who introduces "man," than he who introduces "horse," into the definition of "a certain horse:" in like manner of primary substances, one is not more substance than another, for "a certain man" is not more substance than a "certain ox." With reason therefore, after the first substances, of the rest, species and genera alone are termed secondary substances, since they alone declare the primary substances of the predicates; thus, if any one were to define what "a certain man" is, he would, by giving the species or the genus, define it appropriately, and will do so more clearly by introducing "man" than "animal;" but whatever else he may introduce, he will be introducing, in a manner, foreign to the purpose, as if he were to introduce "white," or "runs," or any thing else of the kind, so that with propriety of the others, these alone are termed substances. Moreover, the primary substances, because they are subject to all the rest, and all the others are predicated of, or exist in, these, are most properly termed substances, but the same relation which the primary substances bear to all other things, do the species and genera of the first substances bear to all the rest, since of these, are all the rest predicated, for you will say that "a certain man" is "a grammarian," and therefore you will call both "man" and "animal" "a grammarian," and in like manner of the rest.'