타당한 논변의 정의 중에 지꾸 ‘귀결’이라는 단어가 나오는데 이게 정확히 무슨 뜻인지 잘 모르겠습니다
그리고 전제들로부터 결론이 ‘따라나온다’라는 표현도 정확히 무슨 뜻일지 궁금합니다
대충 무슨 의미인지 감은 잡히는데 정확한 감 찾기가 어렵네요
말 그래도 결론이 전제들로부터 논리적으로 전개되어 ‘따라나온다’고 이해하면 될까요?
그리고 전제들로부터 결론이 ‘따라나온다’라는 표현도 정확히 무슨 뜻일지 궁금합니다
대충 무슨 의미인지 감은 잡히는데 정확한 감 찾기가 어렵네요
말 그래도 결론이 전제들로부터 논리적으로 전개되어 ‘따라나온다’고 이해하면 될까요?
문장집합 Γ랑 문장 Φ가 있을 때, Γ의 모든 문장이 참이면서 Φ가 거짓인 해석이 존재하지 않을 경우에만 Φ는 Γ의 귀결이라 합니다
"따라나온다"는 사실상 무정의 용어입니다. 정확하게 커버치는 게 원래 불가능해요. "귀결"은 가정과 결론 사이의 관계입니다.
귀결은 의미론적 개념이고 도출은 구문론적 개념임여 둘 다 추론의 결론을 지시하는 말이고여 따라나온다는건 올바른 추론을 했을때 결론이 추론과정의 문장들의 다음 순서로 따라서 나온다는 뜻 같으요