Предыдущая страница реферата | 1  2  3  4  5  6  7  8 | Следующая страница реферата

∀x((P²(x, a₁) & P²((x, a₂))⊃ P²(x,y))

при условии, что область возможных значений переменных D есть множество целых положительных чисел, константам a₁  и a₂ приписаны соответственно числа 2 и 3, свободной переменной у — значение 6; предикатный символ Р2 имеет в качестве значения отношения «делится». Ясно, что при указанной интерпретации данная формула выражает определенное высказывание: в переводе на русский язык, «Для всякого целого положительного числа х верно, что если оно делится на 2 и на 3, то оно делится на 6». Ясно, что это высказывание и соответственно наша формула истинны. Рассмотрим формулу  ∀x  ∃y P²(y, x). Если D — множество людей, Р2 — отец, то она представляет собой высказывание «Для всякого человека х существует человек у такой, что он является отцом первого».

Как уже сказано, полностью интерпретированные формулы языка при учете правил III представляют собой высказывания этого языка, а интерпретированные формулы со свободными переменными — предикаты (знаковые формы сложных свойств и отношений соответствующей области предметов D). Неинтерпретированные формулы, не содержащие свободных переменных, — суть логические формы высказываний, а со свободными переменными — логические формы предикатов. Однако предикаты могут трактоваться и трактуются в процессах выводов и доказательств, а также в определении отношения логическою следования и законов логики как специфические высказывания с какими-то подразумеваемыми значениями переменных, как это делается, например, в записи математических уравнений.

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

1) Предикатная интерпретация. Она означает, что свободные переменные в формуле рассматриваются как знаки пустых мест в предикате, на которые могут подставляться имена предметов из заданной области D для образования высказываний из предикатов.

2) Условная интерпретация. 3) Интерпретация всеобщности.

При второй и третьей интерпретации свободных переменных формула, содержащая эти переменные, трактуется как высказывание или логические формы таковых (в зависимости от того, являются они интерпретированными или нет). При условной интерпретации некоторой переменной в нем эта переменная рассматривается как знак какого-то — одного и того же во всех своих вхождениях — предмета из области D. А при интерпретации всеобщности какой-либо переменной она рассматривается как знак любого предметы из области D, но одного и того же во всех своих вхождениях в формулу. Иначе говоря, высказывание со свободными переменными равносильно высказыванию, которое получается из данного посредством связывания всех его свободных переменных, взятых в условной интерпретации, квантором существования, а переменных, рассматриваемых в интерпретации всеобщности, квантором общности. В предыдущем описании семантики мы подразумеваем предикатную интерпретацию свободных переменных. А высказывание, получаемое из предиката, — как результат применения этого предиката к предметам, имена которых подставляются вместо свободных переменных. Однако в дальнейшем, например при анализе понятия следования, формулы со свободными переменными трактуются как высказывания с условной интерпретацией этих переменных.

Подчеркнем еще раз значение интерпретации (совокупность правил I). При наличии правил III, то есть при заданном понимании логических констант, определяющих тип языка, различные интерпретации порождают из заданной синтаксической системы фактически различные языки данного типа (в которых используется каждый раз лишь какая-то часть исходных дескриптивных символов).

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

Данные выше разъяснения относительно тех смыслов, которые формулы получают при интерпретации, указывают на принципы перевода высказываний языка логики предикатов на естественный язык. Однако в них можно усмотреть решение и обратной задачи — перевод с естественного на язык логики предикатов, хотя здесь требуются и определенные дополнительные разъяснения. Прежде всего они связаны с отсутствием в формулах ЯЛП общих имен. Общие имена здесь используются только для характеристики задаваемой каждый раз при выражении некоторого высказывания области D значений предметных переменных. В составе самих формул общие имена — в предложениях обычного языка — заменяются предикаторами. Так, предложение «Все студенты пединститута готовятся стать преподавателями» может быть переведено на язык логики предикатов двояко в зависимости от выбора значений переменных. Мы можем взять в качестве таковой «множество студентов пединститута». Обозначив тогда через P1 свойство «готовятся стать преподавателями», получим «∀x P'(x)». С учетом заданной области это должно быть прочитано как «всякий студент пединститута х готовится стать преподавателем». Для более полного выражения смысла высказывания можем взять в качестве области «студенты» вообще, а общее имя «студент пединститута» истолковать как предикатор, взяв для него, например, знак (предикатор) S1 получим  ∀x (S1(x) ⊃ P1(x). Предложение звучит теперь так: «Для всякого студента х верно, что если он учится в пединституте, то он готовится стать преподавателем». Высказывание «Некоторые студенты пединститута готовятся стать преподавателями» при том же выборе области D и предикаторов запишется в виде ∃x(S(x)&P(x))

Обратите внимание, когда высказывание предваряет квантор общности (то есть исходное высказывание является общим), то далее используется логическая связка ⊃; в случае, когда таковым является квантор существования (высказывание является частным), то для его записи на ЯЛП употребляется связка &.

Для полной записи предложения «Во всяком государстве имеется город, который является его столицей» напрашивается необходимость ввести предикаторы: государство с аргументом — х (возьмем для обозначения из исходных символов предикатор P1), город с аргументом — у (обозначим его Q), принадлежит — город у государству х (обозначим R2) и столица — город y государства х (обозначение S2). В таком случае возникает трудность с характеристикой области значений переменных х, у. Можно считать, что таковой является множество населенных людьми территорий. Взяв в качестве области D множество таких территорий и используя указанные предикаторы, получим запись нашего суждения в ЯЛП: ∀x(P(x) ⊃ (∃y(Q(y)&R(y, x)&S(y, x))). Буквальное произнесение его таково: «Для всякой населенной территории х верно, что если х есть государство, то существует населенная территория у, такая, что у — город и у принадлежит государству х, а у есть столица х.

Как мы видели, высказывания естественного языка, подлежащие переводу на ЯЛП, определенным образом стандартизируются, четко выделяются части высказывания: классы или отдельные предметы, о которых нечто утверждается (или отрицается). Если это классы, то выясняется, ко всем предметам класса или лишь к части их относится утверждение или отрицание (соответственно употребляются кванторы общности ∀ или существования ∃). И наконец, определяется то, что именно в высказывании утверждается (или отрицается). Примеры таких стандартизации высказываний естественного языка, осуществленные еще до записи их на ЯЛП, читатель может найти в самом начале данного параграфа.

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

Логика предикатов формируется аналогично тому, как это происходит относительно логики высказываний. При наличии определений логических констант — как логики высказываний, так и логики предикатов, — последняя определяется введением понятий логического следования для формул ЯЛП и закона логики предикатов.

Логическое следование

Как и в логике высказываний, мы говорим, что для высказываний A₀ и B₀ (выраженных теперь в описанном языке логики предикатов), имеет место отношение логического следования A₀ ⊨ B₀, если и только если оно имеет место для формул А и В1 представляющих собой логические формы указанных высказываний.

Последнее получается из A₀ и B₀  просто отвлечением от имеющихся значений их дескриптивных терминов. При этом, возможно, что A₀ или B₀   ,а также и то и другое, содержат свободные переменные и трактуются при этом как высказывания с неопределенными истинностными значениями, в которых подразумевается, что каждая свободная переменная имеет какое-то определенное значение (во всех местах, где она встречается в том или ином выводе или доказательстве, или вообще в некотором рассуждении).

Очевидно, что в упомянутых высказываниях со свободными переменными эти переменные имеют условную интерпретацию, которой мы будем придерживаться и в дальнейшем, хотя не исключаем возможность употребления таких высказываний, например в выводах и доказательствах с интерпретацией всеобщности их свободных переменных. Строго говоря, именно условная интерпретация соответствует понятию логического следования. А в случае интерпретации всеобщности при построении выводов и доказательств, требуются особые ограничения.

Отношение следования между формулами A₀ ⊨ B₀  имеет место е. т. е. при любой интерпретации дескриптивных терминов в А и В и при любых приписываниях значений свободным переменным при истинности первого истинно и второе, иначе говоря, ложно первое или истинно второе. Имеется в виду при этом, что, во-первых, если некоторый дескриптивный термин каким-то образом интерпретирован в А, то таким же образом он интерпретирован и в В (конечно, при наличии его в этой формуле), а, во-вторых, всем свободным вхождениям одной и той же переменной в А и В приписывается одно и то же значение. Из множества высказываний Г ₀ следует высказывание  B ₀ если и только если это отношение имеет место соответственно между множеством формул Г и В, представляющих собой логические формы упомянутых высказываний. Последнее же отношение Г ⊨В  имеет место, е. т. е. в составе Г имеется конечное подмножество формул А1, ..., Аn (n >= 1) такое, что (А1 & ... & Аn) ⊨ В. Последнее соотношение, как и в логике высказываний, равносильно тому, что из множества высказываний А1, ..., Аn следует В, что в свою очередь указывает на отмеченное ранее — в логике высказываний — свойство отношения следования, состоящее в том, что если некоторое высказывание следует из какого-то множества высказываний, то оно является следствием также любого расширения этого множества.

Закон логики предикатов

Формула А описанного языка логики предикатов является законом данной логической системы, то есть (⊨А) е. т. е. при любой ее интерпретации и при любых приписываниях значений ее свободным предметным переменным в заданной области D. Получаемое высказывание является истинным. Законы логики предикатов называются также универсально-общезначимыми формулами логики предикатов.

Формула А называется общезначимой в некоторой области D е. т. е. она истинна при любых приписываниях значений ее дескриптивным терминам и свободным переменным в этой области D. Формула А называется выполнимой, если она истинна при какой-нибудь интерпретации и при каком-нибудь приписывании значений ее свободным предметным переменным. В противном случае она называется невыполнимой.

Поскольку в язык логики предикатов, как это иногда делается, мы не включаем пропозициональные переменные, никакая формула логики высказываний не является формулой логики предикатов. Однако из любого закона логики высказываний получается закон логики предикатов при подстановке вместо пропозициональных переменных любых формул логики предикатов (при замене каждого вхождения какой-нибудь пропозициональной переменной одной и той же формулой логики предикатов; хотя не исключается при этом замена разных пропозициональных переменных одной и той же формулой логики предикатов).

Так же, как и в логике высказываний, здесь введением указанных понятий — законов логики предикатов и логического следования — в сочетании с определениями логических констант задается бесконечное множество случаев отношения логического следования и бесконечное множество законов логики. Однако в отличие от логики высказываний мы не имеем теперь общих процедур для решения вопросов о том, имеет ли место отношение логического следования между множеством формул Г и формулой В (или между двумя формулами А и В) и является ли некоторая формула А законом логики. Эта специфика логики предикатов характеризуется как неразрешимость этой теории относительно универсальной общезначимости формул. Эта ограниченность наших возможностей здесь является платой за отказ от принимаемых в логике высказываний абстракций относительно структур некоторых высказываний.

Как и в логике высказываний, мы имеем здесь связь между отношением следования и законами логики. Она позволяет сводить вопрос о наличии или отсутствии отношения следования для конечных множеств формул к вопросу о том, является ли некоторая формула универсально общезначимой. Имеется в виду связь

А1, .... Аn ⊨ В е. т. е. ⊨ (А1 ⊃ (А2⊃ (А2 ⊃ ... (Аn⊃  В) ...));

последняя же, как мы видели раньше, равносильна ⊨ ((А1 &А2 & ... &An) ⊃ В)  — при любой расстановке скобок в конъюнкции согласно правилам построения формул.

Рекомендуем скачать другие рефераты по теме: курсовик, реферат по биологии 7 класс.





Предыдущая страница реферата | 1  2  3  4  5  6  7  8 | Следующая страница реферата