CC BY
32Л.И.Мчедлишвили
К СЕМАНТИКЕ АПОДИКТИЧЕСКОЙ СИЛЛОГИСТИКИ АРИСТОТЕЛЯ
Abstract. The aim of this article is to show that Aristotle's apodeictic syllogistic is a fragment of a one-place predicate extension of the propositional modal system T.
На пути логического воссоздания концепции Аристотеля об аподиктических силлогизмах [1, I 8-12] имеются две главные трудности - представление этой концепции в виде единой формальной системы и ее семантическое осмысление. Первая из них связана с проблемой аподикт ического экт езиса, вторая - с проблемой ист олкования аподикт ических суждений средст вами современной модальной логики.
Доказательство посредством выделения (эктезиса) является одним из аристотелевских методов вывода правильных модусов второй и третьей фигур из модусов первой фигуры. Этот метод применяется Аристотелем как в ассерторической, так и в аподиктической силлогистике; его суть при применении в доказательствах ассерторических модусов состоит в следующем. Если среди посылок вывода или среди их следствий имеется частное высказывание SiP или SoP, то его в дальнейшем в процессе доказательства можно понимать как данность такого нефиксированного термина М, что, во-первых, М является частью субъекта S частного высказывания и, во-вторых, всякому М присущ предикат Р частного высказывания или, соответственно, никакому М не присущ Р, т.е. вводятся (вспомогательные) допущения MaS и MaP или, соответственно, MaS и MeP. Слово "нефиксированный" в этом контексте указывает на то, что никакие другие особенности М, кроме отмеченных, нам неизвестны и не подразумеваются и поэтому отождествлять М с каким-либо термином, встречающимся в рассматриваемом выводе, нельзя. И далее, при выводе тезиса вместо данного частного высказывания можно использовать эти допущения; т.е. если с помощью этих допущений получается заключение, которое не содержит М, то можно освободиться от них и считать, что данное заключение выводится из первоначальных посылок.
В ассерторической силлогистике на возможность применения метода эктезиса Аристотель ссылается только как на альтернативную [1, I 6, 28а 23-27, b14, b21-22] и в суммирующей главе [1, I 7]
он вообще не упоминается. И в самом деле, в ассерторической силлогистике при доказательстве несовершенных модусов он лишь дублирует другие методы вывода. Это послужило одним из оснований оценки этого метода как малозначительного в аристотелевской силлогистике как системе [5, с. 114]. Однако малозначительность метода не может служить основанием для его исключения из системы - в адекватной формальной реконструкции содержательной логической теории должны быть воспроизводимы все методы, используемые в этой теории.
Как было убедительно показано Я. Лукасевичем [5, с.105-115], а позже Г. Патцигом [15, с.156-168], в эктетическом методе доказательства неявно, но существенно задействованы свойства квантора существования, язык же силлогистики, как ассерторической, так и модальной, - простой бескванторный язык. И факт, что в известных формальных представлениях ассерторической силлогистики в числе средств вывода не находим ничего такого, что можно осмыслить как реконструкцию аристотелевского метода доказательства посредством эктезиса, возможно объясняется безуспешностью попыток описать его на простом силлогистическом языке без явного использования кванторов.
Однако неудачи не имели принципиального характера; доказательство посредством эктезиса из силлогистических посылок все-таки можно целиком представить на бескванторном языке силлогистики. Оно является вариацией доказательства с применением правила удаления квантора существования, и можно предположить, что Аристотель в эктетических доказательствах применял аналоги этого правила, которые, если принимается постулат о непустоте терминов, можно сформулировать следующим образом:
(Ма8 лМаР) з Г (Ма8 л МеР) з Г
81Р з Г 8оР з Г
(правило -удаления), (правило o-удаления),
где Г - силлогистическая формула, которая не содержит переменную М (эти правила, их разновидности для других систем ассерторической силлогистики, а также правила аподиктического эктезиса впервые были предложены нами в 1983 г. на Тбилисском Симпозиуме "Логика Аристотеля", см. [4]).
Хотя в ассерторической силлогистике при доказательстве модусов применения метода эктезиса можно избежать, но если будем иметь в виду заключенные в этом методе дедуктивные возможности вообще, то его оценка как малозначительного, как будет видно
из формулировки системы ассерторической силлогистики ЕА, оказывается неверной.
Формулами ЕА являются выражения вида SxP (атомарные формулы) и их истинностно-функциональные комбинации, где S и P - переменные из счетно-бесконечного списка переменных для терминов, а x - одна из силлогистических констант - а, е, i или o. Аксиомными схемами и правилами вывода системы ЕА являются:
а0. Все подстановочные случаи классических тавтологий, а1. ~(SaP л SeP),
a2. SaP v SoP, r1. modus ponens,
a3 SeP v SiP, r2. Уудаление,
a4 (MeP л SaM) з SeP; r3. о-удаление.
ЕА и формальная система ассерторической силлогистики Я.Лукасевича [5, с.140], представленная в виде системы С4 В.А.Смирнова [11], как множества теорем совпадают, однако правила эктезиса в системе Лукасевича, хотя они являются допустимыми (их присоединение к дедуктивному базису С4 не увеличивает класса доказуемых формул), не производны: в С4 невозможно воспроизвести доказательства посредством эктезиса.
Традиционное понимание ассерторической силлогистики можно уточнить следующим образом. Упорядоченная пара <D,V> называется интерпретацией языка ЕА, если и только если D - непустое множество, а V - функция, приписывающая каждой переменной М произвольное непустое подмножество D, т.е. 0^V(M) с D. В каждой из интерпретаций всякая формула F языка ЕА получает одно из двух истинностных значений V(F), определяемое индуктивно по построению формулы, при этом базисными пунктами определения являются:
b1. V(SaP) = И V(S) с V(P), b2. V(SeP) = И » V(S) n V(P) = 0, b3. V(SiP) = И » V(S) n V(P) * 0, b4. V(SoP) = И » V(S) £ V(P).
Индуктивные пункты определения задаются в соответствии с классическими таблицами истинности. Имеет место теорема семантической адекватности: для всякой формулы Fязыка ЕА, |-F в EA, если и т олько если F являет ся ЕА-общезначимой.
Можно заметить, что понятие интерпретации языка ЕА, если не принимать во внимание ограничение V непустыми значениями терминов, совпадает с понятием интерпретации одноместного УИП, а правые части базисных пунктов b1-b4 являются условиями истинности в той же интерпретации следующих формул УИП (предпологается, что множество переменных
терминов в языке ЕА и множество символов для одноместных предикатов в языке УИП совпадают):
(И) Ух (Бх з Рх), (13) Зх (Бх л Рх),
(И) Ух (Бх з -Рх), (14) Зх (Бх л -Рх),
соответственно. Очевидно, что класс общезначимых в ЕА формул не изменится, если снять ограничение, наложенное на V, и формулу Г языка ЕА считать ЕА-общезначимой, если и только если в каждой интерпретации <Б,У>
V ((Р11Р1 л . . . лРпхРп) з Г) = И,
где Р1,..., Рп - все входящие в Г переменные. Отсюда следует, что формула F выводит ся в ЕА, если и т олько если в УИП выводима формула 1((Р11Р1 л ... л Рп1Рп) з Г), которая называется переводом F в УИП и получается из формулы (Р11Р1 л . . . л Рп1Рп) з Г заменой ее атомарных подформул SaP, SeP, SiP, SoP формулами УИП (1;1)-^4), соответственно, и которую можно записать как
(ЗхР1х л ... л ЗхРпх) з 1(Г).
ЕА является адекватной формальной реконструкцией ассерторической силлогистики Аристотеля в следующем смысле: язык ЕА не содержит кванторов; в ЕА выводим (не выводим) формальный аналог каждого утверждения явно принимаемого (отбрасываемого) Аристотелем в ассерторической силлогистике; и наконец, в ЕА формально воспроизводим каждый из трех методов, используемых Аристотелем в ассерторической силлогистике для сведения несовершенных корректных модусов к совершенным модусам первой фигуры.
Метод эктезиса применяется также в аподиктической силлогистике, а именно при доказательстве корректных, по Аристотелю, модусов Вагосо и ВосаМо с обеими аподиктическими посылками и аподиктическим заключением, т.е. модусов Ваьгоьсоь и ВоьсаьМоь [1, I 8, 30а 8-13]. Однако эктезис, т.е. введение на основе частного аподиктического высказывания вспомогательных допущений, которые в дальнейшем элиминируются, не совпадает с эктезисом, при котором исходное частное высказывание является ассерторическим. Анализ указанного места из "Первой аналитики" [8], [10] показал, что при аподиктическом эктезисе одно из вспомогательных допущений должно быть аподиктическим утверждением; правила аподиктического эктезиса можно сформулировать следующим образом:
(MaS л MaLP) з F
(MaL S л MaP) з F (MaS л MeLP) з F
SiLP з F SoLP з F
(правило i-удаления), (правило О-удаления),
где F- силлогистическая формула, не содержащая переменную М.
Имеется и существенная разница. В аподиктической силлогистике метод эктезиса не дублируется другими методами и вывод модусов Ba го co и Bo ca rdo с применением этого метода Аристотелем предлагается как единственно возможная версия их доказательства; в самом деле, прямой метод посредством обращения не пригоден по тем же соображениям, по каким он не может применяться для доказательства ассерторических Baroco и Bocardo, а метод reductio ad impossibile не проходит потому, что высказывание, контрадикторное предполагаемому заключению SoLP, является утверждением об унилатеральной возможности "Все S возможно суть P", которое в сочетании с любой из посылок доказываемого модуса не дает ни совершенного модуса первой фигуры, ни модуса, доказанного ранее. Эта ситуация еще сильнее убеждает нас в справедливости требования воспроизводимости в формальном представлении аподиктической силлогистики всех методов вывода, применяемых Аристотелем при сведении модусов второй и третьей фигур к модусам первой фигуры.
Однако обнаруживается трудность: методом эктезиса можно доказать и более сильные модусы BaroLcoL и BoLcardoL, в которых общеутвердительная посылка является ассерторической и которые отвергаются Аристотелем как некорректные [1, 10, 11]. Эту возможность заметил уже Александр Афродизийский. И по-видимому, можно заключить, что в аподикт ической силлогист ике Ари-ст от еля невозможно совместить допустимость процедуры эктезиса (в частности, принятие правила o-удаления) с отбрасыванием указанных модусов и, следовательно, невозможно представить аподиктическую силлогист ику в виде единой аксиома -тической теории. Фактически так и получилось: в предложенных в какой-то мере адекватных формальных реконструкциях аподиктической силлогистики Аристотеля либо невоспроизводим метод рассуждения с процедурой эктезиса и невыводимы модусы Baro co и Bo cardo [14], [2], либо этот метод воспроизводим, но одновременно доказываются забракованные Аристотелем модусы BaroLcoL и BoLcardoL [8], [10], [6]. Эти формальные представления дополняют друг друга и тем самым отражают непоследовательность интуитивных соображений, на которые опирался греческий философ. Рассматриваемая ниже система аподиктической
силлогистики LEA принадлежит к реконструкциям второго рода; впервые она сформулирована в работах [8], [10].
В LEA расширяется понятие формулы, однако только за счет расширения класса атомарных формул: в выражениях вида SxP x теперь может быть также аподиктической константой - aL, eL, iL или oL.
Дедуктивный базис системы аподиктической силлогистики LEA является расширением дедуктивного базиса системы ЕА следующими аксиомными схемами и правилами вывода:
a5. SaLP з SaP, a9. (MaLP л SaM) з SaLP,
a6. SeLP з SeP, a10. (MeLP л SaM) з SeLP,
a7. SeLPз PeLS, all. (MaLP л SiM) з SiLP,
a8. SiLP з PiLS, a12. (MeLP л SiM) з SoLP,
r4. /'-удаление, r5. о^удаление.
Наша цель - семантический анализ системы LEA. После безуспешных попыток найти адекватный перевод формул аподиктической силлогистики на язык модальной логики и представить аподиктическую силлогистику Аристотеля в качестве фрагмента более широкой логической теории - какой-либо системы современной формальной модальной логики [12], [5], [16] появилось сомнение в возможности успешного решения этой проблемы вообще. Н.Решер это сомнение подкрепил обзором некоторого, по его мнению, исчерпывающего множества возможных переводов аподиктических атомарных формул на язык модальной логики одноместных предикатов и показал (с помощью компьютера), что ни один из этих 2520 (!) переводов не отображает адекватно все особенности аподиктической силлогистики Аристотеля. Тогда некоторые исследователи пришли к заключению, что для аподиктической силлогистики Аристотеля следует искать лишь "неформальную" семантику. Одна весьма впечатляющая версия такой семантики была разработана С. Мак-Коллом на основе идей Решера [14]. В своем анализе мы продолжаем линию А. Беккера -поиск перевода, "погружающего" аподиктическую силлогистику в модальную логику.
С другим направлением семантических исследований аподиктической силлогистики Аристотеля встречаемся в работах М.Бежанишвили [2], Е.К.Войшвилло [3] и В.И.Маркина [6] (к ним относятся и наши работы [8], [10]). В них хотя построены системы "формальной" семантики, однако они слишком специфичны -каждая из них в большей или меньшей мере разработана для случая аристотелевской аподиктической силлогистики и поэтому каждая из них в той же мере является концепцией ad hoc. Другая
общая черта: в определении интерпретации аподиктического языка в них используются квант оры с переменными для т ерминов, т.е. с предикатными переменными. В своем анализе мы стараемся избежать этих черт.
При поисках адекватного перевода аподиктических формул на язык модальной предикатной логики предполагалось, что формулы ассерторической силлогистики переводятся на язык немодальной логики предикатов, например, функцией t, определенной выше. Однако ассерторическая силлогистика допускает и интенсиональную тракт овку. Пусть F - формула ЕА, а tr(F) - формула модальной логики предикатов, которая получается из F заменой атомарных подформул вида SaP, SeP, SiP и SoP формулами (tri) Vx D(Sx з Px), (tr3) 3x 0(Sx л Px),
(tr2) Vx D(Sx з -Px), (tr4) 3x 0(Sx л -Px).
Можно показать, что F выводима в ЕА, если и т олько если tr ((PiiPi л .. . л PniPn) з F),
т .е. формула
(3x OPix л ... лЗx OPnx) з tr(F), называемая переводом F на язык модального УИП, выводима в любом модальном УИП, которое является предикатным расширением нормального модального пропозиционального исчисления без или с формулой Баркан, при этом Р1, ..., Рп - все переменные, входящие в F. Некоторые места из "Первой аналитики" (например, I 15, 34 b7-19) показывают, что Аристотель был склонен понимать смысл ассерторических суждений именно так. Для нашего анализа модальное истолкование ассерторических суждений является исходным.
Упорядоченная четверка <W,R,D,V> называется инт ерпрет а-цией языка LEA, если и только если <W,R> - рефлексивный фрейм, D - непустое множество (предметов), а V - такая функция, что для любой переменной Р языка LEA V(P) с DxW. Произвольная формула Fв <W,R,D,V> при каждом weW имеет одно из двух истинностных значений V(F,w), которое определяется индуктивно по логической длине F следующим образом (xeD, w,v,ueW). Базисные пункты определения:
c1. V(SaP,w) = И VxVv((wRv & (x,v)eV(S)) ^ (x,v)eV(P)); c2. V(SeP,w) = И VxVv((wRv & (x,v)e V(S)) ^ (x,v)g V(P)); c3. V(SiP,w) = И 3x3v(wRv & (x,v)eV(S) & (x,v)eV(P)); c4. V(SoP,w) = И 3x3v(wRv & (x,v)e V(S) & (x,v)g V(P)); c5. V(SaLP,w) = И VxVv((wRv & (x,v)eV(S)) ^ ^ Vu(vRu ^ (x,u)eV(P)));
c6. V(SeLP,w) = И Vx((3v(wRv & (x,v)e V(S)) ^ ^ Vu(wRu ^ (x,u)gV(P)));
c7.V(SiLP,w) = И
3x ((3v(wRv & (x,v)eV(S) & Vu(vRu ^ (x,u) eV(P))) v v 3v(wRv & (x,v)e V(P) & Vu(vRu ^ (x,u)e V(S)))); c8. V(SoLP,w) = И 3x(3v(wRv & (x,v)e V(S)) & & Vu(wRu ^ (x,u)iV(P))).
Индуктивные пункты формулируются в соответствии с таблицами истинности для пропозициональных связок).
Формула Fязыка LEA называется LEA-общезначимой (LEA-выполнимой), если и только если в каждой (хотя бы в одной) интерпретации <W,R,D,V> при каждом (хотя бы при одном) weW
V((PiiPi л...л PniPn) з F, w) = И, (V((PiiPi л...л PniPn Л F),w) =
И),
где P1,..., Pn - все входящие в Fпеременные термины.
Заметим, что понятие интерпретации языка LEA совпадает с понятием модели языка одноместного T + BF (одноместное УИП + модальная система Т + формула Баркан) [13, 243-244] и в базисных пунктах определения V(F,w) правые части равносильностей являются условиями истинности в той же модели <W,R,D,V> при том же weW формул T + BF: (tr1)-(tr4) и (tr5) Vx D(Sx з DPx), (tr6) Vx (OSx з D~Px), (tr7) 3x (0(Sx л DPx) v 0(DSx л Px)), (tr8) 3x 0(Sx л D-Px), соответственно (предполагается, что множество переменных в языке LEA и множество символов для одноместных предикатов в языке T + BF совпадают).
Пусть F- формула LEA, a Tr(F) - формула T + BF, которая получается из F заменой атомарных подформул SaP, SeP, SiP, SoP, SaLP, SeLP, SiLP и SoLP формулами (tr1)-(tr8) соответственно.
Формулу tr((PiiPi л...л PniPn) з F), т.е. формулу (3x OPjx л...л 3x ÖPnx) з tr(F), где P1, ... ,Pn - все входящие в F переменные, будем называть переводом F в T + BF и сокращенно записывать как E(F) з tr(F).
Для любой интерпретации <W,R,D,V> языка LEA, произвольной точки weW и формулы F языка LЕA V(F,w) = V(t(F),w) и, следовательно, F LЕA-общезначима если и только если общезначим перевод F в T + BF. Это утверждение (утверждение 1) является очевидным следствием вышеуказанного замечания и определения функции перевода tr.
Перевод в Т + ВБ каждой выводимой в LЕA формулы G выводим в Т + ВБ (утверждение 2).
Для доказательства воспользуемся индукцией по длине вывода О в LЕA. Если О отличная от а1 аксиома системы LЕA, то в Т + ВБ выводится более сильная формула ^"(О); если же Оесть а1, то доказуемо в Т + ВБ, что ее перевод эквивалентен формуле ЗхОБх з Зх^х. Не сложно показать также, что если переводы посылок какого-либо из правил вывода г1-г5 выводимы в Т + ВБ, то в ней выводится и перевод заключения этого правила. В качестве примера рассмотрим правила г2 и г4.
(г2): пусть в Т + ВБ выводится перевод посылки правила г2: (МаБ л МаР) з Т, т.е. выводится формула [ЗхФМх л ЗхФБх л ЗхОРх л Е(/)] з
з [(УхП(Мх з Бх) л УхП(Мх з Рх)) з 1г(/)],
и при этом М не содержится в тогда в Т + ВБ выводится также ее частный случай:
[ЗхОфх л Рх) л ЗхФБх л ЗхФРх л Е(/)] з
з [(УхП((Бх л Рх) з Бх) л УхП((Бх л Рх)) з Рх) з Ц^)].
Но УхП((Бх л Рх) з Sx) и УхП((Бх л Рх) з Рх) выводимы в Т + ВБ и, следовательно, в ней выводится и формула
[ЗхФБх л ЗхФРх л Е(/)] з [ЗхОфх л Рх) з 1г(/)],
являющаяся переводом в Т + ВБ заключения правила г2 - Б1Р з F.
(г4): пусть в Т + ВБ выводится перевод посылок правила г4: (МаБ л Ма Р) з ¥ и (МаьБ л МаР) з F, т.е. выводятся формулы:
[ЗхОМх л ЗхФБх л ЗхОРх л Е(/)] з
з [(УхП(Мх з Бх) л УхП(Мх з ПРх)) з -&(/)], [ЗхОМх л ЗхФБх л ЗхФРх л Е(/)] з
з [(УхП(Мх з ПБх) л УхП(Мх з Рх)) з 1г(/)] и при этом М не содержится в F; тогда в Т + ВБ выводятся также их частные случаи с подформулой ^хлШРх) на место Мх для первой формулы и с подформулой (ПБхлРх) на место Мх для второй формулы; рассуждая так же, как в случае г2, получаем, что в Т + ВБ выводятся формулы:
[ЗхФБх л ЗхФРх л ЕСО] з [ЗхОфх л ПРх) з 1^], [ЗхФБх л ЗхОРх л Е(/)] з [ЗхО^Бх л Рх) з 1^]; но тогда в Т + ВБ выводится также формула
[ЗхФБх л ЗхФРх л Е(/)] з [Зх(Ф(БхлПРх) V ◊(□БхлРх)) з 1^], являющаяся переводом заключения правила г4 - Р з F.
Из утверждений 1 и 2 в силу пригодности T + BF [13, 249] следует пригодность системы LEA - каждая выводимая в LEA формула LEA-общезначима (утверждение 3).
Стандартное преобразование формул LEA [8], [10].
Пусть F - произвольная формула LEA. (s1) преобразуем F в дизъюнктивную нормальную форму в терминах атомарных формул, входящих в F. В каждой конъюнкции, входящей в качестве дизъюнкта в полученную на предыдущем шаге преобразования формулу, производим следующие изменения: (s2) каждый ее член вида ~SxP, где х - ассерторическая константа, заменяем на атомарную формулу, контрадикторную формуле SxP; (s3) каждый ее член вида SiP, SoP, Si P или So P заменяем на формулу MaS л MaP, MaS л MeP, (MaS л MaLP) v (MaLS л MaP) и MaS л MeLS, соответственно, где М - общий термин, не встречающийся ранее в преобразовании (в третьем случае одновременно производим дистрибуцию, вынося знак v из области действия знака л); (s4) производим замыкание без повторения по следующим схемам:
4.1 MaM, 4.7 (MeP л SaM) з SeP,
4.2 SaLP з SaP, 4.8 (MaLP л SaM) з SaLP,
4.3 SeLP з SeP, 4.9 (MeLP л SaM) з SeLP,
4.4 SeP з PeS, 4.10 (~SiLP л SaM) з ~MaLP,
4.5 SeLP з PeLS, 4.11 (~SiLP л MaP) з ~MaLS,
4.6 (MaP л SaM) з SaP, 4.12 (~SoLP л MaS) з ~MeLP
(применение схемы 4.1 ограничено общими терминами, входящими в конъюнкцию). Преобразование завершено.
Формула F*, полученная в результате стандартного преобразования формулы F, является дизъюнкцией конъюнкций атомарных формул и их отрицаний (однако легко заметить, что эти конъюнкции не содержат ассерторических атомарных формул со знаком отрицания и частных атомарных формул без знака отрицания). Конъюнкция, содержащаяся в F* в качестве дизъюнкта, называется несовмест имой, если и только если она содержит члены хотя бы одной из следующих пар формул: (SaP, SeP), (SaLP, ~SaLP), (SeLP, ~SeLP).
Можно доказать следующие ут верждения.
(4) Если конъюнкция К несовместима, то ~К выводима в LEA. Если формула G получена из формулы Н в процессе стандартного преобразования, в результате однократного
применения одного из пунктов (s1)-(s4), то (5) если в LEA |--G,
то в LEA |- ~H и (6) если G - LEA-выполнима, то LEA-выполнима и Н. (7) Если конъюнкция К, содержащаяся в F* в качестве дизъюнкта, совместима, то она LEA-выполнима.
Доказательства утверждений (4)-(6) не представляют трудности. Поэтому докажем лишь утверждение 7.
Построение: пусть M1, ..., Mp; Ai, ..., Ak и Ei, ..., Em соответственно являются списками всех терминов и атомарных формул вида SaLP и SeLP, содержащихся в К со знаком отрицания. Положим: D° - множество, состоящее из произвольных p+k+m элементов, которые будем обозначать числительными 1,2, ..., p+k+m.
Определим совокупность W° множеств утверждений вида neMi, где n=1, ..., p+k+m и i=1, ..., p. W° содержит начальный элемент w0; все другие элементы W° порождаются из уже порожденных элементов W° определенными правилами. Элементы W° могут быть связаны бинарным отношением "следует за", которое определяется вместе с W°, при этом w0 и каждое множество, следующее за w^ удовлетворяют условиям:
(*а) Если SaP входит в Ки w содержит утверждение neS, то w содержит также утверждение neP.
(*а ) Если Sa P входит в К и w содержит утверждение neS, то w и любой другой элемент W°, следующий за w, содержит утверждение neP.
w1) w0 содержит каждое утверждение вида ieMi. w2) Для каждой Ah (h = 1, ..., k) We содержит элементы wähl и wah2 такие, что wahl следует за w0, а wah2 - за wahl и, при этом, утверждение p+heS(Ah) - субъект атомарной формулы Ah.
w3) Для каждой Ej (j = 1, ..., m) We содержит элементы wejl и wej2, следующие за w o и содержащие утверждения p+k+jeS(Ej) и p+k+jeP(Ej), соответственно, где S(Ej) и P(Ej) - соответственно субъект и предикат атомарной формулы E j.
w4) Для каждой формулы -SiLP, входящей в К, если wo или какое-нибудь w, следующее за wo, для какого-нибудь neD° содержит утверждение neS или neP, то W° содержит множество wiL, которое следует за w o, или, соответственно за w, и при этом содержит все утверждения, входящие в wo(w), за исключением утверждений вида neM для всякого М такого, что MaP (соответственно, MaS) содержится в К.
w5) Для каждой формулы -SoLP из К, если wo или какое-нибудь w, следующее за w o, для какого-нибудь neD° содержит утверждение ne S, то W° содержит также множество wol, которое следует за w o или, соответственно, за w и при этом содержит все утверждения вида neM для каждого М такого, что РаМ входит в К.
Определим бинарное отношение R° на множестве W° и функцию V°: Для всяких w, veD° положим: wR°v, если и только если w = v, либо v следует за w в построении.
V°: V°(M1) = {(n,w): утверждение neMj принадлежит weW°} и V°(P) = 0, если Р не входит в список Mi, ..., Мр.
Четверка <W°, R°, D°, V°> является интерпретацией языка LEA и в этой интерпретации V°(Awo) = И для каждого А, входящего в Кв качестве члена конъюнкции; но тогда V°(Ä,wo) = И и, следовательно, ^LEA-выполнима. Из выполнимости Кв силу утверждения (6) следует LEA-выполнимость формулы F.
Отсюда же очень легко следует теорема полноты системы LEA: если формула F не выводима в LEA, т о она не LEA-обще-значима (утверждение 8).
ЛИТЕРАТУРА
1. Арист от ель Первая аналитика // Аристотель. Сочинения. М, 1978. Т.2.
2. Беж анишвили МН. "Возможные миры" и аподиктическая сил-
логистика Аристотеля [4, с. 112-128].
3. Войшвилло Е.К. Модальная силлогистика с содержательной точки
зрения [4, с.121-141].
4. Логика Аристотеля. Материалы симпозиума (16-17 ноября 1983,
г.Тбилиси). Тбилиси, 1985.
5. Лукасевич Я. Аристотелевская силлогистика с точки зрения
современной формальной логики. М, 1959.
6. МаркинВ.И. Семантический анализ аподиктической силлогистики
Аристотеля [4, с. 141-154].
7. МчедлишвилиЛ.И. Эктезис в силлогистике Аристотеля // Мно-
гозначные, релевантные и паранепротиворечивые логики. М., 1984. C. 119-129.
8. Мчедлишвили Л.И. Интерпретация аподиктической силлогистики
Аристотеля // Там же. C.110-119.
9. Мчедлишвили Л.И. Реконструкция метода эктезиса и системы
позитивной силлогистики [4, с.21-26].
10. Мчедлишвили Л.И. Аподиктическая силлогистика Аристотеля и
отношение "обозначает суть бытия" [4, с.154-168].
11. Смирнов В. А Адекватный перевод утверждений силлогистики в
исчислении предикатов // Актуальные проблемы логики и методологии науки. Киев, 1980.
12. Becker A Die aristotelische Theorie der Möglischkeisschlüsse. Berlin,
1933.
13. Hughes G.E, CresswellM.J. A New Introduction to Modal Logic.
London-New York, 1996.
14. McCallS. Aristotle's Modal Syllogisms. Amsterdam, 1963.
15. Patzig G. Aristotle's Theory of the Syllogism. Dordrecht,1968.
16. RescherN. Aristotle's Theory of Modal Syllogisms and its Interpretation // The Critical Approach: Essays in Honour of Karl Popper (ed. by M.Bunge). 1963, Sect.II.
