Основные и производные категории

Категориальные грамматики имеют своим источником труды польского логика Айдукевича (последователя Лесневского); затем они были разработаны Бар-Хиллелом, Ламбеком и другими современными логиками и лингвистами. (Выбор термина «категориальный» в этой связи объясняется частными деталями исторического развития логики и философии, в которые мы здесь не будем вдаваться.)

Категориальная система имеет две основные грамматические категории — предложение и существительное; мы будем изображать их как Σ и n соответственно. Всем лексическим единицам, отличным от существительных, придается производная категориальная классификация в лексиконе в соответствии с их способностью сочетаться друг с другом или с одной из основных категорий в структуре составляющих предложения. Производные категории являются сложными в том смысле, что они указывают одновременно: (i) с какой другой категорией может сочетаться рассматриваемый элемент для образования составляющей предложения и (И) категориальную классификацию составляющей, получающейся в результате этой операции, например: элемент типа run 'бежать' или exist 'существовать' («непереходный глагол») может сочетаться с существительным (в качестве «подлежащего»), образуя предложение, например: John ran 'Джон бежал' (мы продолжаем пренебрегать вопросом глагольного времени и особенностями «согласования»).