Настоящее исследование посвящено синтаксической структуре как в широком смысле (т. е. синтаксису в противоположность семантике), так и в узком (т. е. синтаксису в противоположность фонологии и морфологии). Оно является частью попытки построить формализованную общую теорию лингвистической структуры и исследовать основания такой теории. Поиски строгих формулировок в лингвистике вызываются гораздо более серьезными мотивами, чем просто желанием соблюсти логические тонкости или упорядочить традиционные методы лингвистического анализа. Точно построенные модели лингвистической структуры могут играть важную роль (как отрицательную, так и положительную) в самом процессе исследования. Выводя неприемлемые следствия из точных, но неадекватных формулировок, мы часто можем с большой точностью установить причину этой неадекватности и, таким образом, получить более глубокое представление о лингвистических данных.