Поделиться Поделиться

Трехзначная система Рейтинга

В двузначной логике из закона исключенного третьего выво­дятся: 1) Трехзначная система Рейтинга - Инвестирование - 1 2) Трехзначная система Рейтинга - Инвестирование - 2 Исходя из утверждения, что истинным является лишь второе, Гейтинг разработал трехзначную пропо­зициональную логику. В этой логической системе импликация и отрицание отличаются от определений этих операций у Лукасе­вича лишь в одном случае. «Истина» обозначается 1, «ложь» — 0, «неопределенность» — 1/2. Тавтология принимает значение

1 (табл. 15, 16).


Таблица 15

Отрицание Гейтинга

х
½

Таблица 16

Импликация Гейтинга

х /у 1/2
½ ½

1) [Сху]=1 ,если Трехзначная система Рейтинга - Инвестирование - 3

2) [Сху] = [у],если Трехзначная система Рейтинга - Инвестирование - 4

Конъюнкция и дизъюнкция определены обычным способом как минимум и максимум значений аргументов.

Если учитывать лишь значения функций 1 и 0, то из матриц системы Гейтинга вычленяются матрицы двузначной логики. В этой трехзначной логике закон непротиворечия является тавто­логией, но ни закон исключенного третьего, ни его отрицание тавтологиями не являются. Оба правильных модуса условно-категорического силлогизма, формула Трехзначная система Рейтинга - Инвестирование - 5 правила де Моргана и закон исключенного четвертого: Трехзначная система Рейтинга - Инвестирование - 6 — тавто­логии.

Хотя по сравнению с логикой Лукасевича в матрицах отрица­ния и импликации Гейтингом в его системе были произведены небольшие изменения, результаты оказались значительными: в системе Гейтинга являются тавтологиями многие формулы классического двузначного исчисления высказываний.

Трехзначная система Бочвара30

Система советского логика Д. А. Бочвара построена на раз­делении высказываний на имеющие смысл (т. е. истинные или ложные) и бессмысленные. Бочвар выделяет внешние формы (или функции) и внутренние. Внутренние формы Бочвар называет классическими содержательными функциями переменных выска­зываний, а внешние формы — не классы чески ми. У Бочвара «ис­тина» обозначается Л, «ложь» — F, «бессмысленность» — S. Мы обозначим «истину» как 1, «ложь» — 3, «бессмысленность» — 2. Тавтология принимает значение 1; а, Ь, с... обозначают перемен­ные высказывания.

В настоящей работе не приводится полное определение функ­ций (в силу его сложности). Бочвар ввел два вида отрицания — внутреннее и внешнее, которые определяются таблично, Трехзначная система Рейтинга - Инвестирование - 7 — внутреннее отрицание, Трехзначная система Рейтинга - Инвестирование - 8 — внешнее отрицание, Трехзначная система Рейтинга - Инвестирование - 9 — внутрен­нее отрицание внешнего утверждения.

В системе Бочвара ни закон тождества двузначной логики, ни его отрицание не являются тавтологиями. Отрицание закона тождества сыграло важную роль при анализе парадокса Рассела. Бочвар же не отбрасывает принцип «а есть а» или Трехзначная система Рейтинга - Инвестирование - 10 в его системе формулане Трехзначная система Рейтинга - Инвестирование - 11 является доказуемой.

Противоречиями в логике Бочвара являются следующие формулы: 1) Трехзначная система Рейтинга - Инвестирование - 12 2) Трехзначная система Рейтинга - Инвестирование - 13 3)Здесь знак Трехзначная система Рейтинга - Инвестирование - 14 означает Трехзначная система Рейтинга - Инвестирование - 15 внешнюю равнозначность (эквивалентность), знак Трехзначная система Рейтинга - Инвестирование - 16 — внеш­нюю равносильность.

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

n-значная система Поста31

Система Поста является обобщением двузначной логики, ибо при л=2 в качестве частного случая мы получаем двузначную логику. Своей системе Пост дал интерпретацию. Значения истин­ности суть 1, 2,..., л Трехзначная система Рейтинга - Инвестирование - 17 где л конечное число. Тавтологией является формула, которая всегда принимает такое значение i, что Трехзначная система Рейтинга - Инвестирование - 18 где Трехзначная система Рейтинга - Инвестирование - 19 значения 1, ..., S называются выделенными или отмеченными; возможно, что Трехзначная система Рейтинга - Инвестирование - 20

Пост вводит два вида отрицания (N*x и N1x)y соответственно называемые циклическим и симметричным. Они определяются путем матриц и посредством равенств.

Первое отрицание определяется двумя равенствами:

1. LY1x]=M+l при Трехзначная система Рейтинга - Инвестирование - 21

2. [^п]=1.

Второе отрицание определяется одним равенством:

[N2x]=n-[x] + \.

Матрица, определяющая первое и второе отрицания, имеет вид табл. 17.

Таблица 17

x N 2x N 2x
. . . n -1 n . . . n n n -1 n -2 n -3 . . .

Характерной особенностью двух отрицаний Поста является то, что при л=2 эти отрицания совпадают между собой и с от­рицанием двузначной логики, что подтверждает тезис: много­значная система Поста есть обобщение двузначной логики.

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

Если значениями истинности являются 1, 2, 3, то из n -значной системы Поста вычленяется трехзначная логика, т. е. Ръ. Анало­гично при значениях истинности 1, 2, 3, 4 получается четырех­значная логика Р4 и т. д.

Трехзначная система Р3 Поста имеет следующую форму (табл. 18, 19).

Трехзначная система Рейтинга - Инвестирование - 22

В этих таблицах приняты обозначения, введенные Постом при n-3:первое отрицание обозначается через Трехзначная система Рейтинга - Инвестирование - 23 второе отрицание — через Трехзначная система Рейтинга - Инвестирование - 24 конъюнкция — через Трехзначная система Рейтинга - Инвестирование - 25 дизъюнкция — через Трехзначная система Рейтинга - Инвестирование - 26 импликация — через Трехзначная система Рейтинга - Инвестирование - 27 эквиваленция — через Трехзначная система Рейтинга - Инвестирование - 28

Если в качестве значений истинности взяты лишь 1 «истина» и 3 «ложь», то из таблиц системы Р3 Поста вычленяются таблицы для отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции двузначной логики.

В системе Рэ тавтология принимает значение 1; закон ис­ключенного третьего не является тавтологией ни для первого, ни для второго отрицания Поста, но является тавтологией закон исключенного четвертого для первого отрицания.

Трехзначная система Рейхенбаха32

Аппарат многозначных логик находит все более широкое применение в различных науках. Проанализируем применение аппарата трехзначной логики Г. Рейхенбаха к квантовой меха­нике.

Большинство операций этой системы было введено уже По­стом, но с целью приложения своей системы к квантовой меха­нике Рейхенбах вводит новые. У Поста было введено два вида отрицания — первое и второе. В системе Рейхенбаха они называ­ются циклическим отрицанием и диаметральным отрицанием, кроме них Рейхенбах ввел полное отрицание. В системе Рейхен­баха имеются стандартная импликация Трехзначная система Рейтинга - Инвестирование - 29 и стандартная эк­вивалентность Трехзначная система Рейтинга - Инвестирование - 30 Вводятся и другие операции: альтернативная импликация Трехзначная система Рейтинга - Инвестирование - 31 , квазиимпликация Трехзначная система Рейтинга - Инвестирование - 32 и альтернативная эквива­лентность Трехзначная система Рейтинга - Инвестирование - 33 Знаком «•» обозначена конъюнкция, —ди­зъюнкция. Трехзначная система Рейтинга - Инвестирование - 34

Таблица для трех видов отрицаний Рейхенбаха. Обозначения:

Трехзначная система Рейтинга - Инвестирование - 35 — циклическое отрицание; — А — диаметральное отрица­ние; Трехзначная система Рейтинга - Инвестирование - 36 — полное отрицание.

Рейхенбах обозначил «истину» как 1, «неопределенность» — 2, «ложность» — 3. Тавтология принимает значение 1 (табл. 20).

Таблица 20

Трехзначная система Рейтинга - Инвестирование - 37

Другие функции Рейхенбаха определяются матрицами так (табл. 21).

Трехзначная система Рейтинга - Инвестирование - 38

Отметим ряд свойств, присущих отрицаниям в системе Рей­хенбаха.

Для циклического отрицания верен закон снятия тройного отрицания: Трехзначная система Рейтинга - Инвестирование - 39 т. е. в результате тройного отрицания

А возвращаемся к исходному значению А. Для циклического отрицания законы непротиворечия и исключенного третьего, пра­вила де Моргана двузначной логики не являются тавтологиями, но тавтологией является закон исключенного четвертого:

Трехзначная система Рейтинга - Инвестирование - 40

Для диаметрального отрицания сохраняется правило снятия двойного отрицания: Трехзначная система Рейтинга - Инвестирование - 41 Ни сами законы непротиворечия и исключенного третьего, ни их отрицания при диаметраль­ном отрицании не являются тавтологиями.

Для полного отрицания оказались тавтологиями закон непро­тиворечия, псевдозакон исключенного третьего, закон исключен­ного четвертого, правила де Моргана, закон Трехзначная система Рейтинга - Инвестирование - 42

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

Трехзначная система Рейтинга - Инвестирование - 43 (1)

Ранее отмечалось, что для циклического отрицания является тавтологией закон исключенного четвертого: Трехзначная система Рейтинга - Инвестирование - 44 Последние два члена его можно заменить на основании равенства (1) на Трехзначная система Рейтинга - Инвестирование - 45 и получить для полного отрицания формулу Трехзначная система Рейтинга - Инвестирование - 46 которую Рейхенбах назвал «псевдозаконом исключенного третье­го», ибо он не имеет свойств закона исключенного третьего двузначной логики. Причина последнего в том, что полное от­рицание не имеет свойств обычного отрицания: оно не дает нам возможности определить значение истинности А, если мы знаем, что Трехзначная система Рейтинга - Инвестирование - 47 истинно. Из табл. 22, определяющей полное отрицание, следует, что если Трехзначная система Рейтинга - Инвестирование - 48 истинно, то А может быть как ложным, так и неопределенным.

Трехзначная система Рейтинга - Инвестирование - 49

Вследствие этой двусмысленности для полного отрицания нельзя определить обратной операции, т. е. операции, ведущей от Трехзначная система Рейтинга - Инвестирование - 50 к А.

Взаимосвязь трех видов отрицания выражается в том, что закон непротиворечия сохраняется в таких трех формах:

1) Трехзначная система Рейтинга - Инвестирование - 51

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

Сам Рейхенбах так пишет о значении трехзначной логики для квантовой механики: «Введение третьего значения истинности не делает все высказывания квантовой механики трехзначными. Рамки трехзначной логики достаточно широки, чтобы включать класс истинно-ложных формул. Когда мы хотим все высказывания квантовой механики ввести в состав трехзначной логики, то руководящей идеей будет: поместить в истинно-ложный класс те высказывания, которые мы называем законами квантовой меха­ники»33.

← Предыдущая страница | Следующая страница →