추론 규칙 inference rule
- 기존의 논리식으로부터 새로운 논리식을 생성하는 과정
연역법 deduction
- 전제와의 논리적 관계만으로 필연적으로 결론이 도출되는 추론을 연역 추론이라 함.
-> 연역추론시 전제는 진으로 인정하나 결론을 부정시 모순에 빠짐
=> 전제가 진이면 결론도 반드시 진이며, 결론의 모든 내용이 이미 전제속에 포함됨
연역법 예시
- A이면 B이다
- B이면 C이다
- 그러므로 A이면 C이다
* 귀납 추론이 경험을 필요로하는것과 달리 연역추론은 엄밀한 논리적 규칙만 의존함
귀납법 induction
- 귀납법 induction = 귀납 추론 inductive reasoning = 귀납 논리 inductive logic
- 전제 premise가 주어질때 그 결론 conclusion이 사실일것 같으나 사실이 아닐수도 있는 확실하지 않는 추론 과정
- 특별한 특징의 제한적 관찰을 통해 유형의 공통된 성질/관계를 이끌어내거나, 반복되는 현상 패턴의 제한적 관찰을 통해 법칙을 형식화 하는 것
귀납법의 예시
- 특별 specific 명제에서 일반 general 명제를 추론해 냄
- 이 백조는 흰색. 저 백조도 흰색 -> 모든 백조는 흰색
- 당구볼은 큐로 치면 움직임. 지나가던 행인을 치면 나도 맞음 -> 모든 행도에 동등한 반작용이 존재
귀납법의 범위
- 언표 : 사고를 언어로 표현한 것
- 명제 : 언표가 진리값을 갖는것
- 추론 : 사고의 연결은 명제의 연결로 이 명제의 연결을 추론이라 하며 연역 추론과 귀납 추론이 존재
- 연역 추론 : 논리적 필연성을 보증
- 귀납 추론 : 개연성을 보여주며 확률론으로 수렴
- 과거로 부터 미래를 추론하는것이라고 볼수 있으나 넓은 의미에서 관찰된것을 기반으로하여 관찰되지 않은것에 대한 결론에 이르는것 까지 포함.
- 귀납 추론에서 결론은 전제의 범위를 벗어나는것이며 진위를 확인하기 위해서 경험적인 관찰이 필요.