55
Более полно эти вопросы обсуждаются в любом вводном курсе логики; см., например: Tarsky (1943), Kripke (1972).
56
Потому что такая она и есть.
57
Система «Глубинная»
Словарь: S (предложение), NP (именное словосочетание), VP (глагольное словосочетание), N (имя: существительное, местоимение), \/(глагол), Det (определение), РР (предложное словосочетание), Prep (предлог).
Аксиома: S. Правила вывода: (a)S^NP VP
N
(в) VP -> V (NP)
(г) РР -» Prep NP
где символы внутри круглых скобок могут быть опущены, а символы внутри фигурных скобок означают альтернативный выбор, то есть можно выбрать либо одну строку символов, либо другую, но не обе вместе.
