Глава 5
Категоризация


 5.1 Цели и требования категоризации
 5.2 Кванторы и другие операторы
 5.3 Переменные и референциальная непрозрачность
 5.4 Время. Ограничение общих терминов
 5.5 Новый разбор имен
 5.6 Примирительные замечания. Устранение единичных терминов
 5.7 Определение и двойная жизнь