Логическая форма (лингвистика)

В порождающей грамматике и родственных подходах логическая форма ( ЛФ ) языкового выражения — это вариант его синтаксической структуры, подвергающийся семантической интерпретации . Его отличают от фонетической формы , структура которой соответствует произношению предложения. Эти отдельные представления постулируются для того, чтобы объяснить способы, которыми значение выражения может быть частично независимым от его произношения, например, двусмысленность области действия .

LF — краеугольный камень классического генеративного представления синтаксически -семантического интерфейса . Однако он не используется в лексико-функциональной грамматике и грамматике головной фразовой структуры , а также в некоторых современных вариантах генеративного подхода.

Синтаксис, взаимодействующий с семантикой [ править ]

Понятие логической формы изначально было изобретено с целью определения объема кванторов . По мере развития теории минималистской программы все выходные условия, такие как тета-критерий, фильтр случая, теория подчиненности и теории привязки , исследуются на уровне LF. Изучение LF является более широким, чем изучение синтаксиса . ^[1]

Понятие объема [ править ]

Область действия оператора — это область, в которой он может влиять на интерпретацию других выражений. Другими словами, оператор имеет сферу деятельности или влияет на интерпретацию других фраз только в пределах своей области. Три бесспорных примера сферы действия, влияющих на тот или иной аспект интерпретации: квантор-квантор, квантор- местоимение , квантор- отрицательная полярность .

В тех случаях, когда в объеме отрицания имеется неопределенный артикль, это влияет на интерпретацию читателя. Читатель не может сделать вывод о существовании соответствующей сущности. Если отрицание (или отрицательная фраза) находится в пределах области действия квантора субъекта, отрицание . квантор не влияет на ^[2]Если количественное выражение1 (QE1) находится в области QE2, а не наоборот, QE1 должно иметь узкую область применения; если оба находятся в области другого, структура потенциально неоднозначна. Если ни одно КС не находится в сфере другого, их следует интерпретировать независимо. ^[3]Эти предположения объясняют случаи, когда прямой объект главного предложения не находится в области встроенного подлежащего. Например, то, что каждый ушедший мальчик расстроил учителя , это нельзя интерпретировать, поскольку для каждого мальчика, возможно, есть другой учитель, который был расстроен тем фактом, что мальчик ушел . Единственная доступная интерпретация состоит в том, что один-единственный учитель был расстроен . ^[2]

двусмысленности Мотивация

В синтаксисе LF существует для структурного объяснения определенных видов семантической неоднозначности.

Пример [ править ]

Каждый любит кого-то.

Это предложение семантически неоднозначно. В частности, он содержит неоднозначность области действия . Эту неоднозначность нельзя разрешить на поверхностной структуре, поскольку кто-то , находясь внутри глагольной фразы , должен находиться в структуре ниже всех . Этот случай иллюстрирует тот общий факт, что естественный язык недостаточно конкретизирован для обеспечения строгого логического значения. Роберт Мэй приводил доводы в пользу постулирования LF отчасти для того, чтобы объяснить такую двусмысленность (среди других мотивов). В LF приведенное выше предложение будет иметь два возможных структурных представления, по одному для каждого возможного прочтения области действия, чтобы учесть двусмысленность посредством структурной дифференциации. , но не тождественна ей В этом смысле по назначению она схожа с логической формой в логике . ^[4]

Количественная оценка [ править ]

исторические события Ключевые

Дискуссии о количественной оценке ведутся с 1970-х годов. В 1973 году Ричард Монтегю утверждал, что грамматика небольшого фрагмента английского языка содержит логико-синтаксические и семантические приемы, позволяющие справиться практически с любым явлением. ^[5]Инструмент, на который он в основном полагался, представляет собой категориальную грамматику с функциональным применением; с точки зрения недавних формулировок его можно считать минималистским синтаксисом с слиянием только . Однако этот подход не позволяет делать прогнозы для некоторых примеров с обратной областью действия (широкая область действия в позиции объекта ).

Например, каждый кого-то любит .

Когда в соответствующей части предложения нет взаимодействия по объему, любой выбор не показывает разницы в семантике.

Спустя некоторое время Мэй предложила другую идею. ^{[ нужна цитата ]}В отличие от Монтегю, Мэй не предложил никакого синтаксиса, генерирующего поверхностную строку. Он предложил правило под названием Quantifier Raising (QR), которое объясняет, что операции движения WH-движения продолжают действовать на уровне LF, и каждая фраза продолжает обладать квантором в своей области. Мэй предположил, что QR применим ко всем без исключения кванторным фразам.

Исследование количественной оценки продолжалось в 1980-х годах. В отличие от Мэя и Монтегю, было высказано предположение, что независимо мотивированная структура фразы, такая как придаточное предложение, накладывает ограничение на варианты объема. ^[6]

Ограниченность этого предложения несколько ограничивает QR. Мэй также заметил субъектно-объектную асимметрию в отношении взаимодействия WH-слов и кванторных фраз. ^[7]Была поднята модифицированная версия его прошлой работы, в которой QR определяет область действия квантора, но не устраняет неоднозначность. Чтобы регулировать взаимодействие, также был введен принцип области действия, согласно которому, если два оператора управляют друг другом, их можно интерпретировать в любом порядке области видимости. Однако в конечном итоге от этого решения отказались.

Когда минимализм , все больше исследований было связано с минималистским синтаксисом. в 1990-х годах появился ^[8] Стратегия исправления ситуации состоит в том, чтобы устранить QR, и ожидаемый объем будет побочным продуктом совершенно независимых грамматических процессов. ^[9] Другая стратегия — изменить QR и показать, что его можно вписать в минималистскую структуру. ^{[ нужна цитата ]}

Количественные именные группы [ править ]

Дэнни Фокс обсуждает синтаксические позиции QNP как способ представления и иллюстрации основных семантических и синтаксических отношений, обнаруженных в LF. ^[10] Рассматривая значение QNP в отношении свойства, которое им дано, или их предиката, мы можем получить значение всего предложения.

а. Девушка высокая. б. Многие девушки высокие. в. Каждая девушка высокая. д. Ни одна девушка не высокая. ^[10]

Чтобы понять логическую форму этих примеров, важно определить, что является основным предикатом и какие сегменты составляют QNP. В этих примерах сказуемое — высокий, а QNP — девушка, много девушек, каждая девушка и ни одной девушки. Логический смысл этих предложений указывает на то, что свойство высокого роста приписывается некоторой форме QNP, относящейся к девушке. Наряду с QNP и предикатом существует также вывод истинностного значения. Либо значение истинности равно True для человека высокого роста, либо значение истинности равно False. ^[10]

Каждый из приведенных выше примеров будет иметь разные условия, которые делают утверждение истинным в соответствии с квантором, предшествующим девочке. ^[10]

Условия истинности: Пример а. Девушка имеет истинностное значение true тогда и только тогда, когда ( if ) хотя бы одна девушка высокая. Этот квантификатор удовлетворяется одним примером высокой девушки. Пример б. «Многие девушки» Значение истинности равно «истина» , если есть много высоких девушек. Этот квантификатор удовлетворяется более чем одним случаем, когда девушка высокая. Пример в. Каждая девушка имеет истинностное значение «истина», если только каждая девушка высокая. Этот квантификатор требует от всех девушек, чтобы каждый раз, когда человек был женщиной, она была высокого роста. Пример д. Ни одна девушка не имеет истинностного значения , если только ни одна девушка не высокая. Этот квантификатор требует от всех девушек, чтобы во всех случаях, когда человек был женщиной, она не должна быть высокой. ^[10]

В синтаксическом дереве структура представлена так: « аргумент QNP всегда является сестрой QNP». ^[10]

Wh-движение [ править ]

В лингвистике WH-фразы представляют собой операторы, связывающие переменные в LF, как и другие кванторные именные фразы. Интерпретации области действия могут быть ограничены синтаксическими ограничениями, как показано в LF, когда речь идет об области действия WH-фраз и кванторов. Когда бе-движение происходит из позиции субъекта, оно однозначно, а когда бе-движение происходит из позиции объекта, оно неоднозначно. ^[7]

Примеры [ править ]

1) Что все купили для Макса? [ S’что 3 ₂ [S всех _[ S е ₃ купили е ₂ на макс] (Две возможные интерпретации: что все сделали Покупайте коллективно , а не по отдельности ) 2) Кто купил всё для Макса? [S’кто 3 [ _[ S всё ₂ S е ₃ купил е ₂ на макс] (Только одна возможная интерпретация.)

Этот пример демонстрирует эффект условия ограничения пути (PCC). A ′ -путь — это линия доминирующих узлов, идущая от трассы к c-командующему A ′ -связывающему устройству. Если два пути A ′ пересекаются, то один должен содержаться в другом. Если пути перекрываются, но один не содержится в другом, то это неправильно. Пути (2) перекрываются, нарушая PCC, поэтому для получения грамматической структуры LF необходимо все соединить с ВП. Тогда структура LF будет выглядеть так:

ПРЕДСТАВИТЕЛЬСТВО ЛФ: [ с′кто 3 ₃ [се _[ вп всё ₂ [вп купил е ₂ по макс]

Межъязыковые примеры [ править ]

венгерский [ править ]

Пять пять врач врач все каждый пациенту пациент- DAT немного немного новый новый планшет таблетка- АСС написал написал вверх. вверх Öt orvos minden betegnek kevés új tablettát írt fel. five doctor every patient-DAT few new pill-ACC wrote up «Есть пять врачей x, которые на каждого пациента y, x прописали y несколько новых таблеток».

Пять пять врач врач немного немного пациенту пациент- DAT все каждый новый новый планшет таблетка- АСС написал написал вверх. вверх Öt orvos kevés betegnek minden új tablettát írt fel. five doctor few patient-DAT every new pill-ACC wrote up «Есть пять врачей x, которые какому-то пациенту y,x прописали y новую таблетку».

В предложении «Пять врачей прописали каждому пациенту несколько новых таблеток». , объем в венгерском языке во многом устраняется линейным порядком кванторов на поверхности. Следует иметь в виду два факта: (1) линейный порядок не получается путем объединения кванторов в желаемом порядке, что противоречит предсказаниям, сделанным Монтегю или теорией Мэя; (2) линейный порядок не определяется падежом или грамматическими функциями, что подтверждает предсказание теории Хорнштейна. ^{[ нужна цитата ]}

китайский [ править ]

1. если Яоши если два Лингге два женщина ничего женщины читать ты чтение + ASP Каждый Мейбен каждый Книга. . . шу... книга 要是两个女人读过每本书。。。 Yàoshi liǎngge nǚrén dúguo měiběn shū... if two women read+ASP every book я. «Если есть две женщины, которые читают каждую книгу…» ii. *"если на каждую книгу приходится две женщины, которые ее читают..."

2. если Яоши если два Лингге два зацепка Сянсуй подсказки одеяло малыш к каждый мейгерен каждый оказаться. . . чжодао... найденный 要是两个线索被每个人找到。。。 Yàoshi liǎngge xiànsuǒ bèi měigerén zhǎodào... if two clues by everyone found я. "если есть две улики, которые найдет каждый..." ii. "если для каждого есть две подсказки, которые он или она находит..."

Значение А-цепей подчеркнуто в китайском языке. В некоторых примерах область действия на китайском языке определяется позициями падежей. ^[11]В этом примере активное предложение имеет только широкий объем подлежащего, но пассивное предложение неоднозначно. Активное предложение имеет только одно толкование: если есть две женщины, которые читают каждую книгу, это выходит за рамки темы. По мнению Ауна и Ли, в китайском языке нет внутренних субъектов VP, поэтому liangge nuren не может быть реконструировано в LF. Таким образом, данное предложение не имеет двусмысленного толкования. Однако пассивное предложение имеет две интерпретации: 1. все находят одни и те же две подсказки; 2. каждый находит две подсказки, при этом две подсказки могут быть разными. Это происходит потому, что лянгге сяньсуо находится во внутренней позиции комплемента VP, то в LF его можно реконструировать. Таким образом, пассивное предложение имеет два разных толкования.

английский [ править ]

Мальчик лазил по каждому дереву. я. Одинокий мальчик залез на все деревья. ii. Для каждого дерева есть мальчик, который может быть разным для каждого дерева, который залез на дерево X.

Эта фраза неоднозначна, поскольку ее можно интерпретировать как существительное «мальчик», относящееся к конкретному человеку или к другому человеку для каждого экземпляра «дерева» под квантором «каждый». ^[10] Интерпретация о том, что один мальчик лазил по всем деревьям, требует широкого охвата, в то время как другая интерпретация, согласно которой на каждое дерево есть мальчик, который может быть разным для каждого дерева, требует узкого охвата.

См. также [ править ]

Область применения (формальная семантика)
Удаление, содержащее предшественник
Категориальная грамматика
Теория правительства и связывания (предшественница минималистской программы)
Логическая форма

Ссылки [ править ]

^ Сабольчи 2003 , стр. 607, 633.
^ Перейти обратно: ^а ^б Сабольчи 2003 .
^ Ioup 1976 , стр. 117, 191.
^ Ханна 2006 , стр. 50–51.
^ Монтегю 1973 .
^ Рейнхарт 1983 .
^ Перейти обратно: ^а ^б Май 1985 года .
^ Хомский 1993 .
^ Краеугольный камень 1995 .
^ Перейти обратно: ^а ^б ^с ^д ^Это ^ж ^г Хендрик 2003 .
^ Аун и Ли 1993 .

Библиография [ править ]

Аун, Джозеф; Ли, Йен-хуэй Одри (1993). Синтаксис области действия . МТИ Пресс. ISBN 9780262011334 .
Хомский, Ноам (1993). Лекции о правительстве и обязательности: Пизанские лекции (7-е изд.). Берлин: Мутон де Грюйтер. ISBN 3110141310 .
Кук, Вивиан Джеймс; Ньюсон, Марк (2007). Универсальная грамматика Хомского: Введение (3-е изд.). Уайли-Блэквелл. ISBN 978-1-4051-1186-7 .
Коллиндж, Невилл Эдгар (1990). Энциклопедия языка . Рутледж. ISBN 9780415020640 .
Коркоран, Дж. Схемы: концепция схемы в истории логики. Бюллетень символической логики 12: 219-40 .
Ханна, Роберт (2006). Рациональность и логика . МТИ Пресс. стр. 50–51. ISBN 978-0-262-08349-2 .
Хендрик, Рэндалл (2003). Минималистский синтаксис . Оксфорд, Великобритания: Блэквелл. ISBN 0-631-21941-2 .
Хорнштейн, Норберт (1995). Логическая форма: от ГБ к минимализму . Блэквелл. ISBN 978-0-631-18942-8 .
Иуп, Жоржетта (1976). «Релексивизация: интерпретативный подход». Японская порождающая грамматика . Синтаксис и семантика. Том. 5. ISBN 978-90-04-36855-2 .
Мэй, Роберт (1985). Логическая форма: ее структура и происхождение . МТИ Пресс. стр. 1, 30. ISBN 978-0-262-63102-0 .
Монтегю, Ричард (1973). «Правильное обращение с количественными оценками в обычном английском языке» (PDF) . В Томасоне, Ричмонд (ред.). Формальная философия: Избранные статьи Ричарда Монтегю . Издательство Йельского университета.
Ухалла, Дж. (1999). Введение в трансформационную грамматику (2-е изд.). Издательство Арнольд.
Рейнхарт, Таня (1983). «Кореференция и связанная анафора: повторение вопросов анафоры». Языкознание и философия . 6 (1): 47–88. дои : 10.1007/BF00868090 . ISSN 0165-0157 . JSTOR 25001118 .
Сабольчи, Анна (2003). Справочник по современной синтаксической теории . Молден, Массачусетс; Оксфорд, Великобритания: Паб Blackwell. стр. 607, 633. ISBN. 1405102535 .
Вебельхут, Герт (1994). Правительство и теория связывания . Оксфорд: Блэквелл. стр. 127–175. ISBN 0-631-18059-1 .

Внешние ссылки [ править ]

Запись SEP для логической формы (общая концепция) охватывает LF в разделе «Трансформационная грамматика».

[FOOTNOTESzabolcsi2003607,_633-1] Сабольчи 2003 , стр. 607, 633.

[FOOTNOTESzabolcsi2003-2] Перейти обратно: ^а ^б Сабольчи 2003 .

[FOOTNOTEIoup1976117,_191-3] Ioup 1976 , стр. 117, 191.

[FOOTNOTEHanna200650–51-4] Ханна 2006 , стр. 50–51.

[FOOTNOTEMontague1973-5] Монтегю 1973 .

[FOOTNOTEReinhart1983-6] Рейнхарт 1983 .

[FOOTNOTEMay1985-7] Перейти обратно: ^а ^б Май 1985 года .

[FOOTNOTEChomsky1993-8] Хомский 1993 .

[FOOTNOTEHornstein1995-9] Краеугольный камень 1995 .

[FOOTNOTEHendrick2003-10] Перейти обратно: ^а ^б ^с ^д ^Это ^ж ^г Хендрик 2003 .

[FOOTNOTEAounLi1993-11] Аун и Ли 1993 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]