술어논리 (Predicate Logic)
한 줄 정의: 명제를 대상을 가리키는 항과 그 대상에 대해 서술하는 술어로 분석하고, 전칭·존재 양화사를 이용해 '모든'이나 '어떤' 같은 표현을 포함한 추론까지 다루는 형식논리 체계이다.
쉽게 풀면
술어논리는 명제논리보다 더 세밀하게, 문장 안의 구조까지 파고든다. '모든 사람은 죽는다'와 '소크라테스는 사람이다'로부터 '소크라테스는 죽는다'를 이끌어내는 삼단논법처럼, '모든'이나 '어떤' 같은 표현이 중요한 역할을 하는 추론을 정확히 분석하려면 술어논리가 필요하다.
논문에서는 이렇게 쓰입니다
"이 삼단논법의 타당성은 명제논리로는 포착되지 않으며 1차 술어논리의 양화사 규칙을 통해서만 정확히 형식화될 수 있다."
'모든 사람은 죽는다'와 같은 문장 내부의 양화 구조가 중요한 삼단논법 추론이, 명제 전체를 하나의 단위로 취급하는 명제논리로는 제대로 분석되지 않고 술어논리가 필요하다는 점을 설명한다.
주의할 점
술어논리는 흔히 1차 술어논리를 가리키며, 속성 자체에 대해서도 양화하는 더 강력한 고차 논리와는 구별된다는 점에 유의해야 한다.