Новая философская энциклопедия. Том третий Н—С
Шрифт:
511
СЕКСТИЙ основнымтопосам каждого раздела философии—здесь Секст Эмпирик приводит ценнейший доксографический материал. В поисках историко-философских корней пирронизма он обращается к учениям древних философов, начиная с Ксе- нофана (вероятно, следуя Ъишту ю Флжушпа), и ищет у них элементы скептицизма (Adv. Math. VII, 48—260). Книги I—VI трактата «Против ученых» образуют как бы отдельное дополнительное исследование, посвященное шести искусствам — грамматике, риторике, геометрии, арифметике, астрономии и музыке; предполагается, что на самом деле этими книгами не начинался, а заканчивался трактат Секста Эмпирика. Секст Эмпирик ссылается также на свои сочинения по медицине и о душе (утрачены). Ставшее частью его имени прозвание «эмпирик» указывает на его профессиональные занятия медициной — он был учеником Геродота из Тарса, учившегося у крупнейшего врача «эмпирической школы» 2 в. Менодота Никомедийского (Diog. LIX116, ср. Galen. De nat facult., p. 52, 11 Kuhn: MnyoSoroc 6 epnapucoc). Совмещение скептической философии и медицинской практики характерно для традиции позднего пирронизма (6 из 8 названных Диогеном Лаэргием философов-пирронистов после Энесидема — рактикующие врачи «эмпирики», 1116) и наглядно демонстрирует, что скептическое эпохе не мешает активной жизненной позиции. По словам Секста Эмпирика, «скептик из человеколюбия (ouz то qnAovOponroc ervm) хочет по возможности исцелить рассуждением самомнение и скоропалительность [заключений] догматиков», предлагая различные по силе рассуждения-лекарства в зависимости от тяжести состояния (Pynti. Ill, 280). Сочинения Секста Эмпирика в переводе на латынь получили широкое распространение во 2-й пол. 16 в. и оказали влияние на многих мыслителей этого времени, в частности на Мон- теня. Соч.: Sextos Empiricus, \Aforks, with engl, transi, by R. G. Bury, vol. 1—4. Cambr, 1933—49; Against the Grammarians (Adv. Math. I), introd. and comm. by D. L Blank. Oxf., 1998; в рус. пер.: Три книги Пирроновых положений, пер. Н. В. Брюловой-Шакальской (1913); Соч., общ. ред. А. Ф. Лосева, т. 1-1 М., 1975-76. Лет.: Heintz W. Studien zu Sextos Empiricus. Halle, 1932; Janacek K. Sextos Empiricus' Sceptical Methods. Prague, 1972; House D. K. The life of Sextos Empiricus.- «Classical Quateriy» 30, 1980, p. 227-238; Bnmschwig J. Sextos Empiricus on the kriterion. — Dillon / M.y Long A. A. (eds.). The Quaestion of «Eclecticism»: Studies in Later Greek Philosophy. Berkl.-Los Ang.-L., 1988, p. 145-75; Allen J. The skepticism of Sextos Empiricus, ANRW II 36, 4, 1990, p. 2582-2607; Giannantoni G. (ed.). Sesto Empirico e il pensiero antico. Napoli, 1992.
СЕКСТИЙ Квинт (Sextius Quintus) (род. ок. 70 до н. э.) — античный философ, основатель небольшой эклектической философской школы в Риме, к которой принадлежали: Со- тион (один из учителей Сенеки — Ер. 49, 2 и др.), грамматик Луций Крассиций (Suet De gramm. 18), философствующий ритор Папирий Фабиан (его тоже слушал Сенека — Ер. 11,4), а также сын Секстия (Sen. Ер. 98,13) и др. Учение «новой школы» (Sen. NaL qu. VII32,2) сочетало стоическую моралистику с элементами пифагорейской традиции (ее пропагандировал Сотион): аскетикой в духе «Золотых стихов» (каждодневный отчет перед самим собой), отказом от мясоедения, теорией переселения душ (Sen. De ira III 36, 1; Ер. 108, 17—18; 20). «Школа» быстро исчезла; однако попытка Секстия, который «писал по-гречески, а думал по-римски» (Sen. Ер. 59, 7 cf. Nat qu. VII32, 2), создать на базе стоицизма «римскую» философию, простую и практически применимую, оказала влияние на Сенеку (возможно, и на Муюапя Ррфш) и римскую политическую и культурную элиту 1 в. н. э. См. лит. к ст. Ошшщюм. A.A. Столяров
СЕКУЛЯРИЗАЦИЯ (от лат. saeculum — человеческий век, срок жизни, наибольшая продолжительность которого 100 лет; мирское состояние) — обмирщение в контексте взаимодействия сакрального и профанного (мирского), движение от священного к светскому; в социологии — процесс освобождения всех сфер общественной и личной жизни из-под контроля религии. 8 самом широком смысле слова секуляризация начинается с разграничения сакрального и профанного, т. е. с десакрали- зации каких-то областей жизни: сакральная трапеза совершается не для насыщения, а для приобщения к святыне, является не произвольным, а ритуальным актом. Действия, явления, вещи становятся профанными, когда в них перестает проявляться святое и они становятся частью повседневной жизни, в которой едят, чтобы насытиться, поют или танцуют просто ради удовольствия; это действия секулярные, т. е. не имеющие магического или религиозного смысла. В античном мире, в философско-рационалистической критике сакральных институтов и мифологии обосновывалась жизненная позиция «самостоянья» человека в пределах обычной жизни: не следует человеку просить у богов то, что он может доставить себе сам. В Европе уже с 11—12 вв. прослеживается тенденция к деклерикализации общественной жизни: благотворительность, образование, здравоохранение, судопроизводство постепенно все больше переходят из ведения церкви, духовенства в руки светсюгх властей. Становится возможной и практика секуляризации церковных земель и имущества (в России Петром I и Екатериной II). Мощный стимул разграничению функций государства и церкви в Западной Европе дала Реформащня. Утверждение самодержавия в России было сопряжено с признанием первенства светской власти: «царство» выше «священства». В современном понимании секуляризация — процесс сужения сферы воздействия религии и церкви, ослабления их влияния практически на все области жизни общества, на сознание, поведение, быт и стиль жизни большого числа людей. Утверждающийся светский стиль жизни затрагивает также религиозную сферу, влечет за собой обмирщение религии, трансформацию религиозного сознания, активизацию светских форм деятельности (в политике, финансах и пр.) религиозных организаций. Все труднее становится «включать» бога, в его традиционном понимании, «в игру», в жизнь современных людей, все более излишним представляется для них обращение к богу для решения реальных проблем. Язык религии становится все более чуждым не только языку науки, но и повседневной жизни. Секулярными, т. е. свободными от религиозной детерминации, не интегрированными в религиозно-символическую смысловую структуру оказываются важнейшие области жизни и институты современного общества: государство и законодательство, экономика с ее рыночными механизмами, естественные науки и техника, социальные и гуманитарные науки, искусство. Вытесненная в качестве универсальной культурной матрицы, религия превратилась в один из секторов социума, наряду с другими — экономикой, политикой, духовной жизнью. Хотя
512
СЕЛЛАРС религия взаимодействует с ними, но уже не определяет их. В экономике и политике она присутствует в лучшем случае в качестве мотивации участников — но не решающей, и притом диапазон выбора ориентации оказывается весьма широким как внутри религиозных влияний (религиозный плюрализм), так и за их пределами. В искусстве религиозная традиция сохраняется преимущественно в качестве составной части культурного наследия прошлого (и даже если художник отдает предпочтение именно ей, то только в силу своих индивидуальных склонностей: он волен не следовать религиозному канону, больше того — это как бы подразумевается, кажется само собой разумеющимся). Что касается полученных с помощью научных методов знаний о мире, то они лишают религиозную картину мира прежнего значения в качестве объяснения действительности. Идеи, которыми руководствуется современное сознание в различных областях духовного творчества, представляют собой автономные, самостоятельные по отношению к религии системы. Описываемое с помощью понятия секуляризации сознание представлено разными вариантами и имеет разные степени интенсивности в зависимости от конкретных обстоятельств и культурно-исторических предпосылок. Об этой дифференциации свидетельствуют данные относительно уровня секуляризации в разных обществах, социальных слоях и средах. Секуляризация не является одномерным процессом «преодоления религии». В противоположностьупрощенным оценкам, преимущественно в позитивистском мышлении, секуляризация — сложный, внутренне противоречивый и неоднозначный по своим последствиям процесс. Как показали исследования Э. Дюркгейма, Э. Трёльча, М. Вебера, а позднее Я. Сорокина, Бергера, X. Любое, современная светская европейская культура выросла на основе средневековой христианской культуры и немыслима вне преемственной связи с ней. Так, Вебер указал на истоки секуляризации в самой иудео-христианской традиции: пророки Израиля отвергли идолопоклонство и тем проложили путь к десакрализации природы и истории. В эпоху Реформации, в протестантизме процесс «рас- колдования мира» достигает своего апогея; в учении о «мирском призвании» профессиональная деятельность обретает религиозную ценность. Светское, профанное становится доминирующим, однако не вытесняет полностью сакральное. К. Лёвит в книге (Meaningin History, 1949) показывает, что на смену библейской эсхатологии приходят политические и социальные утопии, в других областях современной жизни можно также обнаружить аналоги сакральных образцов, светские эквиваленты религии. Больше того, развитие новых религиозных движений и укрепление позиций ряда традиционных религий в кон. 20 в. (преимущественно в обществах, переживающих период модернизации) дают основание для постановки вопроса о «возрождении религии», об устойчивом значении этого феномена и его перспективе. Очевидно, он выявляет антиномии процесса секуляризации, отражает потребность выхода за пределы сложившегося секулярного мира. Есть основания полагать, что все же не «поворот к религии» определяет направления движения в будущее: во многих отношениях сознание проявляющей тягу к религии массы остается секулярным (отсюда религиозная эклектика, актуализация мифа и пр.) — все это возможно лишь в рамках мировоззренческого плюрализма секулярного общества, т.е. базовые структуры секулярного сознания даже при наличии симптомов «религиозного возрождения» все же сохраняются, они не выводят за пределы секулярного стиля современной жизни. В пользу такого вывода говорит также широко распространившаяся в современном обществе «функционализация религии», т. е. ее использование в нерелигиозных по своему существу целях (политических, психотерапевтических и др.). Оценка секуляризации религиозным сознанием была и остается противоречивой. Она колеблется между признанием ее в качестве легитимного развития импульсов, заложенных в самой религии (Ф. Гогартен, «теология родительного падежа»), и неприятием секуляризации и в целом современного мира как синонима отпадения от Бот, забвения религиозных заповедей (фундаментализм). Очевидно, ни в одну упрощенно-одностороннюю схему отношение рс ыгии к современному миру не укладывается: религия в ток ,ии иной степени оказывается вынужденной все же признать автономию секулярного мира, асекулярный мир в поисках ориентиров, в первую очередь нравственных, не может сбрасывать со счетов религию. Секуляризация необратима, но поиск святынь продолжается. Лит.: КоксХ. Мирской град. Секуляризация и урбанизация в теологическом аспекте, пер. с англ. М., 1995; Kamiah W. Der Mensch in der Profanitat. Mannheim, 1949; Olmstedt Th. The Secularly of Secular Institutes. Rom, 1949; Ru U. Sakularisierung als Interpretationskategorie. Rom, 1949; 2 Aufl. Freiburg, 1980; Leeuwen Th. van. Christentum in der Weltgeschichte. Heil und die Secularisation. Kreuz, 1966; Lubbe H. Sakularisierung. Freiburg in Br.—Munch., 1975; Schrey H.H. (Hrsg.), Sakularisierung. Darmstadt, 1982. В. И. Гараджа
СЕЛЛАРС (Sellars) Уилфрид (20 мая 1912, Анн-Энбор,
США — 2 июля 1989, Питтсбург) — американский философ- аналитик, один из видных представителей «научного реализма». Сын Р. В. Селларса. Под влиянием отца воспринял идеи критического реализма, затем испытал сильное воздействие логического эмпиризма Р. Карнапа. Наегофилософские взгляды оказали влияние также идеи Ч. Пирса, оксфс хской школы аналитаческойфилософии.ОкончилОксфордскийуниверси- тет. Профессор философии Миннесотского университета ( 1951—59), Питтсбургского университета ( 1959—63), преподавал в Йельском, Принстонском и др. американских университетах. Основатель (вместе с Г. Фейглом) и редактор журнала по аналитической философии «Philosophical Studies» (1950—74). Одной из главных проблем для Селларса было преодоление свойственного неопозитивизму разрыва между рационализмом и эмпиризмом. Причину этого разрыва Селларс усматривал в «мифе о данных», согласно которому фундаментом знания являются первичные «данные» ощущений, приобретаемые без всякого предварительного обучения в процессе непосредственного чувственного контакта с внешним миром. В противовес этой «догме эмпиризма» Селларс утверждает, что ощущения и восприятия становятся «данными», лишь получая интерпретацию в рамках принятой концептуальной схемы. Существуют два типа таких схем: «каркасы» обыденного опыта и «каркасы» научных теорий. Обьщенный опыт позволяет строить «феноменальную картину мира», элементами которой являются фиктивные сущности — «объекты представлений»; научные теории — «ноуменальную картину мира», составленную из истинных отображений реального бытия, «научных образов». Задача аналитической философии, по Селларсу, состоит в том, чтобы выяснить возможности синтеза «феноменальной» и «ноуменальной» картин мира; решение этой задачи Селларс искал на пути натуралистического номинализма.
513
СЕМАНТИКА Проблема истинности «научных образов» — центральный пункт противоречий в его концепции. С одной стороны, истинность научных суждений должна удостоверяться «соответствием с реальностью», с другой — это соответствие не может быть установлено вне рамок теории, истинность которой должна быть проверена. Такая проверка, как следует из критики «мифа о данных», не может опираться на «теоретически нейтральный» эмпирический базис. Поэтому критерием истинности теории объявляется успешность объяснения «феноменов» повседневного опыта, сама же успешность определяется прагматикой употребления научного знания и научной коммуникации. В результате «научный реализм» Сел- ларса вынужден искать компромисс с инструментализмом и прагматизмом, гипотеза о существовании объектов реального мира становится метафизическим постулатом его доктрины. Концепцию Селларса часто называют также «экспланати- вистским реализмом», за смещение центра тяжести в сторону логико-методологического анализа процессов объяснения явлений в рамках теоретических систем науки. Селларсу принадлежат оригинальные разработки в теории смысла и референции («функциональная» концепция значения). Согласно его теории «концептуальных ролей», носители языка наследуют его онтологию через механизмы культуры; эта онтология становится базой всех «интенсиональных контекстов». Сами
СЕМАНТИКА — дисциплина, изучающая знаки и знаковые системы с точки зрения их смысла; как правило, рассматривается в рамках семиотики (науки о знаковых системах) совместно с двумя другами ее разделами: синтактикои и прагматикой. Первая из них изучает отношения знаков между собой (синтаксис), вторая — отношения между знаками и производящими и интерпретирующими их субъектами, тогда как семантика рассматривает знаки в их отношении к обозначаемым (не имеющими знаковой природы) объектам. Наиболее важным предметом изучения для семантики является язык, а потому она входит в качестве составной части в лингвистику (как семантика естественного языка) и в логику (как семантика формальных языков). Возникающая и в логике, и в лингвистике семантическая проблематика является выражением общей философской проблемы связи мышления и бытия. Вопрос о том, в какой мере язык способен выразить неязыковую реальность, тесно коррелирован с вопросом о способности мысли понять внешний для нее предмет. Из основных взглядов на природу знака, лежащих в основе семантических построений, нужно выделитьте, которые были сформулированы на рубеже 19 и 20 вв. в работах L Фреге и Ф. де Соссюра. Их концепции (в значительной мере противостоящие друг другу) и до сих пор определяют методы исследования и терминологию в лингвистике и логике. Фреге принадлежит теория тройственной природы языкового знака. Сам знак (единичный объект), во-первых, указывает на другой объект (значение знака), а во-вторых, на соответствующее означаемому объекту понятие (смысл знака). Введенное т. о. различение между смыслом и значением стало впоследствии ключевым для многих логических и лингвистических теорий, в которых, впрочем, была принята иная, нежели у Фреге, терминология. Для означаемого объекта используют термины «референт», «денотат», «десигнат». То, что Фреге назвал «смыслом», иногда называют «сигнификатом». Впрочем, интерпретация разными исследователями приведенных терминов сильно варьируется. Часто употребляемой для выражения введенного Фреге семантического различения является также пара «экстенсионал» — «интенсионал». Различение между смыслом и значением Фреге ввел также для предложений языка, утверждая, что для широкого класса предложений значением являются истинность или ложность. Он указал также на существование таких языковых конструкций, которые имеют смысл, но не имеют значения (напр., утверждения о вымышленных объектах). Согласно Фреге, в основе любого мыслительного акта лежит стремление выразить сущность, самостоятельно существующий предмет, который обозначается в языке своим именем и о котором сказывает его понятие. Соссюр рассматривает природу знака как двойственную, называя знак единством означающего и означаемого. Под последним понимается именно то, что Фреге называл смыслом, но подход Соссюра в принципе иной. Семантические свойства языка определяются тем, что он представляет собой систему, Знаки существуют только в отношении друг к другу, и именно эти отношения, а не связь с внеязыковыми сущностями определяют смысл знака. Поэтому референциальная семантика вообще отсутствует у Соссюра. Эта позиция разделяется и до сих пор многими лингвистами (гл. о. французскими). Греймас и Курте называют «исключение референта необходимым условием развития лингвистики». Подход Соссюра является лингвистическим коррелятом той философской установки, которая стремится исключить из рассмотрения категорию сущности. Она была разработана, напр., в Марбургской школе, для философов которой критерием объективности знания является не отношение знания к «реально существующему» объекту (которое совершенно невозможно установить), а внутренняя согласованность самого знания. Последнее рассматривается как структура, т. е. совокупность отношений элементов, определяемых (подобно единицам языка у Соссюра) лишь своим местом в системе и отношениями друг с другом. В логике и математике разработан аналитический аппарат, позволяющий описывать семантику формальных языков. В основе этого аппарата лежит понятие интерпретации. Последняя есть функция, которая сопоставляет каждому имени
514
СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ (индивидной константе) языка некоторый объект из заданного множества, а каждому выражению языка (предикатной константе) некоторое отношение объектов этого же множества. Важнейшим элементом семантики формальных языков является понятие истинности, которая рассматривается как формалное свойство правильно построенного выражения языка. Существенной в этом случае является необходимость введения метаязыка. Только с его помощью можно описать область объектов, задать интерпретирующую функцию и делать выводы относительно истинности языковых выражений. Формальные основания для различения объектного языка и метаязыка были получены А. Тарс- ким. Последующее развитие логики (С. Крипке, Р. Мартин, П. Вудруфф) привело, однако, к построению «семантически замкнутых» языков, т. е. таких, которые сами содержат в себе возможности делать выводы о семантических свойствах (в частности, об истинности) языковых выражений. Однако общей особенностью любого формального подхода является необходимость выржать неязыковые объекты средствами языка (пусть даже метаязыка). Исследование семантики свойств оказывается поэтому исследованием отношений между Знаками, а не отношений между знаком и объектом, не имеющим природы знака. Т. о. семантика обращается в синтактику. При описании семантики естественного языка лингвисты также прибегают к понятию функциональной зависимости, реализуя схему, очень похожую на схему интерпретации формальных языков. При этом используется аппарат семантических категорий, введенный К. Айдукевичем (см. Семантических категорий теория). Простейшими категориями являются имя и предложение. Первое имеет в качестве экстенсионала объект, второе — значение истины или лжи. Интенсионал языкового знака, принадлежащего к этим категориям, есть функция (в строгом, теоретико-множественном смысле — Д. Льюис, а еще раньше Р. Карнап), ставящая ему в соответствие его экстенсионал. Более сложные категории получаются из простейших согласно правилам синтаксиса и должны включать все возможные грамматические формы. Их семантика определяется построением интенсионалов, которые также являются функциями, но уже более сложными. Природа интенсионала часто определяется по-разному. Н. Хомский, напр., видит в них врожденные схемы действия, присущие человеческой психике. Р. Монтегю представляет их объективными идельными сущностями, которые схватываются сознанием. По существу в логике, описывающей формальные языки, и в лингвистике, изуающей естественный язык, вводятся одни и те же процедуры: установление функциональной связи между выражениями языка и «реальными» объектами и отношениями. Однако логика (а в еще большей мере математика) требует явного описания (опять же с помощью языка) как функций, так и областей интерпретации. В лингвистике же, когда речь идет об интерпретирующей функции (интенсионале), может подразумеваться некоторая когнитивная операция (вовсе не описанная явно), совершаемая носителем языка, который производит и интерпретирует знаки. Поэтому если логика сближает семантику с синтактикой, то лингвистика обращает ее в прагматику. Эта «потеря» семантики возникает в тех теориях, которые разделяют существенный элемент учения Фреге: язык рассматривается как средство для выражения неязыковых сущностей, т. е. для представления объективной реальности. В таких теориях пытаются установить связь мысли с немыслимым, что порождает естественные трудности. Альтернативой фрегевского понимания семантики (помимо школы Соссюра, о которой сказано выше) является теория семантических примитивов (А. Вежбиикая). Она прямо связана с учением Р. Декарта, о том, что всякая сложная идея сводима к простым, понятным интуитивно и не нуждающимся ни в каком прояснении. Еще большая зависи- мость обнаруживает теория семантических примитивовот философии Г.Лейбница, поскольку может быть представлена как развитие его попытки создания универсальной характеристики. По мысли Вежбицкой, всякий дискурс есть конструкция, построенная из достаточно простых элементов по известным правилам. Смысл любого языкового построения ясен в той мере, в какой прояснена процедура построения, атакже смысл этих элементов. Последние же, называемые семантическими примитивами, ясны интуитивно. Их описание не требует прибегать к особым приемам (напр., к введению интенсионалов и экстенсионалов), поскольку их смысл абсолютно прозрачен и не нуждается в каком-либо выражении. Важно, что число этих примитивов невелико и их нумерация легко достижима. Лит.: Шрейдер Ю. А. Логика знаковых систем. М.. 1974; Семиотика (сборниктрудов; ред. Ю. С. Степанов). М, 1983; Смирнова Е.Д. Логика и философия. М., 1996; Соссюр Ф. Труды по языкознанию. М., 1977, с. 31—288; Тондл Л. Проблемы семантики. М., 1975; Фреге Г. Избранные работы. М., 1997, с. 25—49; Wierzbicka A. Semantic Primitives. Fr./М, 1972. Г. Б. Гутнер
СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ - созданная Э. Бэтом формальная разрешающая процедура для формул логики высказываний и логики предикатов. Семантическая таблица состоит из двух (сопряженных) столбцов: в левом столбце пишутся формулы, соответствующие высказываниям, принимаемым за истинные, а в правом — принимаемым за ложные. Рассуждение осуществляется «от противного» (см. Доказательство косвенное). Если необходимо выяснить, следует ли формула В из формул Av ..., Ап, то в левом столбце таблицы пишут формулы Ах ..., Ап, а в правом — формулу В. Если устанавливается общезначимость формулы D, то в правом столбце таблицы пишут эту формулу. Если хотят установить, является ли формула противоречивой, то эту формулу пишут в левом столбце таблицы. Правила редукции, позволяющие переходить от формул, содержащих и логических терминов, к формулам, содержащим меньше чем и логических терминов, являются правилами построения таблицы. Для формул языка логики предикатов, содержащих знаки отрицания, конъюнкции, не- схрогойдизъюнкции,материальнойимпликации, кванторы общности и существования, используются следующие правила редукции.
– Л. Если формула -Я имеется в левом столбце таблицы (под-таблицы), то в правом столбце той же таблицы (подтаб- лицы) пишем А.
– ¦Пр. Если формула -А имеется в правом столбце, то в левом столбце пишем А. лЛ. Если формула АлВ имеется в левом столбце таблицы (подтаблицы), то в том же столбце пишем формулы А и В. лПр. Если формула АлВ находится в правом столбце таблицы (подтаблицы), то в каждом из столбцов образуем две новые альтернативные подтаблицы этого столбца и в левой под-
515
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ таблице правого столбца пишем А, а в правой таблице того же столбца — В. vJI. Если формула AvB находится в левом столбце таблицы (подгаблицы), то в каждом из столбцов образуем две новые альтернативные подгаблицы и в левой из них (левого столбца) пишем А, а в правой (того же столбца) — В. vFlp. Если формула AvB находится в правом столбце таблицы (подгаблицы), то в том же столбце пишем формулы А и В. => Л. Если формула Az> В находится в левом столбце таблицы (подгаблицы), то в каждом из столбцов образуем две новые альтернативные подгаблицы и в правой подтаблице левого столбца пишем формулу Дав левой подтаблице правого столбца пишем А. => Пр. Если формула А => В находится в правом столбце таблицы (подгаблицы), то в левом столбце той же таблицы пишем формулу А, а в правом — В. V Л. Если формула Va4(a) находится в левом столбце таблицы (подгаблицы), то в том же столбце помещаем формулу >4(Р), где ? — произвольная индивидная переменная или константа, /4(Р) есть результат правильной подстановки ? вместо a в А(а). Эвристический совет: в качестве В нужно взять индивидную константу, которая уже встречается в подтаблице, или переменную, которая имеет свободные вхождения в какую-то из формул подгаблицы; если таковых нет, то вводится произвольная индивидная константа. V Пр. Если формула V аА(а) находится в правом столбце таблицы (подгаблицы), то в тот же столбец помещаем формулу Аф), где ? — новая индивидная константа, т. е. константа, не встречающаяся еще ни в левом, ни в правом столбцах, а А($) есть результат правильной подстановки ? в А(а) вместо а.