WWW.LIT.I-DOCX.RU
БЕСПЛАТНАЯ  ИНТЕРНЕТ  БИБЛИОТЕКА - различные публикации
 

«Мы должны отличать вопрос «Что есть истина?» от совершенно другого вопроса «Что является истинным?». Ф. Рамсей abstract. In this paper we develop a new conception of two-component ...»

Две истины — одна логика1

Д. В. Зайцев, О. М. Григорьев

Мы должны отличать вопрос

«Что есть истина?»

от совершенно другого вопроса

«Что является истинным?» .

Ф. Рамсей

abstract. In this paper we develop a new conception of two-component truth-values combining ontological and epistemological strands. In

so doing we rst present philosophical justication for this approach

and then consider algebraic and semantical (valuational) systems of twocomponent truth .

Ключевые слова: обобщенные истинностные значения, релевантная логика первого уровня, логика Данна–Белнапа, двухкомпонентная истинность, редукция истинностных значений 1 От истины Дана–Белнапа к истине Шрамко–Ванзинга: обобщенные истинностные значения и функция мультиоценки В современной философской логике все больший интерес вызывает проект обобщенных истинностных значений и соответствующих функций приписывания значений. Наиболее важные вехи развития этого проекта представлены известной «полезной»

четырехзначной логикой Н. Белнапа для рассуждающего компьютера, [1, 2] и не менее полезной шестнадцатизначной логикой компьютерной сети Я. Шрамко и Г. Ванзинга [10]. В последнее время на страницах «Логических исследований» этой теме уделялось серьезное внимание (см., например, [16, 18]), однако для того чтобы сделать данную статью самодостаточной, мы Работа поддержана РГНФ. Грант №10-03-00221а .

122 Д. В. Зайцев, О. М. Григорьев посчитали возможным предварить изложение наших идей кратким экскурсом в область обобщенных истинностных значений и функций оценки .

Несмотря на то что логика Белнапа получила широкую известность и со временем стала практически парадигмальной, исторически первая обобщенная релевантная логика была построена Дж. М. Данном в работе [4]. Данн исходил из идеи пресыщенных оценок и истинностно-значных провалов, когда одна и та же формула может принимать как оба традиционных значения «истина» и «ложь», так и ни одно из них. В результате получается четыре случая приписывания значений: два «нормальных», один пресыщенный и один с провалом значений. Два последних случая приписываний оказываются актуальными, когда необходимо иметь дело с противоречивой и неполной информацией соответственно. Именно поэтому свои новаторские идеи Данн развивал применительно к так называемой релевантной логике первого уровня (rst-degree entailment, или FDE) .

Существует несколько способов задания обобщенной функции приписывания значений, допускающей как провалы оценок, так и пресыщенные оценки. Для данной работы наиболее интересны два из них, принадлежащие Данну (см. также [5] и [6]) и Белнапу .

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

Тогда указанные выше четыре случая приписывания значений произвольной формуле могут быть представлены следующим образом:

1. формуле в качестве значения приписано множество {и};

2. формуле в качестве значения приписано множество {л};

3. формуле в качестве значения приписано множество {и, л};

4. в качестве значения приписано пустое множество .

Такой подход позволяет говорить не только об обобщении множества истинностных значений через операцию взятия множества-степени, но и через обобщение самой функции приписывания. В работе [18] предложено называть такую функцию Две истины — одна логика 123 «функцией мультиоценки» .





При этом следует иметь в виду, что даже случаи 1 и 2, кажущиеся, на первый взгляд, вполне классическими, тем не менее существенно отличаются от стандартных приписываний значений в классической пропозициональной логике. Отметим еще раз, классическая оценка предполагает приписывание формуле ровно одного элемента из множества {и, л}, в то время как мультиоценка ставит формуле в соответствие ровно одно подмножество этого множества.

Таким образом:

• формула A истинна в классическом смысле, если и только если vc (A) = и;

• формула A истинна в обобщенном смысле, если и только если vg (A) = {и}, где vc — функция оценки в классической пропозициональной логике, а vg — обобщенная функция мультиоценки .

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

1. Компьютеру была сообщена только истина, т. е. источники информации согласованно утверждают некоторое высказывание — этот случай компьютер Белнапа помечает значением T;

2. Компьютеру была сообщена только ложь, т. е. источники информации согласованно отрицают некоторое высказывание — этот случай компьютер Белнапа помечает значением F;

3. Компьютеру были сообщены истина и ложь одновременно, т. е. один источник информации утверждает, а другой отрицает некоторое высказывание — этот случай компьютер Белнапа помечает значением B;

4. Компьютеру не были сообщены ни истина, ни ложь, т. е .

источники информации не передают компьютеру никакой информации относительно некоторого высказывания — этот случай компьютер Белнапа помечает значением N .

124 Д. В. Зайцев, О. М. Григорьев

Достаточно легко заметить, что четыре эпистемические ситуации, в которых обнаруживает себя компьютер Белнапа, могут быть очевидным образом интерпретированы с использование функции мультиоценки:

• значение T соответствует {и};

• значение F соответствует приписыванию {л};

• значение B соответствует приписыванию {и, л};

• значение N соответствует приписыванию .

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

Белнап естественным образом показал, как четыре обобщенных значения истинности образуют дистрибутивную решетку с дополнением Де Моргана, известную в двух проекциях. Одна из них логическая решетка L4 служит основой для семантической релевантной логики первого уровня. При этом значение T оказывается максимальным элементом, а F — минимальным. Другая проекция представляет собой аппроксимационную решетку A4, упорядоченную по возрастанию информации. В этом случае максимальным элементом оказывается уже B, а минимальным — N. Совмещение двух этих решеток в одной алгебраической структуре приводит к понятию бирешетки, введенному М. Гинзбургом. Рисунок 1 иллюстрирует бирешетку FOUR 2 с двумя отношениями порядка: логический порядок (t) по горизонтали и информационный (i) по вертикали. Бирешетки оказались весьма интересным средством изучения понятия истинности и моделирования различных видов нестандартных рассуждений .

Следующий шаг в обобщении истинностных значений был сделан Я. Шрамко и Г. Ванзингом при участии Дана и Текенака и связан с понятием мультирешетки, являющимся обобщением бирешетки. В статье [9] вводится понятие n-мерной мультирешетки «как структуры, на которой определены в точности n частичных порядков, каждый из которых выражает ту или иную Две истины — одна логика 125

–  –  –

степень наличия определенного свойства у элементов рассматриваемого множества (в данном случае множества обобщенных истинностных значений)» [18, с. 285] .

ОПРЕДЕЛЕНИЕ 1. N -мерная мультирешетка представляет собой структуру M = S, 1, 2,..., n, где S есть непустое множество, а 1, 2,..., n — отношения частичного порядка, определенные на S так, что S, 1, S, 2,..., S, n суть различные решетки .

В качестве примера интересной мултирешетки остановимся на алгебраической структуре, представляющей обобщение решетки FOUR 2 до SIXTEEN 3 с тремя независимыми отношениями порядка по истинности, ложности и информации. К ее построению Шрамко и Ванзинг приходят, довольно естественным образом обобщая полезную логику Белнапа до шестнадцатизначной логики компьютерной сети. Шрамко и Ванзинг развивают компьютерную метафору, задаваясь вопросом, какая логика получится у сервера, коммуницирующего с целой сетью четырехзначных компьютеров. Очевидно, что эпистемические ситуации компьютерного сервера будут отличаться от тех, в которых находился компьютер Белнапа — теперь одно и то же высказывание может быть сообщено, к примеру, со значениями {и, л} и {и}. Поиск ответа на этот любопытный вопрос приводит к дальнейшему обобщению истинностных значений. В распоряжении сервера должна находиться логика, базирующаяся 126 Д. В. Зайцев, О. М. Григорьев

–  –  –

Рис. 2. Трирешетка SIXT EEN3 (проекция t — f ) на шестнадцатизначном семантическом каркасе, представляющем собой множество-степень множества 4 .

Для каждого из отношений порядка могут быть заданы свои собственные операции объединения и пересечения, а также на решетке SIXT EEN3 определяется несколько инверсий. Таким образом, становится возможно использовать обобщенный семантический подход для выявления свойств различных операций в рамках единой алгебраической конструкции. Обобщенный язык Ltf включает пропозициональные связки t, t, ¬t, f, f, ¬f, ассоциированные с соответствующими алгебраическими операциями. Рассматривая соответствующие логики, Шрамко и Ванзинг получают весьма примечательный результат, позволивший им метафорически заявить: «rst-degree entailment everywhere!», т. е. логика компьютерной сети любой степени сложности совпаДве истины — одна логика 127 дает с известной системой выводимостей FDE, а именно представляет собой релевантную логику первого уровня. Другой вариант обобщения представлен в работе [12], где в качестве базиса для обобщения выбирается трехэлементное множество значений логик Клини .

Любопытные системы получаются в результате «смешения»

языков. В последнем выступлении Г. Ванзинга на конференции «Шестые Смирновские чтения по логике» (Москва, 17–19 июля

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

2 Две истины или одна: Логико-философский экскурс Проект обобщенных истинностных значений в качестве стартовой точки рассматривает классические значения истинности, трактуемые в духе Фреге как атомарные абстрактные логические объекты, подобные по своему онтологическому статусу числам. Между тем в контексте логико-философского исследования вполне оправданно подвергнуть сомнению и эту идею. Является ли то, что мы называем истиной (истинностным значением), абсолютно примитивной и неделимой сущностью? Или, если взглянуть на эту проблему несколько по-другому, всегда ли мы под термином «истина» имеем в виду одно и то же? При этом речь идет не о многочисленных концепциях истины, а именно о словоупотреблении. Можно ли с уверенностью утверждать, что говоря «данное высказывание истинно», мы всегда подразумеваем один и тот же смысл? Представляется, что на этот вопрос можно ответить негативно. Существует как минимум две совершенно разных интерпретации смысла приведенного высказывания, которые дальше будут обозначены как онтологическая и эпистемологическая .

Онтологическая трактовка истинности в логике наиболее ярко представлена в логическом проекте Фреге. Истина — это знаД. В. Зайцев, О. М. Григорьев чение декларативного предложения, его референциальная характеристика, и в этом смысле истина — объект в логическом мире Фреге. Соответственно логика оказывается наукой о бытии истины, а логическое следование предстает как обусловленное фундаментальными онтологическими отношениями между логическими объектами. Таким образом, утверждать, что данное высказывание истинно, значит, согласно онтологической интерпретации, утверждать, что значением данного высказывания является логический объект — истина .

Конкурирующий эпистемологический проект предполагает трактовку истинности как некоторой оценки. При этом истина теряет свой абсолютный онтологический характер и в определенном смысле релятивизируется. Тем самым «трудный» метафизический вопрос о природе истины фактически снимается .

Истина становится свойством, которое сохраняется при переходе от посылок к заключению в корректном рассуждении («такие характеристики, как “быть истинным” и “быть ложным”, тоже являются признаками» [15, с. 17]). Суть эпистемологического подхода к логике очень емко выразил Э. Мендельсон на первых страницах своего «Введения в математическую логику» .

«Истинность или ложность отдельных посылок или заключений не интересует логика. Он желает лишь знать, вытекает ли истинность заключения из истинности посылок» [17, с. 1] .

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

Таким образом, оказывается вполне оправданно различать два понимания истины: референциальную истину как абстрактный объект, выступающий в качестве значения (референта) высказывания, и инференциальную истину как номинализацию свойства «быть истинным», как оценку высказывания, которая переносится в правильном рассуждении с посылок на заключение .

Две истины — одна логика 129 Отмеченное различие в трактовке истины отнюдь не является чисто логическим. В истории философии онтологическая и эпистемологическая интерпретации истины встречаются достаточно часто. В качестве примера можно вспомнить трактат Ансельма Кентерберийского «Об истине», в котором разводятся «правильность и истинность высказывания (rectitudo et veritas enuntiationis), поскольку оно обозначает то, для обозначения чего было создано» и «правильность и истинность, поскольку оно обозначает в силу полученного свойства обозначать» (см. [14, с .

207–208]). При этом первое неизменно присуще высказыванию от природы, а второе переменно и привходяще. Вторит Ансельму Фома Аквинский, утверждающий, что предложение «Сократ сидит», в случае сидящего Сократа истинно в обоих смыслах — и по истине вещи (et veritate rei) как значащее выражение, и по истине обозначения (veritate signicationis) как обозначающее истинное мнение, а в случае вставшего Сократа вторая истинность исчезает («Summa theologica»: I. 16, 2 к 3) .

Еще более поразительное свидетельство о двойственном понимании истины содержится в буддистской доктрине двух истин (тиб. bden-pa gnyis). Согласно этой концепции существуют две истины: поверхностная, относительная, конвенциональная истина (тиб. kun-rdzob bden-pa) и глубинная, абсолютная (тиб. don-dam bden-pa). Их сложные взаимоотношения в одной из принятых интерпретаций могут быть проиллюстрированы через дистинкцию сущности и явления. Известны диаметрально противоположные трактовки двух истин — как взаимодополняющего единства (Цонкопа) и как контрадикторного противоречия, не совместимого в единой сущности (Горампа). См., например, [11] .

В современной философии сознания это противостояние находит свое любопытное продолжение. Еще в 1950 г. в своей известной статье «Истина» Джон Остин писал:

«Мы спрашиваем себя, является ли Истина субстанцией (Истина, Корпус Знания), либо она представляет собой качество (что-то сходное с красным цветом, неотъемлемо присущим истинам), либо отношение («корреспонденция»)» [13, с. 175 ] .

В этом же контексте можно вспомнить популярную в недавнем прошлом диалектику абсолютной и относительной истины, второй, эпистемический компонент которой вообще представляет 130 Д. В. Зайцев, О. М. Григорьев собой бесконечное множество степеней истинности, приближающихся, но не достигающих идеала онтологической истины .

За прошедшие годы тема онтологической и эпистемической истины не потеряла своей актуальности. Б. Эллиса, начинавший с предложения отправить на свалку истории старое метафизическое (онтологическое) понимание истины и заменить его новым эпистемологическим (см. [8]), в 2005 г.

подводит некоторый итог своих философских исканий:

«Я думаю, проблема состоит в том, что истина в самом деле является гибридным понятием... На данный момент, имея дело с гибридной природой истины, я предпочитаю разводить вопросы эпистемологии и онтологии»

[7, с. 20 ] .

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

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

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

Кроме всего прочего оказывается, что идея совмещения двух истин в одном не является столь новой и революционной. Здесь Две истины — одна логика 131 опять приоритет принадлежит буддийской философии, но на этот раз не тибетской, а китайскому варианту. Китайский мыслитель Цзи Цзан (549–623), ученик великого Фа Лана, один из выдающихся идеологов школы саньлунь оставил благодарным потомкам труд под названием «Смысл двух истин» .

В одном из разделов этой книги благодаря применению метода чатушкотики (буддийская тетралемма) он сумел обосновать так называемое «учение о четырех видах двух истин». Следует отметить, что основой учения о четырех видах послужила «концепция четырех альтернатив», разработанная его учителем Фа Ланом. Согласно Фа Лану, каждая из двух истин (в традиции китайского буддизма они интерпретировались соответственно как светская, мирская истина и реальная, подлинная истина) может «трансцендировать», «выходить за границы», «преодолевать» (chueh) или «не трансцендировать», «не выходить за границы», «не преодолевать» (pu-chueh). При этом трансцендируют они по-разному. Мирская истина преодолевает реальность и способствует временному бытию, тогда как подлинная истина преодолевает временное бытие и утверждает реальность. Впрочем, здесь мы касаемся материй, далеких от темы данной статьи. При желании с ними можно подробно ознакомиться, воспользовавшись книгой [3] .

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

3 Редукция истинностных значений Обобщение — не единственный способ получать новые совокупности истинностных значений. Оказывается, обратная процедуД. В. Зайцев, О. М. Григорьев ра — редукция — также открывает интересные возможности в исследовании систем истинностных значений и их логик .

Осуществляя редукцию некоторой системы истинностных значений, мы отталкиваемся от того, что уже было ранее получено как результат обобщения. Например, обобщая множество 2 классических истинностных значений, получаем множество 4, а редукция 4 дает обратно множество 2. Что даст редукция, примененная к множеству 2? Естественно предположить, что результатом такой редукции будет множество 1, т. е. множество {t}. Тогда система классических истинностных значений может быть обратно получена из 1 обобщением, если полагать, что {t} есть аналог классического значения t («истина»), а — аналог значения f («ложь») .

В предыдущем разделе речь шла о различении (по меньшей мере) двух трактовок истинности — референциальной и инференциальной. Идея редукции истинностных значений предоставляет удобный аппарат для формального построения семантики с двумя по-разному понимаемыми значениями «истина». Для начала возьмем два различных символа, t и 1, для представления референциальной и инференциальной истины соответственно. Будем рассматривать их как редуцированные истинностные значения. То есть в качестве исходным объектов мы принимаем {t} и {1}. Тогда привычные двухэлементные множества истинностных значений {t, f } и {1, 0} возникают как множества степени множеств {t} и {1}: P ({t}) = {{t}, } и P ({1}) = {{1}, }, где выступает в качестве представителя лжи (f в одном, и 0 в другом случае). Теперь рассмотрим пропозициональные языки и семантические структуры, соответствующие двум описанным трактовкам истины .

Пусть Lt — пропозициональный язык со связками t, t и ¬t .

Определение формулы в этом языке стандартное. Для интерпретации языка построим следующую алгебраическую систему:

Vt = P ({t}), t, t, t, t — и зададим оценку t как отображение множества пропозициональных переменных на множество P ({t}). Операции t и t представляют собой обычные теоретико-множественные операции пересечения и объединения, а t есть операция дополнения .

Две истины — одна логика 133

–  –  –

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

Ясно, что отношения |=t и |=1 совпадают по объему с классическим отношением следования .

Следующий шаг — описание общей семантической структуры, которая может служить для интерпретации формул, для которых допускаются как референциальные, так и инференциальные истинностные значения. В качестве базиса такой структуры используем множество II = {t} {1}. Обобщение этого множества есть множество P (II).

Для элементов этого множества введем следующие обозначения:

{t, 1} — T1;

{t} — T0;

{1} — F1;

— F0 .

На множестве этих истинностных значений зададим стандартные теоретико-множественные операции и. Нетрудно проверить, что множество P (II) с данными операциями образует четырехэлементную решетку .

Теперь можно начать построение пропозиционального языка LT V, содержащего пока только связки и как аналоги решеточных операций. Таким образом, определяя функцию оценки как отображение множества пропозициональных переменных на P (II), мы уже знаем, как расширить эту функцию на сложные выражения, содержащие в качестве главного знака связки 134 Д. В. Зайцев, О. М. Григорьев

–  –  –

Следующий вопрос — какие одноместные операции на множестве P (II) будут интересны и какого типа отрицания будут им соответствовать в нашем пропозициональном языке?

Рассмотрим ситуацию с точки зрения референциальной истинности t. Естественно определить на множестве P (II) такую унарную операцию t, которая при отображении не затрагивает инференциальный компонент истинностного значения, т. е .

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

Образом этого элемента является, в соответствии со сказанным, элемент F1 .

Аналогичные рассуждения можно провести и в отношении инференциальной истины, вводя на множестве P (II) унарную операцию 1. Табличное определение описанных операций приведено на рис. 4 .

Продолжая построение пропозиционального языка LT V, добавим к набору его исходных символов знаки операций отрицания:

¬t и ¬1. Ясно, что расширенная оценка для формул с внешними отрицаниями задается выражением (¬i A) = i (A), где Две истины — одна логика 135

–  –  –

i {t, 1}. Отношение следования определяется через теоретикомножественное включение:

ОПРЕДЕЛЕНИЕ 3. Для всяких формул языка LT V, A |= B (A) (B) .

Заметим, что было бы правильнее называть эти отрицания «полуотрицаниями» в силу некоторых свойств этих логических связок, отличающих их от «полноценного» классического отрицания.

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

–  –  –

Рис. 5. Сводная таблица унарных операторов (1) и (2) — булево отрицание ();

(1) и (2) — тождественное преобразование (i) .

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

А вот отрицание Де Моргана относится уже к «гетерогенной»

группе .

«Гетерогенные» унарные связки:

(3) и (4) — «левый поворот» ( );

(3) и (4) — «правый поворот» ( );

и (4) — отрицание Де Моргана (¬r );

(3) (3) и (4) — семантический сдвиг () .

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

Совместить условия из разных групп чисто механически не представляется возможным. Однако ничто не мешает рассмотреть суперпозиции различных одноместных операторов. Вообще говоря, каждая из групп оказывается замкнутой относительно суперпозиции одноместных операторов. Но стоит допустить суперпозицию операторов из разных групп, и некоторые одноместные операторы получают новое, интересное выражение. Так, странные связки левого и правого поворотов из «гетерогенной группы» оказываются выразимы через полуотрицания «гомогенной группы» и оператор «звезды» из «гетерогенной» групД. В. Зайцев, О. М. Григорьев пы: левый поворот равносилен сочетанию ¬1 или ¬2. А булево отрицание из «гомогенной» группы вполне предсказуемо выражается через тот же оператор «звезды» и отрицание Де Моргана: есть не что иное, как ¬r или ¬r .

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

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

5 Заключение Итак, подводя итоги нашего исследования, следует отметить, что предложена новая трактовка истинностных значений как комплексных молекулярных образований. Редукция этих комплексов, двойственная процедуре обобщения, позволяет выявить в их составе референциальную (онтологическую) и инференциальную (эпистемолгическую) составляющие, что находит свои подтверждения в истории философии. Формализация пространства комплексных истинностных значений и построение соответствующей системы значений привели к обнаружению двух унарных операторов, названных в статье «полуотрицаниями». Каждое из таких полуотрицаний обладает ровно половиной свойств обычного отрицания, а их суперпозиция равносильна классическому булеву отрицанию .

На очереди формализация получившейся системы значений (семантической логики). Кроме того, дополнительный интерес представляет рассмотрение возможности построения логик только с одним из полуотрицаний и логик с несколькими «гомогенными» или «гетерогенными» унарными связками .

Две истины — одна логика 139 Литература [1] Belnap N. D. A useful four-valued logic // Dunn J. M. and Epstein G.(eds.), Modern Uses of Multiple-Valued Logic. Reidel Publishing Company. Dordrecht, 1977 .

P. 8–37 .

[2] Belnap N. D. How a computer should think // Ryle G. (ed.). Contemporary Aspects of Philosophy. Oriel Press. 1977. P. 30–55 .

[3] Chang-Qing Shih. The two truths in Chinese Buddhism. Delhi, 2004 .

[4] Dunn J. M. The Algebra of Intensional Logics. Doctoral Dissertation. University of Pittsburgh, Ann Arbor, 1966 (University Microlms) .

[5] Dunn J. M. An intuitive semantics for rst degree relevant implications (abstract) // Journal of Symbolic Logic. 1971. Vol. 36. P. 362–363 .

[6] Dunn J. M. Intuitive semantics for rst-degree entailment and coupled trees // Philosophical Studies. 1976. Vol. 29. P. 149–168 .

[7] Ellis B. Constructing an Ontology // Valore P. (ed.), Topics on General and Formal Ontology. Polimetrica. International Scientic Publisher. 2005. P. 15–26 .

[8] Ellis B. An Epistemological Concept of Truth // Brown R., Rollins C. D. (eds.), Contemporary Philosophy in Australia. 1969. Vol. 6. P. 52–72 .

[9] Shramko Y., Dunn J. M. and Takenaka T. The trilattice of constructive truth values // Journal of Logic and Computation. 2001. Vol. 11. P. 761–788 .

[10] Shramko Y., Wansing H. Some useful sixteen-valued logics: How a computer network should think // Journal of Philosophical Logic. 2005. Vol. 34. P. 121–153 .

[11] Thakchoe S. The relationship between the two truths: a comparative analysis of two Tibetan accounts // Contemporary Buddhism. 2003. Vol. 4. P. 111–127, [12] Zaitsev D. A few more useful 8-valued logics for reasoning with tetralattice EIGHT 4 // Studia Logica. 2009. Vol. 92. P. 265–280 .

[13] Аналитическая философия: становление и развитие. М., 1998 .

[14] Ансельм Кентерберийский. Об истине // Антология средневековой мысли .

СПб., 2001. С. 203–230 .

[15] Бочаров В. А., Маркин В. И. Введение в логику. М., 2007 .

[16] Ванзинг Г., Шрамко Я. В. Логика компьютерных сетей // Логические исследования. Вып. 12, М., 2005 .

[17] Мендельсон Э. Введение в математическую логику. М., 1971.




Похожие работы:

«НАУЧНАЯ БИБЛИОТЕКА "Тебе все чувствовать дано." : Русская литературная критика в журналах XIX начала XX вв. Виртуальная выставка периодических изданий из фонда редкой и ценной книги НБ ДВФУ Владивосток НАУЧНАЯ БИБЛИОТЕКА "Тебе все чувствовать дано." Виртуальная выставка, посвящённая теме русской л...»

«1 АНКЕТА ПОРУЧИТЕЛЯ (юридического лица) Дата оформления анкеты ""_20 г.1. Общие сведения о поручителе Наименование поручителя (полное, сокращенное, на иностранном языке) Наименование Заемщика (за кого поручается Поручитель) Ме...»

«Г. П. ФЕДОТОВ Проблемы1б2д2щей1России Цер$овь О Церкви в новой России можно говорить в двух планах. Рас сматривая извне, это частная тема — тема об отношении государ ства к православным культовым организациям. Взятая изнутри, т. е. по существу, это тема безмерная, тема вселенская, в которой скрыто решение и...»

«20. Святой преподобный Сергий Радонежский. Жизнеописа­ ние, составленное к 500-летию со дня кончины Препо* добного Сергия в 1892 г. иеромонахом Никоном (Рожде­ ственским), впоследствии архиеписк...»

«Л.В. Байбакова МЕТАМОРФОЗА СТЕРЕОТИПА АМЕРИКАНСКОЙ ИСКЛЮЧИТЕЛЬНОСТИ В ЭПОХУ СТАНОВЛЕНИЯ ГЛОБАЛЬНОГО МИРОПОРЯДКА (КОНЕЦ XIX – НАЧАЛО XX ВЕКА) В статье рассматривается эволюция стереотипа американской исключительности и дается анализ теоретических основ его различных м...»

«173 Продолжение реферата об астролябии VIII Восточные астролябии. Странные цифры "5", "6", "3" и "8" На первых 172 страницах реферата рассказано об истории и об устройстве астролябии, а также приведены иллюстрации астролябий из Музея истории науки в Оксфорде и...»

«МИНИСТЕРСТВО КУЛЬТУРЫ РОССИЙСКОЙ ФЕДЕРАЦИИ ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ "СЕВЕРО-КАВКАЗСКИЙ ГОСУДАРСТВЕННЫЙ ИНСТИТУТ ИСКУССТВ" Исполнительский факультет Кафедра народных инструментов РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ История и...»







 
2018 www.lit.i-docx.ru - «Бесплатная электронная библиотека - различные публикации»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.