연역추리는 일반에서 특수한 추리, 즉 일반 지식에서 특수성에 대한 지식을 추론하는 것이다. 연역적 추론의 전형적인 표현은 삼단론 추리이다.

귀납적 추리는 지식에서 개별 사물이나 현상을 추론하는 일반적인 원리의 추리이다.

두 개 또는 두 개의 개체의 일부 동일한 속성에 따라 다른 속성에서도 유사성이 있음을 추론합니다. 법률에 적용되는 것은 유추 추론입니다.

법적 추론에서의 형식 추론은 실제로 논리적 추론입니다. 실제 법적 적용은 고려하지 않는다는 얘기다. 이것은 단지 논리적 추론일 뿐이다

하나 이상의 알려진 판단 (전제 조건) 에서 알 수 없는 결론을 도출하는 사고 과정이다. 그 역할은 알려진 지식에서 알 수 없는 지식, 특히 감각 경험을 통해 습득할 수 없는 미지의 지식을 얻는 것이다.

유추 추리는 일종의 형식 추리이다.