Статистика - Статей: 872588, Изданий: 948

Искать в "Новая философская энциклопедия в 4-х томах..."

Логика предикатов





– раздел современной "логики символической", изучающий рассуждения и другие языковые контексты с учетом внутренней структуры входящих в них простых высказываний, при этом выражения языка трактуются функционально, т.е. как знаки некоторых функций или же знаки аргументов этих функций.
    Важнейшая особенность логики предикатов состоит в том, что т.н. общие имена (напр., «человек», «город», «металл»), знаки свойств («белый», «умный», «электропроводный») и знаки отношений («старше», «севернее», «тяжелее») рассматриваются как принадлежащие одной категории знаков, а именно, категории предикаторов – предметно-истинностных функторов. Предикаторы репрезентируют функции, возможными аргументами которых являются объекты некоторого универсума рассмотрения, а значениями – истинностные оценки (в классической логике – это «истина» и «ложь»). Напр., предикатор «человек» представляет функцию, которая каждому отдельному человеку сопоставляет оценку «истина», а каждому отличному от человека существу – оценку «ложь». Функция, соответствующая предикатору «севернее», сопоставляет «истину» каждой такой паре географических точек, первая из которых действительно расположена севернее второй (напр., паре <Петербург, Москва>), всем остальным парам географических точек (напр., парам <Москва, Петербург> и <Москва, Москва>) эта функция сопоставляет оценку «ложь».
    Предикаторы различаются, как говорят, своей местностью: предикаторы, представляющие предметно-истинностные функции от одного аргумента, называются одноместными, те, которым соответствуют функции от двух аргументов, – двухместными и т.д. (напр., предикатор «человек» одноместный, а предикатор «севернее» двухместный).
    Множество тех объектов универсума (или же множество тех n-ок объектов), которым одноместная (многоместная) предметно-истинностная функция сопоставляет значение «истина», называется областью истинности соответствующего предикатора. Часто при построении логики предикатов предикаторам в качестве значений сопоставляются области их истинности, т.е. свойства (для одноместных предикаторов) и отношения (для многоместных предикаторов), рассматриваемые с объемной, экстенсиональной точки зрения.
    Другой отличительной чертой логики предикатов является использование особого типа логических символов – кванторов и связываемых ими (квантифицируемых) переменных для воспроизведения логических форм множественных высказываний. Квантифицируемые переменные «пробегают» по множеству всех объектов рассмотрения, а роль квантора состоит в указании на ту часть объектов этого множества, для которых справедливо содержащееся в высказывании утверждение. Наиболее употребимы в логике квантор общности ∀ (в естественном языке ему соответствуют термины типа «всякий», «каждый», «любой», «произвольный») и квантор существования ∃ («существует», «найдется», «имеется», «некоторый»). К примеру, логическая форма высказывания «Некто умен» может быть выражена с использованием квантора ∃ и переменной х, пробегающей по множеству людей, так; ∃хР(х), где символ Ρ соответствует одноместному предикатору «умный», а форма высказывания «Каждый знает кого-нибудь» – посредством формулы ∀хуR(х,у), где квантифицируемые переменные х и у пробегают по тому же множеству, а символ R соответствует двухместному предикатору «знает».
    Логика предикатов как раздел символической логики включает в себя логические теории разных типов, отличающиеся как выразительными возможностями языков, в которых они формулируются, так и классами выделяемых в них логических законов (см. "Закон логический").
    В зависимости от типа сущностей, составляющих допустимые в теории области пробега квантифицируемых переменных, различают логику предикатов первого порядка и логику предикатов высших порядков. В первопорядковой логике имеется лишь один тип квантифицируемых переменных – предметные (индивидные) переменные, возможными значениями которых являются индивиды, отдельно взятые предметы (люди, города, числа и т.п.). В логике предикатов второго порядка дополнительно вводятся переменные, пробегающие по признакам индивидов – их свойствам и отношениям между ними (эти переменные тоже разрешается связывать кванторами, получая выражения типа ∀PA – «Для всякого свойства Ρ верно, что А», ∃RA – «Существует отношение R, такое что А»); в логике предикатов третьего порядка разрешается квантификация по признакам признаков индивидов и т.д.
    Выделяют также односортные и многосортные системы логики предикатов: в односортной все переменные, принадлежащие к одному и тому же типу, имеют одинаковую область пробега; в многосортной с каждой переменной связывается собственное множество ее возможных значений.
    Наконец, данный раздел логики включает как классические, так и неклассические логические теории. В основе классической логики предикатов лежат, прежде всего, общие для всех классических систем логики принципы – двузначности (всякое высказывание принимает ровно одно из двух значений: «истину» или «ложь»), экстенсиональности (значение сложного выражения зависит только от значений составляющих его выражений), а также идущая от Аристотеля классическая трактовка истины как соответствия наших утверждений действительности. Кроме того, в классической логике предикатов принимаются специфические именно для кванторной теории предпосылки экзистенциального характера – допущение о существовании объектов в предметной области и существовании денотатов у сингулярных терминов (термин «существование» здесь следует понимать в смысле известного критерия У.Куайна: «существовать – значит быть возможным значением квантифицируемой переменной»). В неклассических предикатных системах в той или иной форме происходит пересмотр указанных принципов.
    Наиболее фундаментальный статус имеет классическая односортная логика предикатов первого порядка. Ее язык задается следующим образом. В алфавит вводится некоторая функционально полная система пропозициональных связок (см. "Логика высказываний", "Логические связки"), напр. { , ∧, ∨, ⊃} (где – знак отрицания, ∧ – знак конъюнкции, ∨ – знак дизъюнкции, ⊃ – знак материальной импликации), а также кванторы ∀ и ∃ (имеется возможность выбрать в качестве исходного символа языка лишь один из этих кванторов, другой может быть введен по определению). В алфавите содержится также бесконечный список предметных переменных (х, у, z, x1, …).· Среди нелогических символов обязательно наличие непустого множества предикаторных констант – аналога предикаторов естественного языка (будем использовать для них символы Рn, Qn, Rn, Р1n,..., где верхний индекс n – натуральное число, указывающее на местность предикаторной константы). Кроме этого в алфавит могут быть введены нелогические символы других типов: предметные константы (а, b, с, а1,...) – аналоги собственных имен (знаков отдельных предметов) естественного языка, напр., «Москва», «Луна», «медь», а также предметно-функциональные константы различной местности (fn, gn, hn, f1n, ...) – аналоги предметных функторов (знаков таких функций, аргументами и значениями которых являются индивиды, напр., «+», «возраст», «расстояние от... до...»). Иногда в алфавит языка логики предикатов добавляют пропозициональные переменные (p, q, r, p1,...) – аналоги простых высказываний естественного языка, исходя из буквального понимания тезиса о том, что логика предикатов является расширением "логики высказываний". Однако данное добавление не является необходимым: при желании в качестве пропозициональных переменных можно разрешить использование нульместных предикаторных констант. Техническими символами алфавита являются левая и правая скобки и запятая.
    Выражением языка логики предикатов называется любая конечная последовательность символов ее алфавита. Некоторые из этих выражений являются правильно построенными, а некоторые нет. В логике предикатов имеется два типа правильно построенных выражений – термы и формулы.
    Понятие «терма» вводится следующим индуктивным определением: (1) всякая предметная переменная – терм; (2) всякая предметная константа – терм; (3) если Φ – n-местная предметно-функциональная константа, и t1, t2,..., tn – термы, то выражение Φ(t1, t2,..., tn) является термом; (4) ничто иное термом не является.
    Среди термов различают простые (указанные в пунктах (1) и (2) данного определения), и сложные (указанные в пункте (3)), а также замкнутые (не содержащие в своем составе предметных переменных) и незамкнутые (содержащие переменные). Замкнутые термы являются аналогами имен естественного языка (как простых, так и сложных), а незамкнутые – аналогами т.н. именных форм (выражений с переменными, которые могут быть преобразованы в имена с помощью подстановки конкретных имен на места переменных, напр., «рост х», «х × 5», «разница в возрасте между x и y»).
    Понятие формулы также определяется индуктивно: (1) если Π – n-местная предикаторная константа, и t1, t2,..., tn – термы, то выражение П(t1,t2,...,tn) является формулой; (2) если А – формула, то А – формула; (3) если А и В – формулы, то выражения (А∧В), (Α∨В), (А⊃В) также являются формулами; (4) если А – формула, и α – предметная переменная, то выражения ∀αА и ∃αА также являются формулами; (5) ничто иное формулой не является. Внешние скобки в формулах обычно опускают.
    Заметим, что в определениях терма и формулы используются т.н. синтаксические переменные (А, В, α, t1, t2,..., tn, Φ, Π) – переменные метаязыка, пробегающие по различным типам выражений объектного языка.
    Формулы, соответствующие пункту (1) определения, называют простыми, или атомарными, а все остальные формулы (которые содержат по крайней мере один логический символ) – сложными, или молекулярными.
    Различение замкнутых и незамкнутых формул требует предварительного введения нескольких синтаксических понятий. Подформула А в составе формул вида ∀αА и ∃αА называется областью действия квантора (∀ или ∃) по переменной α. Конкретное вхождение некоторой переменной в некоторую формулу называется связанным, если это вхождение следует непосредственно за квантором или же находится в области действия квантора по данной переменной; в противном случае вхождение переменной называется свободным. Переменная α свободна в формуле А, если и только если существует свободное вхождение α в А; переменная α связана в формуле А, если и только если существует связанное вхождение α в А. (Иногда при формулировке языка логики предикатов свободные и связанные переменные различают уже на этапе задания его алфавита, для них используют различные списки символов. В таком случае разрешается квантификация только связанных переменных, а свободные переменные выступают в роли неквантифицируемых индивидных параметров.)
    Формула называется замкнутой, если она не содержит свободных вхождений предметных переменных; в противном случае она является незамкнутой. Замкнутые формулы являются аналогами высказываний естественного языка (результатом символической записи любого высказывания является именно замкнутая формула), поэтому их иногда называют предложениями языка логики предикатов. Незамкнутые формулы соответствуют т.н. пропозициональным формам – выражениям естественного языка с переменными (напр., «x выше у», «х смелый»), из которых могут быть образованы высказывания посредством операций константного или кванторного замыкания (напр., «Эверест выше Арарата», «Существует x такой, что x смелый»).
    Семантическое построение классической односортной логики предикатов первого порядка может осуществляться различными способами. Сформулируем наиболее естественную, теоретико-множественную объектную семантику описанного выше языка.
    Первый этап ее построения – задание класса допустимых интерпретаций нелогических символов языка. С этой целью выбирается некоторое множество U, называемое областью интерпретации (универсумом); единственным ограничением, накладываемым на U, является требование его непустоты. Приписывание значений нелогическим символам релятивизируется относительно выбранной предметной области. Его можно осуществить посредством специальной интерпретирующей функции I. Эта функция сопоставляет произвольной предметной константе k некоторый объект из универсума U: I(k)∈U (при этом становится очевидным, что предметные константы имеют тот же тип значений, что имена естественного языка, и могут рассматриваться в качестве параметров последних), n-местной предикаторной константе Π в качестве значения обычно приписывают экстенсионально понимаемые свойство или отношение на U, т.е. некоторое множество упорядоченных n-ок объектов из универсума: І(П) ⊆ Un (Un – n-ная декартова степень множества U). Имеется и другая возможность – сопоставить константе Π n-местную функцию, аргументами которой являются элементы универсума, а возможными значениями И («истина») и Л («ложь»): І(П) есть функция типа Un → {И, Л}. Во втором случае предикаторные константы рассматриваются как знаки предметно-истинностных функций. Произвольной n-местной предметно-функциональной константе Φ интерпретирующая функция сопоставляет в качестве значения n-местную операцию, заданную на множестве U (ее аргументами и значениями являются элементы универсума): І(Ф) есть функция типа Un → U.
    Интерпретирующую функцию I, релятивизированную относительно некоторой предметной области U, a точнее – пару , называют моделью или возможной реализацией. Выбор конкретной модели детерминирует значения всех замкнутых термов и замкнутых формул языка логики предикатов. Для определения значений незамкнутых термов и формул необходимо дополнительно зафиксировать, распределить значения предметных переменных (таковыми, как и для предметных констант, являются элементы универсума).
    Следующим этапом семантического построения логики предикатов является формулировка точных правил установления значений правильно построенных выражений ее языка (т.е. термов и формул) в рамках выбранных модели и распределения φ значений предметных переменных.
    Значениями термов в при φ являются объекты из U. Значения предметных констант и переменных уже определены посредством функций I и φ соответственно. Значением сложного терма Φ(t1, t2,..., tn) является тот объект из U, который представляет собой результат применения операции І(Ф) к n-ке значений (в этой же модели и при этом же распределении) термов t1, t2,..., tn. Пусть, напр., в качестве универсума выбрано множество натуральных чисел, предметно-функциональная константа f проинтерпретирована как операция сложения, а предметные константы а и b как числа 2 и 3. Тогда значением терма f(a,b) в соответствующей модели будет результат сложения 2 и 3, т.е. число 5.
    Формулы языка логики предикатов принимают в модели при распределении φ ровно одно из двух значений – И или Л. Атомарная формула вида II(t1, t2,..., tn) принимает – при трактовке предикаторных констант как знаков экстенсионально понимаемых свойств и отношений – значение И, если и только если n-ка значений (в данной модели и при данном распределении φ) термов t1, t2,..., tn действительно находится в отношении І(П), когда n > 1, или обладает свойством І(П), когда n = 1. Если же предикаторные константы интерпретируются как знаки предметно-истинностных функций, то П(t1, t2,..., tn) примет значение И в том и только в том случае, когда результат применения подобной функции І(П) к указанной n-ке объектов даст И. В упомянутой в предыдущем примере конкретной модели и при интерпретации предикаторной константы R как отношения «меньше» формула R(a,b) примет значение И, т.к. 2 действительно меньше 3, а формула R(b,a) – значение Л, поскольку 3 не находится в указанном отношении к 2.
    Условия истинности и ложности формул, главными знаками которых являются пропозициональные связки, сохраняются (с необходимой привязкой к и φ) такими же, как в классической логике высказываний.
    Семантические определения для кванторных формул таковы: ∀αА (соответственно ∃αА) истинна в модели при распределении φ, если и только если ее подкванторная часть А принимает значение И в той же модели при любом (при некотором) распределении ψ значений предметных переменных, отличающемся от φ не более, чем значением α. Другими словами: формула ∀αА истинна в том случае, когда А оказывается истинной, какой бы объект из U мы ни приписали в качестве значения переменной α (сохранив при этом значения остальных переменных), а ∃αА истинна, если в универсуме найдется такой объект, что при сопоставлении его в качестве значения переменной α формула А оказывается истинной.
    Завершающим этапом в построении логики предикатов является введение понятий закона этой теории (общезначимой формулы) и различных логических отношений между формулами. Наиболее важным из них является отношение логического следования (см. "Следование логическое"), поскольку его наличие составляет критерий корректности "дедуктивных умозаключений".
    Говорят, что формула значима (истинна) в модели при некотором распределении φ значений предметных переменных, если и только если данная формула принимает значение И в этой модели при этом распределении. Формулу называют значимой (истинной) в модели , если она значима в ней при любом распределении элементов U предметным переменным. Формула называется общезначимой на множестве U (U-общезначимой), если она значима в каждой модели с универсумом U.Формула называется универсально общезначимой (или просто – общезначимой), если она общезначима на любом (непустом) множестве. Факт общезначимости формулы А обычно выражается в метаязыке следующей записью: |=А. Общезначимые формулы – это законы логики предикатов, поскольку они истинны при любых допустимых в данной теории интерпретациях нелогических символов.
    Конкретизация понятия логического следования в логике предикатов осуществляется следующим образом: из множества формул Г логически следует формула В (Г |= В), если и только если в любой модели и при любом распределении значений предметных переменных, при которых истинна каждая формула из Г, формула В также примет значение «истина».
    В сформулированном выше семантическом варианте правила установления значений формул имеют отчетливо выраженную объектную направленность: они предполагают, что при решении вопроса об истинности или ложности происходит соотнесение выражений языка с нелингвистическими сущностями (индивидами, свойствами, отношениями, функциями, связанными с некоторой предметной областью). Альтернативой объектной интерпретации формул языка логики предикатов является т.н. подстановочная интерпретация. Смысл ее состоит в формулировке таких критериев истинности и ложности предложений языка, которые бы не предполагали соотнесения последних с внеязыковой действительностью, а опирались бы только на информацию о значениях элементарных, атомарных предложений (в подобном стиле обычно строится логика высказываний, где при установлении значений формул необходимо лишь, чтобы каким-то – неважно каким – образом было осуществлено распределение значений для пропозициональных переменных). Т.о., при подстановочной интерпретации мы, скорее, имеем дело не с обычной трактовкой истины как соответствия предложений действительности, а с тем, что иногда называют «истинностью в теории», где теория понимается, по существу, в синтаксическом аспекте – как дедуктивно замкнутое множество предложений языка.
    Технически «подстановочная» семантика логики предикатов может быть сформулирована следующим образом. Значения здесь естественно сопоставлять лишь замкнутым формулам, поскольку именно эти формулы представляют собой предложения теории и могут оцениваться как истинные или ложные в ней. Задается функция оценки V, отображающая множество замкнутых формул вида П(t1, t2,..., tn) на множество {И, Л} (содержательно – Ѵ распределяет значения для элементарных предложений языка теории). Правила установления значений замкнутых формул видов А, А∧В, А∨В, A⊃B – стандартные. Формула ∀αА (соответственно ∃αА) примет значение И при оценке V, если и только если данное значение при V имеет любой (соответственно по крайней мере один) результат подстановки в формулу А замкнутого терма t вместо всех свободных вхождений переменной α (содержательно – общее (частное) предложение истинно в теории, если и только если соответствующее бескванторное утверждение справедливо для любого (хотя бы для одного) сингулярного термина, принадлежащего словарю данной теории). Класс замкнутых формул, принимающих при оценке V значение И, как раз и представляет собой некоторую теорию в описанном выше смысле. Можно далее ввести понятия закона логики предикатов (логически истинного предложения теории): |= А тогда и только тогда, когда при любой оценке V (т.е. в любой теории) А принимает значение И.
    Множество формул, являющихся законами классической логики предикатов первого порядка, вообще говоря, бесконечно. Среди них – каждый подстановочный случай произвольной тавтологии логики высказываний (т.е. результат замещения в ней пропозициональных переменных формулами языка логики предикатов). Вот некоторые другие наиболее важные типы общезначимых формул.
    Законы удаления квантора общности и введения квантора существования:
    ∀αA ⊃ A(t),
    A(t) ⊃ ∃αA,
    
    
    где A(t) – результат правильной подстановки терма t вместо всех свободных вхождений предметной переменной α в формулу А (подобная подстановка называется правильной, когда никакое из заменяемых вхождений α в А не находится в области действия квантора по переменной, входящей в состав терма t).
    Законы взаимовыразимости кванторов:
    ∀αA ≡ ∃α A
    ∃αA ≡ ∀α A
    
    (где ≡ – знак эквиваленции, которую можно ввести посредством определения (A ≡ В) ≡Df (А ⊃ В) ∧ (В ⊃ А)).
    Законы перестановочности кванторов:
    ∀α∀βA ⊃ ∀β∀αA,
    ∃α∃βA ⊃ ∃β∃αA,
    ∃α∀βA ⊃ ∀β∃αA
    
    Законы пронесения и вынесения кванторов:
    ∀α A ≡ ∃α A,
    ∃α A ≡ ∀α A,
    
    ∀α(A∧B) ≡ (∀αA∧∀αB),
    ∃α(A∨B) ≡ (∃αA∨∃αB),
    
    (∃αA ⊃ ∀αB) ⊃ ∀α(A ⊃ B),
    ∃α(A ⊃ B) ≡ (∀αA ⊃ ∃αB),
    
    ∀α(A∨B) ≡ (A∨∀αB),
    ∃α(A∧B) ≡ (A∧∃αB),
    
    ∀α(A ⊃ B) ≡ (A ⊃ ∀αB),
    ∃α(A ⊃ B) ≡ (A ⊃ ∃αB),
    
    ∀α(B ⊃ A) ≡ (∃αB ⊃ A),
    ∃α(B ⊃ A) ≡ (∀αB ⊃ A)
    
    (в формулах последних шести типов переменная a не должна содержаться свободно в формуле А).
    Как известно, помимо семантического представления логических теорий имеется другой, синтаксический метод их построения – в виде логических исчислений. Суть этого метода состоит в формулировании точных правил оперирования со знаками (формулами языка), позволяющими без использования каких-либо семантических понятий («интерпретация», «модель», «истина») осуществлять обоснование логических законов и форм корректных рассуждений. При этом в исчислениях постулируется лишь некоторый минимум дедуктивных средств, дающий тем не менее возможность обозреть все бесконечное множество законов и модусов правильных рассуждений соответствующей логической теории.
    Существует много различных способов построения логических исчислений ("Исчисление секвенций", Натуральный вывод, Аналитические таблицы), в том числе и классического исчисления предикатов первого порядка. Исторически первыми появились аксиоматические исчисления (исчисления гильбертовского типа), в которых, как и при аксиоматическом представлении логики высказываний, статусом аксиом наделяется конечное число общезначимых формул и постулируется некоторый набор правил вывода. Однако в силу сложности формулировок правил подстановки, используемых в этом случае, удобнее строить аксиоматическое исчисление предикатов со схемами аксиом, каждой из которых соответствует бесконечное число аксиом одного и того же типа.
    Примером одной из возможных аксиоматизаций логики предикатов может служить следующая: в качестве исходного логического символа алфавита, наряду с пропозициональными связками , ∧, ∨, ⊃, выбирается лишь квантор ∀. Постулируется некоторый полный набор схем аксиом классического исчисления высказываний (они задают смысл , ∧, ∨, ⊃). Дополнительно вводятся две схемы аксиом, задающих смысл квантора ∀: закон удаления квантора ∀αA⊃A(t) и один из законов пронесения квантора ∀α(A⊃В)⊃(А⊃∀αВ) с указанными ранее ограничениями. В исчислении имеется также два правила вывода:
     (modus ponens),
     (генерализация).
    
    Квантор существования вводится по определению: ∃αA ≡ Df ∀α A.
    Следующий этап в построении исчисления – введение понятий доказательства и вывода, а также синтаксических аналогов понятия общезначимой формулы и отношения логического следования – понятия теоремы и отношения выводимости.
    Доказательством называют непустую конечную последовательность формул, каждая из которых либо является аксиомой исчисления, либо получена из предшествующих формул последовательности по одному из исходных правил вывода. Последняя формула доказательства называется теоремой или доказуемой в исчислении формулой (метаутверждение «А – теорема» принято записывать так: |–А).
    Вывод из множества допущений Г отличается от доказательства тем, что в нем разрешено дополнительно использовать формулы из Г. Однако, если ставится задача адекватного воспроизведения отношения логического следования, понятие вывода должно быть дополнено наложением некоторых ограничений на применение правила генерализации (дело в том, что – в отличие от modus ponens – из посылки А данного правила не следует логически его заключение ∀αA). Указанная проблема может быть решена различными способами, напр., введением понятия вывода с варьируемыми переменными. Довольно естественным представляется другой путь, основанный на понятии зависимости формул вывода от допущений: каждое допущение зависит от самого себя; аксиома не зависит от допущений; результат применения modus ponens зависит от тех допущений, от которых зависит хотя бы одна из посылок правила; при применении генерализации зависимости сохраняются. Теперь необходимые ограничения в определении вывода можно сформулировать следующим образом: формула ∀αA может быть получена по правилу генерализации из А, зависящего от множества допущений Δ, лишь в том случае, когда α не имеет свободных вхождений ни в одну формулу из Δ. Если имеется вывод из множества допущений Г, последней формулой которого является формула В, говорят, что В выводима из Г (Г |– В).
    Отношение выводимости в логике предикатов обладает одним важным свойством, которое фиксируется в т.н. "дедукции теореме": если Г,А |– В, то Г |– A⊃В.Данное свойство существенно упрощает процедуру построения выводов и может быть использовано в качестве производного правила вывода. Другим подобным правилом является т.н. правило эквивалентной замены: если |– А ≡ В, то |– СА ≡ Св (где СА – произвольная формула языка логики предикатов, содержащая в своем составе некоторое вхождение формулы А, а Св – результат замещения выделенного вхождения А в СА формулой В).
    Правило эквивалентной замены используется, в частности, при осуществлении процедуры приведения формул языка логики предикатов к какому-либо стандартному, каноническому виду. Наиболее известным каноническим типом формул языка логики предикатов являются предваренные нормальные формы. Формула находится в предваренной нормальной форме, если она имеет вид Q1α1Q2α2…QnαnB, где каждое Qi есть ∀ или ∃, переменные α12,..., αn попарно различны и В не содержит кванторов (т.е. формула начинается кванторной приставкой, после которой следует бескванторная формула). Доказуемо метаутверждение о том, что для любой формулы языка логики предикатов существует логически эквивалентная ей формула в предваренной нормальной форме (при приведении формул к данному каноническому виду используются законы вынесения кванторов, причем иногда более сложные, чем указанные выше).
    Разновидностью предваренных являются т.н. сколемовские нормальные формы – замкнутые формулы, в которых всякий квантор существования предшествует в кванторной приставке всякому квантору общности. Для каждой формулы А языка логики предикатов без предметных и предметно-функциональных констант, но с бесконечным числом предикаторных констант произвольной местности существует формула В в сколемовской нормальной форме, равносильная ей по доказуемости (т.е. такая, что |– А, если и только если [– В).
    Первопорядковая логика может быть модифицирована за счет расширения выразительных возможностей ее языка. Наиболее естественным расширением является введение отношения равенства между индивидами (тождества индивидов). Вовлечение этого отношения в сферу логического анализа оправдано тем, что оно не менее фундаментально, чем исследуемые в логике отношения присущности свойства предмету, включения класса в класс и др. Если в алфавит вводятся предметно-функциональные константы, то отношение равенства позволяет удобным образом выражать утверждения о результатах применения соответствующих функций к различным аргументам. Кроме того, использование знака данного отношения (=) обеспечивает более адекватный анализ многих естественно-языковых контекстов, напр. т.н. исключающих высказываний. Так, логическая форма высказывания «Всякий металл, кроме ртути, находится в твердом состоянии» может быть выражена с использованием предикатора равенства формулой ∀х((Р(х)∧ (х = а)) ⊃ Q(x))∧ Q(a), где константы а, Р, Q соответствуют дескриптивным терминам «ртуть», «металл», «находится в твердом состоянии».
    Классическая логика предикатов с равенством строится следующим образом. Алфавит пополняется выделенной двухместной предикаторной константой равенства =. Появляется новый тип формул: t1 = t2, где t1 и t2 – термы. В семантике константе = в качестве значения сопоставляется множество всех пар , где u – элемент универсума U (или же предметно-истинностная функция, которая ставит в соответствие значение И только парам одинаковых объектов из U). Формула t1 = t2 примет значение И в некоторой модели при распределении φ значений предметных переменных, если и только если значения термов t1 и t2 в данной модели при данном распределении совпадают. Остальные семантические понятия остаются прежними.
    Адекватное аксиоматическое представление логики предикатов с равенством можно получить за счет присоединения дополнительных схем аксиом: схемы рефлексивности равенства ∀α(α = α) и схемы замены равного равным ∀α∀ß(α = β ⊃ (Α(α) ⊃ Α(β))), где Α(β) – есть результат замены некоторого числа (необязательно всех) свободных вхождений переменной α в А(α) на переменную β, причем заменяемые вхождения не должны находиться в области действия кванторов по β.
    Средствами логики предикатов с равенством может быть определен квантор, особенно часто встречающийся в математических контекстах, «существует единственный» (символически – ∃!): ∃!αA(α) ≡ Df∃α(А(α)∧∀ß(A(ß) ⊃ β = α)).
    Язык логики предикатов первого порядка является удобным средством для строгого построения на его основе конкретных, прикладных теорий. В этом случае вместо абстрактных предметных, предикаторных и предметно-функциональных констант в алфавит вводятся конкретные термины словаря теории – имена объектов ее предметной области, знаки их свойств и отношений, знаки заданных на данной области предметных функций. Сами прикладные первопорядковые теории (их часто еще называют элементарными) строятся обычно аксиоматически. К логической части (аксиомам и правилам вывода исчисления предикатов) добавляется собственная часть прикладной теории – постулаты, отражающие закономерности ее предметной области.
    Простейшими примерами первопорядковых теорий являются т.н. "логики отношений": теория отношения эквивалентности (при этом в язык вводится его знак, напр. ≅, и добавляются аксиомы, указывающие на свойства данного отношения: ∀α(α≅α) – рефлексивность, ∀α∀ß(α ≅ β ⊃ β ≅ α) – симметричность, ∀α∀ß∀γ((α ≅ β & β ≅ γ) ⊃ α ≅ γ) – транзитивность), теория отношения частичного порядка (вводится символ этого отношения, напр., ≤, и собственные аксиомы рефлексивности, транзитивности, а также ∀α∀ß((α ≤ β & β ≤ α) ⊃ α = β) – антисимметричность) и др.
    Наиболее известным примером элементарной теории является система формальной арифметики Пеано. Ее исходные нелогические символы – имя 0, знаки функций ´ (прибавления единицы), + (сложения), · (умножения); в алфавите содержится также символ =. Знаки других арифметических объектов, свойств, отношений и функций вводятся посредством определений (напр., 1 = Df0´)· Далее к логическим аксиомам добавляются собственно арифметические.
    Еще одним побудительным мотивом расширения выразительных возможностей языка логики предикатов является стремление к более адекватному логическому анализу контекстов естественного языка. Так, точное воспроизведение структуры описательных имен предполагает обогащение ее языка операторами дескрипции, ведь в стандартном первопорядковом языке выразим лишь один тип сложных имен – образованных с использованием предметных функторов. Обычно различается два оператора дескрипции – оператор определенной д

Еще в энциклопедиях


В интернет-магазине DirectMedia