통합검색

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

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

Second-order and Higher-order Logic

아리스토텔레스의 ‘삼단논법’은 오늘의 형식논리와 같은 것일까?

아리스토텔레스의 술로기스모스는 좁은 형식 이름이 아니라 전제로부터 필연적으로 다른 결론이 나오는 연역 전체를 가리켰습니다.

Aristotle’s Logic

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

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