정의와 존재는 별개의 문제다의 논리 구조를 단계별로 정리했다.

그림에서 무엇을 볼까요?

생각그림 8 · 정의와 존재는 별개의 문제다의 논리 구조를 단계별로 정리했다.

말로 조건을 적었다고 해서 그 조건을 만족하는 대상이 자동으로 생기지는 않는다. “모든 자연수보다 큰 가장 큰 자연수”라는 표현을 만들 수 있어도 그런 자연수는 없다. 이발사도 마찬가지다. 정의문은 후보가 충족해야 할 기준을 제시할 뿐, 후보의 존재를 보증하지 않는다. 존재하려면 조건들이 서로 양립하고 실제로 충족될 수 있어야 한다.