1. 한 명제를 출발점, 혹은 기본적인 전제로 하여, 어떤 다른 명제를 도착점, 혹은 결론으로 획득하는 과정
2. 전제와 결론을 연결짓는 과정에서 나타나는 일련(一連)의 명제군(命題群)이 규칙에 따라 연결되어 있는 것을 논증(論證, argument)이라고 하며, 이러한 논증을 전개하는 것을 논리적 추리라고 한다.
3. 좁은 의미의 추리는 이 논리적 추리를 가리키지만, 논리적 추리 이외에 통계적(統計的) 추리․유추적(類推的) 추리․인과적(因果的) 추리 등이 있다.
4. 논리적 추리에는 개별적인 특징명제들을 일반화(一般化)하는 귀납적(歸納的) 추리와, 일반화의 명제에서 특징명제를 결론으로 도출하는 연역적(演繹的) 추리가 있다.
5. 통계적 추리는 일반적으로 귀납적 추리의 일종으로 본다.
6. 「연역적 추리」는 논리적 형식에 따라 전제에서 결론을 도출하는 논증의 과정을 통칭하는 것으로도 사용되며, 좁은 의미의 논리적 추리는 이러한 의미의 연역적 추리와 같은 말로 이해되고 있다. ⇨ 논증, 연역법, 귀납법