<<
>>

Об особой роли суждений Аристотеля-А. де Моргана в традиционной интегральной силлогистике

Аннотация. В подразделе представлено обоснование того факта, почему категориче­ские суждения с семантикой Аристотеля выдержали испытание временем и утвердились в силлогистике. Указанное обоснование основано на анализе правил логического вывода из суждений традиционной интегральной силлогистики, полученных автором семанти­ческим методом решения силлогизмов путем вычисления результирующих отношений.

Определены перспективы дальнейших исследований.

Ключевые слова: силлогизм, силлогистика, результирующие отношения, совершенный фрагмент силлогистики, построение силлогистик.

About the Special Role of Judgments of Aristotle-A. De Morgan in Traditional Integral Syllogistics

Abstract. The subsection presents the justification of the fact why, categorical judgments with the semantics of Aristotle have stood the test of time and have established themselves in syl­logistics. The specified justification is based on the analysis of the rules of logical inference from the judgments of traditional integral syllogistics obtained by the author by the semantic method for solving syllogisms by calculating the resulting relations.The prospects for further research are determined.

Keywords: syllogism, syllogistic, resulting relations, solution of syllogisms, perfect fragment of syllogistic, constructing syllogistics.

Введение

Ассерторическая (немодальная) силлогистика Аристотеля была создана великим греческим мыслителем около 2500 лет назад как исторически первый раздел науки логики, посвященный дедукции в рассуждениях из категорических суждений о свойствах предметов. Аристотель сделал первый и самый значи­тельный шаг к формализации силлогистики, заменив конкретные термины в суждениях буквами и введя в рассмотрение следующие логические формы ка­тегорического суждения с квантификацией субъекта [1]:

A- Все S'суть P- общеутвердительное суждение;

E- Ни один Sне есть P- общеотрицательное суждение;

I - Некоторые Sсуть P- частноутвердительное суждение;

O- Некоторые Sне суть P- частноотрицательное суждение, где

S- субъект, P- предикат суждения.

В своих суждениях Аристотель принял интерпретацию кванторного слова «все» в разделительном смысле как «всякие», а кванторного слова «не­которые» в неисключающем смысле как «некоторые или все» и ввел понятие силлогизма как опосредованного умозаключения из двух посылок-суждений, связанных общим средним термином. Среди всех возможных силлогизмов Аристотель выделил важные для практики дедуктивных выводов правильные силлогизмы, в которых истинное заключение следует из истинных посылок с

необходимостью, то есть при любых конкретных терминах. С помощью не­формального метода отбраковки правильных модусов приведением контрпри­меров и сведением правильных модусов других фигур силлогизма к модусам первой фигуры удалось выявить среди 256 возможных модусов силлогизма 19 сильных правильных модусов, которые оказались распределенными по четырем фигурам силлогизма неравномерно. В современной силлогистической теории сложилось представление, что одной единственно возможной силлогистики не существует и что имеют право на существование интегральные силлогистики с различной интерпретацией смыслов категорических суждений и с большим разнообразием правильных модусов из них. В интегральных силлогистиках ярко проявляется синергетический эффект порождения новых правильных модусов от добавления к суждениям Аристотеля суждений с различной семантикой, к которым можно отнести суждения Теофраста, У. Гамильтона, Дж. Венна, А. де Моргана, Н.А. Васильева и другие [2].

При построении традиционных интегральных силлогистик (то есть сил- логистик с ограничениями на термины в части непустоты и неуниверсальности) предложенным автором семантическим методом вычисления результирующих отношений были выявлены важные для дедукции из суждений с различной се­мантикой свойства силлогистических систем: свойства содержательной и сил­логистической полноты, а также свойства силлогистической плотности и одно­значности результатов [3]. Свойство содержательной полноты заключается в том, что для любого суждения в базисном множестве суждений силлогистики имеется его контрадикторное отрицание.

Свойство силлогистической полноты заключается в том, что при наличии в базисном множестве суждений данной силлогистики суждения, истинного на отношении прямого включения между терминами, оно также содержит суждение с такой же логической структурой по остальным отношениям (см. далее), истинное на отношении обратного вклю­чения между терминами, и наоборот. Указанное свойство позволяет ограни­читься вычислениями только для первой фигуры силлогизма. Свойство силло­гистической плотности результатов заключается в том, что в силлогистике не являются правильными только те модусы, которые порождают все возможные для традиционных силлогистик (с ограничениями на термины в части непустоты и неуниверсальности) семь отношений между терминами суждения [2]. При этом для случаев наличия правильных модусов результирующие отношения полностью совпадают с логической структурой одного из суждений базисного множества. Логической структурой суждения автор называет условия истинно­сти его логической формы, выраженные через теоретико-множественные от­ношения между терминами суждения. Логическая структура суждения в от­личие от его логической формы обладает единственностью представления. Свойство однозначности результатов заключается в том, что сильным пра­вильным заключением модуса при его наличии является единственное суждение из базисного множества суждений данной силлогистики. Это свойство вытекает из свойства силлогистической плотности, но обратное неверно.

Силлогистики, обладающие одновременно всеми четырьмя свойствами, названы в работе [4] совершенными. Отметим, что традиционная силлогистика из суждений Аристотеля не является совершенной, поскольку не обладает двумя свойствами из четырех, а именно: свойством силлогистической полноты и свойством силлогистической плотности результатов. Из-за отсутствия первого свойства правильные сильные модусы в силлогистике Аристотеля распреде­лены по четырем фигурам силлогизма неравномерно, что затрудняет дедук­тивные выводы в силлогистике, а из-за отсутствия второго - в силлогистике имеются пропуски модусов, которые могли бы быть правильными («силлоги­стические дыры»).

В таблице 1 [5] представлено исследуемое в статье базисное множество традиционной интегральной силлогистики из 50 базисных суждений, имеющих относительно простое выражение их смысла на естественном языке. Цифрами 6,7,9,11,13,14,15 в логических структурах суждений таблицы 1 обо­значены отношения между терминами со стороны их объемов, а именно: 6 - противоречивость, 7 - дополнительность, 9 - равнообъемность, 11 - обратное включение, 13 - прямое включение, 14 - соподчинение, 15 - перекрещивание. Интерпретация кванторных слов в суждениях представлена в явном виде.

Постановка задачи

В таблице 1 представлены 50 различных по структуре и логической форме суждений и возникает естественный вопрос: что особенного имеется в содер­жательно полных парах суждений 8 и 10 из указанной таблицы по сравнению с другими, чтобы они стали основой первой в истории логики силлогистической системы? Целью настоящей публикации является ответ автора на этот вопрос, который интересовал многих исследователей.

Таблица 1

Базисное множество суждений традиционной совершенной интегральной силлогистики из 50 суждений

Обозначение логической формы суждения Логическая структура суждения Логическая форма суждения
1 AA' 6 Все Sсуть все не P
(AA')' 7,9,11,13,14,15 Неверно, что все Sсуть все не P
A'I 7 Все не Sсуть (не суть) только некоторые P
2 (A'I)' 6,9,11,13,14,15 Неверно, что все не Sсуть (не суть) только некото­рые P
3 AA 9 Все Sсуть все P
(AA)' 6,7,11,13,14,15 Неверно, что все Sсуть все P
4 IA 11 Только некоторые Sсуть (не суть) все P
(IA)' 6,7,9,13,14,15 Неверно, что только некоторые Sсуть (не суть) все P
5 AI 13 Все Sсуть (не суть) только некоторые P
(AI)' 6,7,9,11,14,15 Неверно, что все Sсуть (не суть) только некоторые P
AI' 14 Все Sсуть (не суть) только некоторые не P
6 (AI')' 6,7,9,11,13,15 Неверно, что все Sсуть (не суть) только некоторые не P

Обозначение логической формы суждения Логическая структура суждения Логическая форма суждения
7 II’I (II’I)’ 15

6,7,9,11,13,14

Только некоторые S и не S суть (не суть) только некоторые P

Неверно, что только некоторые Sи не Sсуть (не суть) только некоторые P

8 A A'(O) 9,13

6,7,11,14,15

Всякие Sсуть P

Неверно, что всякие S суть P

9 A* (A*)’ 9,11

6,7,13,14,15

Всякие не Sсуть не P

Неверно, что всякие не Sсуть не P

10 E

E'(I)

6,14

7,9,11,13,15

Всякие Sне суть P

Неверно, что всякие Sне суть P

11 E* (E*)’(I*) 6,7

9,11,13,14,15

Всякие не Sне суть не P

Неверно, что всякие не Sне суть не P

12 AAA' (AAA’)’ 6,9

7,11,13,14,15

Все Sсуть все Pили не P

Неверно, что все Sсуть все Pили не P

13 A’II’ (A’II’)’ 7,11

6,9,13,14,15

Все не Sсуть (не суть) только некоторые Pили не P Неверно, все не Sсуть (не суть) только некоторые P или не P
14 AA'I (AA’I)’ 7,13

6,9,11,14,15

Все Sили не Sсуть (не суть) только некоторые P Неверно, что все Sили не Sсуть (не суть) только некоторые P
15 AA’I’

(AA’I’)’

11,14

6,7,9,13,15

Все Sили не Sсуть (не суть) только некоторые не P Неверно, что все Sили не Sсуть (не суть) только некоторые не P
16 AII’ (AII’)’ 13,14

6,7,9,11,15

Все Sсуть (не суть) только некоторые Pили не P Неверно, что все Sсуть (не суть) только некоторые P или не P
17 II (II)’ 7,15

6,9,11,13,14

Только некоторые Sсуть (не суть) только некоторые

P

Неверно, что только некоторые Sсуть ( не суть) только некоторые P

18 II’ (II’)’ 11,15

6,7,9,13,14

Только некоторые Sсуть (не суть) только некоторые не P

Неверно, что только некоторые Sсуть (не суть) только некоторые не P

19 I’I (I’I)’ 13,15

6,7,9,11,14

Только некоторые не Sсуть (не суть) только некоторые P

Неверно, что только некоторые не Sсуть (не суть) только некоторые P

20 I’I’ (I’I’)’ 14,15

6,9,11,13,14

Только некоторые не Sсуть ( не суть) только некоторые не P

Неверно, что только некоторые не Sсуть (не суть) только некоторые не P

21 IO (IO)' 7,11,15

6,9,13,14

Только некоторые Sсуть (не суть) P

Неверно, что только некоторые Sсуть (не суть) P

Обозначение логической формы суждения Логическая структура суждения Логическая форма суждения
22 IO*

(Ю*)'

13,14,15

6,7,9,11

Только некоторые не Sсуть (не суть) P

Неверно, что только некоторые не Sсуть (не суть) P

23 OI (OI) 7,13,15

6,9,11,14

Только некоторые Pсуть (не суть) S

Неверно, что только некоторые Pсуть (не суть) S

24 OI* (OI*)' 11,14,15

6,7,9,13

Только некоторые не Pсуть (не суть) S

Неверно, что только некоторые не Pсуть (не суть) S

25 (AA’II’)’ AA’II’ 6,9,15

7,11,13,14

Неверно, что все Sили не S суть (не суть) только некоторые Pили не P

Все Sили не Sсуть (не суть) только некоторые Pили не P

Метод исследования

Для отбраковки совершенных фрагментов традиционной интегральной силлогистики с представленным в таблице 1 базисным множеством в виде пе­речисления 25 содержательно полных пар суждений автором были получены 252 нетривиальных взаимно порождающих правила вывода из них [5] , анализ ко­торых и дает ответ на поставленный выше вопрос.

Указанные правила пред­ставлены в таблице 2 без объединения правил с одинаковыми результатами и получены с помощью метода вычисления результирующих отношений, суть которого подробно изложена в работе [3].

Таблица 2

Взаимно порождающие правила в традиционной интегральной силлогистике

Посыл

ки

Заключе­ния Посыл

ки

Заключе­ния Посыл­

ки

Заклю­

чения

1 1,2 4,5 85 6,10 4,5,8,9,11 169 11,15 6,8,14
2 1,4 2,6 86 6,11 4,5 170 11,16 6,9,13
3 1,5 2,6 87 6,12 15,16 171 11,17 4,5,10
4 1,6 4,5 88 6,13 8,11,16 172 11,18 6,8,23
5 1,8 10,11 89 6,14 9,11,15 173 11,19 6,9,21
6 1,9 10,11 90 6,15 9,11,24 174 11,20 21,23
7 1,10 8,9 91 6,16 8,11,22 175 11,21 4,10,22
8 1,11 8,9 92 6,17 22,24 176 11,22 6,9,21
9 1,13 16 93 6,18 8,11,22 177 11,23 5,10,24
10 1,14 15 94 6,19 9,11,24 178 11,24 6,8,23
11 1,15 14 95 6,20 8,9,11 179 11,25 15,16
12 1,16 13 96 6,21 8,11,22 180 12,13 25
13 1,17 18,19 97 6,22 8,11,16 181 12,14 25
14 1,18 17,20 98 6,23 9,11,24 182 12,15 25
15 1,19 17,20 99 6,24 9,11,15 183 12,16 25
16 1,20 18,19 100 6,25 22,24 184 12,17 7,21,23
17 1,21 22 101 7,8 22,23 185 12,18 7,21,24
18 1,22 21 102 7,9 21,24 186 12,19 7,22,23

Посыл

ки

Заключе­ния Посыл

ки

Заключе­

ния

Посыл­

ки

Заклю­

чения

19 1,23 24 103 7,10 22,24 187 12,20 7,22,24
20 1,24 23 104 7,11 21,23 188 12,21 7
21 2,4 8,10,11 105 7,13 12,21 189 12,22 7
22 2,5 9,10,11 106 7,14 12,23 190 12,23 7
23 2,6 4,5 107 7,15 12,24 191 12,24 7
24 2,7 21,23 108 7,16 12,22 192 13,14 8,9,10,12
25 2,8 9,10 109 7,17 12 193 13,15 8,10,11,25
26 2,9 8,10 110 7,18 12 194 13,17 10
27 2,10 4,5 111 7,19 12 195 13,18 8,12
28 2,11 4,5,8,9,10 112 7,20 12 196 13,19 10
29 2,12 13,14 113 7,21 12,22 197 13,20 8,12
30 2,13 9,10,21 114 7,22 12,21 198 13,23 2,8,10,25
31 2,14 8,10,23 115 7,23 12,24 199 13,24 4,8,10,12
32 2,15 8,10,14 116 7,24 12,23 200 13,25 12,21
33 2,16 9,10,13 117 7,25 12 201 14,16 9,10,11,25
34 2,17 8,9,10 118 8,9 10,11 202 14,17 10
35 2,18 8,10,23 119 8,10 9,11 203 14,18 10
36 2,19 9,10,21 120 8,11 9,10 204 14,19 9,12
37 2,20 21,23 121 8,12 21,24 205 14,20 9,12
38 2,21 9,10,13 122 8,13 4,10 206 14,21 2,9,10,25
39 2,22 9,10,21 123 8,14 2,9 207 14,22 5,9,10,12
40 2,23 8,10,14 124 8,15 4,11 208 14,25 12,23
41 2,24 8,10,23 125 8,16 6,9 209 15,16 8,9,11,12
42 2,25 21,23 126 8,17 2,9,23 210 15,17 8,12
43 4,5 8,9,10,11 127 8,18 4,10,11 211 15,18 8,12
44 4,6 8,10,11 128 8,19 22,23 212 15,19 11
45 4,7 21,24 129 8,20 6,9,22 213 15,20 11
46 4,8 10,11 130 8,21 4,10 214 15,21 4,8,11,12
47 4,10 2,6,8 131 8,22 6,9 215 15,22 6,8,11,25
48 4,11 2,6,8 132 8,23 2,9 216 15,25 12,24
49 4,12 13,15 133 8,24 4,11 217 16,17 9,12
50 4,13 8,11 134 8,25 13,15 218 16,18 11
51 4,14 8,10,24 135 9,10 8,11 219 16,19 9,12
52 4,15 8,10 136 9,11 8,10 220 16,20 11
53 4,16 8,11,21 137 9,12 22,23 221 16,23 5,9,11,12
54 4,17 8,11,21 138 9,13 2,8 222 16,24 6,9,11,25
55 4,18 21,24 139 9,14 5,10 223 16,25 12,22
56 4,19 8,10,11 140 9,15 6,8 224 17,18 1
57 4,20 8,10,24 141 9,16 5,11 225 17,19 1
58 4,21 8,11 142 9,17 2,8,21 226 17,21 9,12
59 4,22 8,11,13 143 9,18 21,24 227 17,22 10
60 4,23 8,10,15 144 9,19 5,10,11 228 17,23 8,12
61 4,24 8,10 145 9,20 6,8,24 229 17,24 10
62 4,25 21,24 146 9,21 2,8 230 18,19 3
63 5,6 9,10,11 147 9,22 5,11 231 18,20 1
64 5,7 22,23 148 9,23 5,10 232 18,21 11
65 5,9 10,11 149 9,24 6,8 233 18,22 8,12
66 5,10 2,6,9 150 9,25 14,16 234 18,23 8,12

Посыл

ки

Заключе­ния Посыл

ки

Заключе­ния Посыл­

ки

Заклю­

чения

67 5,11 2,6,9 151 10,11 8,9 235 18,24 10
68 5,12 14,16 152 10,12 21,23 236 19,20 1
69 5,13 9,10,22 153 10,13 2,8,16 237 19,21 9,12
70 5,14 9,11 154 10,14 2,9,15 238 19,22 10
71 5,15 9,11,23 155 10,15 4,11,14 239 19,23 11
72 5,16 9,10 156 10,16 5,11,13 240 19,24 9,12
73 5,17 9,11,23 157 10,17 22,24 241 20,21 11
74 5,18 9,10,11 158 10,18 2,8,22 242 20,22 8,12
75 5,19 22,23 159 10,19 2,9,24 243 20,23 11
76 5,20 9,10,22 160 10,20 4,5,11 244 20,24 9,12
77 5,21 9,10,16 161 10,21 2,8,22 245 21,23 2,8,9,12
78 5,22 9,10 162 10,22 5,11,21 246 21,24 4,7,10,11
79 5,23 9,11 163 10,23 2,9,24 247 21,25 13
80 5,24 9,11,14 164 10,24 4,11,23 248 22,23 5,7,10,11
81 5,25 22,23 165 10,25 13,14 249 22,24 6,8,9,12
82 6,7 22,24 166 11,12 22,24 250 22,25 16
83 6,8 9,11 167 11,13 4,10,16 251 23,25 14
84 6,9 8,11 168 11,14 5,10,15 252 24,25 15

Результаты исследования

Назовем продуктивностью содержательно полной пары суждений число разных по структуре содержательно полных пар суждений, порождаемых пра­вилами вывода таблицы 2 с посылками, содержащими данную пару суждений. В таблице 3 представлены данные по продуктивности содержательно полных пар суждений, полученные путем анализа правил вывода.

Таблица 3

Данные по продуктивности содержательно полных пар суждений традиционной интегральной силлогистики

Номер содер­жательно полной пары суждений Порождаемые пары Показатель продуктивности суждений
1 2,4,5,6,8,9,10,11,13,14,15,16,17,18,19,20,21,22,23,24 20
2 4,5,8,9,10,11,13,14,21,23 10
3 0
4 2,6,8,9,10,11,13,15,21,24 10
5 2,6,8,9,10,11,14,16,22,23 10
6 4,5,8,9,10,11,15,16,22,24 10
7 12,21,22,23,24 5
8 2,4,6,9,10,11,13,15,21,22,23,24 12
9 2,5,6,8,10,11,14,16,21,22,23,24 12
10 2,4,5,6,8,9,11,13,14,15,16,21,22,23,24 15
11 2,4,5,6,8,9,10,13,14,15,16,21,22,23,24 15
12 7,13,14,15,16,21,22,23,24,25 10
13 2,4,8,9,10,11,12,16,21,22,25 11
14 2,5,8,9,10,11,12,15,23,24,25 11

Номер содер­жательно полной пары суждений Порождаемые пары Показатель продуктивности суждений
15 4,6,8,9,10,11,12,14,23,24,25 11
16 5,6,8,9,10,11,12,13,21,22,25 11
17 1,2,4,5,7,8,9,10,11,12,18,19,21,22,23,24 16
18 1,2,3,4,6,7,8,9,10,11,12,17,20,21,22,23,24 17
19 1,2,3,5,6,7,8,9,10,11,12,17,20,21,22,23,24 17
20 1,4,5,6,7,8,9,10,11,12,18,19,21,22,23,24 16
21 2,4,7,8,9,10,11,12,13,16,22,25 12
22 5,6,7,8,9,10,11,12,13,16,21,25 12
23 2,5,7,8,9,10,11,12,14,15,24,25 12
24 4,6,7,8,9,10,11,12,14,15,23,25 12
25 12,13,14,15,16,21,22,23,24 9

Анализ данных таблицы 3 показывает, что все суждения, за исключением пары с номером 3, обладают примерно одинаковой продуктивностью и что 21 содержательно полная пара суждений из 25 возможных участвует в выводе суждений Аристотеля.

Под порождаемостью содержательно полной пары суждений будем пони­мать число нетривиальных взаимно порождающих правил вывода, результатом которых является данная пара. Ниже в порядке увеличения представлены ре­зультаты подсчета порождаемости каждой из 25 содержательно полных пар суждений традиционной интегральной силлогистики, откуда следует, что по параметру порождаемости содержательно полные пары суждений делятся на 9 классов.

3 - 1 - обще-общее суждение Гамильтона;

17,18,19,20 - 2 - частно-частные суждения Гамильтона;

1 - 4 - обще-общее суждение Теофраста;

7,25 -10 - суждения с квантификацией предиката и сложными

терминами;

13,14,15,16 - 15 - обще-частные суждения со сложными терминами; 2,4,5,6 - 21 - обще-частные и частно- общие суждения Гамильтона;

21,22,23,24 - 29 - суждения Н.А. Васильева;

12 - 41 - обще-общее суждение со сложными терминами;

8,9,10,11 - 66 - суждения Аристотеля-А. де Моргана.

Из анализа полученных данных следует первый важный вывод: суждения Аристотеля-А. де Моргана (пары 8,9,10,11) обладают наивысшей порождаемо­стью среди суждений традиционной интегральной силлогистики, при этом из 252 правил 110 порождают суждения Аристотеля (пары 8,10) и ещё 52 правила порождают близкие по форме суждения А. де Моргана (пары 9,11). Второй важный вывод состоит в том, что класс суждений Аристотеля-А. де Моргана замкнут относительно операций логического следования, чем не обладает ни один из остальных указанных выше классов. В самом деле, определим по таблице 2 все возможные выводы из содержательно полных пар суждений

некоторых из 9 выделенных классов. Для класса из суждений Аристотеля- А де Моргана имеем: 8,9 10,11; 8,10 9,11; 8,11 9,10; 9,10 8,11;

9,11 8,10; 10,11 8,9. Результатом вывода являются все суждения Аристо-

теля-А. де Моргана и только они. Для класса из суждений Н.А. Васильева имеем: 21,22 —; 21,23 2,8,9,12; 21,24 4,7,10,11; 22,23 5,7,10,11; 22,24

6,8,9,12; 23,24 —. Результат вывода не содержит ни одного суждения

Н.А. Васильева, что свидетельствует о не замкнутости класса из этих суждений. То же самое можно сказать и о не порождающих себя частно-частных суждениях Гамильтона: 17,18 1; 17,19 1; 17,20 —; 18,19 3; 18,20 1; 19,20 1

или об обще-частных суждениях Гамильтона: 2,4 8,10,11; 2,5 9,10,11;

2,6 4,5; 4,5 8,9,10,11; 4,6 8,10,11; 5,6 9,10,11, или об обще -частных

суждениях со сложными терминами: 13,14 8,9,10,12; 13,15 8,10,11,25;

13,16 —; 14,15 —; 14,16 9, 10,11,25; 15,16 8,9,11,12.

Выводы

Таким образом, поразительная интуиция Аристотеля позволила ему вы­брать из большого числа возможных логических форм суждений для построения своей силлогистики именно эти две содержательно полные пары суждений с номерами 8 и 10, которые имеют простое выражение их смысла на естественном языке и к которым, как оказалось, сводятся дедуктивные выводы из суждений других форм. Отметим, что приведенные выше вычисления могут служить ис­ходным материалом для построения полной диаграммы дедукции в традици­онной интегральной силлогистике, что ещё предстоит сделать в дальнейшем.

Заключение

Учитывая высокие показатели порождаемости суждений Аристотеля при сравнимости показателей продуктивности с другими суждениями, а также то, что класс суждений Аристотеля-А. де Моргана является единственным классом суждений в традиционной интегральной силлогистике, который замкнут отно­сительно операции порождения правильных модусов (что позволяет ограни­читься только этими суждениями), стратегия дальнейшего развития логики должна, по мнению автора, состоять не в замене этих суждений на другие, а в расширении несовершенного класса суждений Аристотеля до совершенного класса, включающего в себя этот класс. Например, в качестве подобного рас­ширения силлогистики Аристотеля могут служить соответствующие совер­шенные фрагменты традиционной интегральной силлогистики, выявленные в работе [6]. Попытки создания силлогистик, альтернативных аристотелевской, предпринимали многие ученые, но их ошибка состояла в том, что они исключали суждения Аристотеля из своей силлогистики, а без суждений Аристотеля практически эффективные совершенные силлогистики построить невозможно. Так Уильям Гамильтон использовал суждения с квантификацией предиката, в которых кванторные слова «все» и «некоторые» использовались в строгом

смысле [7]. У Гамильтона имеется 8 суждений (содержательно полные пары 3,4,5,17 из таблицы 1) в основном с меньшей степенью неопределенности по сравнению с общими суждениями Аристотеля, обладающие как содержатель­ной, так и силлогистической полнотой, но не обладающие силлогистической плотностью и однозначностью результатов. Число правильных модусов в первой фигуре силлогизма равно у Гамильтона по данным работы [8] 36 (по результатам реконструкции, проведенной в работе [9] с помощью метода вычисления ре­зультирующих отношений, в силлогистике У. Гамильтона имеется по 35 пра­вильных модусов в каждой фигуре силлогизма). По мнению известного отече­ственного ученого Я.А. Слинина силлогистику У. Гамильтона губит так назы­ваемая «глобальная информативность» [10]. « Куда годится такая необозримая силлогистика?» спрашивает Я.А. Слинин и продолжает: « И действительно, силлогистика Гамильтона мало кому известна, а компактную и изящную сил­логистику Аристотеля люди знали, изучали и применяли на практике в течение без малого двух с половиной тысячелетий. Её изучаем, ею пользуемся и мы. Значит, Аристотель был прав, вводя в логику свои неопределенности и удачно их используя». Здесь ключевым словом, думается, является слово «люди». В наш век информатики, всеобщей цифровизации и искусственного интеллекта ситу­ация резко меняется. Большое число правил вывода и необозримое количество правильных модусов уже не представляют проблемы, и в автоматизированных системах и робототехнике могут найти применение и другие, неаристоте­левские силлогистики, в том числе являющиеся совершенными расширениями последней. В наше время уже не требуется знать все правильные модусы прак­тически бесчисленных силлогистик, а достаточно просто уметь вычислять за­ключения из любых суждений с произвольной семантикой подобно тому, как мы вычисляем результат умножения многоразрядных чисел, минуя громоздкие промежуточные таблицы умножения для нужного числа разрядов. Эффектив­ным инструментом для подобных вычислений может служить использую­щийся в публикации метод, предложенный автором ранее и основанный на вычислении результирующих отношений.

Список литературы

1. Аристотель. Аналитики. Перевод с греческого Б.А. Фохта. Мн.: Совре­менное слово, 1998. 448 с.

2. Бочаров В.А., Маркин В.И. Силлогистические теории. М.: Прогресс- Традиция, 2010. 336 с.

3. Сидоренко О.И. О числе совершенных фрагментов в традиционной ин­тегрированной силлогистике с различной семантикой суждений / О.И. Сидо­ренко // Математические методы в технике и технологиях: Сб. тр. междунар. науч. конф.: в 11 т. Т. 1 / Под ред. А.А. Большакова. СПб: Изд-во Политехн. ун-та, 2019. С. 100-107.

4. Сидоренко О.И. О построении совершенной квазиуниверсальной силло­гистики /О.И. Сидоренко // Современные инновации. №4 (18), 2017. С. 41-53.

5. Сидоренко О.И. О правилах вывода для выявления совершенных фраг­ментов традиционной интегральной силлогистики / О.И. Сидоренко // Матема­тические методы в технике и технологиях: Сб. тр. Междунар. науч. конф.: в 12 т. Т. 12: в 3 ч. Ч. 3 / Под общей ред. А.А. Большакова. СПб: Изд-во Политехн. ун-та, 2019. С. 43-48.

6. Сидоренко О.И. О результатах выявления совершенных фрагментов традиционной интегральной силлогистики / О.И. Сидоренко // Математические методы в технике и технологиях: Сб. тр. междунар. науч. конф. В 12 т. Т. 1 / Под общей ред. А.А. Большакова. СПб: Изд-во Политехн. ун-та, 2020. С. 49-56.

7. Кузичева З.А. Математическая логика / З.А. Кузичева // Математика ХІХ века. Под ред. А.Н. Колмогорова и А.П. Юшкевича. М.: Изд-во «Наука», 1978. С. 11-38.

8. Стяжкин Н.И. Формирование математической логики. М.: Изд-во «Наука», 1967. 508 с.

9. Сидоренко О.И. Тайна силлогизма. Саратов: Изд-во Сарат. ун-та, 2000. 68 с.

10. Слинин Я.А. Логический синтаксис Аристотеля // Логико-философские штудии. Том 11. (№1). М., 2013. С. 24-40.

2.17.

<< | >>
Источник: Логические исследования в интегральных силлогистиках: Монография /О.И. Сидоренко. - Саратов: Издательский Центр «Наука»,2020. - 360 с.. 2020

Еще по теме Об особой роли суждений Аристотеля-А. де Моргана в традиционной интегральной силлогистике: