CC BY
27Л.И.Мчедлишвили
АРИФМЕТИЧЕСКАЯ СЕМАНТИКА ДЛЯ НЕТРАДИЦИОННЫХ СИСТЕМ СИЛЛОГИСТИКИ
Abstract. Leibniz worked out for the assertoric positive syllogistics an arithmetical semantics with ordered pairs of mutually prime natural numbers as admitted values of term-variables. In [5], [14] was proved that the arithmetical semantics gives the adequate understanding of the Lukasiewicz's formal Systems L of syllogistics. In set-theoretical (extensional) semantics of the formal Systems B and Sm, in contrary to L, the empty value for term-variables is admitted and the propositions SaP and SeP means accordingly SeP and S n P =0 (in B), S^0 & ScP and S n P =0 (in Sm). In this article is defined Leibniz-style arithmetical semantics with arbitrary natural numbers as admitted values of term-varibles for these systems.
В рамках своей программы универсальной науки Г.В.Лейбниц в 1679 г. разработал арифметическую семантику для аристотелевской ассерторической позитивной силлогистики (APS)1. Правильно построенные выражения APS, при ее формулировке в качестве самостоятельной логической теории, образуются из атомарных формул вида SaP, SeP, SiP и SoP с помощью обычных пропозициональных связок, где S и P - переменные для общих (силлогистических) терминов (язык Syl+). В понятиях современной методологии основные идеи арифметической семантики можно изложить следующим образом. Арифметической интерпретацией языка Syl+ является функция f, которая 1) каждому силлогистическому термину T языка Syl+ (в качестве значения) приписывает упорядоченную пару взаимнопростых чисел (t 1,t2), 2) а каждой формуле этого языка - истинностное значение И или Л согласно следующим базисным правилам:
f(SaP)=H ^ s1 делится без остатка на p1 и s2 делится без остатка на p2,
f(SeP)=H ^ s1 и p2 или s 2 и p 1 не являются взаимнопростыми
числами, f(SiP)=H » f(SeP)=^
1 Полный список фрагментов Лейбница, в которых обсуждается эта тема, дан в [11]; некоторые из них посвящены интересующей нас интерпретации силлогистического языка упорядоченными парами натуральных чисел; только один из этих фрагментов - "Правила, по которым..." ("Regulae ex quibus...") -переведен на русский язык [4]. Р. Кауппи анализирует также комментарий Л.Кутюра (из его "La Logique de Leibniz") к ним. Далее мы будем иметь в виду этот анализ.
f(SoP)=H » f(SaP)^, и индуктивным правилам, соответствующим классическим таблицам истинности для пропозициональных связок. Как увидим далее, более согласованной с другими логическими положениями, принимаемыми Лейбницем, является следующая модификация базисного правила для общеутвердительного высказывания:
f(SaP)=H ^ все простые делители рь являются делителями также si, а все простые делители p2 - делителями s2. Пусть для всякого натурального числа n "[n]" обозначает множество его простых делителей; тогда, принимая эту коррекцию, базисные правила можно записать в терминах обычных теоретико-множественных отношений:
f(SaP)=H » [pi] ^[si] и [p2] ^[S2], f(SeP)=И [S2] n[p2] или [S2] n[pi] *0, f(SiP)=И » f(SeP)=^ f(SoP)=И » f(SeaP)=Л2.
Арифметическую общезначимость в смысле Лейбница для формул Syl+ можно определить стандартно. Е.Слупецкий и Я.Лукасевич показали, что понятия выводимости в формальном силлогистическом исчислении Лукасевича L (его мы называем традиционной системой силлогистики) и арифметической общезначимости в смысле Лейбница равнобъемны [5, гл. V], [14].
Ввиду важности этого результата для дальнейшего изложения коротко опишем его. Исчисление L построено как реконструкция APS Аристотеля; оно формулируется в языке Syl+ на базе классического исчисления высказываний (РС), принимая част ные случаи классических т авт ологий в качестве аксиом, с исходными правилами подст ановки (переменного термина на место переменного термина) и отделения ант ецедент а (modus ponens) и следующими специальными аксиомами3:
1. SeP^PeS, 4. MaPЛSaM^SaP,
2. - SaP^SoP, 5. MePЛSaM^SeP,
3. - SeP^SiP, 6. -(SaPЛSeP)
7. SaS
С экстенсиональной точки зрения система L представляет собой такой фрагмент обычного исчисления классов, в котором SaP и SeP понимаются как ScP и SnP=0 с ограничением: допус-
2 В этой формулировке базисных пунктов правил истинности обнаруживается, что в арифметической семантике числа не играют сушественной роли и могут быть заменены произвольными конечными подмножествами некоторого непустого множества.
3 Данная формулировка Ь отлична от оригинальной версии Лукасевича, однако легко можно доказать в определенном смысле их равносильность.
тимыми значениями переменных терминов являют ся непустые подмножества области предметов (т.е. термины с непустыми объемами). Заметим, что в арифметической семантике Лейбница в некотором смысле обращены соотношения, существование которых утверждается в категорических высказываниях при их экстенсиональной трактовке. Это можно рассматривать как признак того, что в основе арифметической семантики Лейбница лежит некоторая интенсиональная концепция понимания категорических высказываний.
Лукасевич и Слупецкий построили также исчисление отбрасываемых (непринимаемых) силлогистических формул (исчисление *L); оно формулируется на базе L как его расширение, с единственной дополнительной аксиомой отбрасывания
*1. PaMnSaM ^SiP, где «*» - знак отбрасывания, и следующими дополнительными исходными правилами вывода: обратная подстановка (если отбрасывается результат подстановки в формулу F, то отбрасывается и сама формула F), отделение консеквента, modus tollens (если доказуема F^G, а G отбрасывается, то отбрасывается также F) и правило Слупецкого (если отбрасываются A^D и B^D, где A и B - отрицательные атомы, а D - дизъюнкция произвольных атомов, то отбрасывается также AЛB^D) (о понятии отбрасывания см. [5], [9]); - и дали эскиз доказательства следующих двух утверждений: (I) Ни одна силлогист ическая формула не являет ся доказуемой в L и отбрасываемой в^ (утверждение о несовместимости метапредикатов доказуемости и отбрасываемости) и (II) Каждая силлогист ическая формула или доказуема в L или от бра-сываема в *L (утверждение о дополнит ельност и метапредикатов доказуемости и отбрасываемости). Первая из них выводится из утверждений (I.1) Каждая доказуемая в L формула является арифметически общезначимой в смысле Лейбница и (I.2) Каждая от брасываемая в *L формула являет ся арифмет ически опровержимой в смысле Лейбница4. Для доказательства (I.1) достаточно проверить арифметическую общезначимость специфических силлогистических аксиом L, так как очевидно, что правила вывода L сохраняют это свойство формул. Очевидно также, что правило обратной подстановки и modus tollens сохраняют арифметическую опровержимость, поэтому для доказательства утверждения (I.2) достаточно проверить арифметическую опровержимость единственной аксиомы отбрасывания исчисления *L и доказать, что пра-
4 В дальнейшем в подобных контекстах разъяснительную фразу «в смысле Лейбница» будем опускать.
вило Слупецкого также обладает аналогичным свойством сохранения арифметической опровержимости: если арифметически опровержимы формулы A^D и B^D, где A и B - отрицательные атомы, а D - дизъюнкция произвольных атомов, то арифметически опровержима также формула АЛВ^О; доказательство этого утверждения, принадлежащее Слупецкому, приводится в книге Лукасе-вича [5, 185-187]. Что же касается доказательства утверждения (II), то в нем используется силлогистическая версия теоремы о конъюнктивной нормальной форме, а также эффективная процедура нахождения для любой дизъюнкции силлогистических атомов ее доказательства в L или ее отбрасывания в *L. Из утверждений (II) и (I.2) следует теорема полноты для исчисления L: (III) Каждая арифметически общезначимая формула языка Syl+ доказуема в L. Метатеоремы (I.1) и (III) совместно составляют утверждение о равнообъемности предикатов выводимости в L и арифметической общезначимости в смысле Лейбница.
Лейбниц был уверен, что описанную трактовку силлогистического языка с соответствующими изменениями можно приложить к модальным, гипотетическим и негативным силлогизмам. Однако его попытка определить арифметическое значение отрицательного термина по арифметическому значению отрицаемого термина оказалось неудачной. В частности, при доказательстве законов силлогистической контрапозиции Лейбниц применяет правило: если значением термина T является упорядоченная пара чисел (t 1, t2), то значение его отрицания T' (не -Т) определяется как упорядоченная пара (t 2, t1); однако легко можно показать, что при таком понимании из SeP не следует SaP', т.е. проваливается один из законов превращения [11]. После этой неудачи работа в направлении расширения сферы применимости арифметической семантики Лейбницем не была продолжена. Но думается, что для того чтобы адекватно оценить Лейбницево предположение и его метод арифметизации силлогистики, необходимо исследовать возможности применения этого метода за пределами традиционной ассерторической силлогистики,
реконструированной в исчислении L.
В настоящей работе анализируется философское основание, так сказать, "идеология" арифметической семантики Лейбница и показывается возможность истолкования арифметически в духе Лейбница двух нетрадиционных систем APS (первый набросок такого обобщения дан в [8]5); эти системы с экстенсиональной
5 Эскиз обобщения Лейбницева метода арифметизации для негативной силлогистики дан в [3].
точки зрения являются такими фрагментами обычного исчисления классов, в которых для переменных терминов, в отличие от L, допускается и пустое значение; кроме того, суждения SaP и SeP в первом из них, вслед за А. Де Морганом, Ф.Брентано, Ч.Пирсом и др., соответственно понимаются как 8сР и без всякого
ограничения, а в другом - как 8Ф0 & 8сР и SnP=0. При первом истолковании непустота субъекта является необходимым условием истинности частного (но не общего) высказывания, тогда как при втором истолковании непустота субъекта следует из утвердительных (но не отрицательных) высказываний. Второе понимание силлогистического языка имеет корни в "Категориях" Аристотеля, широко обсуждалось в средневековой логике, а в XX в. предлагалось (Дж.Кейнсом, У.Джонсоном, К.Поппером) как альтернатива первого понимания, сохраняющая все законы обращения, логического квадрата и силлогизмов [12], [2], [1].
Первое нетрадиционное понимание силлогистики было аксиоматизировано Ю.М.Бохенским [1] и Дж.Шефердсоном [13], второе Э.Дж.Леммоном [15] и В.А.Смирновым [10]. Обозначим эти системы как В и Sm соответственно. В и Sm, подобно L, формулируются в языке Syl+ на базе РС с теми же исходными правилами вывода и следующими специальными силлогистическими аксиомами:
В. Аксиомы 1, -5,7 и Sm. Аксиомы 1- 6 и 8. 10. 9.
В [9] нами были построены также исчисления отбрасываемых формул *В и *Sm; они соответственно формулируются на базе исчислений В и Sm, как их расширения, с аксиомами отбрасывания:
* В * 2. (Р1РЛ818) ^(РаМЛ8аМ^Р),
* 3. 818^Р1Р
* 8т. Аксиома отбрасывания *1 и
* 4. 8а8^Р1Р;
с теми же дополнительными исходными правилами вывода, что и ^ (однако правило Слупецкого в *В ограничивается определенным условием [9,98]); на основе их экстенсионального (т.е. вышеуказанного теоретико-множественного) понимания, без привлечения какого-либо варианта арифметической семантики, также доказаны утверждения (I) и (II) о несовмест имост и и дополнит ель-ности мет апредикат ов выводимост и в В (Sm) и от брасываемо-ст и в *В (*Sm).
* * *
Как пришел Лейбниц к арифметической семантике? На какой "логической идеологии'' основывал он свою интуицию? Лейбни-цова программа универсальной науки (scientia universalis) состоит из двух частей: универсального метода обозначений (characteris-tica universalis), целью которого является разработка существенно отличной от обычной, в некотором смысле алгебраической, системы обозначений для записи научных фактов, и формальной теории рассуждения (calculus ratiocinator), применяемой к языку, основанному на новой системе обозначений. Убежденность Лейбница в осуществимости идеи универсальной характеристики опирается на его концепцию о структуре или комбинаторике понятий. Согласно первоначальной версии этой концепции (1) каждое понятие, т.е. содержание каждого термина, однозначно разлагается (анализируется) на простые, далее неразложимые понятия (на простые признаки, реквизиты), (2) из которых оно строится (синтезируется) с помощью их сочленения, трактуемого Лейбницем в смысле конъюнкции (пересечения) понятий. Рассуждение представляет собой оперирование характерами или знаками; они могут быть картинками, словами, числами и пр. Прогресс в познании во многом зависит от особенностей избранной системы характеров. Лейбниц считает, что успехи математики существенно обусловлены спецификой применяемой в математическом языке обозначений. Исходя из этого он отдает предпочтение выбору чисел в качестве характеров и в других областях науки. Основными положениями универсальной характеристики и исчисления рассуждений являются: (3) каждому простому понятию можно взаимнооднозначно поставить в соответствие простое число и (4) это соответствие распространить на все понятия, обозначив каждое из них произведением простых чисел, соответствующих простым понятиям, из которых оно составлено (характеристическое число понятия); (5) каждое высказывание (Лейбниц имеет в виду простые категорические суждения) можно трактовать как утверждение существования некоторого арифметического отношения между характеристическими числами понятий, входящих в данное высказывание.
Чтобы задать характеристические числа, нужно искать определения понятий и, в конце концов, сводить их к неразложимым реквизитам. Однако Лейбниц полагал, что даже в том случае, когда фактически не найдены все определения и, тем самым, не найдены все характеристические числа, выполнив требование (5), на основе гипотетического существования характеристических чисел можно задать арифметические критерии корректности рассуждения и
доказать все логические законы. Логические фрагменты Лейбница содержат серию попыток сведения отношений между понятиями к численным отношениям. Большинство из них датированы апрелем 1679 г., хотя отдельные идеи, рассмотренные в них, встречаются и в более ранних работах, в том числе в Dissertatio de Arte combinatoria.
При поиске решения проблемы, заключенной в тезисе (5), исходным для Лейбница была инт енсиональная тракт овка обще-ут вердит ельного высказывания: оно утверждает включение предиката высказывания в субъект высказывания, т.е. SaP истинно, если и только если понятие P является (конъюнктивной) частью понятия S; точнее, если каждое простое понятие, входящее в содержание P, входит также в содержание S. Пусть s и p - характеристические числа понятий S и P; учитывая способ их задания, Лейбниц заключает, что указанное интенсиональное условие равносильно арифметическому условию: существует такое нату-ралное число n, чт о s=pn, другими словами, p являет ся делит елем s. Более точным арифметическим переводом интенсиональной трактовки общеутвердительного высказывания была бы следующая формулировка: каждый прост ой делит ель p являет ся делителем также s, символически, [p]c[s]; кроме того, такая формулировка была бы более согласованной с другими логическими положениями, принимаемыми Лейбницем, например, законом идемпотентности для понятий (частноотрицательное высказывание как интенсионально, так и арифметически понимается как отрицание общеутвердительного высказывания).
Лейбницу не удалось найти такие интенсиональные и арифметические условия истинности частноутвердительного и общеотрицательного высказываний, чтобы они совместно с условиями истинности высказываний типа а и о обеспечивали корректность всех законов традиционной APS. Один вариант таких условий, над которым размышлял Лейбниц и который встречается уже в Dissertatio, гласит: каждое частноутвердительное высказывание возникает из общеутвердительного высказывания с теми же терминами либо посредством субальтернации, либо посредством обращения с ограничением. Как заметил Кутюра, это предположение Лейбница подразумевает принятие неверной равносильности SiP^SaPVPaS, ибо очевидно, что существуют такие термины S и P, для которых, хотя SiP истинно, не выполняются ни SaP, ни PaS. В другом варианте на SiP распространяется с определенным ограничением понимание SaP: в частноутвердительном высказывании утверждается включение предиката в какой-либо вид субъекта. Так как вид получается добавлением нового признака к совокуп-
ности признаков рода, Лейбниц полагал, что такому (интенсиональному) пониманию SiP соответствует арифметическое условие: SiP истинно, если и только если характеристическое число s субъекта, умноженное на некоторое число, делится без остатка на характеристическое число p предиката (общеотрицательное высказывание как интенсионально, так и арифметически понимается как отрицание отношения, утверждаемого в SiP). С применением кванторов описанные арифметические условия истиности простых категорических высказываний можно записать следущим образом:
SaP: 3n(s=pn), SeP: Vmn(sm^pn)
SiP: 3mn(sm=pn), SoP: Vn(s^pn).
Кутюра был прав, когда утверждал, что всегда (т.е. для любых S и P) можно найти числа m и n, удовлетворяющие равенству sm=pn (например, путь m=p и n=s); это означает, что при таком понимании SiP формулы SiP и —SeP являлись бы законами силлогистики, что противоречит традиционному пониманию APS.
Эти трудности, которые, по-видимому, осознавал и сам Лейбниц, для него были симптомом каких-то дефектов комбинаторики понятий, служащей основанием концепции универсальной характеристики. С целью их устранения Лейбниц скорректировал как свое понимание содержания понятия (термина), так и способ использования чисел в качестве характеров; в частности, в усовершенствованной версии комбинаторики понятий сложное понятие является композицией (сочленением) не только простых понятий - теперь каждая ее составляющая является либо простым понятием, либо отрицанием (дополнением) простого понятия и поэтому каждое понятие обозначается (кодируется) упорядочнной парой чисел; первая компонента этой пары является произведением простых чисел, соотвествующих простым понятиям, которые входят в данное понятие сами, т.е. положительно, а вторая - произведением простых чисел, соответствующих простым понятиям, дополнения которых входят в данное понятие, т. е. входят отрицательно. Это предположение подтверждается употреблением Лейбницем знаков «+» и «-» при описании арифметической интерпретации. Первый член характеристической пары чисел он снабжает знаком «+», второй - знаком «-» (см. [4, 538-546]); однако эти знаки в арифметическом смысле совершенно излишни (Лукасевич их даже не упоминает). Очевидно, что они «реликты» подразумеваемой Лейбницем новой версии комбинаторики понятий: первое число кодифицирует простые понятия, входящие положительно в данное понятие, второе - простые понятия, входящие в данное понятие отрицательно.
Следовательно, для содержания произвольного понятия (термина) Т имеется равенство
Т=Т п. . . пТтпТ'т+1 п. . . пТ'т+п , где Ть . . ., Тт+п - простые понятия (признаки, реквизиты), « ' » -знак понятийного отрицания (дополнения), а характер Т определяется как пара чисел ^ 1 •. . . -1т, 1^+1 •. . . ^т+п), где 11. . . 11т, 1-т+1 . . .^т+п простые числа, соответствущие простым понятиям Т ь . . ., Тт,
Т-" Т-" 6
Т т+1,. . . Т т+п .
Имея в виду описанную версию комбинаторики понятий, все пункты арифметической семантики, предложенной Лейбницем, обретают неарифметический смысл и становится возможным перевести их в интенсионально-семантические утверждения, одновременно выявляя корреляцию, которая существует между обычным экстенсиональным рассмотрением силлогистики [6]; [9] и е1 интенсиональной трактовкой.
Во-первых, требование взаимной простоты членов упорядоченной пары чисел 1;2), являющейся допустимым арифметическим значением произвольного термина Т, означает, что содержание термина (понятия) Т не должно содержать в себе какое-либо простое понятие и положительно, и отрицательно, т. е. оно не должно быть противоречивым, оно должно обеспечивать возможность непустоты экстенсионального значения термина Т. Тем самым это утверждение является интенсиональным аналогом требования непустоты объемов силлогистических терминов при их экстенсиональной трактовке.
Арифметическое условие истинности высказывания SaP в новой версии универсальной характеристики означает, что каждое простое понятие, содержащееся в Р положительно или отрицательно, содержится также положительно, соотвественно, отрицательно в S и, таким образом, так же, как в старой версии, оно требует необходимой (аналитической) истинност и соотношения $сР между объемами терминов S и Р. С другой стороны, арифметическое условие истинности высказывания SiP означает, что ни одно простое понятие, содержащееся в одном из понятий S и Р положительно или отрицательно, не содержится в другом из них отрицательно, соответственно положительно; другими словами SiP
6 Может ли понятие состоять только из простых понятий, взятых положительно (тогда п=0), или только из простых понятий, взятых отрицательно (тогда т=0)? Текст Лейбница не содержит никакого указания, могущего помочь в решении этого вопроса. Однако на рассматриваемом общем уровне ничего не мешает допустить такие возможности; ведь, например, простые понятия являются примерами таких понятий. Характерами для подобных понятий будут соответственно служить пары чисел (1;^. . . •1т, 1) и (1, 1^-. . . -1„).
истинно, если и только если сочленение SP является непротиво-речным и поэтому экстенсиональное соотношение SnP^0 является возможно истинным (аналогично расшифровываются арифметические условия отрицательных высказываний)7.
Описанную комбинаторику понятий и универсальную характеристику приложим, приспособим к системам В и Sm.
В обычной теоретико-множественной семантике этих систем в качестве значения переменных терминов, кроме произвольных непустых множеств, в отличие от такой же семантики L, допускается и пустое множество. Осмысливая комбинаторику понятий для систем B и Sm и задавая соответствующий метод определения арифметических характеров, следует отказаться от требования непротиворечивости допустимых интенсиональных значений переменных терминов и взаимной простоты членов пар чисел, составляющих соответствующие арифметические характеры. Таким образом, следует расширить область интенсиональных значений терминов противоречивыми понятиями, а в качестве характеров допустить пары произвольных натуральных чисел.
При расширенной области интенсиональных значений переменных терминов необходимая истинность экстенсинальных соотношений ScP (теоретико-множественно понимаемое SaP в В) и S^0 & ScP (теоретико-множественно понимаемое SaP в Sm) обеспечивается соответственно следущими толкованиями SaP в новой версии комбинаторики понятий: в В высказывание SaP утверждает, что каждое простое понятие, содержащееся в P положит ельно или отрицат ельно, содержится в S т аким ж е способом - положительно, соответственно, отрицательно, или S являет ся прот иворечивым понят ием; в Sm высказывание SaP ут -верж дает, чт о S не являет ся прот иворечивым понят ием и каж -дое прост ое понятие, содержащееся в P положит ельно или от -рицат ельно, содержится в S таким же способом. Экстенсиональный смысл высказывания SiP в B и Sm один и тот же, оно понимается как утверждение SnP^0. Возможную истинность этого соотношения, так же как в случае L, обеспечивает непрот иворечив-ность сочленения SP (конъюнкция содержаний SиP) и, следова-т ельно, в B и Sm высказывание SiP ут верж дает, чт о если какое-нибудь прост ое понят ие содерж ит ся в S или P полож ит ельно, т о оно ни в S ни в P не содержит ся от рицат ельно (истолкованием отрицательного высказывания является отрицание истолкования соответствующего контрадикторного высказывания).
7 Эта интенсиональная подоплека Лейбницевой арифметической семантики рассматривается независимо от последней В.И.Маркиным в [7].
Перевести эти положения интенсиональной семантики с языка комбинаторики понятий обратно на арифметический язык универсальной характеристики не представляет трудности.
Функцию f назовем арифмет ической В-инт ерпрет ацией (Бт-инт ерпрет ацией) языка Бу1+, если она 1) каждому переменному термину Т этого языка приписывает (в качестве значения) упрядо-ченную пару произвольных натуральных чисел (1 ь"12), 2) а каждой формуле этого языка - истинностное значение согласно следующим базисным правилам: при истолковании В £(БаР)=И^[81]п[82]^0 V ([Р1]с[81]& [Р2]с[82]),
при истолкованиии Sm £(БаР)=И^[81]п[82]=0 & ([Р1]С[81]& [Р2]С[82]),
в обоих случаях ^БеР^И^^О^] ^0 V [81]С[Р2] ^0 V ([Р1] П^] ^0 V
V [Р1] п[Р2] *0, ^йР)=И^(БеР)=Л, ^БоР)=И^(БаР)=Л, и индуктивным правилам, соответствующим классическим таблицам истинности для пропозициональных связок. Можно стандартным образом определить понятия арифметической В-общезначи-мости и арифметической Sm-общезначимости.
Доказываются следующие аналоги утверждений (1.1) и (1.2): (10.1) Каждая доказуемая в В (Бт) формула являет ся арифмет и-чески В-общезначимой (сооответственнно, арифметически Бт-общезна чимой);
(102) Каждая от брасываемая в *В (*Бт) формула являет ся арифметически В-опровержимой (соответственно, арифметически Бт-опроверж имой).
Доказательства проводятся индуктивно точно так, как доказательства утверждений (1.1) и (1.2), и почти полностью сводятся к проверке соответствующих типов арифметической общезначимости и опровержимости аксиом исчислений В, *В, Бт и *Бт. Имеется единственное отклонение - при доказательстве корректности правила Слупецкого в *В (в *Бт она доказывается методом Слу-пецкого-Лукасевича точно так, как в *Ц) применяется следующая лемма: Если формулы AuD и B:эD арифмет ически В-опровер-жимы, где А и В - отрицат ельные ат омы, D - дизъюнкция про-звольных ат омов, а А имеет вид SoP, то существует арифмет и-ческая В-интерпретация / языка Бу1+ такая, что / опровергает B^D и числа s1 и s2 являют ся взаимнопрост ыми.
Из утверждений (II0) и (I0.2) так же, как в случае L, следуют теоремы полноты для исчислений B и Sm: (III0) Каждая арифметически В-общезначимая (Sm-обoщезначимая) формула языка Syl+ доказуема в В (соот вет ст венно, в Sm). (III0) вместе с (I01) составляет утверждение о равнообъемности предикатов выводимости в В (Sm) и арифметической В-общезначимости (соответствено, Sm-общезначимости).
ЛИТЕРАТУРА
1. Бочаров В. А Аристотель и традиционная логика. М., 1984.
2. Бочаров В.А Интерпретация ассерторической силлогистики Аристотеля // Логика Аристотеля. Материалы симпозиума. Тбилиси, 1985. С. 6-20.
3. Дурглишвили Н. К, ММчедлишвили Л. И. Обобщение Лейбницева метода арифметизации силлогистики // Современая логика: проблемы теории, истории и применения в науке. Материалы V общероссийской научной конференции. С.-Пб., 1998. С. 109-118.
4. Лейбниц. Сочинения. Том 3. М., 1984. С. 395-617.
5. Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики (пер. с англ.). М., 1959.
6. ММаркин В. И. Силлогистические теории в современной логике. М., 1991.
7. ММаркин В. И. Интенсиональная семантика традиционной силлогистики // Логические исследования. Вып. 8. М., 2001. С. 82-91.
8. ММчедлишвили Л. И. Применение Лейбницва метода арифметизации к нетрадиционным системам силлогистики // Смирновские чтения. 2 Международная конференция. М., 1999. С. 47-49.
9. ММчедлишвили Л.И. Исчисления отбрасываемых формул для нетрадиционных систем позитивной силлогистики // Логические исследования. Вып 8. М., 2001. С. 92-104.
10. Смирнов В. А Адекватный перевод утверждений силлогистики в исчисление предикатов // Актуальные проблемы логики и методологии науки. Киев, 1981.
11.Kauppi R. Über die Leibnizsche Logik. New York; London, 1985. S. 54-65, 145-153.
12.Prior A.N. Formal Logic. Oxford, 1962. P. 103-184.
13.Shepherdson J. C. On the Interpretation of Aristotelian Syllogistic // JSL.
1956. Vol. 21, N. 2. P. 137-147. 14.Slupecki J. On Aristotelian Syllogistic // Studia Philosophica, 1949/50 (4). P. 275-300.
15.Sotirov V. Slupecki's Syllogistic Axiomatized // Preprint.
