МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

имени М.В. ЛОМОНОСОВА

ФИЛОСОФСКИЙ ФАКУЛЬТЕТ

На правах рукописи

Томова Наталья Евгеньевна

РЕГУЛЯРНЫЕ ЛОГИКИ КЛИНИ:

РАСШИРЕНИЕ И ОБОБЩЕНИЕ

Автореферат Диссертация на соискание ученой степени кандидата философских наук

Специальность 09.00.07 – Логика Москва – 2010 Диссертация выполнена на кафедре логики философского факультета Московского государственного университета им. М.В. Ломоносова.

Доктор философских наук, профессор

Научный руководитель:

Карпенко Александр Степанович Доктор философских наук, профессор

Официальные оппоненты:

Кузнецов Валерий Григорьевич Кандидат философских наук, доцент Архиереев Николай Львович Санкт-Петербургский государственный

Ведущая организация:

университет, кафедра логики

Защита диссертации состоится «26» октября 2010 года в 16:30 на заседании диссертационного совета Д 501.001.48 по философским наукам при Московском государственном университете им. М.В. Ломоносова по адресу:

119991, г. Москва, Ломоносовский проспект, д.27, корп.4, учебный корпус № 1, философский факультет, ауд. А-518.

С диссертацией можно ознакомиться в читальном зале отдела Научной библиотеки МГУ имени М.В.Ломоносова в учебном корпусе №1 по адресу:

Москва, Ломоносовский проспект, д.27, к.4, сектор «Б», 3-й этаж, комн. 300.

Автореферат разослан «» 2010 года.

Ученый секретарь Диссертационного совета:

Кандидат философских наук Д.В. Зайцев

Общая характеристика работы

Диссертационная работа представляет собой исследование в области трехзначных логик. Разработка этих логик послужила началом развития одного из центральных разделов современной неклассической логики – многозначной.

Возникновение неклассических логик, в том числе многозначных, было продиктовано актуальными проблемами логики и философии. Системы многозначных логик, и их подкласс – трехзначные логики, строились на основании пересмотра принципов классической логики и применялись для решения конкретных познавательных задач.

Критика принципа двузначности имела различные предпосылки и основания, что привело к возникновению различных трехзначных систем. Так, первая трехзначная логика – логика Лукасевича (1920 г.) была построена в связи с анализом проблемы высказываний о будущих случайных событиях и связанной с ней проблемой логического фатализма. Другие системы трехзначных логик возникли в связи с необходимостью преодоления логических и семантических парадоксов. С другой стороны, возникает задача корректной работы с противоречивыми высказываниями, и эта важная, в том числе с философской точки зрения, задача в рамках трехзначной логики решается построением паранепротиворечивых систем. Особый класс среди трехзначных логик представляют регулярные логики. Они конструировались и использовались в качестве аппарата для работы с неразрешимыми утверждениями (утверждениями, которые невозможно ни доказать, ни опровергнуть).

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

Необходимо сказать, что в целом задача изучения различных классов логик и представление их в виде структур занимает значительное место в логических исследованиях со второй половины ХХ века, и в некоторых областях была успешно решена. Так, например, были построены и изучены решетки модальных логик, решетки суперинтуиционистских логик (логик без закона исключенного третьего (si-логики), или класс логик без закона сокращения (s-логики)). В работе А.С.Карпенко1 построены булевы решетки аксиоматик импликативных логик. Однако все это решетки однотипных логик.

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

Степень разработанности проблемы. Первой работой в области взаимоотношения трехзначных логик является работа В.И. Шестакова 2, в которой автор рассматривает «логику Клини-Бочвара» (она получается за счет комбинирования связок логики Бочвара и логики Клини), функционально эквивалентную трехзначной логике Лукасевича 3. Там же автор показывает, что логика Клини и логика Бочвара функционально вложимы в 3. В другой своей работе3 В.И. Шестаков рассматривает расширения B3 и K3 до функционально полных трехзначных логик.

В вопросах взаимоотношения трехзначных логик, выразимости в них связок большое значение имеет работа В.К. Финна4. В этой работе впервые показывается, как посредством сильных связок Клини можно определить слабые. Здесь же, автором представлены своеобразные нормальные формы для логики B3, посредством которых можно представить любую логическую связку этой логики. Заметим, что наличие таких форм для связок той или иной Karpenko A.S. The classification of propositional calculi // Studia Logica. Vol. 66. № 2. P. 253-271.

Шестаков В.И. О взаимоотношении некоторых трехзначных логических исчислений // Успехи математических наук. Том 19. Вып. 2(116). 1964. С. 177-181.

Шестаков В.И. О некоторых расширениях исчислений Бочвара и Клини до функционально полных трехзначных исчислений // Научно-техническая Информация. Серия 2(12). 1967. C. 12-17.

Финн В.К. Аксиоматизация некоторых трехзначных исчислений высказываний и их алгебр // Философия в современном мире. Философия и логика. М.: Наука, 1974. C. 398-438.

логической системы имеет принципиально важное значение при изучении взаимоотношений логических систем, например, при доказательстве того, что одна трехзначная логика не является функционально вложимой в другую. В этой же работе приводится аксиоматизация и алгебраизация некоторых трехзначных систем. В связи с логикой Бочвара B3 упоминается трехзначная логика Холдена, показывается, что последняя функционально вложима в B3. В другой работе В.К.Финна5 описаны 11 предполных классов логики Бочвара.

Показано, что логика Холдена функционально вложима в один из них.

Далее, в книге Л. Годдарда и Р. Раутли6 представлена серия трехзначных (а также четырехзначных) систем, названных логиками значения; истинностные значения, отличные от истины и лжи, в них интерпретируются либо как неполнота информации, либо как незначимость. Но в этой работе лишь перечисляются системы, отсутствует формальное определение понятия «логика значения». Этот недостаток устраняется в работе В.К. Финна, О.М. Аншакова, Р.Ш. Григолия, М.И.Забежайло7. Здесь же представлена классификация алгебраические семантики соответствующих логик. В качестве подкласса логик значения выделяется класс логик бессмысленностного типа. В свою очередь логики бессмысленностного типа делятся на два основных подкласса: логики сильно бессмысленностного типа и логики слабо бессмысленностного типа.

Характерными представителями первого подкласса являются трехзначная логика Бочвара В3 и трехзначная логика Холдена Н3. Здесь промежуточное значение понимается как «самая сильная» незначимость (бессмыслица). Среди логик слабо бессмысленностного типа наиболее интересным представителем функциональным свойствам является промежуточной между В3 и 3. Что Финн В.К. О критерии функциональной полноты для В3 // Исследования по формализованным языкам и неклассическим логикам. М.: Наука, 1974. C. 194-199.

Goddard L., Routley R. The logic of significance and context. Edinburgh and London. 1973.

Финн В. К., Аншаков О. М., Григолия Р. Ш., Забежайло М. И. Многозначные логики как фрагменты формализованной семантики // Семиотика и информатика. 1980. Вып. 15. С. 27-60. См. также Finn V., Grigolia R. Nonsense logics and their algebraic properties // Theoria. Vol. LIX. Parts 1-3. 1993. P. 207-273.

касается самой 3, то в предложенной классификации она вообще не является логикой значения и называется логикой неопределенностного типа.

Интересный результат в области взаимоотношений трехзначных логик и их систематизации принадлежит А. Аврону8. Здесь выделяется класс так расширение логики Клини K3. Это логики K3, 3, LPF, RM3 и PCont.

Приводятся доказательства функциональной эквивалентности некоторых систем: 3 и LPF, RM3 и PCont. Однако основное внимание уделено отношению логического следования в каждой из этих систем, приводится секвенциальная формулировка этих систем со свойством устранимости сечения. Заметим, в эту классификацию не попадает такая известная логика, как трехзначная логика Бочвара B3, являющаяся расширением слабой логики Клини.

Взаимоотношениям внутри класса трехзначных регулярных логик Клини четырехэлементной решетки.

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

Цели и задачи исследования. Целью данного диссертационного исследования является применение систематизирующего подхода к изучению Avron A. Natural 3-valued logics–characterization and proof theory // The Journal of Symbolic Logic.1991.Vol.56. № 1.P.276-294.

Комендантская Е.Ю. Функциональная взаимовыразимость регулярных логик Клини // Логические исследования. Вып. 15.

2009. С. 116-128.

трехзначных логик в виде решеток относительно отношения функционального вложения.

Для достижения указанных целей, в ходе работы над диссертационным исследованием были поставлены следующие задачи:

философски значимые трехзначные логики;

Исследовать свойства и взаимоотношения между регулярными Сформулировать определение понятия естественной импликации и представить класс естественных импликаций;

Описать импликативные расширения регулярных логик Клини;

доказать утверждения о функциональной вложимости некоторых импликативных расширений в другие; доказать утверждения о известным трехзначным логикам;

Описать класс стандартных р-логик и их свойства. Рассмотреть импликативных расширений в другие; доказать утверждения о известным трехзначным логикам;

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

Методологическая основа исследования. В процессе диссертационного доказательстве утверждений.

В методологическом плане принципиальным является трактовка термина «логика». Это, в свою очередь, непосредственно определяет методологию исследования.

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

Логические связки являются знаками истинностных функций.

Функциональная трактовка термина «логика» была выбрана, поскольку, во-первых, ни одна из регулярных логик Клини не имеет тавтологий при одном выделенном значении, во-вторых, такой подход удобен для сравнения различных логик.

Укажем некоторые базовые понятия, а также ряд ключевых определений, существенно используемых на протяжении всей работы.

f(x1,…,xn) от любого конечного числа переменных, областью определения которых и областью значения самой функции является множество V3 = {0, 1/2, 1}. Множество всех трехзначных функций обозначается посредством P3.

Пусть F – некоторое непустое множество 3-значных функций, по индукции определим понятие формулы над F.

Базис индукции. Каждая функция f(x1,…,xm) из F называется Индуктивный переход. Пусть fi(x1,…,xm) – функция из F и A1,…,Am – выражения, являющиеся либо формулами над F, либо символами переменных (аргументов). Тогда выражение fi(A1,…,Am) называется Клини С. К. Введениев метаматемитику. М.: Иностранная литература. 1957. §64.

Функция f выразима (определима) через функции множества F, если существует формула над F, которая реализует функцию f.

Если функция f реализуется формулой, которая составлена только из символов функций f1,…,fk (а также символов переменных), то функция f является суперпозицией функций f1,…,fk, а процесс получения функции f из f1,…,fk называется операцией суперпозиции.

Система функций F = {f1,…,fk…} из P3 называется функционально полной, если любая функция из P3 представима посредством суперпозиций функций из системы F.

Система F функций называется функционально предполной в P3, если F представляет не полную систему, но добавление к F любой функции f такой, что f P3 и f F, преобразует F в полную систему.

Итак, поскольку связки являются знаками истинностных функций, то, соответственно, если говорим о том, что некоторая связка определима посредством некоторого множества связок М (например, М = {1,…, n}), то имеем в виду, что функция, знаком которой является, выразима через функции, знаками которых являются связки из М.

Таким образом, имеем следующие определения 1-5.

ОПРЕДЕЛЕНИЕ 1. Трехзначная логика S – функционально полна, если всякая связка трехзначной логики определима посредством связок S. Или, другими словами, если система функций S, соответствующая логике S, является функционально полной в P3.

ОПРЕДЕЛЕНИЕ 2. Трехзначная логика S – функционально предполна, если она не является функционально полной, но добавление к S связки, которая не выразима посредством исходных связок логики S, превращает S с этой связкой в функционально полную логику. Или, другими словами, если система функций S, соответствующая логике S, является функционально предполной в P3.

ОПРЕДЕЛЕНИЕ 3. Логика S функционально вложима в логику S, если все связки логики S могут быть определены посредством связок логики S.

ОПРЕДЕЛЕНИЕ 4. Логика S функционально эквивалентна логике S, если (1) логика S функционально вложима в логику S и (2) логика S функционально вложима в логику S.

ОПРЕДЕЛЕНИЕ 5. Собственным расширением логики S назовем некоторую логику S со множеством связок, которое представляет собой пополнение исходного множества связок логики S связкой, которая не может быть определена посредством исходных связок системы S.F Кроме того, в ходе диссертационной работы будут привлекаться элементы теории решеток12:

ОПРЕДЕЛЕНИЕ 6. Отношения, обладающие свойством рефлексивности, антисимметричности, транзитивности, называются отношениям частичного порядка. Множества, на которых заданы такие отношения – частично упорядоченные множества.

ОПРЕДЕЛЕНИЕ 7. Пусть Н L и х L. Тогда х называется верхней границей подмножества Н, если h x для всех h H. Верхняя граница х подмножества Н называется его верхней гранью или супремумом, если х у для любой верхней границы у подмножества Н. Понятие нижней границы и инфимума определяется аналогично (двойственным образом).

ОПРЕДЕЛЕНИЕ 8. Ч.у. множество < L, > называется решеткой, если для всех х, у L, существуют sup{x,y} и inf{x,y}.

Научная новизна работы. В диссертационном исследовании впервые представлены в виде решеток относительно отношения функциональной вложимости различные трехзначные логики. При этом элементами этих решеток являются наиболее известные трехзначные логики, а именно, трехзначная логика Лукасевича 3, трехзначная логика Бочвара B3, трехзначная паранепротиворечивая логика PCont. Кроме этого появляются трехзначные логики неизвестные ранее. Все эти логики являются импликативными расширениями слабой регулярной логики Клини K w. И таких логик всего семь, Далее, говоря о расширении некоторой трехзначной логики, будем иметь ввиду «собственно расширение некоторой трехзначной логики», слово «собственное» для удобства будем опускать.

Гретцер Г. Общая теория решеток. М.:Мир, 1982.

их мы назвали базовыми трехзначными логиками. Эти логики являются нормальными в смысле Лукасевича-Тарского, и для каждой из них имеет место теорема дедукции.

Подобный подход применяется и к другому классу логик, который образуют так называемые стандартные р-логики. В этот класс кроме уже известных логик 3 и B3 в качестве импликативных расширений попадают трехзначная логика Гейтинга G3 и трехзначная логика Эббинхауза E3.

Как обобщение стандартных р-логик и в связи с ними впервые определен и рассмотрен класс естественных р-логик, здесь появляется трехзначная логика Сетте P1.

Впервые показана функциональная эквивалентность логики P1 и I1, которые ранее в литературе рассматривались исключительно с точки зрения дуальности друг к другу и по функциональным свойствам считались различными.

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

Кроме того, в ходе исследования найдены многочисленные функционально эквивалентные построения для известных трехзначных логик 3, B3, G3, PCont, P1.

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

Основные положения, выносимые на защиту. В ходе проведенной работы были получены следующие результаты:

Импликативные расширение регулярных логик Клини образуют вложения одной логики в другую. Элементами решетки являются логики 3, B3, PCont, Z, а также ранее не встречавшиеся в литературе логики T1, T2, T3;

Трехзначная логика 3 может быть представлена как стандартная сильная дважды р-логика и как стандартная промежуточная рлогика; стандартная слабая р-логика есть трехзначная логика образуют два класса: класс логик, по функциональным свойствам эквивалентных логике Лукасевича 3, с другой стороны, класс систем, функционально эквивалентных логике G3;

Импликативные расширения стандартной сильной дуальной рлогики образуют один класс: класс логик, по функциональным свойствам эквивалентных логике Лукасевича 3;

образуют три класса: класс логик, по функциональным свойствам эквивалентных логике Лукасевича 3, с другой стороны, класс систем, функционально эквивалентных логике E3, а также класс логик, эквивалентных логике T3;

относительно отношения функциональной вложимости;

Трехзначные логики P1 и I1 функционально эквиваленты и характеризуются в терминах естественных р-логик;

функционально эквивалентно множеству внешних связок логики Научно-практическая значимость работы. Теоретическая значимость работы заключается в систематическом подходе к рассмотрению проблемы взаимоотношения различных трехзначных логик. Материалы и выводы диссертационного исследования могут иметь практическое применение при разработке спецкурсов по неклассическим логикам.

Апробация работы. Полученные в ходе исследования результаты докладывались на научно-исследовательском семинаре сектора логики Института философии РАН (апрель 2010 г.), на международных конференциях «Смирновские чтения» (Москва, 2007 г., 2009 г.), на XIV Международной конференции студентов, аспирантов и молодых ученых «Ломоносов» (Москва, 2007), на IX Общероссийской научной конференции «Современная логика:

проблемы теории, истории и применения в науке» (Санкт-Петербург, 2006г.).

Структура диссертации.

глав, заключения, списка использованной литературы.

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

В первой главе – «История возникновения трехзначных логик» – исследованы основные источники появления трехзначности в логике и представлены наиболее известные представители семейства трехзначных логик.

Глава состоит из 3 параграфов.

Трехзначная логика возникла как одна из возможных альтернатив логике классической. Одним из главных принципов последней является принцип бивалентности (двузначности): в классической интерпретации всякое высказывание является или истинным, или ложным. Трехзначная логика возникает, когда к двум классическим истинностным значениям добавляется третье значение. В связи с этим в первую очередь возникает вопрос о мотивах введения в логику третьего истинностного значения. Однако далее с введением дополнительного истинностного значения возникает проблема обоснования новых логических связок, непосредственно построение самих логических систем. Именно по такой схеме наряду с регулярными логиками Клини представлены все наиболее известные и важные представители класса трехзначных логик.

В параграфе 1.1 – «Логика Лукасевича 3» – рассмотрены философские основания возникновения первой и самой известной трехзначной логики – логики Лукасевича 3. Приведены истинностные таблицы, определяющие связки 3.