논리적 추론 [ logical reasoning ]

인간의 추론 방법 가운데 하나. 논리적 추론은 가장 연구가 진척되어 있는 것 가운데 하나이며, 주로 형식 논리학적인 모델화에 의한 연구와 형식 논리 모델로부터의 일탈에 관한 연구가 있다. 예를 들어, "명제 p가 참이며, 또 'p이면 q이다'가 참이면 q는 참이다"라는 추론 규칙(modus ponens)은 명제 논리학에서 가장 잘 알려진 추론 규칙이며, 이 추론 규칙 자체를 의심하는 사람은 거의 없을 뿐만 아니라 법률을 비롯해 많은 제도에 규칙의 적용 자체가 짜넣어져 있다. 그러나 한편으로 이 추론 규칙을 바르게 쓸 수 있는 사람이 "p가 참이 아니면 q도 참이 아니다"라는 논리적으로 잘못된 추론(前件否定)을 하거나 "q가 참이면 p도 참이다"라는 논리적으로 잘못된 추론(後件肯定)을 하기도 한다.

[네이버 지식백과] 논리적 추론 [logical reasoning] (컴퓨터인터넷IT용어대사전, 2011. 1. 20., 전산용어사전편찬위원회)

연관 키워드 # 인간수준추론및학습