양화사 (Quantifier)
한 줄 정의: 술어논리에서 '모든'이나 '어떤'과 같이, 명제함수의 변항이 지칭하는 대상의 범위를 지정해주는 논리 기호이다.
쉽게 풀면
양화사는 '모든 사람은 죽는다'나 '어떤 학생은 우등생이다'처럼, 문장 속 대상이 '전부'를 말하는지 '일부'를 말하는지를 정확히 표시해주는 논리적 도구이다. 이를 통해 '모든'과 '어떤'이 섞여서 생기는 혼동 없이 정확한 추론이 가능해진다.
논문에서는 이렇게 쓰입니다
"이 논문에서는 프레게가 양화사를 도입함으로써 아리스토텔레스 논리학의 표현력의 한계를 극복한 과정을 다룬다."
고틀로프 프레게가 양화사 개념을 창안해, 전통적인 삼단논법 논리로는 표현할 수 없었던 복잡한 다중 양화 표현(예: 모든 학생은 어떤 과목을 좋아한다)까지 정확히 분석할 수 있게 된 학문사적 전환을 설명한다.
주의할 점
양화사는 크게 전칭양화사와 존재양화사 두 가지가 기본이며, 이 둘은 부정을 통해 서로 정의될 수 있다는(예: '모든 x가 아니다'는 '어떤 x는 ~가 아니다'와 관련됨) 논리적 관계에 있다는 점을 알아두면 유용하다.