Федерации Федеральное государственное бюджетное образовательное учреждение Высшего образования «Иркутский государственный университет» (ФГБОУ ВО «ИГУ») Исторический факультет Отделение философии и теологии Кафедра философии и методологии науки
Понятие о различных расширениях стандартной
первопорядковой логики предикатов: исчисление предикатов с равенства, второпорядковое исчисление." Выполнил: Седых Даниил, студент 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
