전수 증명이랑 매거적 귀납법이랑 같은거임?

[익명(223.38)]

증명해야 할 경우의 수가 유한해서 그것들을 하나하나 모두 검사하는 종류의 증명을 전수증명(exhaustive proof) 라 하는데
이는 한국에서 쓰이는 용어인 매거적 귀납법이랑 동치인 개념인가요
알려주셈

[익명(218.146)]

전혀 다릅니다. 매거적 귀납법은 말 그대로 귀납법이고, 전수 증명은 말 그대로 전체를 조사하는 거죠. 전체를 조사하는 건 귀납법의 예가 아닙니다. 누가 "철수가 남자이다"를 검증하기 위해 철수 한 명이 남자인지를 조사한다면, 이건 전수 증명의 예이겠지만 귀납법의 예가 될 수는 없겠죠.

[익명(122.38)]

ㄴㄴ 매거적 귀납법은 다른 귀납법과 다르게 전체를 조사하는 특징이잇음 매거적 귀납법의 예가 됨

[익명(218.146)]

누가 그런 소리를 해요? 매거에 의한 귀납은 그냥 사례를 열거함을 통해 일반화하는 논증의 방식인데? "지금까지 발견된 백조는 전부 희었다. 따라서 백조는 모두 희다."가 매거적 귀납의 사례인데요.

[익명(211.247)]

??? 아리스토텔레스도 존재하는 모든 사례를 확인한다는 점에서 사이비 귀납법 취급했단건 유명한 이야긴데요?

[익명(211.247)]

좀더 찾아보니까 매거적 귀납법 에는 단순 매거적 귀납법와 완전 매거적 귀납법이 있네요 구분을 위해 나누기도하고 둘중하나를 매거적 귀납법이라고 줄여 부르기도 하나봐요

[익명(211.247)]

이름 이야기는 책에서 완전 매거적 귀납을 매거적 귀납으로두고 설명한걸 착각 했나봐요 죄송합니다

[익명(218.146)]

네, 매거적 귀납(enumerative induction)은 그냥 사례 열거를 통해 일반화된 명제를 이끌어내는 귀납 추론 일반을 말하고, 전수를 조사하는 경우 '완전 매거적 귀납'이라고 별도로 부릅니다.

[익명(122.38)]

ㅇㅇ 같은거

[익명(211.247)]

완전매거적 귀납법 이야기하는거면