양화사 (Quantifier)
쉽게 풀면
양화사는 '모든 사람은 죽는다'나 '어떤 학생은 우등생이다'처럼, 문장 속 대상이 '전부'를 말하는지 '일부'를 말하는지를 정확히 표시해주는 논리적 도구이다. 이를 통해 '모든'과 '어떤'이 섞여서 생기는 혼동 없이 정확한 추론이 가능해진다.
왜 중요한가
'모든'이나 '어떤'처럼 논의영역 내 대상의 범위를 명시하는 양화사로, 술어논리에서 전칭양화사와 존재양화사를 통해 명제의 논리적 구조를 정밀하게 표현하는 핵심 형식장치다.
논문에서는 이렇게 쓰입니다
고틀로프 프레게가 양화사 개념을 창안해, 전통적인 삼단논법 논리로는 표현할 수 없었던 복잡한 다중 양화 표현(예: 모든 학생은 어떤 과목을 좋아한다)까지 정확히 분석할 수 있게 된 학문사적 전환을 설명한다.
이 문장은 두 종류의 한정기호가 서로 다른 방식으로 변항의 적용 범위를 규정함을 설명한다.
조금 더 깊게 보면
양화사의 논의영역(domain)을 명시하지 않으면 동일한 문장도 서로 다른 진리치를 가질 수 있어, 양화의 범위를 명확히 하는 것이 논증 분석에서 중요한 절차가 된다. 자연언어의 '대부분', '많은', '거의 모든' 같은 표현은 표준적인 전칭·존재 양화사 두 가지만으로는 정확히 형식화되지 않아, 일반화된 양화사 이론이 이런 표현들을 다루기 위해 별도로 발전했다. 이 이론은 양화사를 논의 영역의 부분집합들 사이의 관계로 재해석함으로써, '대부분의 학생은 시험에 통과했다'처럼 정확한 비율을 요구하는 표현까지 형식적으로 다룰 수 있게 확장한다.
주의할 점
양화사는 크게 전칭양화사와 존재양화사 두 가지가 기본이며, 이 둘은 부정을 통해 서로 정의될 수 있다는(예: '모든 x가 아니다'는 '어떤 x는 ~가 아니다'와 관련됨) 논리적 관계에 있다는 점을 알아두면 유용하다.
양화사는 크게 전칭양화사와 존재양화사 두 가지가 기본이며, 이 둘은 부정을 통해 서로 정의될 수 있다는(예: '모든 x가 아니다'는 '어떤 x는 ~가 아니다'와 관련됨) 논리적 관계에 있다는 점을 알아두면 유용하고, 양화사의 논의영역을 명시하지 않으면 동일한 문장도 서로 다른 진리치를 가질 수 있다는 점도 함께 유의해야 한다.