Новая философская энциклопедия. Том первый. А - Д. - Коллектив авторов. Страница 42

72

АЛГЕБРА ЛОГИКИ предстоит прорасти в будущем опыте. Оно является условием функционирования «активного сознания», результирующего из действия пяти чувств и менталитета-лмлася, которое в свою очередь оставляет «отпечатки», возвращающиеся в «аккумулированное сознание» и там «прорастающие». Т. о., индивид оказывается постоянно изменяющейся конфигурацией двух взаимообусловливающих «сознаний». Помимо шести указанных видов сознания (сознания пяти чувств + ума-манаса) есть еще самосознание, характеризуемое как «загрязненный менталитет» (клишта-манас), благодаря аберрациям которого алаявиджняна мыслится как реальное эго и даже «субстанциональное Я», наподобие брахманист- ского Атмана. По Асанге, алаявиджняна является таким же кинетическим и «бессубстанциальным» феноменом, как и любой поток сознания, с теми лишь отличиями, что ему приписывается аккумулятивная функция и оно непостижимо «обычными людьми». Хотя алаявиджняна и ранее соотносилась с высшим уровнем реальности в онотологической иерархии виджнянавадинов (см. Свабхава), этот аспект концепции был наиболее обстоятельно проблематизирован у Васубандху. В «Трисвабхаванирдеше» (Экспозиция трех природ) первый уровень реальности - «воображаемый» - соответствует объектам опыта, второй - «зависимый» - субъектам, третий — совершенный - «аккумулированному сознанию». Все три носят признаки и сущего и несущего: первый уровень онтологически неопределим; второй существует не так, как является: третий является несущим по отношению у любой дуальности. Позднее эту концепцию алаявиджня- ны разрабатывают Дхармапала (Виджняптиматрасиддхи) и Дхармакирти (Праманаварттика). «Махаянасанграха» была переведена в 6 в. на китайский язык Парамартхой и стала основополагающим текстом для основанной Куйцзи школы Фасян-цзун (7-9 вв.). Китайский йогачар, историк и философ Сюань Цзан (7 в.) разработал концепцию восьмого вида сознания — того, что несет ответственность за отождествление «аккумулированного сознания» с «субстанциональным эго», не подозревая, что алаявиджняна на деле не отличается от тех «семян» будущего опыта, которые в нем хранятся. Лит.: Schmithausen L. Alayavij'nana. On the Origin and the Early Development of the Central Conception of Yogacara Philisophy, v. 1-2. Tokyo, 1987; Brown В. Е. The Buddha Nature: A Study of Tathlgatagarbha and Alayavij'nana. Delhi, 1991. В. К. Шохин АЛ-БИРУНЙ - см. Бируни. АЛ-ГАЗАЛЙ - см. /Газйли.

АЛГЕБРА ЛОГИКИ— одна из осн. частей математической логики, основанная на применении алгебраических методов к логике. Возникнув в сер. 19 в. в трудах Буля и развиваясь затем в работах Джевонса, Шредера, Пирса, Порец- кого и др., алгебра логики имела своим предметом классы (как объемы понятий), соотношения между классиками по объему и связанные с этим операции над ними. Позднее, в связи с появлением в 70-х гг 19 в. множеств теории, поглотившей часть этих задач, предмет алгебры логики значительно изменился. Основным ее предметом стали высказывания (суждения, предложения), рассматриваемые со стороны их логических значений (истина, ложь, бессмыслица и т. п.), и логические операции над ними. В основе обычной, т. н. Классической алгебры логики лежит абстракция высказывания как величины, имеющей одно (и только одно!) из двух значений: «истина» или «ложь» (короче: И. Л.) или могущей принимать оба эти значения (но не одновременно). В первом из этих случаев имеем индивидуальное высказывание (высказывание в узком, наиболее принятом смысле этого слова), во втором - высказывание-функцию. Примеры высказываний: «2-2=4 », «0<0 », «Сократ - человек», «0=1», «2*2=5», «х2=у»ч «г - человек», «Если x=yt то у=0», «Если х=2, то л^=4», «х равняется у или х не равняется у». Первые три высказывания имеют значение И (т. е. истины), 4-е и 5-е - значение Л (т. е. ложны), 6-е, 7-е, 8-е - высказывания-функции (если, напр., значениями буквенных переменных х и у могут быть целые числа, а переменной z - живые существа), 9-е и 10-е имеют значение И (при всех возможных значениях переменных х и у). Последние три из этих высказываний являются сложными, в отличие от предшествующих им простых. Абстракция в алгебре логики идет дальше. Все истинные высказывания отождествляются между собой, т. к. истинное высказывание не отличается от другого истинного высказывания по значению (от других сторон высказываний в алгебре логики отвлекаются). Ложные высказывания тоже отождествляются. При рассмотрении же высказываний-функций в алгебре логики обычно отвлекаются от рассмотрения зависимости их от иных переменных, кроме таких, значениями которых тоже являются высказывания, вводя для их рассмотрения буквенные переменные, которые называют переменными высказываниями. Таковыми являются буквы А, /?, С, ..., Ar Av Ау ... и т. п. (при этом выбор букв - вопрос не существа, а соглашения) при условии, что они играют роль переменных, значениями которых могут быть всевозможные индивидуальные высказывания, т. е., в силу упомянутых абстракций, «константы» И и Л. Кроме простых высказываний, обозначаемых отдельными буквами А, В... или И, Л, рассматриваются также сложные высказывания - результат соединения высказываний связками или отрицания их (соответствующего частице «не»). Сложные высказывания рассматривают как функции от входящих в них буквенных переменных А, В, С и т. д. Так появляется понятие функции алгебры логики - функции от аргументов, являющихся переменными высказываниями, т.е. принимающих значения И, Л, которая (функция) может принимать тоже лишь эти значения. Вводятся алгебраич. операции над высказываниями: конъюнкция AB (читается «А и В», другие обозначения: AB, А&В, А/\В\ другие названия: логическое умножение, булево умножение), дизъюнкция АуВ (читается «А или В»; другое обозначение: Л+Д другие названия: логическое сложение, булево сложение), импликация А^В (читается: «Если А, то В» или «А влечет В», или «А имплицирует В», или «Из А следует В»; другое обозначение: АэВ\ другое название: логическое следование), эквиваленция А~В (читается «А эквивалентно В» или «А равнозначно В», или «А, если и только если В»; другие обозначения: А=В, А<-+В, А=В\ другие названия: эквивалентность, равнозначность, равносильность), отрицание A (читается: «не А», или «Л ложно», или «неверно, что А», или «отрицание/!»; другие обозначения: -А, -А, Л'; другое название: инверсия), а также иногда и другие операции. Одной из важных сторон формализации, принимаемой в алгебре логики, является то, что знаками этих операций (т. е. по смыслу, соответствующими им связками) можно соединять любые выказывания, без ограничения, в том числе и те, которые сами являются сложными. При этом удается точно и строго описать класс всех рассматриваемых выражений алгебры логики. В данном случае он состоит из констант И и Л, переменных А и В... и всех тех выражений, которые получаются из них путем конечного числа соединений знаками «•», «V», «—>», «~» и отрицаний. Это связано с требованием, чтобы операции задавались таблично как функции и значение сложного высказывания зависело только от значений составляющих его простых высказываний. Основная суть алгебры логики как системы методов состоит в использовании преобразований высказываний на основе алгебраических законов,

73

АЛГЕБРА ЛОГИКИ которые имеют место для операций над высказываниями. Эти законы чаще всего имеют вид тождеств, т.е. равенств, верных при вех значениях переменных. Важную роль играют тождества: 1. AB = ВА, AvB = BvA (законы коммутативности); II. (АВ)С = А(ВС), (AvB)vC=Av(BvQ (законы ассоциативности); III. A (AvB) =Л, AvAB =A (законы поглощения); IV. A(BvQ = ABvAC(закон дистрибутивности); V. А-Л = Л (закон противоречия); VI. /lv-i/1 = И (закон исключенного третьего). Эти тождества, устанавливаемые, напр., с помощью таблиц, позволяют получать другие тождества. Тождеств I - IV достаточно для того, чтобы из них по методу тождественных преобразований можно было вывести всякое (верное, конечно) тождество, левая и правая части которого - выражения алгебры логики, состоящие из переменных А, В, .., констант И, Л и знаков «•», «v», «-i» (не обязательно включая все из них). Добавление же тождеств VII А~~В = -лАчВ, А~В - ABv-тА-пВ дает возможность выводить и любые тождества, содержащие также знаки «—>», «~». Тождества V, VI, VII показывают, что константы И и Л, импликацию и эквиваленцию, рассматривая их как функции, можно выразить через конъюнкцию, дизъюнкцию и отрицание. Имеет место теорема, гласящая, что всякая функция алгебры логики может быть представлена через эти три операции, т.е. записана в виде выражения, содержащего лишь знаки этих операций и буквенные переменные. Именно, любую функцию можно записать как дизъюнкцию ФЦ, Av ..., Ап) всех выражений вида Ф(др av ..., апУ(Ага}) Ц~а2)...(Лп~яп), где flj, а2,..., ап - набор из значений И, Л. Заменяя в этой дизъюнкции выражения Л,~И на Av а А~Л - на -vi, а также стирая «коэффициенты» Ф(аг а2,..., дп), равные И (по закону WA-A) и отбрасывая члены с «коэффициентами», равными Л (по законам (Л-Л=Л, JlvA = A), мы и получим (если функция не есть константа) то выражение, о котором говорится в теореме. Дизъюнктивной нормальной формой (днф) называется выражение, которое есть буква И или Л или имеет вид А^Ар ..., vAn, где каждый член А] является либо буквенной переменной, либо ее отрицанием, либо конъюнкцией таковых, причем s не обязательно отлично от 1, т.е. знаков «v» может и не быть. Днф называется совершенной, если она есть И или Л или в каждом члене содержит ровно по одному разу все имеющиеся в ней буквы (переменные) и не имеет одинаковых членов. Всякое выражение алгебры логики можно привести к днф. А всякую днф можно привести к совершенной днф, «домно- жая» члены на недостающие буквы (по закону A=ABvA^B) и ликвидируя повторения букв в членах (по закону АА-А, А-лА- Л, Л-Л=Л, JlvA=A) и повторения членов (по закону AvA=A). Приведение к совершенной днф позволяет по любым двум данным выражениям А и В решить вопрос о том, одну ли и ту же функцию они выражают, т.е. верно ли тождество А=В. Важную роль играет т. н. сокращенная днф. Последнюю можно определить как такую днф, в к-рой 1) нет повторений букв ни в одном члене, 2) нет таких пар членов А. и А? что всякий множитель из А. имеется и в А. и 3) для всех двух таких членов, из к-рых один содержит множителем некоторую букву, а другой - отрицание той же буквы (при условии, что другой буквы, для которой это имеет место, в данной паре членов нет), имеется (в этой же днф) член, равный конъюнкции остальных множителей этих двух членов. Кроме днф, употребляются также конъюнктивные нормальные формы (кнф). Это такие выражения, к-рые можно получить из днф путем замены в них знаков «v» на «•», а «¦» на «v». Преобразованием двойственности называется такое преобразование выражения алгебры логики, при котором в этом выражении знаки всех операций заменяются на знаки двойственных им операций, а константы: И на Л, Л на И; причем операция (или функция) Ф называется двойственной для операции ?, если таблица, задающая Ф, получается из таблицы, задающей ?, путем замены в ней всюду И на Л, а Л на И (имеется в виду одновременная замена и значений функции, и значений ее аргументов). Если Ф двойственная У, а ? двойственная X, то Ф=Х. Напр., конъюнкция и дизъюнкция двойственны между собой, отрицание двойственно самому себе, константа И (как функция) двойственна константе Л. Функция ФЦ, Av ..., Ап) двойственна функции Ч!(А]УА71..., Ап), если, и только если, верно тождество -,Ф(4, А7, ...,4,) = УЫ,, -42,..., -Ч). Совершенную кнф и сокращенную кнф можно определить как такие кнф, что двойственные им выражения есть соответственно совершенная днф и сокращенная днф. Совершенные и сокращенные днф и кнф можно использовать для решения задачи обзора всех гипотез и вех следствий данного выражения алгебры логики. Причем под гипотезой выражения А алгебры логики естественно понимать такое выражение Д что В—А тождественно истинно, а под следствием выражения А - такое выражение Д что А~В тождественно истинно. Еще один, часто употребляемый в алгебре логики шаг абстракции, состоит в отождествлении И с числом 1, а Л - с числом 0. Вводится операция А+ Д задаваемая таблицей: 0+0=0,0+1=1,1+0=1,1+1=0. Она называется сложением (точнее сложением по модулю 2; другое название: разделительная дизъюнкция; читается: «А плюс В», или «А не эквивалентно В», или «Либо А, либо В»), Всякую функцию алгебры логики можно представить через умножение (т. е. конъюнкцию), сложение и константу 1 (теорема Жегал- кина). В частности, верны следующие тождества: VIII. AvB=AB+A+B,-v4=A+l IX. А-В=АВ+А+\, А~В=А+В+\. Обратные представления имеют вид X. A+B=A-nBv^AB, l=Av^A. Тождества VIII позволяют «переводить» выражения «языка» конъюнкции, дизъюнкции и отрицания (КДО) на «язык» умножения, сложения и единицы (УСЕ), а тождества X - осуществлять обратный «перевод». Тождественные преобразования можно производить и на «языке» УСЕ. В основе их лежат следующие законы: XI. АВ=ВА, А+В+В+А (законы коммутативности); XII. (АВ)С=А(ВС), (А+В)+С=А+(В+С) (ассоциативности); XIII. А(В+С)=АВ+АС (закондистрибутивности); XIV АА=А, А+(В+В)=А XV. А1=А. Этих тождеств достаточно для того, чтобы из них можно было вывести любое (верное) тождество, обе части которого суть выражения «языка» УСЕ. А добавив к ним тождества VIII, мы сможем выводить и все тождества «языка» КДО. Выражение «языка» УСЕ называется приведенным полиномом (п. п.), если оно есть 1+1 (т. е. нуль) или имеет вид A^+A7+...+As, где каждый член Ах есть либо 1, либо буквенная переменная, либо произведение последних, причем ни в одном члене нет никаких повторений букв, никакие два члена не одинаковы (в том же смысле, что и выше), a s не обязательно больше 1 (т. е. знаков «+» может не быть). Всякое выражение алгебры логики можно привести к п. п. (теорема Жегалкина). Кроме «языков» КДО и УСЕ существуют и другие «языки», обладающие тем свойством, что через операции (и константы) этих «языков» можно представить всякую функцию алгебры логики. Такие системы называются (функционально) полными. Примеры полных систем: а) конъюнкция и отрицание, б) дизъюнкция и отрицание, в) импликация и отрицание, г) импликация и 0, д) умножение, эк- виваленция и 0, е) штрих Шеффера Л|Д ж) медиана (Л, Д С), [определение: (А, Д Q=ABvACvBC\y отрицание и 1, и) медиана, эквивалента и сложение. Иногда совершают еще один важный дальнейший шаг абстракции. Отвлекаются от табличного задания операций и оттого, что значениями буквенных переменных являются высказывания. Вместо этого допускаются различные интерпретации рассматриваемого «языка», состоящие из той или иной совокупности объектов (служащих значе-