CC BY
34Модифицированная семантика Фреге и функциональная интерпретация1
С. А. Павлов
abstract. Algebra of set as metalanguage for the modifications of Frege's semantics are proposed. Denotate (referent) truth exists but denotate falsehood non exist in modificated Frege's semantics.
Целью статьи является установление соотношений между операциями алгебры множеств, логическими связками и сентенцио-нальными функциями исходя из модифицированной семантики Фреге с единственным денотатом истина.
При построении семантики языка сентенциональной логики Г. Фреге рассматривал предложения как имена особого рода, денотатами (референтами) которых являются такие предметы, как истина либо ложь. К отождествлениям между собой предметов, денотатов, истины либо лжи он также присоединяет истинностные значения как значения сентенциональных функций [3,
4].
Пусть имеется язык классической сентенциональной логики L с отрицанием ~ и конъюнкцией л. Сентенциальные переменные: p,q,pi,qi ... Правила построения формул стандартные. Пусть A, ~ A, A Л B есть формулы этого языка.
Таблицы истинности строятся исходя из семантических правил. Приведем в виде таблиц некоторые из семантических утверждений, предшествующих построению таблиц истинности.
A обозначает истину ~ A обозначает ложь
A обозначает ложь ~ A обозначает истину
1Работа выполнена при поддержке РГНФ, грант № 07-03-00242.
(А л В) В обозн. истину В обозн. ложь
А обозн. истину (А л В) обозн. истину (А л В) обозн. ложь
А обозн. ложь (А л В) обозн. ложь (А л В) обозн. ложь
Для сопоставления алгебраических операций и логических связок возьмем в качестве метаязыка для семантики Фреге язык алгебры множеств. Этот метаязык отличается от метаязыка для языка логики Ь тем, что вместо приписываний значений переменным языка Ь в первом производится сопоставление семантическому отношению обозначения отношение принадлежности элемента множеству следующим образом.
Формуле А сопоставим множество, обозначаемое как М(А).
Далее сопоставим семантическому утверждению, что формула А обозначает денотат й (или перефразируя: денотат й обозначается формулой А), утверждение алгебры множеств, что элемент й принадлежит множеству М(А), т.е. (й €
М (А)).
Сопоставим денотату истина элемент истина, а денотату ложь элемент ложь.
Имеем множество {истина, ложь}.
Пусть, к примеру, А истинно. Тогда истинному предложению А, которое обозначает истина, сопоставлено множество М(А), которому принадлежит элемент истина, т.е. М(А) = {истина} и (истина € М(А)).
В другом случае пусть А ложно. Тогда ложному предложению А, которое обозначает ложь, сопоставлено множество М(А), которому принадлежит элемент ложь, т.е. М(А) = {ложь} и (ложь € М(А)).
В алгебре множеств имеет место соотношение: ((х € М(А)) л (х € М(В))) = (х € М(А п В)).
Можно поставить вопрос о сопоставлении конъюнкции л и операции пересечения множеств П, то есть сопоставлении формулы (А л В) и формулы (М(А) п М(В)), а также о сопоставлении отрицания и операции дополнения. Вопрос: имеет ли место соотношение
(А л В) = (М(А) п М(В))?
Ответ отрицательный, что видно из сравнения таблицы, полученной из таблиц с семантическими утверждениями для конъюнкции
М(А Л В) {истина} {ложь}
{истина} {истина} {ложь}
{ложь} {ложь} {ложь}
с таблицей, полученной по законам алгебры множеств
(М(А) п М(В)) {истина} {ложь}
{истина} {истина} {}
{ложь} {} {ложь}
Тогда поставим следующий вопрос: возможно ли так изменить семантику Фреге, чтобы имело место вышеупомянутое соотношение М(А Л В) = (М(А) П М(В))?
Ответ положительный. Достаточно модифицировать семантику Фреге так, что отбросить денотат ложь как несуществующий. Тогда в положениях учения Фреге об истинности и ложности:
всякое истинное предложение обозначает истину всякое ложное предложение обозначает ложь заменим второе положение на
всякое ложное предложение не обозначает истину (см. [1, 2]). Тогда таблицы семантических утверждений модифицируются следующим образом.
А обозначает истину ~ А не обозначает истину
А не обозначает истину ~ А обозначает истину
(А л В) В обозн. истину В не обозн. истину
А обозн. истину (А Л В) обозн. истину (А Л В) не обозн. истину
А не обозн. истину (А Л В) не обозн. истину (А Л В) не обозн. истину
Отметим, что полученная семантика нефункциональна, так как таблицы истинности для сентенциальных функций с истинностными значениями построить нельзя.
Далее модифицируем соответствующие соглашения в сопоставлении семантических утверждений с формулами алгебры множеств.
Сопоставляем денотату истина элемент истина.
Имеем множество {истина}.
Пусть, к примеру, А ложно. Тогда ложному предложению А, которое не обозначает истину, сопоставлено множество М(А), которое является пустым, т.е. М(А) = {} и —(истина € М(А)).
Тогда имеет место соотношение
М(А Л В) = (М(А) п М(В)), так как
(A Л B) {истина} {}
{истина} {истина} {}
{} {} {}
(M(A) П M(B)) {истина} {}
{истина} {истина} {}
{} {} {}
Также имеет место соотношение ({истина} \ М(А) = МА)), устанавливающее связь между отрицанием и дополнением.
Теперь, исходя из того, что для множеств {истина} и {} их мощность равна 1 и 0 соответственно, т.е. Сагй({истина}) = 1 и Сагй({}) = 0, можно задать функции на множестве {1, 0}.
Будем рассматривать формулу Сагй(М(А) ПМ(В)) как двухместную функцию ^л(х,у):
^л(Сатй(М(А),Сагй(М(В)) Сагй(М(А)ПМ(В)) и получаем
Фл(Сагй(М(А),Сагй(М(В)) = Сагй(М(А Л В)) соотношение между двухместной функцией и логической связкой.
Также устанавливаем соотношения между одноместной функцией ^(х) и отрицанием
(Сагй(М(А)) =df Сагй({истина} \ М(А)), откуда получаем
^(Сагй(М(А)) = Сагй(М(~ А)).
Отметим, что полученные функции соответствуют операциям булевой алгебры.
Таким образом, установлены соотношения между функциями и соответствующими им логическими связками в рамках модифицированной семантики Фреге. Чтобы эти соотношения и функции можно было рассматривать как функциональную интерпретацию языка логики Ь, необходимо продолжить модификацию семантики Фреге. Коррекция будет состоять в отказе от отождествления значений функций, интерпретирующих сен-тенциональные связки, с денотатами соответствующих формул. Вместо последних в качестве аргументов и значений функций будем брать элементы из множества {1, 0}.
Данный подход может быть распространен и на неклассические случаи. Тогда имеет смысл использовать бисентенцио-нальную семантику, в которой рассматриваются пары формул {А, ~ А), каждая из которых независимо одна от другой может обозначать либо не обозначать истину.
Таким образом, рассмотрены теоретико-множественные и функциональные соотношения, связывающие синтаксические, семантические и онтологические аспекты сентенциональной логики.
Литература
[1] Павлов С.А. Термины «истинность» и «ложность» в языке // IV Российский философский конгресс: Философия и будущее цивилизации. Тезисы докладов и выступлений IV Российского философского конгресса. Том I. М., 2005. С. 525.
[2] Павлов С.А. Модификации семантики Фреге и семантики Данна для сентен-циональных логик // Логические исследования. Вып. 13. М., 2006. С. 136-140.
[3] Фреге Г. О смысле и значении // Логика и логическая семантика. М., 2000. С. 230-246.
[4] Фреге Г. Функция и понятие // Логика и логическая семантика. М., 2000. С. 215-229.
