Приглашаем посетить сайт
МНОГОЗНАЧНАЯ ЛОГИКА
МНОГОЗНАЧНАЯ ЛОГИКА - область совр. логики, охватывающая логич. исчисления (исчисления высказываний и предикатов), в к-рых высказываниям приписывается любое конечное (большее, чем 2) или бесконечное множество значений истинности. В М. л. исследуются также свойства этих исчислений (независимость осн. функций, полнота и т.п.) и отношения между ними.
Оставаясь в рамках принципа двузначности (согласно к-рому каждое высказывание либо истинно, либо ложно), логики сталкивались с затруднениями при оценке значений истинности высказываний о переходных состояниях, модальных высказываний, высказываний, в к-рых не указано время или место события, и т.д. Однако эти затруднения смогли сыграть роль стимулов к построению многозначных логич. систем лишь после разработки совр. методики логич. исследования в рамках математической логики. Существенную роль в развитии М. л. сыграла интуиционистская критика классической логики (см. Интуиционизм).
Исторически первой системой М. л. является трехзначное исчисление высказываний Лукасевича (1920). Исходя из анализа свойств и взаимоотношений модальных высказываний (см. Модальная логика), Лукасевич пришел к выводу, что здесь нужна логика, в к-рой, помимо обычных значений истинности ("истинно", "ложно"), фигурирует от треть значение ("возможно"). Независимо от Лукасевича построил систему М. л. Э. Пост (1921). В отличие от Лукасевича, Пост при разработке своей системы М. л. исходил из чисто формальных соображений: он просто допустил, что число значений истинности высказываний может быть бóльшим, чем 2, и исследовал вытекающие из этой гипотезы последствия для логики высказываний.
В трехзначной логике Лукасевича значения истинности высказываний отождествляются с числами 1 (истинно), 0 (ложно) и ½ (третье значение). В качестве основных выбираются две функции [обозначаемые через N и С и соответствующие отрицанию и (материальной) импликации двузначной логики ], к-рые определяются так: (1) Nx=1-x (т. е. Νx=0 при х=1, Νx=1 при х=0 и Νx=1/2 при х=1/2). (2) Cxy=min (1,1-х+у) [т. е. значение истинности импликации высказываний х и у равно меньшему из чисел 1 и 1-х+у; напр., при х=1 и у=1/2 импликация Сху имеет значение min (1,1-1+1/2)=1/2 ]. В табличной форме эти определения имеют вид:
Функции трехзначной логики Лукасевича, соответствующие дизъюнкции и конъюнкции двузначной логики (обозначаемые через А и К), определяются так: (3) Аху=mах (х, у) (т. е. значение истинности дизъюнкции х и у равно большему из значений истинности х и у); (4) Kxy=min (х, у) (т.е. значение истинности конъюнкции х и у равно меньшему из значений истинности х и у). Функции А и К можно определить через N и С, соответственно, как ССхуу и NCCNxNyNy [или в др. символике (см. Логика высказываний): ((x⊃y)⊃y) и ((x⊃y)⊃y) ]. В свою очередь функцию С можно определить через N и А или через N и К. Но в логике трехзначная система Лукасевича известна как система с осн. функциями N и С.
Высказывания, принимающие значение 1 при любых значениях истинности образующих их высказываний (аргументов), рассматриваются в качестве законов трехзначной логики Лукасевича (или тавтологий, или всегда истинных высказываний). Таковы, напр., высказывания CNNхx и CxNNx. Законы: исключенного третьего, ΑхΝx, и противоречия, NKxNx, двузначной логики в трехзначной системе Лукасевича законами не являются, т. к. при x=1/2 они имеют значение истинности 1/2(A1/2N1/2 = A1/21/2 = 1/2; NK1/2N1/2 = NK1/21/2 = N1/2 = 1/2). Не являются в ней законами и их отрицания, т. к. при x=1 и при x=0: ΝΑxΝx=0, ΝΝΚxΝx=0. Логику Лукасевича можно рассматривать как обобщение двузначной в следующем смысле: если исключить третье значение, мы получим обычную двухзначную логику высказываний (см. Алгебра логики).
Система Лукасевича с осн. функциями N и С не является функционально полной, т.е. в ней не все функции можно определить с помощью только N и С. Примером функции, к-рую нельзя определить указ. способом, является функция одного аргумента, принимающая значение 1/2 при любых его значениях (т.н. функция Слупецкого, обозначаемая через Тх). Система Лукасевича была аксиоматизирована Тарским и М. Вайсбергом. В дальнейшем Лукасевичем были построены др. системы М. л., в частности бесконечно-значная логика. Последняя получается путем обобщения приведенных выше определений функций N и С, при к-ром в качестве значений истинности высказываний принимаются действит. числа от 0 до 1.
Многозначная система Поста характеризуется такими осн. чертами. Среди значений истинности t1 t2, ..., tm (где m может быть любым натуральным числом, но таким, что m≥2) значение t1 соответствует истинности, a tm - ложности. Осн. функции, через к-рые можно определить все остальные, суть отрицание () и дизъюнкция (/). Они определяются так: (I) если x имеет значение ti (l≤i≤m), то имеет значение tк(1≤к≤;m), где к=i+1 при i Во втором направлении шли работы А. Гейтинга, сов. ученых Д. А. Бочвара и В. И. Шестакова, работы Рейхенбаха, Клини, франц. ученой П. Детуш-Феврие и др. Так, Гейтинг формализовал интуиционистскую логику высказываний (к-рую в силу результата К. Гёделя можно рассматривать как М. л. с бесконечным числом значений истинности) с целью оправдать исключение из числа логич. средств принципа исключенного третьего; Бочвар построил трехзначную логику с целью решения парадоксов логики путем формального доказательства бессмысленности определ. высказываний; Рейхенбах использовал трехзначное построение для преодоления ряда филос. и логич. трудностей квантовой механики; Шестаков исследовал возможности моделирования М. л. предложений посредством электрич. схем. Идеи и аппарат М. л. использовались и разрабатывались также (Лукасевич, Рейхенбах) в связи с теорией вероятностей (Если в к.-л. бесконечно-значной системе логики пропозиц. переменные истолковать как события, то ее значения истинности естественно интерпретировать как вероятности этих событий), в связи с системами строгой и сильной импликаций (К. И. Льюис, нем. математик В. Аккерман) и т.д. В последние годы делаются серьезные попытки использования М. л. в кибернетике (напр., в теории программирования, при разработке информационно-логич. машин и др.).
Исчисления (системы) М. л. задаются чаще всего с помощью истинностных таблиц (матриц), определяющих логич. операции. Известны исчисления, в к-рых число значений истинности предполагается равным трем, четырем и т.д., а также системы, где предполагается любое конечное или бесконечное множество значений. Для любой такой системы имеет смысл задача обзора всех возможных функций истинности. Число таких функций для m аргументов при n значениях истинности равно nnm. Осн. путь при этом состоит в том, чтобы свести исследование сложных функций к исследованию элементарных, отыскать нек-рое (обычно конечное) множество функций, с помощью к-рых можно определить (записать) все возможные функции данной системы. Сами осн. функции не должны при этом сводиться друг к другу. Известно много систем М. л., в к-рых все возможные функции истинности могут быть определены с помощью основных (функционально полные системы). Таковы, напр., системы Поста, Лукасевича - Слупецкого, Россера - Тюркетта и др. Полной является система, основывающаяся на одной единственной функции - т.н. функции Вебба, к-рая является анáлогом и обобщением функции Шеффера двузначной логики. Эта функция определяется (для n-значной логики, в к-рой значениями истинности являются 0, 1, 2, ..., n-1, где n≥2) как [max (x, у) +1 ] (modn).
В качестве удобного метода обзора тавтологий систем М. л., заданных с помощью матриц, можно использовать их аксиоматическое описание. При этом для каждого матричного построения существует хотя бы одно аксиоматическое, эквивалентное ему (что означает, что множество выводимых в этом аксиоматич. построении формул совпадает с множеством тавтологий данного матричного построения). Однако не для всякого аксиоматич. построения имеется эквивалентное ему матричное (таковы, напр., системы строгой импликации). Для интуиционистского исчисления высказываний имеется эквивалентное матричное построение лишь при счетнобесконечном числе значений истинности (работы Яськовского, сов. математика Б. Ю. Пильчак, Дж. Роуза).
Возникновение и развитие М. л., а также попытки использования ее при решении науч. проблем поставили ряд филос. вопросов, - таких, как вопросы о понимании дополнительных (кроме истинности и ложности) значений истинности с т.зр. теории отражения, о взаимоотношении М. л. и двузначной логики, о связи логики с особенностями исследуемой предметной области и т.п. Выяснилось, что М. л. не противоречит двузначной логике, а находится с ней в различных отношениях иного рода: для построения n-значных систем достаточно (мета)языка двузначной логики; многозначные построения выступают как обобщения двузначного построения, так что последнее есть частный случай (при n=2) первых; из двузначной логики могут быть получены многозначные системы по определ. правилам и т.п. Факты интерпретации многозначных логич. систем в виде модальной логики, логики нормативных высказываний, на языке технич. устройств, на языке квантовой механики и т.п. показали, что эти системы имеют вполне реальный смысл, являясь отображением свойств определ. предметных областей. Использование связанных с идеями М. л. дополнит. значений истинности, таких, как бессмысленность, неопределенность, неразрешимость и т.п., получило широкое распространение в науке. Возникновение М. л. показало ошибочность представлений об абсолютном, априорном, независимом от развития познания действительности характере законов двузначной логики. Вместе с тем М. л. выступила как более глубокое и обобщенное (сравнительно с двузначной логикой) средство исследования свойств человеч. мышления.
Лит.: Бочвар Д. Α., Об одном трехзначном исчислении..., Матем. сб., нов. сер., т. 4(46), вып. 2, 1938; его же, К вопросу о непротиворечивости одного трехзначного исчисления, там же, нов. сер., т. 12 (54), вып. 3, 1943; Шестаков В. И., Представление характеристических функций предложений посредством выражений, реализуемых релейно-контактными схемами, "Изв. АН СССР. Сер. матем.", 1946, т. 10, No 6; его же, Моделирование операций исчисления предложений посредством простейших четырехполюсных схем, в сб.: Вычислительная математика и вычислительная техника, вып. 1, М., 1953; его же, О двойной арифметич. интерпретации трехзначного исчисления высказываний, в сб.: Применение логики в науке и технике, [М., 1960 ]; Яблонский С. В., О функциональной полноте в трехзначном исчислении, "Докл. АН СССР", т. 95, 1954, вып. 6; его же, Функциональные построения в к-значной логике, Тр. Математич. ин-та АН СССР, т. 51, 1958; Лукасевич Я., Аристотелевская силлогистика с точки зрения совр. формальной логики, пер. с англ., М., 1959; Łukasiewicz J., O logice trójwartościowej, "Ruch Filozoficzny", rok 5, 1920, No 9; Post E. L., Introduction to a general theory of elementary propositions, "Amer. J. Math.", 1921, v. 43, No 3; Heyting Α., Die formalen Regeln der intuitionistischen Logik, "Sitzungsberichte der Preussischen Akademie der Wissenschaften. Physikalischmathematische Klasse", Jg 1930, Stück 2; Łukasiewicz J., Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls, "Sprawozdania z posiedzeń Towarzystwa Naukowego Warszawskiego", wydział 3, rok 23, 1930; Łukasiewicz J., Tarski Α., Untersuchungen über den Aussagenkalkül, там же; Słupecki J., Pelny trójwartościowy rachunek zdań, "Sprawozdania z posiedzeń Towarzystwa Naukowego Warszawskiego", wydział 3, rok 29, 1936; Wajsberg M., Aksjomatyzacja trójwartościowego rachunku zdań, там же, wydział 3, rok 24, 1931; Lewis С. I., Langford С. H., Symbolic logic, N. Y.-L., 1932; Webb D. L., Generation of any N-valued logic by one binary operation, "Proc. Nat. Acad. Sci. USA", 1935, v. 21; его же, The algebra of n-valued logic, "Sprawozdania z posiedzeń Towarzystwa Naukowego Warszawskiego", wydział 3, rok 29, 1936-37; Zawirsкi Z., Geneza i rozwój logiki intuicjonistycznej, "Kwartalnik Filozoficzny", 1946, t. 16; Destouсhes-Février P., La structure des théories physiques, P., 1951; Rosser J. B. and Turquette A. R., Many-valued logics, Amst., 1952; Suszko R., Formalna teoria wartości logicznych, "Studia Logica", t. 6, 1957.
A. Зиновьев. Москва.