Министерство образования и науки Российской

Федерации
Федеральное государственное бюджетное
образовательное учреждение
Высшего образования «Иркутский
государственный университет»
(ФГБОУ ВО «ИГУ»)
Исторический факультет
Отделение философии и теологии
Кафедра философии и методологии науки

Понятие о различных расширениях стандартной

первопорядковой логики предикатов: исчисление
предикатов с равенства, второпорядковое исчисление."
Выполнил: Седых Даниил, студент 2 курса социальной философии
Проверил: Руководитель:ст. лаборант кафедры философии, религиоведения
и теологии факультета психологии ИГУ, Бирюлина Татьяна Владимировна
• Особое место в логике пропозициональных функций занимает исчисление предикатов с
равенством (тождеством). С какими трудностями мы можем столкнуться в этой области логики?
• Допустим, имеются два очень похожих друг на друга человека (не обязательно близнецы). Один
из них - очень хороший человек, а другой - сущий злодей и вообще большая бяка. По каким
признакам их следует отличать друг от друга?
• Обозначим злодея латинской буквой z, а добряка - латинской буквой d. Их внешнее сходство
будем обозначать буквой Р (подобие).
• Если z = d , то, воспользовавшись одноместным предикатом Р, это равенство можно определить
так: (z = d) = {для всякого Р имеет место P(z) P(d)}. Последнее означает, что
выражения P(z) и P(d) являются формой одного и того же высказывания относительно
некоторого множества М, состоящего из добрых и злых людей.
• Если же мы допустим, что d и z - различные элементы из М, то, следовательно, должны быть
какие-то предикаты, которые их отличают, то есть предикаты должны быть такими,
что P(d) истинно, когда P(z) ложно, и наоборот. Короче, P(d) P(z) будет иметь место не при
любом Р.
• Когда-то Лейбниц изрядно покорпел над проблемой тождества, предельным случаем которого
является математическое равенство, и пришел к такому любопытному выводу: «Полагать две вещи
неразличимыми означает полагать одну и ту же вещь под двумя именами».
• Если согласиться с немецким философом, то возникает вопрос: не имеем ли мы дело с двуликим Янусом,
который прячется под личиной добряка, а на самом деле является отъявленным злодеем? А может быть все
обстоит наоборот? Добрейшего человека оклеветали, очернили...
• Подброшу глубокомысленному читателю еще одну задачку. Пусть он попробует догадаться, о ком идет речь,
когда говорят победитель при Иене и побежденный при Ватерлоо.
• Знаток истории сразу же выпалит, что речь идет о Наполеоне.
• Тогда еще один вопрос: что астрономы имеют в виду, говоря утренняя звезда и вечерняя звезда?
• Несколько веков тому назад на этот вопрос трудно было дать вразумительный ответ. Сегодня каждый
школьник знает, что речь идет о планете Венера.
• Таким образом, если нельзя указать никакого свойства F, по отношению к которому d и z различны, тогда
следует признать, что d и z тождественны.
• Будем иметь в виду, что данное признание (характеристика, определение) имеет место только в логике
предикатов второй ступени.
• Будем иметь в виду и то, что контекст, в котором фигурируют внешне неразличимые
элементы (предметы) обычно называется экстенсиональным. В экстенсиональных
контекстах законным считается замена, скажем, d на z. Контексты же, где такая замена
невозможна, называются интенсиональными. В связи с этим рассмотрим следующий
пример.
• Пусть п - число планет Солнечной системы. В прошлые века люди не знали, что п > 8,
так как девятая планета была открыта только в 1930 г. Значит, человек XIX в. не знал, что
9 > 8.
• Получается нечто в высшей степени абсурдное, если не учитывать, что истинностное
значение фразы «человек XIX в. не знал, что - > 8» (черточка в данной фразе означает
пропуск выражения) зависит не от буквального ее понимания, а от подразумеваемого
смысла соответствующего выражения. Ведь речь идет не просто о числах, а о числе
планет Солнечной системы. Поэтому замена п на 9 на основании равенства п - 9 во
фразе «человек XIX в. не знал, что п > 8» является в этом интенсиональном контексте
незаконной. Отсюда следует, что в интенсиональных контекстах замена равного равным
не всегда дает ожидаемый эффект, то есть в подобных контекстах требуется принимать
во внимание не только истинностное значение высказывания, но еще что-то такое, что не
учитывается в экстенсиональном контексте.
• Наличие неэкстенсиональных контекстов подчеркивает разницу между равенством и отношением
эквивалентности. Дело в том, что если мы попытаемся учесть неучтенное, то нам придется изрядно
повозиться с элементами экстенсионального (объемного) множества М. В результате мы получим новое
множество N. В новом множестве мы уже будем иметь дело не с равенством, как в случае
с М, а с отношением эквивалентности. Например, если строить множество М как множество планет
Солнечной системы, известных человеку XIX в., а не как множество вещественных чисел, то п = 9 не
будет истинным, поскольку /7 и 9 - это совершенно различные мыслимые предметы. Такие поправки и
дополнения восстанавливают пошатнувшийся статус экстенсиональности, но одновременно намекают на
то, что логика предикатов с равенством должна быть существенно расширена и обогащена за счет
исследования неэкстенсиональных контекстов, о чем речь пойдет в следующих двух главах. Здесь же,
вслед за Клини, отмечу, что лейбницевское определение тождества заставляет говорить о применимости
некоторого свойства F к предметам х, то есть заставляет рассматривать истинность или ложность
значений F(x) некоторого предиката до того, как сами предметы х будут отчетливо выделены. В теории
Клини, начинающейся с предположения о существовании некоторой предметной области, вопрос о том,
равны предметы или нет, зависит от той картины логического мира, исходя из которой построена данная
предметная область. Таким образом, вопрос о том, равна ли утренняя звезда х (тождественна ли,
является ли той же самой) вечерней звезде у, относится к вопросу о том, имеет ли место равенство в той
предметной области, которая является областью небесных объектов, изучаемых астрономией, где
утренняя и вечерняя звезда - это планета Венера. Для людей же прошлых эпох, признающих иные
картины мира, утренняя и вечерняя звезда - совершенно различные явления природы.
• При лейбницевском определении тождества, согласно которому х = у означает V F(F(x) F(y)), несколько
иначе выражается то, что Клини назвал «свойством замены для равенства». Это свойство включает
замену в области действия кванторов. Иногда это же свойство называют экстенсиональностью, для того
чтобы характеризовать те контексты, в которых равенство х = у позволяет заменить х на у.
• Если контекст неэкстенсионален относительно замены равных, это значит, что не было кое-что
учтено при логическом построении конкретной предметной области. Анализируя эти элементы, мы
можем получить новую область, в которой равенство станет отношением эквивалентности и таким
образом принцип экстенсиональности будет восстановлен в своих правах.
• Однако следует учитывать, что «равенство» и «отношение эквивалентности» ие являются
синонимами. По этому поводу Клини ссылается на некоторых авторов учебников по планиметрии,
которые часто пишут, что перпендикулярные друг другу отрезки АВ и CD равны, чтобы тем самым
сообщить читателю, что данные отрезки имеют одну и ту же длину. Однако въедливому и
придирчивому к терминам логики читателю ясно, что нельзя заменить АВ на CD, ибо они
перпендикулярны, то есть в некотором отношении не равны. Поэтому при переводе в точные
логические символы надо внимательно следить за тем, является термин «равно» аналогом
математического смысла символа = или логическим отношением эквивалентности (эквиваленции).
• Из общезначимых выражений логики предикатов можно получить общезначимые выражения
логики предикатов с равенством, заменяя двухместный предикат символом равенства.
• Обратим внимание на то, что в логике предикатов мы имеем дело не с высказываниями
определенного истинностного значения, а только с выражениями (пропозициональными
функциями), которые при соответствующей интерпретации становятся высказываниями.
Выражение же логики предикатов с равенством не содержат свободных переменных, ибо все они
связаны кванторами, и не имеют иных предикатов, кроме предиката равенства. Следовательно, это
выражение изначально является высказыванием.
• Используя кванторы всеобщности и существования, можно сказать, что существует
точно определенное количество индивидов с определенным свойством.
• В повседневной жизни если нам требуется отличить один предмет от другого
(установить отношения неравенства ( * ), нетождества), мы можем воспользоваться
именами собственными. Но можно делать и по-другому, описав отличительный
признак или признаки данного предмета. Для этого используется квантор
(оператор) дескрипции. Этот квантор как бы дополняет нашу теорию исчисления
предикатов с равенством, подчеркивая важную роль учета отношений неравенства.
Как говорят философы, одно познается через свое другое (свою
противоположность), то есть отношения равенства познаются через отношения
неравенства и наоборот.
• Таким образом, возвращаясь к вопросу о дескрипции, уже ранее рассмотренному,
мы замыкаем круг изучения интересующих нас предметов, относящихся к логике
предикатов (пропозициональных функций).
Заключение.
•  Подводя итоги, можно отметить следующее:
• 1. Основой логики предикатов (пропозициональных функций) является логика высказываний
(пропозициональная логика). Главным предметом изучения логики предикатов является
структура высказываний.
• 2. Поскольку в логике предикатов чрезвычайно велика роль кванторов, постольку исчисление
предикатов может быть названо теорией квантификации.
• 3. Дескрипция - это способ описания индивидуальных объектов, благодаря которому
указываются их отличительные свойства. В символической логике имеют дело с объектами,
свойства которых заданы в соответствии с требованиями данной логической системы. Задача
логической дескрипции состоит в том, чтобы логическими средствами идентифицировать
указанные объекты, проверив их на соответствие заданным свойствам. Решение этой задачи
осуществляется с помощью оператора (квантора) дескрипции, который позволяет
пропозициональной функции принимать значение истина только для одного значения входящей в
нее переменной.
• 4. Законами (теоремами) логики высказываний и логики предикатов называются схемы
построения истинных сложных высказываний.
Литература
• https://
bstudy.net/979167/filosofiya/rasshirennyy_formalizm_ischislenie_predikatov_ravenstvo
m
• https://lektsii.net/3-18494.html