추론: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Hoto Cocoa (Bot) (토론 | 기여) 자동 찾아 바꾸기: 「을려고」 to 「으려고」 |
잔글 봇: 논리학의 개념을(를) 논리학 개념(으)로 분류 대체함; 예쁘게 바꿈 |
||
8번째 줄:
* 자동화된 추론 시스템을 개발하는 [[인공 지능]](AI) 연구자들
== 직접추론·간접추론 ==
미리 제시된 하나의 명제(판단)에서 직접 하나의 새로운 명제를 추출해내는 추론을 [[직접추론]](直接推論)이라고 하며, 미리 제시된 두 개 이상의 명제에서 간접으로 하나의 새로운 명제를 이끄는 추론을 간접추론(間接推論)이라고 한다. 전자에는 [[대당사각형|대당관계]](對當關係)에 의한 경우와 [[명제]]의 변형에 의한 경우가 있으며, 후자에는 [[연역]]·[[귀납]]·[[유추]](類推) 등이 속한다.
== 연역(演繹) ==
간접추리의 일종으로, [[귀납]]과는 반대로, 일반적인 것으로부터 특수한 것으로 나아가는 사유의 작용이다.
'모든 M은 P이며, 모든 S는 M이다. 그러므로 모든 S는 P이다'란 형식의 [[삼단논법|3단논법]]이 [[연역]]추론의 대표적인 것이다.
== 귀납(歸納) ==
간접추리의 일종으로, 연역과는 반대로, 특수한 것에서 일반적인 것으로 나아가는 사유 작용이다.
23번째 줄:
밀은 생각하기를, 완전귀납은 이미 알려진 사실의 짤막한 기록을 줄 뿐이며, 우리의 인식에 있어서 의의가 있는 것은 불완전귀납 쪽이지만 이것을 가지고 특수한 것에서 일반적인 것을 추출해내기 위해서는 자연현상의 제일성이라는 원리가 요청되지 않으면 안 된다고 여겼다.
== 추론의 방법 ==
아리스토텔레스이래로 전통적인 [[논리학]]의 근본원리로는 다음의 3가지가 있다.
:1.[[동일률]]
31번째 줄:
한편 라이프니츠는 [[충족이유의 원리]]와 모순율을 논리학의 2대 기본원리로 생각하였다.<ref>[https://opendict.korean.go.kr/search/searchResult?focus_name=query&query=%EC%B6%A9%EC%A1%B1%EC%9D%B4%EC%9C%A0%EC%9D%98%EC%9B%90%EB%A6%AC 우리말샘-충족이유의원리]</ref>
== 현대의 추론규칙 ==
현대에 이르러서는 [[논리학]]의 추론은 [[추론규칙]](推論規則)이라는 [[수리논리학]]적인 [[논리식]]에서 또다른 논리식을 이끌어 내는 규칙의 타당성을 연구하는것뿐만아니라
== 둘러보기 ==
58번째 줄:
* Henk Tijms. ''Understanding Probability''. Cambridge University Press, (2004).
* André Fuhrmann: [https://web.archive.org/web/20031209221248/http://www.uni-konstanz.de/FuF/Philo/Philosophie/Fuhrmann/papers/nomoLog.pdf Nonmonotonic Logic].
* (우리말샘) 추론,추론규칙,논리 등
* [http://www.kocw.net/home/cview.do?cid=e9e1a11119248726 KOCW-집합론]
{{전거 통제}}
{{토막글|철학}}
[[분류:지식의 출처]]▼
[[분류:추론| ]]
[[분류:
[[분류:논리적 귀결]]
| |||