Зачем нужны кванторы
Самое известное рассуждение в истории, на котором наш аппарат бессилен
Логика высказываний не заглядывает внутрь предложения: фразу «все люди смертны» она видит как одну букву. Кванторы вводятся, чтобы говорить о «всех» и «некоторых»: без них не записать даже классический силлогизм о Сократе. Урок показывает, где именно останавливается аппарат высказываний и что придётся добавить.
forall x: Calgary, гл. 22 «Building blocks of FOL». Де Морган, «Формальная логика» (1847). Фреге, «Begriffsschrift» (1879) · 22 мин · обновлено 06.09.2026
После урока вы сможете
- Показывать место, где логика высказываний перестаёт работать, и объяснять причину
- Разбирать простое высказывание на имена и предикаты
- Читать словами записи вида F(a) и Л(a, b)
- Знать, чего не могла силлогистика и что изменил Фреге в 1879 году
«Все люди смертны. Сократ есть человек. Значит, Сократ смертен». Это рассуждение приводят в пример две тысячи лет, и оно выглядит образцом надёжности. Возьмём инструмент, который мы строили десять уроков, и проверим им этот образец.
Логика высказываний работает так: каждое простое высказывание получает букву. Пусть P означает «все люди смертны», Q означает «Сократ есть человек», R означает «Сократ смертен». Аргумент превращается в такой: из P и Q следует R.
И тут же виден провал. Возьмём случай: P истинно, Q истинно, R ложно. Строчка выглядит непротиворечивой, никакое правило её не запрещает, а значит, по таблице истинности этот аргумент неправилен.
Аппарат не сломался: он честно ответил на заданный вопрос. Просто вопрос ему задали не тот. Этот урок о том, чего именно не хватило и что с этим сделали в 1879 году.
Куда делся переход
Разберём, что именно потерялось при записи буквами. Слово «человек» стоит в первой посылке и во второй, слово «смертен» стоит в первой посылке и в заключении, и весь переход держится на этих двух повторах. А буквы повторов не показывают: P, Q и R остаются тремя разными знаками, общего между ними нет ничего.
Проверить это легко. Возьмём другой аргумент той же формы: «Все люди смертны. Сократ есть человек. Значит, дважды два пять». Форма прежняя: из двух букв следует третья, а заключение есть чушь. Значит, форма «из P и Q следует R» неправильна, и это чистая правда.
Теперь сформулируем итог точно, потому что здесь легко сказать лишнее. Строчка «P истинно, Q истинно, R ложно» непротиворечива на бумаге. А в действительности такого положения дел не бывает: если все люди смертны и Сократ есть человек, смертность Сократа уже обеспечена. Покажем это по шагам, не пропуская ни одного.
Шаг 1. Требуем, чтобы «все люди смертны» было истинным.
Шаг 2. Требуем, чтобы «Сократ есть человек» было истинным.
Шаг 3. Требуем, чтобы «Сократ смертен» было ложным. То есть Сократ бессмертен.
Шаг 4. По шагу 2 Сократ входит в число людей, по шагу 1 всякий человек смертен. Значит, Сократ смертен.
Шаг 5. Шаг 4 противоречит шагу 3. Значит, требуемого положения дел не существует вовсе.
Случая нет, а таблица его допустила, и допустила потому, что читала три буквы и не заглядывала внутрь. Выходит, логика высказываний считает случаем то, что случаем не является: она не видит устройства трёх фраз и потому разрешает лишнее. Отсюда и приговор «неправилен»: он означает, что правильность не обеспечена одними связками.
Он не означает, что аргумент плох.
Логика высказываний отвечает на узкий вопрос: правилен ли аргумент в силу одних связок между целыми высказываниями. Для сократовского рассуждения ответ «нет», и он честный: связок в нём нет вовсе. Чтобы получить другой ответ, надо задать другой вопрос про устройство внутри высказываний. Именно это и делает модуль V.
Лошадиная голова
Можно возразить: у Аристотеля-то сократовское рассуждение разбирается прекрасно. И это правда. Силлогистика (система из «Первой аналитики», написанной около 350 года до н. э.) устроена как раз для фраз вида «все A суть B» и «некоторые A суть B». Сократ в ней проходит без запинки.
Но и она упирается в стену, и стена совсем близко. Огастес де Морган привёл в 1847 году такой пример: «Каждая лошадь есть животное. Значит, каждая лошадиная голова есть голова животного». Переход бесспорен, возразить тут нечего никому.
А силлогистика его не выводит. Ей нужны классы вида «все A суть B», а «лошадиная голова» классом в нужном смысле не является, потому что описывает предмет через отношение: голова чего-то. Чтобы сделать шаг, надо суметь сказать: «если нечто есть голова какой-нибудь лошади, то оно есть голова какого-нибудь животного». Здесь два «какой-нибудь» и одно «если», а такой конструкции в системе классов нет вовсе.
Ограничение держалось около 2200 лет, и не потому, что никто не был достаточно умён, а потому, что не хватало записи. Стоит задержаться на этом отдельно: две тысячи лет логику изучали лучшие головы Европы и арабского мира. Пример де Моргана не требует ни специальных знаний, ни хитрости: любой человек согласится с переходом за секунду.
И всё же вывести его было нечем: мысль была доступна, а средств записать её не было. Это довод в пользу формального языка, куда более сильный, чем удобство. Плохая запись не просто затрудняет работу, а делает целые куски рассуждения невидимыми.
Разберём высказывание изнутри
Выход отсюда один: перестать считать простое высказывание неделимым. «Сократ смертен» состоит из двух частей: есть предмет, о котором говорят (Сократ), и есть то, что о нём говорят (смертен). Первое называют именем, второе предикатом.
Записывают так: Смертен(сократ). Читается: «Сократ смертен», то есть предикат «смертен» выполняется на предмете по имени сократ. Порядок в записи обратный русскому: сначала то, что говорят, потом о ком. К этому привыкают за десять минут.
Предикат есть фраза с пустым местом: «… смертен». Место одно, и в него подставляют имя: подставили имя, и получилось высказывание, которое уже бывает истинным или ложным. В примерах курс пишет имена строчными буквами, а предикаты словом с заглавной: Кошка(мурка) читается «Мурка есть кошка».
В схемах, где содержание неважно, берут отдельные буквы: предикаты F, G, H, предметы a, b, c. Запись F(a) читается: «предмет a обладает свойством F». Теперь видно, чего не хватало буквам: в записях Человек(сократ) и Смертен(сократ) общее имя стоит на виду, и его нельзя не заметить.
Заметьте и другое: одно и то же имя может носить только один предмет, но у предмета имён бывает несколько. Утренняя звезда и вечерняя звезда оказываются одной планетой. Этим займётся урок 17.
Предикаты бывают на двоих
Не всё, что говорят, говорят об одном предмете. Во фразе «Аня выше Бори» два предмета сразу, и она не разваливается на два отдельных утверждения. Попробовать стоит: «Аня высокая» и «Боря низкий». Из этой пары исходное не собирается: Аня может быть высокой и всё же ниже Бори, если Боря ещё выше.
Значит, «выше» говорит не о каждом по отдельности, а о двоих сразу. Записывают: Выше(аня, боря). Читается: «Аня выше Бори». Предикат, которому нужны два предмета, называют двухместным, или отношением.
Порядок мест важен, и это не формальность. Запись Выше(боря, аня) означает «Боря выше Ани», и вместе с первой они истинными не бывают. Мест бывает и три, и запись Между(боря, аня, вера) читается: «Боря сидит между Аней и Верой».
Предикат на одно место называют свойством, а предикат на два места и больше называют отношением. Разница только в числе мест, а работают они одинаково. Вот отношений-то силлогистике и не хватало. Лошадиная голова требует записи Голова(x, y), которая читается «x есть голова y», а «все A суть B» такого не выражает.
Переменная: место, куда подставляют
Пока мы умеем говорить только о названных предметах, а в посылке «все люди смертны» никто конкретно не назван. Нужен способ сказать «нечто» и потом сказать про это нечто что-нибудь. Для этого берут переменную, то есть букву x, y или z. Она не имя: она не указывает ни на кого.
Запись Смертен(x) читается: «оно смертно». Про кого именно, ещё не сказано. Такая запись не истинна и не ложна: спрашивать «правда ли, что оно смертно?» бессмысленно, пока неизвестно, о ком речь.
Чтобы вышло утверждение, к переменной приделывают слово вроде «всякий» или «найдётся». Эти слова называются кванторами, и о них весь урок 15. Пока достаточно увидеть заготовку целиком: из Человек(x) и Смертен(x) собирается «если оно есть человек, то оно смертно», и остаётся только сказать, что это верно про всякое «оно».
Обратите внимание на одну вещь, важную дальше: в этой заготовке буква x стоит дважды, и оба раза это одно и то же «оно». Именно так возвращается потерянный повтор. Логика высказываний не могла связать две фразы про одного и того же Сократа, а переменная связывает их прямо в записи.
Что сделал Фреге
Всё перечисленное придумано один раз и одним человеком: Готлоб Фреге, «Begriffsschrift», 1879 год. Название буквально значит «понятийная запись». Фреге сделал две вещи разом.
Первое: он перестал делить фразу на подлежащее и сказуемое и стал делить её на предикат и места для предметов. Из «Сократ смертен» получается предикат «… смертен» с одним пустым местом. Второе: он ввёл кванторы и переменные, то есть способ сказать «для всякого» и «найдётся» так, чтобы это можно было проверять по правилам, а не по чутью.
После этого «каждая лошадиная голова есть голова животного» и записывается, и выводится: ограничение, простоявшее около 2200 лет, снялось в одной работе. Стоит увидеть, что дало именно первое решение. Пока фраза делится на подлежащее и сказуемое, «Аня выше Бори» имеет ровно одно подлежащее, Аню, а Боря оказывается частью сказуемого, и на нём разбор останавливается.
Деление на предикат и места ставит Аню и Борю в равное положение: оба предмета видны, и об обоих можно потом сказать «всякий» или «найдётся». Значки, которыми пользуемся мы, придумал не Фреге: его собственная запись была двумерной и громоздкой, её почти никто не принял.
Дожили идеи, а не обозначения.
До «Begriffsschrift» логика умела разбирать классы и связки. После неё она умеет разбирать отношения и вложенные «всякий» и «найдётся». Всё, что делает эта наука сегодня, использует аппарат из той работы, и потому современную логику отсчитывают именно от неё.
Что меняется и что остаётся
Стоит сразу сказать, чего новый язык не отменяет. Связки остаются все: значки ¬, ∧, ∨, → и ↔ работают в точности как раньше, и таблицы истинности для них те же. Отменяется одно: простое высказывание перестаёт быть неделимой буквой, и внутри становятся видны имена, предикаты и места для предметов.
Новый язык называют логикой предикатов, или логикой первого порядка. «Первого порядка» есть оговорка о том, по чему ходят кванторы. Сказать «для всякого предмета…» можно, а сказать «для всякого свойства…» уже нельзя: для этого нужен второй порядок, а он устроен иначе и в курс не входит.
Расширение обходится недёшево, и цену стоит назвать заранее. Таблица истинности для логики предикатов не работает: предметов в области бывает сколько угодно, и перебрать все случаи нельзя. Урок 20 покажет, чем именно за это заплачено. Зато выигрыш огромен: почти всё, что записывают формально в математике и информатике, записывают на этом языке.
Причина простая. Утверждения вида «для всякого числа найдётся большее» или «у каждого элемента есть обратный» и есть предикаты, кванторы и отношения. Логике высказываний они недоступны целиком.
Что дальше
Язык мы только начали. Есть имена, предикаты и переменные, но нет главного слова «все». Урок 15 вводит два квантора и разбирает место, где ошибаются чаще всего: «все круги красные» и «есть красный круг» записываются по-разному не только словами.
Урок 16 покажет, что бывает, когда кванторов в одной формуле два: там интуиция ломается сильнее всего за весь курс. Урок 17 добавит знак тождества и покажет, как записать «ровно один», не имея в языке ни одного числа. К концу модуля мы сможем записать формально почти любое утверждение обычной речи, кроме приказов, вопросов и сослагательных оборотов. И проверять такие записи по правилам, а не на слух.
Откуда это и кто доказал
| Аристотель, «Первая аналитика» | ок. 350 до н. э. | Силлогистика: первая формальная система в истории, четыре фигуры и 256 комбинаций. Аргументы с отношениями и вложенными кванторами в ней не выражаются вовсе. |
| Огастес де Морган, «Формальная логика» | 1847 | Логика отношений. Пример с лошадиной головой показывает, что силлогистика не выводит «каждая лошадиная голова есть голова животного» из «каждая лошадь есть животное». |
| Готлоб Фреге, «Begriffsschrift» | 1879 | Кванторы и переменные, разбор фразы на предикат и места для предметов. Событие, с которого начинается современная логика: ограничение, державшееся около 2200 лет, снято. |
Ловушки и теоремы
«Все люди смертны, Сократ есть человек, значит Сократ смертен» есть правильный аргумент, а таблица объявляет его неправильным. Она находит строку «P истинно, Q истинно, R ложно» и считает её случаем, хотя такого положения дел не бывает. Причина в том, что буквы скрывают повторы слов «человек» и «смертен», на которых весь переход и держится. Таблица проверяет правильность в силу одних связок, и только её.
Силлогистика работает с классами: «все A суть B». Отношения и вложенные «всякий» и «найдётся» она не выражает. Огастес де Морган показал это в 1847 году: «каждая лошадь есть животное» не даёт в ней «каждая лошадиная голова есть голова животного», хотя переход бесспорен. Ограничение держалось около 2200 лет и снято работой Фреге 1879 года. Это не смена обозначений, а другая по силе система.
Расширение языка и исправление ошибки не одно и то же. Всё, что доказано в модулях II-IV, остаётся доказанным: таблицы, законы де Моргана, правила вывода. Логика предикатов содержит логику высказываний целиком и добавляет к ней разбор внутри простого высказывания. Ни одна прежняя теорема при этом не отменяется.
Термины
- предикатpredicate
- То, что говорят о предмете: «… смертен», «… красный», «… выше …». В записи стоит первым, а предметы подставляются в скобки: Смертен(сократ).
- имяsingular term
- Знак, указывающий на один определённый предмет: сократ, аня, мурка. В схемах для имён берут буквы a, b, c.
- отношениеrelation
- Предикат, которому нужны два предмета и больше: Выше(аня, боря), Голова(x, y). Порядок мест значим, и переставлять их нельзя.
- переменнаяvariable
- Буква x, y или z на месте предмета. Не указывает ни на кого: запись Смертен(x) читается «оно смертно» и сама по себе не истинна и не ложна.
- логика предикатовpredicate logic
- Система, которая заглядывает внутрь простого высказывания и видит там имена, предикаты и переменные. Она же логика первого порядка: её кванторы ходят по предметам, но не по свойствам.
- силлогистикаsyllogistic
- Система Аристотеля, работающая с фразами «все A суть B» и «некоторые A суть B». Отношения и вложенные кванторы в ней не выражаются.
- порядок логикиorder
- По чему разрешено ходить кванторам. Первый порядок пускает их только по предметам, а второй разрешил бы говорить «для всякого свойства», и это уже другая система.
Практикум · Разложить двенадцать фраз на имена и предикаты
Упражнение на перевод в одну сторону: из русского в запись. Возьмите двенадцать коротких утверждений про знакомых, про вещи на столе, про города. Каждое должно быть о конкретных предметах, без слов «все» и «некоторые»: они появятся в следующем уроке.
- Выпишите фразы столбиком. Рядом с каждой отметьте, о скольких предметах в ней говорится.
- Для каждой фразы назовите предикат словом с многоточиями на местах предметов: «… старше …», «… находится в …».
- Запишите фразу целиком: предикат, скобка, имена через запятую. Имена пишите строчными буквами.
- Для каждого отношения переставьте имена местами и прочитайте вслух, что получилось. Отметьте фразы, где перестановка даёт истину, и фразы, где ложь.
- Найдите среди своих двенадцати хотя бы одну, которую не записать без отношения, и объясните в одну строку, почему одноместные предикаты тут не годятся.
Вопросы для самопроверки
Почему логика высказываний признаёт неправильным аргумент «Все люди смертны. Сократ есть человек. Значит, Сократ смертен»?
- Потому что три фразы получают три разные буквы, и повторы слов «человек» и «смертен» в записи исчезают
- Потому что первая посылка на самом деле ложна
- Потому что заключение не следует из посылок ни в каком языке: случай с истинными посылками и ложным заключением остаётся возможным
- Потому что в аргументе не хватает третьей посылки
Что записывает выражение Выше(аня, боря)?
- Что Аня и Боря одного роста
- Что Боря выше Ани
- Что Аня выше Бори
- Что «выше» есть свойство, которым обладает Аня
Чем пример де Моргана про лошадиную голову бьёт силлогистику?
- Тем, что посылка в нём ложна, а вывод при этом истинен
- Тем, что переход бесспорен, а вывести его нечем: нужны отношения и два «какой-нибудь»
- Тем, что терминов в нём четыре (лошадь, голова, животное и голова животного), а силлогизм допускает три
- Тем, что заключение в нём общее, а посылка частная
Что означает запись Смертен(x)?
- Что все предметы смертны: переменная без квантора читается как «любой»
- Что найдётся смертный предмет: свободная переменная означает «хоть один»
- Что x есть имя определённого предмета, не названного вслух, и запись о нём истинна или ложна
- Ничего истинного или ложного: про кого идёт речь, ещё не сказано
Что нового даёт логика предикатов по сравнению с логикой высказываний?
- Другие таблицы истинности для связок: с приходом кванторов их пришлось пересчитать заново
- Отказ от материальной импликации, которая оказалась неудачной: вместо неё вводится связь по смыслу
- Разбор простого высказывания на имена и предикаты, а связки при этом остаются прежними
- Возможность говорить «для всякого свойства», а не только о самих предметах и их именах
Ответы и разбор открываются в самопроверке урока: она считает результат и отмечает урок пройденным. Пройти самопроверку.
Что читать
- forall x: Calgary, гл. 22 «Building blocks of FOL»: Обозначения курса намеренно совпадают с этой книгой, так что читать её можно без перевода понятий. Имена, предикаты и отношения разобраны подробнее, чем успел урок.
- Огастес де Морган, «Формальная логика» (1847), раздел о логике отношений: Место, где стена силлогистики стала видна. Читать целиком тяжело, но стоит найти сам пример с лошадиной головой: он короче любого пересказа.
- Статья «Gottlob Frege» в Stanford Encyclopedia of Philosophy: Обзор того, что было сделано в 1879 году и как это связано с остальными работами Фреге. Разделы о смысле и значении можно пропустить: они относятся к философии языка, а не к нашему курсу.