Текст книги "Новая философская энциклопедия. Том второй Е—M"

Автор книги: авторов Коллектив

сообщить о нарушении

Текущая страница: 86 (всего у книги 132 страниц)

ЛОГИКА ПРАВДОПОДОБНЫХ ВЫВОДОВ И РАССУЖДЕНИЙ. Ряд работ посвящено индуктивной логике: Н. А. Алешина, С. П. Будбаева, В. И. Метлов, В. С. Меськов, Б. Н. Пят– ницын, В. К. Финн и др.; причем развиваются различные подходы. С 1974 В. К. Финн (а затем О. М. Аншаков, Д. П. Скворцов, Д. В. Виноградов, С. О. Кузнецов и др.) начинает исследовать индуктивные методы Д. С. Милля средствами неклассических логик, и в первую очередь средствами многозначных логик. Складывается направление в теории правдоподобных рассуждений, названное ДСМ-методом. Удается формализовать индуктивные схемы Милля, аналогию и абдукцию и показать взаимодействие между индукцией, абдукцией и дедукцией. Исследуется и метод автоматического порождения гипотез. В 80-е и 90-е гг. в основном на страницах журналов «Семиотика и информатика» и «Научно-техническая информация» публикуется серия работ по ДСМ-методу. Т. о., разрабатывается логический аппарат для создания интеллектуальных систем. В этом направлении исследований логика рассматривается как наука о правильном рассуждении и рациональной организации знаний. Были разработаны основы логики аргументации, в которой в качестве аргументов используются автоматически порожденные гипотезы. В смежной области работает также Д. А. Поспелов.

ЛОГИЧЕСКАЯ СЕМАНТИКА И АНАЛИЗ

ЕСТЕСТВЕННОГОЯЗЫКА. Проблемы логической семантики: семантика Крипке, семантики типа Монтегю, конструктивная семантика, обобщенная семантика, фактор-семантика, тернарная семантика, семантика с несколькими отношениями достижимости, алгебраическая семантика, категорная семантика, содержательная семантика, «естественная» семантика и целый ряд других семантик для тех или иных классов логических систем или вообще для какой-то специальной логики всегда занимали большое место в работах логиков России 2-й пол. нашего века. Усилиями Е. Д. Смирновой основано философски ориентированное направление в отечественной логической семантике (первая монография в 1982). В этой области работали: Ю. А. Гладких, С. Н. Гоншорек, Г В. Гриненко, И. Н. Грифцова, Н. Я. Куртонина, В. Б. Родос, 3. А. Сокулер, Е. Г. Чёрная и др. Одновременно с этим логико-семантические методы применяются к анализу естественного языка. В этой области работает и Н. Д. Арутюнова. Оригинальные работы принадлежат также Е. В. Падучевой: это анализ естественно-научных языков (геометрия), сфера действия кванторных слов и отрицания в естественных языках, понятие денотативного статуса, лежащего в основе современной лингвистической теории референции, в частности теории анафоры; ею же предложен подход к композиционному описанию лексики и синтаксиса, базирующегося на идее синтаксических трансформаций (монографии: 1974, 1985). Исходя из определенных семантических соображений, Б. В. Бирюков разрабатывает логику ложных высказываний (1972), а С. А. Павлов строит логику с оператором ложности (1990). Отметим работы Д. Г. Лахути и В. Ш. Рубашкина, разработавших компьютерные программы для анализа и понимания текста на естественном языке (80-е и 90-е гг.) СИЛЛОГИСТИКА. Исследование силлогистических теорий средствами символической логики – одно из ведущих направлений в современной российской логике. Интерес к данной проблематике возник после издания в 1959 на русском языке перевода фундаментальной работы Я. Лукасевича «Аристотелевская силлогистика с точки зрения современной формальной логики» (под редакцией П. С. Попова). В 60-е и 70-е гг. основное внимание уделялось алгебраическому представлению силлогистики (А. Л. Субботин) и построению аксиоматических систем силлогистики без законов силлогистического тождества – более слабых, чем силлогистика Лука-

412

ЛОГИКА В РОССИИ севича (В. А. Смирнов). Мощный импульс активной разработке проблем силлогистики в нашей стране придало проведенное в 1982 в Ленинграде Всероссийское координационное совещание, на котором была определена программа и сформулированы направления исследований в этой области на перспективу. В России сложилась научная школа по силлогистике, идейным вдохновителем которой был В. А. Смирнов. Представителями данной школы получен ряд результатов, позволяющих вписать силлогистику в контекст современной логики. Осуществлена формальная реконструкция неаристотелевских силлогистик – фундаментальной силлогистики Брентано—Лейбница, силлогистического фрагмента логики Больцано, силлогистик Льюиса Кэрролла иН.А. Васильева (В. И. Маркин, Н. Г. Колесников, В. А. Смирнов, К. И. Бахти– яров). Доказана погружаемость различных систем силлогистики в классическое исчисление предикатов (В. А. Смирнов, В. И. Маркин). Установлены метатеоретические взаимосвязи силлогистических теорий с булевой и квазибулевой алгебрами (В. А. Бочаров, В. М. Попов), а также с элементарной онтологией С. Лесьневского (В. А Смирнов, В. А. Бочаров). Предложены различные подходы к семантической и синтаксической реконструкции аподиктического фрагмента модальной силлогистики Аристотеля (Е. К. Войшвилло, В. А. Смирнов, В. И. Маркин). Построены системы сингулярной и негативной силлогистик, эксплицирующие различные способы введения в силлогистический язык единичных и отрицательных терминов (В. И. Маркин, В. А. Бочаров, В. М. Попов). В 1984 появляется монография В. А. Бочарова, а в 1991 – В. И. Маркина. Исследования российских ученых по силлогистике осуществлялись в тесном взаимодействии с грузинскими логиками (М. И. Бежанишвили, Л. И. Мчедлишвили и др.), получившими в данной области ряд важных результатов.

ЛОГИКА И МЕТОДОЛОГИЯНАУК. Эта тема широко разрабатывалась логиками, философами и методологами науки, включая и логические аспекты исследований, т. е. применение современной логики для обсуждения и решения тех или иных методологических и философских проблем. Нередко под прикрытием критики логического позитивизма (см. обзорную статью по логике В. А. Бочарова, Е. К. Войшвилло, А. Г. Драгалина и В. А. Смирнова в журнале «ВФ», 1979, № 6) удавалось отвоевывать как само поле деятельности для логиков-философов и методологов, так и «запрещенную» проблематику, и получать при этом оригинальные результаты. Это был вынужденный компромисс с официальной идеологией. В 30-е гг. С. А. Яновская и В. Ф. Асмус начинают исследовать логико-методологические и философские проблемы оснований математики. Появляются работы Яновской о роли абстракций и идеализации в познании и о способах введения понятий. Ю. А. Петров под руководством Яновской публикует монографию (1967), в которой анализируются проблемы абстракции бесконечности и осуществимости. Современную теорию понятия, привлекая средства символической логики, создает Е. К. Войшвилло (1967,1989). Вопросам абстракции и образования понятий посвящена книга Д. П. Горского (1962); им же исследована специфика определений в различных теориях (1974). В свою очередь M. M. Новоселов вводит методологически важное понятие интервала абстракции и на его основе ряд таких понятий, как абстракция постоянства, абстракция индивидуации. абстракция неразличимости и др., сопровождая введение этих понятий их алгебро-логическим анализом; в частности, он формулирует аксиоматику для отношения тождества с мерой транзитивности (1978), законы композиции для отношения неразличимости (1984) и логику неразличимостей как модель псевдобулевой структуры (1989), а на основе интервальной концепции тождества предлагает решение парадокса Рассела (1998). В совместной работе Б. В. Бирюков и М. М. Новосёлов (впервые на формально-акс иоматической основе) исследуют свойства научного объяснения (1988). Проблему отрицательных высказываний в познании подробно исследовали А Д. Гетманова (1972) и

Я ЯБродский (1973). В работах А. А. Старченко, Ю. В. Ивлева, А. А. Ивина, И. Ю. Алексеевой, В. Б. Родоса и др. активно развивалась теория аргументации. В последнее время новый подход к теории понятия и аргументации разрабатывается В. К. Финном. Проблемы аксиоматического метода рассматриваются в работах А. С. Есенина-Вольпина и В. Н. Садовского. Философские основания логических систем и самой логики исследовались Е. Д. Смирновой. Отчасти сюда же относятся работы Е. Е. Ледникова, В. Н. Брюшинкина, Г. В. Сориной. В коллективных работах «Проблемы логики научного познания» (1964) и «Логика научного исследования» (1964) была сформулирована программа разработки логики и методологии научного познания. Ряд интересных работ помещен уже в сб. «Логика и методология науки» (1967). К этой же тематике примыкает монография Б. В. Бирюкова «Кибернетика и методология науки» (1974), в которой, в частности, анализируются основные черты логической формализации и предлагается основанная на логике экспликация феномена понимания. Ряд авторов (Л. Б. Баженов, Б. С. Грязнов, А. А. Зиновьев, В. Н. Карпович, С. А. Лебедев, Е. Е. Ледников, Ю. A. Петров, Г. И. Рузавин, В. Н. Садовский, К. Ф. Самохвалов, B. А. Смирнов, В. С. Швырёв, Э. Г. Юдин и др.) детально разрабатывают различные вопросы методологии дедуктивных и эмпирических наук. Методология искусственного интеллекта развивалась в работах Д. А. Поспелова и В. К. Финна. Ключевым понятием методологии наук, позволяющим использовать хорошо разработанную логическую техник)', является понятие научной теории. Важные результаты здесь были получены В. А. Смирновым в монографии «Логические методы анализа научного знания» (1987), которая была опубликована после продолжительной борьбы Смирнова с методологами, выступившими против «засилья» формальной логики. На основе фундаментальных результатов, полученных им в теории определимости, Смирнов вводит в научный оборот новые понятия об отношениях между теориями (дефини– циальная погружаемость, дефинициальная эквивалентность, рекурсивная переводимость и др.), позволившие сравнивать теории с разной категориальной структурой. Этот понятийный аппарат был использован Смирновым для установления взаимосвязей между рядом теорий, напр., для погружаемости элементарной онтологии Лесьневского в одноместное второ– порядковое исчисление предикатов. Отметим, наконец, своеобразное решение вопроса о соотношении формальной логики и философии. В силу сугубо специфических условий развития философского знания в России после высылки в 1921 лучших философов за границу логики это соотношение решили в свою пользу, привлекая самый современный логический аппарат для обсуждения, анализа, реконструкции и решения различных философских и логико-философских проблем. В этом смысле показательны коллективные сб. «Философские вопросы современной формальной логики» (1962; отв. ред. П. В. Таванец), «Философия и логика» (1974; отв. ред. П. В. Таванец и В. А. Смир-

413

ЛОГИКА В РОССИИ нов) и монография А. С. Карпенко «Фатализм и случайность будущего. Логический анализ» (1990). И если в первой еще делались реверансы в сторону диалектической логики и критиковался неопозитивизм, то во второй вообще обошлись без всего этого. (См. также ст. Философская логика).

ОСНОВНЫЕЛОГИКО-ФИЛОСОФСКИЕ ЦЕНТРЫ. Различные логические центры возникали в разных городах бывшего СССР. Очень сильная группа логиков (математиков и философов) сложилась в Тбилиси. В Киеве под руководством М. В. Поповича интенсивно исследовалась логико-методологическая проблематика. В Кишиневе, после переезда туда из Москвы А. В. Кузнецова, также сложилась активно работающая группа логиков. Различные Всесоюзные конференции по логике проводились, конечно, не только в России. Но главным центром подготовки профессиональных кадров в области логики является кафедра логики философского факультета МГУ. Была создана уникальная система специализации по логике. Большое внимание уделялось профилизации лекционных курсов применительно к специфике разных специальностей. Преподавателями кафедры были разработаны оригинальные спецкурсы: «Логика научного познания» Е. К. Войшвилло, «Квази-функциональная логика» Ю. В. Ивлевым, «Логическая семантика» Е. Д. Смирновой и многие др. Особое место в структуре специализации занимали спецкурсы В. А. Смирнова, который знакомил студентов с самыми современными направлениями исследований в мировой логической науке. Начиная с 80-х гг. вышло в свет 15 монографий, написанных преподавателями кафедры, большое количество учебников (многие из них выдержали несколько изданий) и учебных пособий. Преподавание логики на философском факультете Санкт-Петербургского (в то время Ленинградского) университета началось с сентября 1944. При кафедре начинал свой курс по математической логике А. А. Марков, потом его сменил Н. А. Шанин. С кон. 50-х – нач. 60-х гг. на факультете кроме традиционной логики преподается символическая логика. Первыми преподавателями ее из состава членов кафедры были И. Н. Бродский и О. Ф. Серебрянников. Главным педагогическим достижением кафедры логики было издание в 1977 учебника для философских факультетов «Формальная логика» в двух частях. С1990 кафедра регулярно (раз в два года) организует и проводит научные конференции «Современная логика: проблемы теории, истории и применения в науке». Сектор логики Института философии РАН всегда оставался ведущим центром научно-исследовательских работ по философской и формальной логике. Начиная с 1959 им подготовлено и выпущено в издательстве «Наука» более 20 коллективных трудов. Большой размах приобрели исследования в области неклассических логик, где был получен целый ряд интересных результатов. Научно-исследовательский семинар по логике, четверть века руководимый В. А. Смирновым, приобрел широкую известность и на нем делали доклады многие зарубежные ученые. В 1990 им был создан Институт логики, ког– нитологии и развития личности (ИЛКиРЛ). Институт ведет исследовательскую и пропагандистскую работу в области логики, принимает активное участие в проведении Российских и Международных конференций по логике. Издается литература, соответствующая профилю Института, а также электронный журнал «Логические исследования» (отв. ред. А. С. Карпенко): http://www.logic.ru/Russian/LogStud.

ЛОГИЧЕСКИЕИЗДАНИЯ. Относительно периодических изданий по логике в России сложилась ситуация, не имеющая аналогов в развитых (цивилизованных) странах, и приходится констатировать, что Россия по сей день не имеет своего логического журнала. С 1959 выходит серия «Математическая логика и основания математики». С 1962 начал выходить журнал «Алгебра и логика» (Новосибирск), где в основном публикуются работы по математике. С 1975 выходит серия «Логика и методология науки» (в основном переводы). С 1982 начали выходить труды научно-исследовательского семинара по логике, а с 1993 – ежегодник (по возможности) «Логические исследования». Заслуга в появлении последних двух изданий принадлежит В. А. Смирнову, которому пришлось для этого преодолеть немалые трудности; он же и являлся первым их ответственным редактором. Кончается XX век, страшный для России, с ее неисчислимыми жертвами и потерями. Но величие Логики как гуманитарной науки в том и состоит, что она стала спасительным прибежищем для человеческого духа. Лит.: Бажанов В. А. Прерванный полет. История «университетской» философии и логики в России. М, 1995; Башмакова И. Г., Демидов C. С, Успенский В. А. Жажда ясности.– «Вопросы истории естествознания и техники», 1996, вып. 4 (к 100-летию со дня рождения С. А. Яновской): Бирюков Б. В. Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики. М., 1985; Бочаров В. А., Войшвилло Е. К, Драгалин А. Г., Смирнов В. А. Некоторые проблемы развития логики.– «ВФ», 1979, № 6; Брюшинкин В. Н. Исследования по формальной логике (обзор советской литературы последних лет). – Там же, 1983, № 6; Избр. труды русских логиков XIX в. М, 1956; Карпенко А. С Логика в России. Вторая половина 20 в.– «ВФ», 1999, № 9; Кондаков Н. И. Из истории формальной логики в России в 50—80-х годах XIX века.– В кн.: Вопросы теории познания и логики. М., 1960; Моисеев В. Логика в России и СССР– В кн.: Русская философия. Малый энциклопедический словарь. М., 1995; Нагорный H. М. Андрей Андреевич Марков (к 90-летию со дня рождения).– «Известия РАН. Техника. Кибернетика», 1993, № 5; Очерки по истории логики в России. М., 1962; Примаковский А. П. Хронологический указатель произведений по вопросам логики, изданных на русском языке в СССР в XVIII– XX вв. М., 1955; Развитие логических идей в России,– В кн.: История философии в СССР, т. 3. М, 1968; Результаты В. А. Смирнова в области современной формальной логики (общая редакция А. С. Карпенко).– В кн.: Логические исследования, вып. 4. М, 1997; Семиотика и информатика, 1993, вып. 33 (посвящается памяти Дмитрия Анатольевича Бочвара); СилаковА. В., Стяжкин Н. И. Краткий очерк истории общей и математической логики в России. М., 1962; Стяжкин Н. И. Формирование математической логики. М., 1967; Есенин-Вольпин С А. Избранное. М., 1999; Шуринов Б. М., Бирюков П. Б. Российская логическая наука на переломе начала XX века: идеи А. И. Введенского и Н. О. Лосского.– Вестник Международного Славянского Университета, 1996, т. 1; Они же. Из истории логики отношений: вклад русской философии конца XIX века (Каринский и Рутковский).– Там же, 1997, т. 2; Яновская С. А. Основания математики и математическая логика.– Математика в СССРзаЗОлет. М., 1947; Онаже. Математическая логика и основания математики.– Математика в СССР за 40 лет, т. 1. М., 1959, § 13; Anellis I. H. Formal Logic and dialectical-materialism in the Soviet Union.– Modern Logic, 1994, № 4; Bochenski J. M. Soviet Logic – Studies in Soviet Thought, 1961, vol. 1, № 1 ; Cavaliere F. La logica formale in Unione Sovietica: Gli anni del dibattito, 1946-1965, Firenze, 1990; Mathias A. H. D. Logic and Terror– Jahrbuch 1990 der Kurt-Godel-Gesellschaft, 1991; Mints G. Proof theory in the USSR (1925-1969).– The Journal of Symbolic Logic, 1991, vol. 56, № 2; Pennino L. La logica simbolica nella produzione scientifica in lingua russa (1961 —1983). Roma—Napoli, 1990; Tikhomirov V. M. The life and work of Andreii Nikolaevich Kolmogorov.– «Russian Math. Surveys», 1988, vol. 43, № 6; Uspensky V. A. Mathematical Logic in the former Soviet Union: Brief history and curent tvends.– Logic and Scientific Methods. Dordrecht, 1997. А. С. Карпенко

414

ЛОГИКА ВЫСКАЗЫВАНИЯ

ЛОГИКА ВОПРОСОВ– формальные средства описания отношения «вопрос – ответ». Формальные средства имитации вопросов называют интеррогативами. Примерами ин– террогативов являются ли-вопросы («верно ли высказывание Л?»), какой-вопросы («каковы все те х, которые удовлетворяют условию Р(х)?»), сколько-вопросы («сколько х таких, что o(x)?») и почему-вопросы («почему химическое соединение х обладает наркотическим действием?»). Существует два подхода к построению логической теории вопросов, которые можно назвать лингвистическими и компьютерными. Согласно первому подходу, материалом для построения формальных имитаций вопросов служат реально существующие вопросы естественного языка. В рамках этого подхода строится перевод вопроса некоторого типа в соответствующий ему интеррогатив. Такой перевод существует, если для этого вопроса может быть точно описан ответ, т. е. если определимо отношение «вопрос – ответ». Согласно второму подходу, исходным материалом для формализации вопроса является формальный язык, используемый в информационных системах, ориентированный на решение некоторой совокупности информационно-поисковых задач. Каждой такой задаче соответствует предписание, в котором содержится императив – требование ее решения (напр.: «найти все химические соединения, обладающие наркотическим действием», «найти все статьи по заданной теме», «найти все, что известно о данном понятии» и т. д.). Формализация вопросов в информационном языке осуществляется на базе пробле мно-ориентированной семантики. Это означает, что каждому типу вопросов соответствует специальное вопросно-ответное отношение. Вопрос (в рамках такого подхода) понимается как запрос или требование информации определенного типа (такое понимание вопроса близко к тому, что предложил Я. Хинтикка). В интеллектуальных системах, содержащих подсистему объяснения, реализуется отношение «вопрос – ответ» для вопросов типа «почему?». В частности, процедура поиска ответа на вопрос «почему?» может содержать средства порождения гипотез о причинах рассматриваемых явлений, которые извлекаются из баз данных посредством индукции, а принимаются эти гипотезы посредством абдукции. Это означает, что вопросно-ответное отношение определяется с помощью синтеза познавательных процедур (см. Индуктивная логика). В теории вопросов Н. Белнапа и Т. Стила, относящейся к теориям вопросов лингвистического типа, строится семантика и грамматика вопросов. Под грамматикой вопросов они понимают способы правильного построения интеррогативов. Центральным понятием их теории является понятие прямого ответа, которое характеризуется тремя аспектами – выбором, требованием полноты и требованием различения. Выбор состоит из тех альтернатив, которые извлекаются из множества всех предоставляемых вопросом альтернатив и указываются в ответе. Требование полноты ответа заключается в установлении степени полноты его выбора, измеряемой по отношению ко всему множеству истинных альтернатив. Требование различения – это требование, согласно которому различные именные альтернативы должны обозначать различные реальные альтернативы. В этой теории субъектом вопроса называется множество всех возможных альтернатив. Каждый элементарный вопрос полностью характеризуется описанием субъекта вопроса и предпосылки вопроса, которая определяется требованиями выбора, степени полноты и различения. Согласно Н. Белнапу и Т. Стилу, вопрос через свой субъект задает область альтернатив, а затем «предпосылает» имеющемуся списку альтернатив инструкцию, в соответствии с которой из списка альтернатив предлагается построить конкретный тип прямого ответа. Прямой ответ есть конъюнкция, построенная из высказываний S, С и Д определяющих выбор, требование полноты и требование различения соответственно. Возможны следующие виды прямых ответов: S&C&D, S&C, S&D, S. Требование различения связано с особенностями естественных языков, а требование полноты соответствует коэффициенту полноты информационного поиска. Н. Белнапу и Т. Стилу фактически удалось имитировать лишь два типа вопросов – ли-вопросы и какой-вопросы. Развитие логики вопросов может быть полезно для построения языков запросов к базам данных и для логической систематизации социологических опросов. Лит.: БелнапН., Стил Г. Логика вопросов и ответов. М., 1981; Финн В. К. Логические проблемы информационного поиска. М., 1976; Хинтикка Я. Вопрос о вопросах.– В кн.: Философия и логика. М., 1974; Hurrah D. A Logic of Questions and Answers.– Philosophy of Science, vol. 4, 1961; Войшвимо E. К., Петров Ю. А. Язык и логика вопросов.– В кн.: Логика и методология научного познания. М, 1974. В. К. Финн

ЛОГИКАВЫСКАЗЫВАНИЙ, пропозициональная логика – раздел логики символической, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. При этом в отличие от логики предикатов внутренняя структура простых высказываний не рассматривается, а учитывается лишь, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные. Под высказыванием понимается то, что выражается повествовательным предложением. Поэтому логику высказываний некоторые авторы называют также «логикой предложений». В естественном языке существует много способов образования сложных высказываний из простых. Обычно выбирают пять общеизвестных грамматических связок (союзов): «не», «и», «или», «если..., то» и «если..., и только если». Процесс символизации языка логики высказываний состоит в следующем. Элементарные высказывания заменяются пропозициональными переменными р, q, г, ... с индексами или без них; указанным выше грамматическим связкам ставятся в соответствие (с близким смыслом) логические связки, которые получают соответственно следующие обозначения и названия: -i (отрицание), л или & (конъюнкция), v (дизъюнкция), Z) (импликация) и = (эквиваленты); и, наконец, используются скобки (,) для того, чтобы можно было по-разному группировать высказываниям и этим определять порядок выполнения операций. Отрицание называется одноместной связкой, а остальные четыре – двухместными связками. Выражением языка логики высказываний называют любую последовательность указанных выше символов. Некоторые из этих выражений объявляются правильно построенными. Их называют формулами. Формулы определяются следующими правилами, где буквы А, В... представляют произвольные высказывания: (1) всякая пропозициональная переменная есть формула; (2) если А и В – формулы, то (-А), (А л В), (A v В), (А эВ), (А=В) тоже формулы; (3) никакие другие соединения символов не являются формулами. Примерами формул являются р, ->q, -.(pvq). Внешние скобки при записи формул обычно опускают, а связки (по определению) различают по «силе связывания». Напр., знак

415

ЛОГИКА ВЫСКАЗЫВАНИЯ отрицания -I связывает сильнее, чем двухместные связки. Т. о., правила задают эффективный способ распознавания, является ли выражение логики высказываний формулой. Затем делают два основных допущения, на которых основывается семантика логики высказываний: (I) Каждое простое высказывание является или только истинным, или только ложным (принцип двузначности). «Истина» и «ложь» называются истинностными значениями высказывания и обозначаются соответственно И и Л, или 1 и 0. (II) Истинностное значение сложного высказывания определяется только истинностными значениями составляющих его простых высказываний. Это означает, что логические связки (их называют также пропозициональные связки) являются истинностными функциями. Удобным способом задания истинностных функций является табличный, где слева указываются все возможные приписывания значений аргументам (пропозициональным переменным), а справа – значения самой функции: р и и л л q и л и л PAq И л л л pvq И И и л p=>q и л и и p = q И Л Л И Р И Л -Р Л И Приведенные выше таблицы называются истинностными таблицами, а определяемые ими пропозициональные связки – классическими связками. Легко определить, сколько имеется различных классических связок. Число различных строк в таблице длины m равно 2т и на каждой из них значение функции можно задать двумя способами: И или Л. Поэтому число функций двузначной логики, зависящих от m аргументов, составляет 2 в степени 2т. Отсюда, напр., число одноместных связок равно 4, а число двухместных связок равно 16. Каждая формула задает некоторую истинностную функцию, которая графически может быть представлена истинностной таблицей, содержащей 2т строк, если в формуле имеется m различных пропозициональных переменных. При этом формула может быть такой, что на каждой строке она принимает только одно значение, равное И, или только одно значение, равное Л. В первом случае она называется тавтологией (тождественно истинным высказыванием), а во втором – противоречием (тождественно ложным высказыванием). В формальной логике тавтологии играют важную роль. Они служат для записи ее законов (Закон логический), так как тавтологии являются всегда истинными высказываниями только в силу своей символической формы, независимо от содержания входящих в них исходных высказываний. Легко установить, что формулы вида Ad A, A v-A,-. (Ал-А) являются тавтологиями. Законы, выражаемые этими формулами, называются соответственно законом тождества, законом исключенного третьего и законом непротиворечия. Исключительно важное свойство истинностных таблиц состоит в следующем: они дают эффективную процедуру для решения вопроса о том, является ли данная пропозициональная формула тавтологией. Указанная процедура называется разрешающей процедурой и отсюда следует, что развиваемая здесь логика высказывании является разрешимой логикой (см. Разрешения проблема). Вот некоторые общие факты о тавтологиях, настолько общие, что они называются правилами логики высказываний: 1. Правило заключения (modus ponens). Если А и Ar) В тавтологии, то В тавтология. 2. Правило подстановки. Если А(р) есть тавтология и В – формула, то А(В) тоже тавтология, где В замешает каждое вхождение переменной р в формуле А, т. е. подстановка в тавтологию приводит к тавтологии. Уже отсюда следует, что имеется бесконечное множество тавтологий. 3. Правило замены. Формулы А и В называют эквивалентными, если формула А = В есть тавтология. Очевидно, что если формулы А и В эквивалентны, то они равны как истинностные функции, т. е. принимают одинаковые истинностные значения. Тогда, если А = В есть тавтология, то С(А) = С(В) тоже тавтология, где С(А) – формула, содержащая некоторую формулу А в качестве своей составной части, и С(В) – формула, полученная из С(А) заменой этой составляющей А на формулу В. Из последнего правила следует, что можно преобразовывать формулы, получая другие, им эквивалентные, на более простые (содержащие меньше пропозициональных связок и переменных). Можно теперь любую формулу привести к какому-либо каноническому виду и этим решать определенного рода задачи. Более того, некоторые эквиваленции выражают основные свойства пропозициональных связок. Напр., эквиваленции (А л В) = (В л А) и (A v В) = (A v В) выражают коммутативный закон конъюнкции и соответственно дизъюнкции. Все эти вопросы (и другие) изучает алгебра логики, основы которой заложены в работах Дж. Буля ( 1847,1854) и А. де Моргана (1847). Отметим некоторые эквиваленции, указывающие на взаимовыразимость одних связок через другие: А л В=-i(-A v -iB), A v В= -ibA л-,В), AdB = -AvB, (А^В)ЦАзВ)л(ВзА). Система пропозициональных связок M называется полной, если всякая формула эквивалентна некоторой формуле, в которую входят только связки из системы М, т. е. посредством такой системы можно выразить все истинностные функции. Так, системы связок {-i, л, v}, {-¦, л}, {->,v} и {-i, 3 } являются полными. Это значит, что мы можем строить логику высказываний на основе любой из указанных систем связок. Оказывается, полной может быть система, состоящая только из одной связки |, которая называется «штрих Шеффера»: высказывание р | q истинно тогда и только тогда, когда неверно, что р и q оба истинны. Достаточность связки | следует из тавтологий -А = А|А, AvB = (A|A)|(B|B). Наряду с понятием тавтологии фундаментальным для логики высказываний является понятие логического следования (см. Следование логическое), поскольку одной из главных задач логики является устанавливать, что из чего следует, и тем самым указывать, какие высказывания являются теоремами при заданных условиях. Всякую теорему можно записать в виде импликации и т. о. выделить ее условие и заключение. Говорят, В логически следует из А или является логическим следствием из А, и пишут А | = В, если в таблицах истинности для А и В формула В имеет значение И во всех тех строках, где А имеет значение И. Отсюда вытекает, что А | = В тогда и только тогда, когда A Z) В есть тавтология. Если формула А тавтология, то иногда пишут | = А. Приведенное определение логического следования без труда расширяется на некоторую систему формул (систему посылок) А,,..., Ап, которая обозначается посредством Г, и тогда пишут Г | = В. Примером логического следования (вывода) из посылок является уже упомянутое правило modus ponens. Выводимость В из высказываний АиАэ В следует из того, что формула (А л (Аз В)) 3 В является тавтологией. Отметим также, что в силу таблиц истинности для связки импликации получаем, что тождественно истинная формула логически следует из любой системы формул. А из того, что имеется разрешаю-