공동 불일치한 믿음 집합과 명시적인 모순문 믿음에 이르는 단계를 구분했다.

그림에서 무엇을 볼까요?

생각그림 7 · 공동 불일치한 믿음 집합과 명시적인 모순문 믿음에 이르는 단계를 구분했다.

저자가 Bp₁부터 Bpₙ까지와 B¬(p₁∧…∧pₙ)을 가지고 있다는 사실만으로 곧장 “모순문 하나를 믿는다”고 말할 수는 없다. 우선 그 믿음들의 내용이 함께 참일 수 없는 공동 불일치가 있다. 여기에 연언 원리를 적용하면 저자는 B(p₁∧…∧pₙ)도 얻게 되고, 다시 머리말의 믿음과 묶으면 연언과 그 부정을 함께 믿는 단계까지 간다. 어느 단계에서 멈출지를 구분해야 ‘모순을 믿어도 된다’는 과장과 ‘공동 불일치가 합리적일 수 있다’는 주장을 혼동하지 않는다.