Квантификатор (лингвистика) - Quantifier (linguistics)

В лингвистике и грамматике, квантор представляет собой тип определителя , например, все , какой - то , много , несколько , много , и нет , (но не конкретные цифры ) , что указывает на количество.

Количественная оценка также используется в логике, где это конструктор формул, который производит новые формулы из старых. Утверждалось, что определители естественных языков соответствуют логическим кванторам на семантическом уровне.

Вступление

Все известные человеческие языки используют количественную оценку (Wiese 2004). Например, на английском:

  • Все стекла в моем недавнем заказе были расколоты.
  • У некоторых людей, стоящих за рекой, белые нарукавные повязки.
  • Большинство людей, с которыми я разговаривал, понятия не имели, кто были кандидатами.
  • Многие люди умны.

Слова, выделенные курсивом, являются количественными показателями. Не существует простого способа переформулировать любое из этих выражений как соединение или дизъюнкцию предложений, каждое из которых является простым предикатом отдельного человека, например, Этот бокал был расколот . Эти примеры также предполагают, что построение количественных выражений на естественном языке может быть синтаксически очень сложным. Для математических утверждений процесс количественной оценки синтаксически более прост.

Изучение квантификации в естественных языках намного сложнее, чем соответствующая проблема для формальных языков . Частично это происходит из-за того, что грамматическая структура предложений естественного языка может скрывать логическую структуру. Более того, математические соглашения строго определяют диапазон допустимости квантификаторов формального языка; для естественного языка определение диапазона применимости требует решения нетривиальных семантических проблем. Например, фраза « Кто-то ограблен в Нью-Йорке каждые 10 минут » не определяет, грабят ли это того же человека каждые 10 минут, см. Также ниже .

Грамматика Монтегю дает новую формальную семантику естественных языков. Его сторонники утверждают, что он обеспечивает гораздо более естественную формальную передачу естественного языка, чем традиционные трактовки Фреге , Рассела и Куайна .

Порядок кванторов и неоднозначность

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

  • « A : B : C » - однозначно
  • «существует такое A , что B : C » - однозначно
  • «существует такое A , что для всех B , C » - недвусмысленно при условии, что разделение между B и C ясно
  • "существует такое A , что C для всех B " - часто ясно, что имеется в виду
«существует такое A , что ( C для всех B )», формально: «∃ A : ∀ B : C »
но это можно интерпретировать как
«(существует такое A , что C ) для всех B », формально: «∀ B : ∃ A : C »
  • «существует такое A , что CB » - более убедительно указывает на то, что имеется в виду первое; это можно усилить компоновкой, например, поставив « CB » на новую строку.

История

Терминологическая логика , также называемая логикой Аристотеля, рассматривает количественную оценку в манере, которая ближе к естественному языку, а также менее подходит для формального анализа. Термин «логика» рассматривал « Все , Некоторое и Нет» в 4 веке до н.э. в отчете, также касающемся алетических модальностей . Начиная с Begriffsschrift Готтлоба Фреге 1879 года , работы Чарльза Сандерса Пирса 1885 года и Принципов математики Бертрана Рассела 1903 года , кванторы были введены в формализм математической логики. См. Квантификатор (логика) § История для деталей.

Смотрите также

Ссылки

  1. Перейти ↑ Matthews, PH (2014). Краткий Оксфордский словарь лингвистики (3-е изд. Под ред.). Оксфорд [ua]: Oxford Univ. Нажмите. ISBN 9780199675128. Проверено 25 апреля 2018 года .
  • Даг Вестерстол (2001). "Quantifiers", в Goble, Lou, ed., The Blackwell Guide to Philosophical Logic . Блэквелл.
  • Стэнли Петерс, Даг Вестерстол (2002). « Квантификаторы ».
  • Хайке Визе (2003). Числа, язык и человеческий разум . Издательство Кембриджского университета. ISBN  0-521-83182-2 .
  • Эдвард Кинан; Денис Паперно (2012). Справочник кванторов на естественном языке . Исследования в области лингвистики и философии. 90 . Springer Science & Business Media. п. 16. ISBN 9400726813.