CC BY
50УДК 161.2
В.И. Шалак
Синтаксическая интерпретация категорических атрибутивных высказываний
Шалак Владимир Иванович
Сектор логики, Институт философии РАН. Россия, 119991, Москва, ул. Волхонка, 14, строение 5. e-mail: shalack@gmail.com
В статье предложен новый вид моделей для категорических атрибутивных высказываний. Эти модели могут быть названы синтаксическими, поскольку субъекту и предикату высказываний сопоставляются не экстенсионалы, а синтаксические определения, посредством которых эти термины вводятся в употребление. Построенные модели свободны от онтологических допущений. Связь между субъектом и предикатом интерпретируется не в терминах теоретико-множественных отношений между экстенсионалами, а в терминах логических отношений между дефиниенсами определений. Доказаны теоремы непротиворечивости и полноты фундаментальной силлогистики относительно синтаксических моделей.
Ключевые слова: атрибутивное высказывание, силлогистика, определение, понятие, аналитичность, модель
События рубежа XIX-XX вв., связанные с проблемами оснований математики, изменили основной тренд развития логики. Фреге-Расселовский подход начал свою победную поступь. Вопросы, дискутируемые ранее в рамках традиционной логики, отошли на дальний план, хотя далеко не на все из них были получены приемлемые ответы. Интерпретация атрибутивных высказываний в терминах одноместного исчисления предикатов и его моделей была признана удовлетворительной и в определенном смысле «закрывала» традиционную логику как самостоятельную область исследований. Вопреки этому логики-философы продолжают обращаться к проблематике традиционной логики. Как ни странно, но даже в такой исследованной вдоль и поперек области еще можно обнаружить много интересного.
Обратимся к моделям простых позитивных категорических атрибутивных высказываний и напомним их стандартную интерпретацию.
Логические исследования. 2015. 21(1):60-78 / Logical Investigations. 2015. 21(1):60-78
1 Язык
Определение 1. Исходные символы языка
1. Б,Р, М, Q,R,N,... — символы общих имен;
2. а, е,г,о — силлогистические константы.
Определение 2. Формулы
1. Если 5 и Р — символы общих имен, то БаР, БеР, БгР, БоР — формулы.
2. Ничто другое формулой не является.
2 Экстенсиональные модели
Определение 3. Экстенсиональной моделью для простых категорических атрибутивных высказываний будем называть пару М = В,ф), где
1. В — непустое множество индивидов;
2. ф — функция, определенная на множестве символов общих имен и сопоставляющая каждому из них некоторое подмножество ф(Р) С В.
В фундаментальной силлогистике (ФС) истинность атрибутивных высказываний в экстенсиональной модели М определяется следующим образом:
Е.1 М = БаР ^ ^ ф(Б) с ф(Р)
Е.2 М = БеР ^ ^ ф(Б) П ф(Р) = 0
Е.3 М = Б1Р ^ ф(Б) П ф(Р) = 0
Е.4 М = БоР ^ ^ ф(Б) \ ф(Р) = 0
Формула А общезначима, если и только если она истинна в каждой модели М.
Именно такого понимания категорических атрибутивных высказываний придерживается Д. Гильберт в работе [2, с. 73-80]. При этом
интересно сделанное им замечание «Наше отклонение от Аристотеля ... оправдывается потребностями математических применений логики, где класть в основу аристотелево понимание было бы нецелесообразно» [2, е. 79].
Очевидно, что при такой интерпретации атрибутивных высказываний формулы вида БаБ будут общезначимыми и аналитически истинными. Высказывания других видов могут быть истинными лишь в конкретных моделях, что соответствует их эмпиричности. Для установления значения таких высказываний в конкретных моделях необходимо знать объемы общих имен субъекта и предиката и иметь возможность установить характер отношения между ними. Теоретически это возможно, но как на практике применить эту теорию к высказыванию «Все люди животные» или «Все кентавры имеют человеческую голову»?
Кроме самих высказываний нас интересует и отношение следования между ними. Аксиоматизировать его можно разными способами. В настоящее время наиболее популярен подход с использованием логики высказываний. Для этого к исходным символам языка добавляют связки логики высказываний и расширяют определение понятия формулы. Затем принимают все аксиомы и правила вывода логики высказываний и добавляют к ним ряд специальных аксиом, относящихся к атрибутивным высказываниям. Понятие вывода соответствует понятию вывода в логике высказываний. Все это достаточно хорошо освещено в литературе [1] и потому не требует подробного изложения.
При таком подходе класс общезначимых формул ФС может быть аксиоматизирован следующим образом:
А.0 Схемы аксиом классического исчисления высказываний.
А.1 (МаР & БаМ) э БаР
А.2 (МеР & БаМ) э БеР
А.3 БеР э РеБ
А.4 БаБ
А.5 БгР э БгБ
А.6 БоР э БгБ
А.7 БгР = -.БеР
A.8 SoP = -SaP
Единственное правило вывода — modus ponens.
Доказательство полноты можно найти в работе [1, с. 66-76].
Знаку общего имени может быть поставлено в соответствие понятие. Это нашло отражение в логической литературе, когда, говоря о субъекте и предикате атрибутивного высказывания, употребляют термин понятие, а не общее имя. С каждым понятием помимо объема мы связываем содержание как некоторую совокупность признаков, посредством которых выделяем мыслимые в понятии предметы. Благодаря этому появляется возможность анализировать связь между субъектом и предикатом атрибутивного высказывания не только с точки зрения объема понятия, но и с точки зрения его содержания, т.е. интенсионально. На это обращал внимание еще Лейбниц.
«Действительно, говоря: „Всякий человек есть животноея хочу этим сказать, что все люди находятся в числе всех животных, но одновременно я имею в виду, что идея животного включена в идею человека. Животное содержит больше индивидов, чем человек, но человек содержит больше идей или формальных определений. Животное содержит больше экземпляров, человек — больше степеней реальности; у первого больше объем, у второго больше содержание. Поэтому мы вправе сказать, что все учение о силлогизме можно доказать на основании учения de continente et contento (о содержащем и содержимом), которое отлично от учения о целом и части» [6, т. 2, с. 501-502].
Аналогичные мысли можно встретить и у И. Канта, когда он рассуждает о различии между аналитическими и синтетическими суждениями [4, с. 37-38, 132].
Строгое уточнение интенсиональной интерпретации атрибутивных высказываний было дано В. Маркиным в работах [1, 7, 8, 9].
3 Интенсиональные модели
Определение 4. Итенсиональной моделью для простых категорических атрибутивных высказываний будем называть четверку I = (L, П, H, п), где
1. L — непустое множество литералов {p1, ~ p1,p2, ~ Р2, ■ ■ ■ }, представляющих положительные и отрицательные признаки. Литерал без знака «~» является положительным признаком, а литерал с этим знаком — отрицательным при знаком;
2. П — множество всех непустых подмножеств Ь (множество содержаний всех понятий);
3. Н — множество всех непустых непротиворечивых подмножеств Ь, т.е. не содержащих одновременно р1 и ~ р^ для некоторого г (множество всех непротиворечивых содержаний понятий).
4. п — функция, определенная на множестве символов общих имен и сопоставляющая каждому из них некоторое содержание понятие п(Р) € П.
В фундаментальной силлогистике (ФС) значимость атрибутивных высказываний в интенсиональной модели I определяется следующим образом:
1.1 I |= БаР ^ п(Р) С п(Б) или п(Б) / Н
1.2 I |= БеР п(Б) и п(Р) € Н
1.3 I |= БгР ^ п(Б) и п(Р) € Н
1.4 I |= БоР ^ п(Р) \ п(Б) | 0 и п(Б) € Н
Формула А интенсионально общезначима, если и только если она значима в каждой интенсиональной модели I. Доказательство полноты можно найти в работе [1, с. 310-321].
Обратим внимание на то, что В. Маркин говорит не об истинности формул в модели, а об их значимости. Если придерживаться корреспондентской теории истинности, то из значимости высказывания БгР в интенсиональной модели вовсе не обязательно следует его истинность, поскольку значимость в данном случае означает всего лишь совместную непротиворечивость содержаний понятий Б и Р, что является всего лишь необходимым условием истинности в корреспондентском смысле. В то же время интенсиональная значимость высказывания БаР является достаточным условием его истинности в корреспондентском смысле.
Поскольку значимость высказываний в интенсиональных моделях устанавливается без обращения к объемам понятий, они все являются аналитическими.
Предложенные В. Маркиным интенсиональные модели очень интересны и важны с историко-философской точки зрения, поскольку являются строгим уточнением идей, высказанных в разные эпохи разными
философами. К сожалению, эти модели не получили должного отклика и развития в работах других логиков. Хотелось бы подчеркнуть, что именно результаты Маркина послужили толчком для построения предлагаемых ниже синтаксических моделей категорических атрибутивных высказываний.
Содержания понятий, с помощью которых устанавливается связь субъекта и предиката высказываний в интенсиональных моделях, не даны нам от Бога, а являются искусственными конструктами, посредством которых мы выделяем и связываем с общим именем мыслимые совокупности объектов. При этом мыслимые объекты вовсе не должны обладать реальным существованием. Простейшими примерами таких понятий являются понятия Кентавра, Пегаса или Олимпийского бога. Мы мыслим их исключительно интенсионально посредством набора признаков, составляющих содержание понятия. Но откуда берутся в содержании понятия эти признаки?
Ответ лежит на поверхности. Этому служат операции определения. Если вынести за скобки мотивацию принятия того или иного определения, сама эта операция является исключительно синтаксической. Приняв на уровне языка определение « Человек — это двуногое и бесперое животное», мы на уровне содержания связали с общим именем Человек два положительных признака Животное, Двуногое и один отрицательный — Не покрытый перьями. После этого общеутвердительное высказывание «Все люди — животные» становится аналитически истинным. Доказательство его аналитической истинности может быть проведено исключительно синтаксически, опираясь лишь на определения общих имен без каких-либо ссылок на содержания понятий. Это наблюдение и было положено в основу построения синтаксических моделей категорических атрибутивных высказываний.
Общеутвердительное высказывание БаР синтаксически значимо, если и только если из дефиниенса определения субъекта Б можно дедуцировать дефиниенс определения предиката Р.
Общеотрицательное высказывание БеР синтаксически значимо, если и только если дефиниенсы определений субъекта Б и предиката Р несовместимы друг с другом.
Частноутвердительное высказывание БгР синтаксически значимо, если и только если дефиниенсы определений субъекта Б и предиката Р совместимы друг с другом.
Частноотрицательное высказывание SoP синтаксически значимо, если и только если дефиниенс определения субъекта S совместим с отрицанием дефиниенса определения предиката P.
4 Синтаксические модели
Определение 5. Синтаксической моделью для простых атрибутивных высказываний будем называть пятерку S = (L, C, F, Ь, §), где
1. L — непустое множество исходных символов для представления признаков {pi,p2, • • • };
2. C — множество связок. Пусть это будет привычный набор {А, V, ~};
3. F — множество всех формул логики высказываний в языке с исходными символами L U C;
4. Ь — отношение выводимости на F, в качестве которого возьмем отношение выводимости классической логики высказываний;
5. 5 — функция, определенная на множестве символов общих имен и сопоставляющая каждому из них некоторую формулу 5(P) € F (дефиниенс явного определения общего имени P).
Напомним некоторые из свойств отношения выводимости классической логики высказываний.
C.1 А Ь A
C.2 Г,А,В, А Ь C Г, B, A, А Ь C
C.3 Г, А, А, А Ь C Г, А, А Ь C
C.4 Г, А, А Ь C Г, A, B, А Ь C
C.5 Г Ь А; А, А Ь B Г, А Ь B
C.6 Г, A, B, А Ь C Г, А А B, А Ь C
C.7 Г, А А B, А Ь C Г, A,B, А Ь C
C.8 Г Ь А; Г Ь B Г Ь А А B
C.9 Г Ь А /\ B ^ГЬ А
С.10 Г Ь А Л В Г Ь в С.11 Г, А, - А Ь В
В последующем изложении факт существования для некоторой формулы А выводимости Г Ь АЛ — А будем обозначать посредством Г Ь Г.
В фундаментальной силлогистике (ФС) значимость атрибутивных высказываний в синтаксической модели Б определяется следующим образом:
Б.1 Б = БаР ^ 5 (Б) Ь 5(Р) Б.2 Б = БеР ^ 5(Б),5(Р) Ь Г Б.З Б = Б1Р ^ 5(Б),5(Р) И Г Б.4 Б = БоР ^ 5(Б) И 5(Р)
Формула А синтаксически общезначима, если и только если она значима в каждой синтаксической модели Б.
Покажем, что синтаксические модели являются адекватными для фундаментальной силлогистики.
Теорема 1. Теорема непротиворечивости. Всякая теорема фундаментальной силлогистики значима в каждой синтаксической модели.
Доказательство.
Пусть нам дана синтаксическая модель Б = (Ь, С, Р, Ь, 5). Проверим, что каждая из аксиом фундаментальной силлогистики значима в ней.
А.1 (МаР & БаМ) э БаР
1. 5(М) Ь 5(Р) - допущение
2. 5(Б) Ь 5(М) - допущение
3. 5(Б) Ь 5(Р) - из 1, 2 по 0.5
А.2 (МеР & БаМ) э БеР
1. 5(М), 5(Р) Ь Г - допущение
2. 5(Б) Ь 5(М) - допущение
3. 5 (Б ),5(Р) Ь Г -из 1,2 по 0.5
А.З БеР э РеБ
1. S(S),S(P) b f
2. S(P),S(S) b f
A.4 SaS
1. S(S) b S(S) A.5 SiP D SiS
1. S(S),S(P) b f
2. S(S),S(S) b f
3. S(S) b f
4. S(S),S(P) b f
5. противоречие
A.6 SoP D SiS
1. S(S) b S(P)
2. S(S),S(S) b f
3. S(S) b f
4. S(S) b АЛ - A
5. A, - A b S(P)
6. АЛ - A b S(P)
7. S(S) b S(P)
8. противоречие
- допущение
- из 1 по C.2
по C.1
- допущение
- допущение от противного
- из 2 по C.3
- из 3 по C.4
- 1, 4
- допущение
- допущение от противного
- из 2 по C.3
- из 3 по определению f
- C.11
- из 5 по C.6
- из 4, 6 по C.5
- 1, 7
A.7 SiP = —SeP - пункты 2, 3 определения значимости в синтаксической модели.
A.8 SoP = —SaP - пункты 1, 4 определения значимости в синтаксической модели.
Все аксиомы логики высказываний значимы в синтаксической модели, а modus ponens сохраняет это свойство.
□
Теорему о полноте фундаментальной силлогистики относительно синтаксических моделей докажем методом Хенкина.
Обычным образом любое непротиворечивое множество формул мы можем расширить до максимального ФС-непротиворечивого А, обладающего свойствами:
M.1 А содержит все теоремы ФС.
M.2 А замкнуто относительно modus ponens. M.3 -A е А A / А. M.4 A&B е А 4=^ A е А и B е А. M.5 A v B е А A е А или B е А. M.6 A d B е А Aе А или B е А.
Поскольку для доказательства теоремы полноты нам понадобится рассматривать максимально непротиворечивые множества, полученные в результате расширения конечных множеств формул, примем, что множество исходных символов общих имен конечно.
Для максимально ФС-непротиворечивого множества А определим каноническую синтаксическую модель Бд = (L, C, F, Ь, 5д) следующим образом.
Определение 6.
1. L будет состоять из символов общих имен языка {S,P,M,Q,R, N,... }.
2. C = {А, V, ~}.
3. F — множество всех формул логики высказываний в языке с исходными символами L U C.
4. Ь — классическое отношение выводимости на F.
5. 5д определим следующим образом. Пусть Qq = {T : QaT е А} U
T : QeT е А}. Обозначим посредством Qqa элементарную конъюнкцию всех элементов Qq. Поскольку мы ограничились языком с конечным набором символов общих имен, эта конъюнкция конечна. Тогда 5д (Q) = Qqa. Это определение в значительной степени опирается на идеи В. Маркина для канонических интенсиональных моделей.
Поскольку для любого общего имени S нашего языка формула SaS является теоремой ФС и принадлежит каждому максимальному ФС-непротиворечивому множеству А, т.е. S е Qs, то 5д(^) всегда определена.
Единственным нетривиальным шагом в доказательстве теоремы о полноте является следующая лемма.
Лемма 1. Для произвольного .максимального ФС-непротиворечивого множества А и произвольной формулы А верно, что А € А ^^ 5д |= А.
Доказательство.
Рассмотрим четыре базисных случая. I. А есть БаР
Докажем БаР € А Бд |= БаР
1. БаР € А
2. Т € Пр
3. РаТ € А
4. (РаТ & БаР) э БаТ
5. БаТ € А
6. Т € Пя
7. ~ Т € Пр
8. РеТ € А
9. (РеТ & БаР) э БеТ
10. БеТ € А
11. ~ Т € Пя
12. 5д(Б) Ь 5д(Р)
13. Бд | БаР
- допущение
- допущение
- из 2 по определению 5д
- А.1
- из 1, 3, 4 по М.2, М.4
- из 5 по определению 5д
- допущение
- из 7 по определению 5д
- А.2
- из 1, 8, 9 по М.2, М.4
- из 10 по определению 5д
- из 1, 2-6, 7-11 по С.8, С.9
- из 12 по Б.1
Докажем Бд |= БаР =^ БаР € А
1. Бд |= БаР
2. 6д(Б) Ь 6д(Р)
3. 5д(Б) И {
4. Пял Ь Прл
5. Пр С
6. РаР € А
7. Р € Пр
8. Р € Пя
9. БаР € А
10. йд(Б)Ь ¥
11. Пял Ь {
12. Т € Пя, ~ Т € Пя
13. БаТ € А, БеТ € А
- допущение
- из 1 по Б.1
- допущение
- из 2
- из 3, 4 по С.8, С.9
- А.4, М.1
- из 6 по определению Пр
- из 5, 7
- из 8 по определению Пя
- допущение
- из 10 по определению 5д(Б)
- из 11 для некоторого Т
- из 12 по определению Пя
14. (БеТ э ТеБ) € А - А.3, М.1
15. ТеБ € А - из 14, М.2
16. (ТеБ & БаТ) э БеБ € А - теорема ФС, М.1
17. БеБ € А - из 13, 15, 16, М.2, М.4
18. (БеБ э БаР) € А - теорема ФС, М.1
19. БаР € А - 17, 18, М.2
20. БаР € А - из 3-9, 10-19
II. А есть БеР
Докажем БеР € А Бд = БеР
1. БеР € А
2. (БеР э РеБ) € А
3. РеБ € А
4. БаБ € А
5. ~ Б € Ор
6. Б € ^
7. О^л, Орл Ь Б Л ~ Б
8. 6а(Б),6д(Р) Ь {
9. Бд = БеР
- допущение
- А.3, М.1
- из 1, 2, М.2
- А.4, М.1
- из 3 по определению Ор
- из 4 по определению Ов
- из 5, 6
- из 7 по определению 5д, {
- из 8 по Б.2
Докажем Бд = БеР БеР € А
1. Бд = БеР -
2. йд(Б),5д(Р) Ь { -
3. 5д(Б) Ь ТЛ ~ Т или 5д(Р) Ь ТТ или [5д(Б) Ь Т, 6д(Р) \— Т] или [5д(Б) Ь~ Т, 6д(Р) Ь Т] -
4. 5д(Б) Ь ТТ -
5. О^л Ь ТЛ~ Т -
6. Т € Ов, ~ Т € Ов -
7. БаТ € А -
8. БеТ € А -
9. (БеТ э ТеБ) € А -
10. ТеБ € А -
11. (ТеБ & БаТ) э БеБ € А -
12. БеБ А -
допущение из 1 по Б.2
из 2
допущение
из 4 по определению 5п из 5 по определению О^л из 6 по определению О^ из 6 по определению О^ А.3, М.1 из 8, 9, М.2 А.2, М.1
из 7, 10, 11, М.2, М.4
13. (БеБ э БеР) € А
14. БеР € А
15. 5д(Р) Ь ТТ
16. Прл Ь ТТ
17. Т € Пр, ~ Т € Пр
18. РаТ € А
19. РеТ € А
20. (РеТ э ТеР) € А
21. ТеР € А
22. (ТеР & РаТ) э РеР € А
23. РеР € А
24. (РеР э БеР) € А
25. БеР € А
26. 5д(Б) Ь Т, 5А(Р) I— Т
27. Пдя Ь Т, Пдр Т
28. Т € Пя, ~ Т € Пр
29. БаТ € А
30. РеТ € А
31. (РеТ э ТеР) € А
32. (ТеР э ТеР) € А
33. (ТеР & БаТ) э БеР € А
34. БеР € А
35. 6д(Б) I— Т, 5д(Р) Ь Т
36. Пдя Ь— Т, Пдр Ь Т
37. ~ Т € Пя, Т € Пр
38. БеТ € А
39. РаТ € А
40. (БеТ э ТеБ) € А
41. ТеБ € А
42. (ТеБ & РаТ) э РеБ € А
43. РеБ € А
44. (РеБ э БеР) € А
45. БеР € А
46. БеР € А
- теорема ФС, М.1
- из 12, 13, М.2
- допущение
- из 15 по определению 5п
- из 16 по определению Прл
- из 17 по определению Пр
- из 17 по определению Пр
- Л.3, Ы.1
- из 19, 20, М.2
- Л.2, М.1
- из 18, 21, 22, М.2, М.4
- теорема ФС, М.1
- из 23, 24, М.2
- допущение
- из 26 по определению 5д
- из 27 по определению Пдя, Пдр
- из 28 по определению Пя
- из 28 по определению Пр
- Л.3, М.1
- из 30, 31, М.2
- Л.2, М.1
- из 29, 32, 33, М.2, М.4
- допущение
- из 35 по определению 5д
- из 35 по определению Пдя, Пдр
- из 37 по определению Пя
- из 37 по определению Пр
- Л.3, М.1
- из 38, 40, М.2
- Л.2, М.1
- из 39, 41, 42, М.2, М.4
- Л.3, М.1
- из 43, 44, М.2
- из 4-14, 15-25, 26-34, 27-45
III. А есть БгР
В силу аксиомы БгР = —БеР, условий значимости в синтаксической модели Б.2 и Б.3, а также свойства М.3 максимальных ФС-
непротиворечивых множеств данный случай сводится к случаю для БеР.
IV. А есть БоР
В силу аксиомы БоР = —БаР, условий значимости в синтаксической модели 8.1 и 8.4, а также свойства М.3 максимальных ФС-непротиворечивых множеств данный случай сводится к случаю для БаР.
Оставшиеся случаи для логических связок рассматриваются стандартно на основе свойств М.1-М.6 максимальных ФС-непротиворечивых множеств.
□
Теорема 2. Теорема о полноте. Если формула A синтаксически общезначима, то она доказуема в фундаментальной силлогистике.
Доказательство.
Допустим, формула А значима во всех синтаксических моделях, но не доказуема. Тогда формула —А непротиворечива. Множество {—А} может быть расширено до максимального ФС-непротиворечивого А. В канонической синтаксической модели Бд будет иметь место Бд |= —А и, следовательно, Бд ¥ А, что противоречит допущению о значимости формулы А во всех синтаксических моделях.
□
5 Заключительные замечания
I. В настоящей работе мы рассмотрели три вида интерпретаций простых позитивных категорических атрибутивных высказываний. Относительно каждой из них имеет место теорема о полноте фундаментальной чистой позитивной силлогистики [1, с. 31-32, 66-76]. Данный вид высказываний и фундаментальная силлогистика выбраны по той причине, что они лежат в начале целого ряда языков атрибутивных высказываний и соответствующих им логических систем силлогистического типа.
Экстенсиональные интерпретации других систем чистой позитивной силлогистики отличаются друг от друга условиями на пустоту или непустоту терминов в тех или иных высказываниях. Эти системы представляют историко-логический интерес с точки зрения изучения взглядов разных философов, но с логической точки зрения они плохо обоснованы. На их фоне выделяется система традиционной силлогистики [1,
с. 32-34, 90-95], которая по классу теорем совпадает с чистой позитивной силлогистикой Лукасевича и системой C4 В.А. Смирнова. Адекватные синтаксические модели для этой системы силлогистики получаются вполне естественно. Одним из методологических требований к определению предикатных констант является непротиворечивость [5, с. 15-18]. Если в соответствии с этим требованием наложить на функцию ö ограничение, чтобы она сопоставляла общим именам лишь непротиворечивые формулы, то полученные синтаксические модели будут моделями традиционной силлогистики.
II. При построении синтаксических моделей мы допустили, что в определениях общих имен в качестве дефиниенсов им могут быть сопоставлены любые формулы логики высказываний, но при доказательстве теоремы о полноте оказалось достаточным ограничиться лишь элементарными конъюнкциями. В то же время очевидно, что синтаксические модели могут быть построены не только для простых категорических атрибутивных высказываний, но и для высказываний с отрицательными и сложными терминами. В синтаксической модели изменения затронут лишь определение функции ö, которая сложным терминам будет сопоставлять те или иные комбинации дефиниенсов, зависящие от вида сложного термина, но не коснутся определения значимости в модели.
Если мы попробуем построить для атрибутивных высказываний со сложными терминами интенсиональную модель, то это можно сделать, но потребуется ввести как минимум некоторую алгебру смыслов, что ухудшит интуитивную прозрачность интерпретации.
III. В зависимости от решаемых задач параметры синтаксической модели S = (L,C,F, b,ö) могут варьироваться. Например, мы можем варьировать L, взяв вместо простого множества признаков множество предикатных символов, чтобы формулировать определения понятий не в языке логики высказываний, а в языке логики предикатов. При необходимости мы можем изменить множество связок C, изменив тем самым и множество формул F.
Отношение выводимости Ь также допускает варьирование. Вместо выводимости в классической логике мы можем взять выводимость в интуиционистской, релевантной, паранепротиворечивой или модальной логике. Коль скоро упомянута модальная логика, ничто не мешает построить синтаксические модели для модальной силлогистики, напрямую связав известные виды модальностей с модальностями атрибутивных высказываний.
При определении синтаксической модели мы приняли соглашение обозначать выводимость Г Ь АА ~ А посредством Г Ь {, где { представляет противоречие (ложь, нежелательную ситуацию). В различных логических системах обнаружение противоречия или аналогичной ситуации может пониматься по-разному. Например, в системе релевантной логики Я есть две различных константы для представления лжи — { и Е, а в паранепротиворечивых логиках получение противоречия не является критическим.
IV. Определенный интерес для философов и логиков должно представлять то, что синтаксическая интерпретация атрибутивных высказываний свободна от онтологических допущений. Если мы хотим осмысленно рассуждать о греческих богах, нет никакой необходимости предполагать, что они существуют в каком-то выдуманном мире и строить столь же выдуманную экстенсиональную модель. Достаточно принять подходящие определения используемых понятий и рассуждать о них, нисколько не заботясь о фактической пустоте объемов этих понятий. Все значимые утверждения о греческих богах и кентаврах мы получим исключительно на основе определений, которые им дали.
Стремление для каждой логической системы или теории иметь экстенсиональную модель оправдано лишь традицией, когда наши утверждения относились лишь к макромиру — «Сократ — человек», «Все лебеди — белые». В процессе познания в научный обиход вводятся абстрактные понятия и понятия, которые не имеют явных коррелятов в реальном мире. Требование построения для них экстенсиональных моделей является ограничением, которое зачастую лишь затрудняет работу. Достаточно вспомнить историю введения в научный обиход комплексных чисел. С ними смирились лишь тогда, когда им была дана наглядная геометрическая интерпретация, хотя практическая польза от включения их в язык математики проявилась гораздо раньше.
Синтаксические модели атрибутивных высказываний позволяют по-новому подойти к построению некоторых логик, например, логики оценок. В логике абсолютных оценок Добро и Зло рассматриваются как модальные операторы [3]. Смысл их определяется неявно посредством подходящих аксиом модальной логики. Построить адекватную и содержательно приемлемую экстенсиональную модель для таких логик довольно трудно. В то же время синтаксические модели для логик абсолютных оценок вполне возможны.
V. Если вспомнить семантический треугольник и соотнести его элементы с экстенсиональной, интенсиональной и синтаксической моделя-
ми силлогистики, то окажется, что силлогистика обладает удивительным свойством — она полна на уровне значений общих имен, полна на уровне их смыслов и полна на уровне синтаксиса. Это необычное свойство силлогистики, которое может быть названо семиотической полнотой, заслуживает осмысления.
Литература
[1] Бочаров В.А., Маркин В.И. Силлогистические теории. М.: Прогресс-Традиция, 2010. 336 с.
[2] Гильберт Д., Аккерман В. Основы теоретической логики. М.: ИЛ, 1947. 304 с.
[3] Ивин А.А. Логика оценок и норм. М.: Проспект, 2015.
[4] Кант И. Критика чистого разума. М.: Мысль, 1994. 591 с.
[5] Карпович В.Н. Термины в структуре теорий (логический анализ). Новосибирск: Наука, 1978. 128 с.
[6] Лейбниц Г.В. Сочинения в четырех томах. М.: Мысль, 1984.
[7] Маркин В.И Интенсиональная семантика традиционной силлогистики // Логические исследования. Вып. 8. М.: Наука, 2001. С. 82-91.
[8] Маркин В.И Фундаментальная силлогистика с интенсиональной точки зрения // Логические исследования. Вып. 9. М.: Наука, 2002. С. 119-130.
[9] Маркин В.И Интенсиональная семантика для систем позитивной силлогистики // Логика и В.Е.К. М.: Современные тетради, 2003. С. 166-174.
V.I. Shalack
Syntactic Interpretation of Categorical Attributive
Propositions
Shalack Vladimir Ivanovich
Department of Logic, Institute of Philosophy, Russian Academy of Sciences. Volkhonka 14/5, Moscow, 119991, Russian Federation. e-mail: shalack@gmail.com
In the article we propose a new type of models for categorical attributive propositions. Usually the subject and predicate of the attributive proposition are interpreted extensionally as some sets of individuals. Logical relations between subject and predicate are understood as the set-theoretic relations between their extensions. We propose a syntactic interpretation of subject and predicate of attributive propositions and interpret them as some formulas of propositional logic. These formulas can be understood as the definitions of common terms. Logical relations between subject and predicate are understood as the logical relations between their definitions. The article contains a proof that the system of fundamental syllogistic is consistent and complete with respect to the proposed semantics. Built interpretation can be generalized to other systems of syllogistic.
Keywords: logic, attributive proposition, common term, syllogistic, definition, concept, analyticity, model
References
[1] Bocharov, V.A., Markin, V.I. Sillogisticheskie teorii [Syllogistic theories]. M.: Progress-Tradicija, 2010. 336 p. (In Russian)
[2] Gil'bert, D., Akkerman, V. Osnovy teoreticheskoj logiki [Foundations of theoretical logic]. M.: IL, 1947. 304 p. (In Russian)
[3] Ivin, A.A. Logika ocenok i norm [Logic assessments and standards]. M.: Prospekt, 2015. (In Russian)
[4] Kant, I. Kritika chistogo razuma [Critique of Pure Reason]. M.: Mysl', 1994. 591 p. (In Russian)
[5] Karpovich, V.N. Terminy v strukture teorij (logicheskij analiz) [The terms in the structure of theories (logical analysis)]. Novosibirsk: Nauka, 1978. 128 p. (In Russian)
[6] Lejbnic, G.V. Sochinenija v chetyreh tomah [Works in four volumes]. M.: Mysl', 1984. (In Russian)
[7] Markin, V.I. "Intensional'naja semantika tradicionnoj sillogistiki" [Intensional semantics of traditional syllogistic], Logicheskie issledovanija [Logical Investigations]. M.: Nauka, 2001, vol. 8, pp. 82-91. (In Russian)
[8] Markin, V.I. "Fundamental'naja sillogistika s intensional'noj tochki zrenija" [Fundamental syllogistics with intensional point of view], Logicheskie issledovanija [Logical Investigations]. M.: Nauka, 2002, vol. 9, pp. 119-130. (In Russian)
[9] Markin, V.I. "Intensional'naja semantika dlja sistem pozitivnoj sillogistiki" [Intensional semantics for systems of positive syllogistic], Logika i V.E.K. [Logic and V.E.K.]. M.: Sovremennye tetradi, 2003, pp. 166-174. (In Russian)
