'''고전 논리'''(古典論理, {{llang|en|classical logic}})은 [[기호 논리학]] 체계의 분류의 하나로, 널리 연구되며 [[비고전 논리]]와 대비되는 특징을 가진 논리체계를 가리킨다. 주로 표준적인 [[명제 논리]] 및 [[1차 술어 논리]]를 가리킬 때 쓰이는 말이다.
일반적으로 '''고전논리학'''(古典論理學) 은 [[아리스토텔레스]]가 그의 저서 [[오르가논]]에서 올바른 논리와 올바르지 못한 논리에서 이들의 추론 방법을 다룬것이 대표적이다. 그의 스승 [[플라톤]]이전으로 거슬러 올라가기도한다. 고전 논리학은 [[현대 논리학]]에 대한 '전통논리학'을 가리키는 것이다.
==아리스토텔레스의 정의==
아리스토텔레스의 고전적 [[정의 (논리학)|정의]]에서 뿐만아니라 올바른 명제에서는 [[명사 (논리학)|명사]]가 그 중요한 역할을 담당하는데 이에 있어서 명사가 [[내포]]하거나 [[외연]]하는 범주는 그 종차를 [[한정 (논리학)|한정]]하는 양에 기인한다. ▼
==이치논리학 특징 ==
고전 논리는 흔히 다음과 같은 특징들을 공유한다.<ref>[[Dov Gabbay|Gabbay, Dov]], (1994). 'Classical vs non-classical logic'. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, (Eds), ''Handbook of Logic in Artificial Intelligence and Logic Programming'', volume 2, chapter 2.6. Oxford University Press.</ref>
{{본문|이치논리학}}
*[[배중률]] 및 [[이중 부정 제거]]의 법칙
고전논리학은 형식논리학을 추구하기위해 참이나 또는 거짓의 두 값만을 인정하는 [[이치논리학]]의 입장을 취한다.
*[[무모순율]] 및 [[폭발 원리]]
*[[논리적 귀결|귀결관계]]의 단조법칙과 멱등법칙
*[[논리곱]]의 교환법칙
*[[드 모르간의 법칙]](논리 연산자의 쌍대성)
또한 고전 논리는 명제들의 외연적 의미론으로서 참, 거짓의 대립만을 인정하는 [[이치 논리]]를 기반으로 한다.
==원칙==
{{본문|비모순율}}{{본문|동일률}}{{본문|배중률}}
[[플라톤]] 및 아리스토텔레스가 제시한 [[형식 논리학]]의 사유 법칙인 모순율,배중률,동일률의 원칙들이 있다.<ref>(우리말샘) 모순율,동일률,배중율</ref>
한편 위와 같은 성질들의 일부를 받아들이지 않는 논리적 체계를 '''[[비고전 논리]]'''(non-classical logic)라 일컫는다.
비모순율(非矛盾律,Law 또는 Principle of noncontradiction, LNC,PNC)은 아리스토텔레스에 따르면 「어느 사물에 대해서 같은 관점에서 동시에, 그것을 긍정하면서 부정하는 것은 불가능하다」는 것이다. 이러한 맥락에서 모순율(矛盾律,Law of contradiction)이라고 부른다.
따라서 ‘갑은 갑인 동시에 갑이 아닐 수 없다.’와 같이, 모든 사물은 그 자체와 같은 동시에 그 반대의 것과는 같을 수 없다는 원리로, 모순율은 동일률의 이면을 이른다.
== 역사 ==
한편 배중률(排中律)은 모순율에의해 '어떤 명제와 그것의 부정 가운데 하나는 반드시 참이다'라는 원칙에 이른다. 서로 모순되는 두 가지의 판단이 모두 참이 아닐 수는 없다는 원리이다.
고전 논리는 [[수리 논리학]]과 [[분석철학]]의 기초에 큰 영향을 주었으며, 비교적 학문적 역사가 깊다. 그 유래는 [[고대 그리스 철학]]까지 거슬러 올라간다.
▲아리스토텔레스의 [[오르가논]] 등에 따른 고전적 [[정의 (논리학)|정의]] 에서 뿐만아니라 올바른 명제에서는에서는 [[명사 (논리학)|명사]]가 그 중요한 역할을 담당하는데 이에 있어서 명사가 [[내포]]하거나 [[외연]]하는 범주는 그 종차를 [[한정 (논리학)|한정]]하는 양에 기인한다 . [[플라톤]] 및 아리스토텔레스가 제시한 [[형식 논리학]]의 사유 법칙으로는 모순율, 배중률, 동일률의 원칙들이 있다.
따라서 동일률(同一律)은 '모든 대상은 그 자체와 같다'는 논리학상의 근본 요구를 나타내는 원리갸 되며, ‘갑은 갑이다.’로 표현된다.
동일률은 모순율과 배중률이 전제되어야 한다. 이처럼 이들 세 원칙들은 서로 상관관계가 있다.
비모순율(非矛盾律)은 아리스토텔레스에 따르면 「어느 사물에 대해서 같은 관점에서 동시에, 그것을 긍정하면서 부정하는 것은 불가능하다」는 것이다. 따라서 ‘갑은 갑인 동시에 갑이 아닐 수 없다.’와 같이, 모든 사물은 그 자체와 같은 동시에 그 반대의 것과는 같을 수 없다는 원리로, 모순율은 동일률의 이면을 이른다. 한편 배중률(排中律)은 모순율에 의해 '어떤 명제와 그것의 부정 가운데 하나는 반드시 참이다'라는 원칙에 이른다. 서로 모순되는 두 가지의 판단이 모두 참이 아닐 수는 없다는 원리이다. 따라서 동일률(同一律)은 '모든 대상은 그 자체와 같다'는 논리학상의 근본 요구를 나타내는 원리가 되며, ‘갑은 갑이다.’의 꼴로 표현된다. 동일률은 모순율과 배중률이 전제되어야 하며, 이처럼 이들 세 원칙들은 서로 상관관계가 있다.
==함께보기==
현대 논리학의 선구자로 평가받는 [[고틀로프 프레게]]는 《개념표기》(Begriffsschrift)에서 [[명제 논리]]를 체계화하고 [[술어 논리]]에까지 확장하였다.
== 같이 보기 ==
*[[명제 논리]]
*[[술어 논리]]
*[[삼단논법]]
*[[대당사각형]]
==참고==
{{각주}}
*(위키문헌 영문판- 오르가논 ,아리스토텔레스)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.'
{{토막글|철학}}
[[분류:고전논리| ]]
|