존재양화사 (Existential Quantifier)
쉽게 풀면
존재양화사는 '어떤 x가 존재하여'라는 뜻을 나타내는 논리 기호(∃)이다. '∃x(x는 소수이고 x는 짝수이다)'는 '소수이면서 짝수인 x가 적어도 하나 존재한다'는 뜻으로, 실제로 2가 그 예에 해당하므로 이 명제는 참이다.
왜 중요한가
존재 양화사는 술어논리에서 '어떤 x가 존재하여 F(x)이다'를 나타내는 기호(∃)로, 전칭 양화사(∀)와 함께 자연언어의 양화 표현을 형식화하는 현대 논리학의 기본 도구입니다. 콰인은 '존재한다는 것은 변항의 값이 된다는 것이다'라는 유명한 정식을 통해 이 양화사가 존재론적 개입(ontological commitment)을 규정하는 척도라고 주장했습니다.
논문에서는 이렇게 쓰입니다
존재 명제를 증명하는 가장 직접적인 방법이, 조건을 만족하는 구체적인 예시를 하나 찾아 제시하는 것임을 보여주는 수학적 증명 방식을 설명한다.
수학적 정의를 기호 논리로 정확하게 옮길 때, '어떤 원소가 존재한다'는 조건을 나타내기 위해 존재양화사가 필수적으로 쓰인다는 뜻입니다.
조금 더 깊게 보면
존재 양화사가 실제로 형이상학적 '존재'를 의미하는지, 아니면 단지 논의 영역(domain of discourse) 안에서의 논리적 도구에 불과한지는 콰인 이후 존재론 방법론 논쟁의 핵심 쟁점입니다. 자유논리(free logic)와 같은 대안 체계는 지시 대상이 없는 이름이나 존재하지 않는 대상에 대한 양화를 다루기 위해 표준 술어논리의 존재 양화사 규칙을 수정하기도 합니다. 존재 양화사가 실제로 형이상학적 '존재'를 의미하는지, 아니면 단지 논의 영역(domain of discourse) 안에서의 논리적 도구에 불과한지는 콰인 이후 존재론 방법론 논쟁의 핵심 쟁점이다. 존재양화사가 붙은 명제를 증명하는 방법에는 조건을 만족하는 구체적 대상을 직접 제시하는 구성적 증명과, 그런 대상이 존재하지 않는다고 가정하면 모순이 생김을 보이는 비구성적 증명이 있으며, 직관주의 수학은 후자의 증명 방식을 인정하지 않는다.
주의할 점
존재양화사가 붙은 명제 '어떤 x는 P이다'가 참이려면 논의 영역에 실제로 그런 대상이 적어도 하나는 존재해야 하며, 이는 공허하게 참이 될 수 있는 전칭 명제와 대비된다는 점에 유의해야 한다.
존재양화사가 붙은 명제 '어떤 x는 P이다'가 참이려면 논의 영역에 실제로 그런 대상이 적어도 하나는 존재해야 하며, 이는 공허하게 참이 될 수 있는 전칭 명제와 대비된다는 점에 유의해야 한다.