Квантор

Квантор — в математической логике и лингвистике логическая операция, которая определяет область истинности некоторого предиката (высказывания, содержащего переменную) и связывает переменную, входящую в этот предикат. Кванторы указывают, на какое количество объектов из рассматриваемой области (универсума) распространяется утверждение: на все объекты или хотя бы на один. Основными кванторами являются квантор всеобщности (∀) и квантор существования (∃).

История возникновения

Понятие квантора было введено в математическую логику в конце XIX века. Основоположником формального использования кванторов считается немецкий математик и логик Готлоб Фреге. В своей работе «Исчисление понятий» (1879) он впервые применил специальные обозначения для указания на всеобщность и существование в формальном языке. Фреге использовал для квантора всеобщности символ в виде углубления в чертеже, а для квантора существования — его отрицание.

Современные символы ∀ (перевёрнутая латинская буква A, от англ. «All» — «все») и ∃ (зеркально отражённая латинская буква E, от англ. «Exists» — «существует») были предложены немецким математиком Герхардом Генценом в 1935 году и популяризированы итальянским логиком Джузеппе Пеано. Пеано использовал их в своих работах по математической логике, и с тех пор эти обозначения стали стандартными.

Основные виды кванторов

Квантор всеобщности (∀)

Квантор всеобщности обозначается символом ∀ и читается как «для любого», «для каждого», «для всех», «всякий» и т.п. Запись ∀x P(x) означает, что предикат P(x) истинен для всех объектов x из рассматриваемой области (универсума).

Примеры:

• ∀x (x² ≥ 0) — «для любого действительного числа x его квадрат неотрицателен».
• ∀x (человек(x) → смертен(x)) — «все люди смертны».

Квантор существования (∃)

Квантор существования обозначается символом ∃ и читается как «существует», «найдётся», «хотя бы один», «некоторый». Запись ∃x P(x) означает, что существует хотя бы один объект x из универсума, для которого предикат P(x) истинен.

Примеры:

• ∃x (x² = 4) — «существует число x, квадрат которого равен 4».
• ∃x (человек(x) ∧ живёт(x, Москва)) — «существует человек, который живёт в Москве».

Квантор единственности (∃!)

В математике и логике часто используется квантор единственности, обозначаемый как ∃! Он читается как «существует ровно один» или «существует единственный». Запись ∃!x P(x) означает, что существует ровно один объект x из универсума, для которого P(x) истинно.

Пример:

• ∃!x (x + 2 = 5) — «существует единственное число x, такое что x + 2 = 5» (это число 3).

Применение в логике и математике

Логические законы с кванторами

Кванторы подчиняются ряду формальных законов, которые позволяют преобразовывать логические выражения:

• Отрицание квантора всеобщности: ¬∀x P(x) ≡ ∃x ¬P(x). Утверждение «неверно, что все x обладают свойством P» равносильно утверждению «существует x, не обладающий свойством P».
• Отрицание квантора существования: ¬∃x P(x) ≡ ∀x ¬P(x). Утверждение «не существует x, обладающего свойством P» равносильно утверждению «все x не обладают свойством P».
• Законы де Моргана для кванторов: ¬∀x P(x) ≡ ∃x ¬P(x) и ¬∃x P(x) ≡ ∀x ¬P(x) являются прямым аналогом законов де Моргана для конъюнкции и дизъюнкции.

Порядок кванторов

Порядок следования кванторов в выражении имеет решающее значение. Выражения ∀x ∃y P(x,y) и ∃y ∀x P(x,y) не эквивалентны. Первое означает, что для каждого x найдётся свой y (возможно, зависящий от x), такой что P(x,y) истинно. Второе означает, что существует один и тот же y, который подходит для всех x одновременно.

Пример:

• ∀x ∃y (y > x) — «для любого числа найдётся большее число» (истинно на множестве действительных чисел).
• ∃y ∀x (y > x) — «существует число, которое больше любого другого числа» (ложно на множестве действительных чисел, так как нет наибольшего числа).

Применение в лингвистике

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

• Универсальные кванторы: «все», «каждый», «любой», «весь», «всякий».
• Экзистенциальные кванторы: «некоторый», «какой-то», «кое-какой», «существует», «есть».
• Количественные кванторы: «многие», «несколько», «большинство», «три», «два» (конкретные числа).

Лингвистические кванторы могут иметь сложную семантику, включая контекстуальные ограничения. Например, фраза «Все студенты сдали экзамен» подразумевает, что речь идёт о конкретной группе студентов, а не обо всех студентах в мире. Это свойство называется ограничением универсума.

Кванторы в программировании и информатике

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

• SQL: В языке запросов SQL кванторы реализуются через операторы EXISTS и ALL. Например, SELECT * FROM Students WHERE EXISTS (SELECT 1 FROM Exams WHERE Exams.student_id = Students.id AND grade > 4) возвращает студентов, у которых есть хотя бы одна оценка выше 4.
• Логическое программирование: В языке Prolog кванторы неявно присутствуют в правилах: переменные в голове правила считаются кванторами всеобщности, а переменные в теле — кванторами существования.
• Формальная верификация: Кванторы используются в логике предикатов для описания свойств программ и систем. Например, ∀x (состояние(x) → ∃y (следующее_состояние(y) ∧ свойство(y))) может описывать, что из любого состояния есть переход в состояние с определённым свойством.

Кванторы в философии

В философии, особенно в аналитической философии и онтологии, кванторы играют важную роль в обсуждении существования. Споры о том, какие объекты «существуют» в онтологическом смысле, часто формулируются в терминах кванторов. Например, утверждение «существуют числа» (∃x (число(x))) может быть предметом дискуссий между платонистами и номиналистами. Философ Уиллард Ван Орман Куайн ввёл знаменитый критерий онтологической приверженности: «быть — значит быть значением квантифицированной переменной». Согласно этому критерию, теория признаёт существование тех объектов, которые должны входить в область значений переменных, чтобы утверждения теории были истинными.

Интересные факты

• В некоторых логических системах (например, в интуиционистской логике) квантор существования трактуется конструктивно: ∃x P(x) означает не просто «существует x», а «существует способ построить такой x».
• В математической записи кванторы часто опускаются, если они подразумеваются контекстом. Например, запись «x² ≥ 0» обычно понимается как ∀x ∈ ℝ (x² ≥ 0).
• В русском языке кванторные слова могут менять значение в зависимости от контекста. Фраза «Каждый может ошибиться» может означать как «любой человек может ошибиться» (квантор всеобщности), так и «некоторые люди могут ошибиться» (квантор существования) в разговорной речи.

Источники

• Фреге, Г. «Исчисление понятий» (1879).
• Гильберт, Д., Аккерман, В. «Основы теоретической логики».
• Куайн, У. В. О. «Слово и объект».
• Мендельсон, Э. «Введение в математическую логику».
• Лингвистический энциклопедический словарь (статья «Квантор»).