항목
-
-
Syllogism 삼단논법, 三段論法A syllogism ( syllogismos, "conclusion, inference") is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two or more propositions that are asserted or assumed to be true.In its earliest form, defined by Aristotle, from the combination of a general stat...출처 영어 위키백과
-
-
삼단논법을 분석하는 방식을 발명한 사람은?1880년, 영국의 논리학자인 존 벤(John Venn, 1834~1923)은 삼단논법을 분석하기 위해 오늘날 벤다이어그램으로 알려진 방법을 사용하였다. 처음에 벤은 동시대 사람들, 특히 영국의 수학자 조지 불(1815~1864)과 아우구스투스 드모르간(1806~1871)이 자신들의 연구에서 그런 다이어그램을 사용하는 것에 대해 비판적...
-
아리스토텔레스의 삼단논법이란?아리스토텔레스가 이론적 기초를 세운 삼단논법은 논리학에서 최초의 형식적인 연역 규칙의 언어 형식이다. 아리스토텔레스는 이들 표준 형식에 따라 어떤 논리적인 논증도 설명될 수 있다고 믿었다. 그는 2개의 전제, 즉 대전제(“모든 다람쥐는 견과류를 먹는다”)와 소전제(“프레드는 다람쥐다”)의 논리 규칙에...
-
아리스토텔레스의 원전뒷받침하는 논증) 등이 있다. 〈분석론 전서〉의 가장 큰 업적은 오늘날 아리스토텔레스의 삼단논법론이라고 알려진 논리학 체계를 발달시킨 점이다. 삼단논법이란 세 명제(두 전제와 한 결론)로 구성된 논증형식이며, 타당한 삼단논법의 예는 다음과 같다. '모든 그리스인은 사람이다·모든 사람은 죽는다·모든...
-
-
연역과 귀납이란 무엇이며, 수학에서는 어떻게 사용될까?논리학에서 연역(deduction)은 전제와 삼단논법에서 새로운 명제를 결론으로 이끌어내는 것을 말한다. 이 경우 연역은 전제가 참일 때 결론이 참이 되는 추리 또는 추론의 한 형식으로 일반적인 원리, 특히 도출된 여러 가지 사실과 관계들을 바탕으로 한다. 연역적 논리는 공리계에서 참인 명제(정리)를 증명하는 과정...
