어떤 명제가 참이라는 것은 무슨 뜻인가? 이 질문에 대한 답변 중 하나가 정합설이다. 정합설에 따르면, 어떤 명제가 참인 것은 그 명제가 다른 명제와 정합적이기 때문이다. 그러면 ‘정합적이다’는 무슨 의미인가? 정합적이라는 것은 명제들 간의 특별한 관계인데, 이 특별한 관계가 무엇인지에 대해 전통적으로는 ‘모순 없음’과 ‘함축’, 그리고 최근에는 ‘설명적 연관’ 등으로 정의해 왔다. 먼저 ‘정합적이다’를 모순 없음으로 정의하는 경우, 추가되는 명제가 이미 참이라고 ㉠ 인정한 명제와 모순이 없으면 정합적이고, 모순이 있으면 정합적이지 않다. 여기서 모순이란 “은주는 민수의 누나이다.”와 “은주는 민수의 누나가 아니다.”처럼 ㉮ 동시에 참이 될 수도 없고 또 동시에 거짓이 될 수도 없는 명제들 간의 관계를 ..