논증이란?

다음은 코난 도일의 소설『바스커빌가의 사냥개』에서 홈즈가 그의 친구 왓슨과 나눈 얘기이다.
`......자네 하루종일 클럽에 있었지? 나는 알 수 있네.`
`오. 여보게 홈즈!`
`내 말이 틀렸나?`
`아니, 맞아, 하지만 어떻게......?`
`자네에겐 어떤 신선한 즐거움 같은 게 있어, 왓슨, 그래서 난 자네를 상대로 내가 가진 약간의 힘을 발휘하는 게 즐겁다네. 비가 질금질금 내리고 길은 온통 진흙탕인 날 어떤 신사가 외출을 했는데 저녘때 돌아오는 걸 보니 모자와 구두는 여전히 깨끗하고 반짝이더라 이말일세. 그러니 그 신사는 온종일 한 곳에 머물렀던 것 아니겠나. 게다가 그에게는 아주 친한 친구도 없었단 말일세. 그렇다면 그가 어디에 있었겠나? 명약관화한 얘기 아닌가?`
논리학이 항상 주목하는 기본적 단위는 참이나 거짓으로 판명될 수 있는 문장 즉 명제이다. 그렇지만 논리학이 주로 다루는 것은 이 명제들의 집합인 논증이다. 어떤 한 명제가 그 명제가 참이라는 것을 보장해 주는 나머지 명제들로부터 도출된다고 여겨질 때 그런 명제들의 집합을 가리켜 논증이라고 한다. 그러나 명제들을 그냥 한데 모아 놓는다…(생략)