논리학 기초

사물뿐 아니라 ‘성질’에도 ‘모든’을 적용할 수 있을까?

2차 논리는 개체뿐 아니라 성질과 관계를 양화해 자연수 구조를 더 강하게 기술하지만, 그 표현력에는 의미론적 대가가 따릅니다.

그림에서 무엇을 볼까요?

개별 학생을 도는 1차 양화와 성질 집합을 도는 2차 양화가 귀납 주장 검토점에서 합류한다.

LTCT 예시에서 x는 개별 학생을, X는 학생들에게 성립할 수 있는 성질을 나타냅니다. “모든 학생 x”와 “모든 성질 X”는 같은 ‘모든’처럼 보여도 훑는 대상의 층이 다릅니다.

그림은 개체 영역에서 성질 영역으로 올라가는 양화를 보여 줍니다. 화살표의 합류점은 두 종류의 양화가 하나의 귀납 주장 안에서 만나는 지점이며, 원문의 수식을 그대로 옮긴 도표가 아닙니다.

2차 논리의 표준·헨킨 의미론을 섞으면 범주성·완전성에 대한 결론이 뒤바뀔 수 있습니다.

백과 해설은 새로운 교육 효과 실험이 아니며, 간단한 자연수 예시가 고차 논리 전체를 대신하지 않습니다.

“모든 학생은 어떤 성질을 가진다”와 “어떤 성질을 모든 학생이 가진다”는 같을까요?