Chapter 14. 술어 논리의 도입 배경 Chapter 14. 술어 논리의 도입 배경 14.1명제 논리의 표현력 한계 14.2일반성 표현의 필요성 14.3개체와 속성의 구분 14.4관계의 표현 문제 14.5전통 삼단논법의 한계 14.6프레게의 기호언어 창안 14.7프레게의 개념 기록법 14.8러셀과 화이트헤드의 프린키피아 마테마티카 14.9힐베르트 학파의 형식주의 14.10술어 논리의 기본 개념 14.11개체상항과 개체변항 14.12술어 기호와 함수 기호 14.13양화 개념의 도입 14.14명제 논리와 술어 논리의 관계 14.15술어 논리의 응용 범위