Скачать 18.87 Кбайт
О синтаксической связности
Более значимые трудности
возникают тогда, когда язык, например, немецкий, допускает
разделимые слова. Тогда нельзя привести критерий для одного слова
сугубо структурным образом.
5. Если сложное выражение является насквозь правильно
составленным, то действительно, необходимое условие выполняется,
однако оно еще не достаточно, чтобы это выражение обладало
единообразным значением. Это условие должно быть дополнено
другими. Чтобы насквозь правильно составленное выражение имело
значение, оно должно содержать взаимно соответствующие члены
одной и той же ступени, относящиеся к себе как функторы и
аргументы. Иначе, каждому члену n-ой ступени, который выступает
как главный функтор всего выражения, или же как главный функтор
члена (n-1)-ой ступени, и который является функтором, требующим в
своей категории значения столько-то и столько-то аргументов,
принадлежащих к определенным категориям значения с тем, чтобы
вместе с ними образовывать осмысленное выражение, такому члену
должно быть сопоставлено в качестве его аргументов ровно столько
же членов n-ой ступени, принадлежащих к соответствующим
категориям значения. Таким образом, например, члену,
принадлежащему к категории значения, обозначенной индексом
s
---
ns
(если он является главным функтором) должны, во-первых,
соответствовать два аргумента, и во-вторых, первый аргумент
должен принадлежать к категории имен, а второй - к категории
предложений. Насквозь правильно составленное выражение, которое
удовлетворяет обоим выше приведенным условиям, назовем выражением
синтаксически связанным.
Эти условия можно еще иначе и более прецизиозно
сформулировать при помощи нашей символики индексов. С этой целью
мы должны ввести понятие показателя выражения, которое и объясним
сначала на примере. Возьмем, например, выражение
p \/ p. --->. p
и присоединим к отдельным простым выражениям их индексы.
Получим:
p \/ p. --->. p ..........................(A)
s s
s----s ---- s.
ss ss
Сейчас члены этого выражения упорядочим согласно следующему
принципу. Сначала напишем главный функтор всего выражения, затем
последовательно первый, потом второй (возможно третий, четвертый и
т.д.) аргумент. Тогда получим:
---->, p\/p, p ............................(B)
s s
----- s---s s .
ss ss
Если какой-то входящий в эту последовательность член все еще
остается составным выражением главного функтора и его аргументов,
то этот член мы розкладываем на члены ближайшего высшего ряда и
упорядочиваем их по тому же принципу, записывая сначала его
главный функтор, затем первый, второй и т.д. аргументы этого
функтора.
Для нашего примера мы получим:
---->, \/, p, p, p ..........................(C)
s s
---- ---- s s s .
ss ss
Если бы в этой последовательности нашелся еще один составленный
из нескольких выражений член, то мы разложили бы его по тому же
принципу и продолжали бы так поступать до тех пор, покаместь не
получили бы в этой последовательности такие части, которые были
бы только простыми выражениями. Последовательность простых
выражений, входящих в состав данного составного выражения,
упорядоченного выше описанным способом, мы называем ХАРАКТЕРНОЙ
[eigentliche] ПОСЛЕДОВАТЕЛЬНОСТЬЮ выражений , входящих в состав
этого выражения. Для нашего примера характерная
последовательность выражений оказалась достигнутой уже на втором
шаге, т.е. (С) является характерной последовательностью выражений
для выражения (А). Если сейчас от выражений, упорядоченных
свойственной выражению (А) последовательностью, мы оторвем их
индексы и выпишем их в той же очередности, то получим т.н.
ХАРАКТЕРНУЮ ПОСЛЕДОВАТЕЛЬНОСТЬ ИНДЕКСОВ для выражения (А).
Итак, характерная последовательность индексов выражения
(А) имеет следующий вид:
s s
----- ----s s s . .........................(1)
ss ss
Сейчас, идя слева направо, посмотрим, найдем ли мы в этой
последовательности индексов такое сомкнутое сочетание индексов,
которое на первом месте имеет индекс в виде дроби, после которого
непосредственно следуют такие индексы, которые входят в
знаменатель этого дробного индекса. Если мы найдем одно или
несколько таких сочетаний, то вычеркиваем первое из них (идя
слева направо) в последовательности индексов и заменяем
числителем дробного индекса.
возникают тогда, когда язык, например, немецкий, допускает
разделимые слова. Тогда нельзя привести критерий для одного слова
сугубо структурным образом.
5. Если сложное выражение является насквозь правильно
составленным, то действительно, необходимое условие выполняется,
однако оно еще не достаточно, чтобы это выражение обладало
единообразным значением. Это условие должно быть дополнено
другими. Чтобы насквозь правильно составленное выражение имело
значение, оно должно содержать взаимно соответствующие члены
одной и той же ступени, относящиеся к себе как функторы и
аргументы. Иначе, каждому члену n-ой ступени, который выступает
как главный функтор всего выражения, или же как главный функтор
члена (n-1)-ой ступени, и который является функтором, требующим в
своей категории значения столько-то и столько-то аргументов,
принадлежащих к определенным категориям значения с тем, чтобы
вместе с ними образовывать осмысленное выражение, такому члену
должно быть сопоставлено в качестве его аргументов ровно столько
же членов n-ой ступени, принадлежащих к соответствующим
категориям значения. Таким образом, например, члену,
принадлежащему к категории значения, обозначенной индексом
s
---
ns
(если он является главным функтором) должны, во-первых,
соответствовать два аргумента, и во-вторых, первый аргумент
должен принадлежать к категории имен, а второй - к категории
предложений. Насквозь правильно составленное выражение, которое
удовлетворяет обоим выше приведенным условиям, назовем выражением
синтаксически связанным.
Эти условия можно еще иначе и более прецизиозно
сформулировать при помощи нашей символики индексов. С этой целью
мы должны ввести понятие показателя выражения, которое и объясним
сначала на примере. Возьмем, например, выражение
p \/ p. --->. p
и присоединим к отдельным простым выражениям их индексы.
Получим:
p \/ p. --->. p ..........................(A)
s s
s----s ---- s.
ss ss
Сейчас члены этого выражения упорядочим согласно следующему
принципу. Сначала напишем главный функтор всего выражения, затем
последовательно первый, потом второй (возможно третий, четвертый и
т.д.) аргумент. Тогда получим:
---->, p\/p, p ............................(B)
s s
----- s---s s .
ss ss
Если какой-то входящий в эту последовательность член все еще
остается составным выражением главного функтора и его аргументов,
то этот член мы розкладываем на члены ближайшего высшего ряда и
упорядочиваем их по тому же принципу, записывая сначала его
главный функтор, затем первый, второй и т.д. аргументы этого
функтора.
Для нашего примера мы получим:
---->, \/, p, p, p ..........................(C)
s s
---- ---- s s s .
ss ss
Если бы в этой последовательности нашелся еще один составленный
из нескольких выражений член, то мы разложили бы его по тому же
принципу и продолжали бы так поступать до тех пор, покаместь не
получили бы в этой последовательности такие части, которые были
бы только простыми выражениями. Последовательность простых
выражений, входящих в состав данного составного выражения,
упорядоченного выше описанным способом, мы называем ХАРАКТЕРНОЙ
[eigentliche] ПОСЛЕДОВАТЕЛЬНОСТЬЮ выражений , входящих в состав
этого выражения. Для нашего примера характерная
последовательность выражений оказалась достигнутой уже на втором
шаге, т.е. (С) является характерной последовательностью выражений
для выражения (А). Если сейчас от выражений, упорядоченных
свойственной выражению (А) последовательностью, мы оторвем их
индексы и выпишем их в той же очередности, то получим т.н.
ХАРАКТЕРНУЮ ПОСЛЕДОВАТЕЛЬНОСТЬ ИНДЕКСОВ для выражения (А).
Итак, характерная последовательность индексов выражения
(А) имеет следующий вид:
s s
----- ----s s s . .........................(1)
ss ss
Сейчас, идя слева направо, посмотрим, найдем ли мы в этой
последовательности индексов такое сомкнутое сочетание индексов,
которое на первом месте имеет индекс в виде дроби, после которого
непосредственно следуют такие индексы, которые входят в
знаменатель этого дробного индекса. Если мы найдем одно или
несколько таких сочетаний, то вычеркиваем первое из них (идя
слева направо) в последовательности индексов и заменяем
числителем дробного индекса.
|
|