Силлогизм - это умозаключение, в котором из двух посылок выводится заключение. Силлогистика - раздел логики, занимающийся анализом и синтезом силлогизмов. Изучение этого раздела невозможно без решения задач, что вызывает непреодолимые трудности не только у студентов, но и у преподавателей. О формальных методах анализа и синтеза силлогизмов мечтал самый выдающийся математик всех времён и народов Г.В. Лейбниц:"Единственное средство улучшить наши умозаключения состоит в том, чтобы сделать их столь же наглядными,как и у математиков, - такими, что их ошибочность можно было бы увидеть глазами, и если между людьми возникают разногласия, достаточно было бы только сказать "Вычислим!", чтобы без долгих рассуждений стало ясно, кто прав".
В работе [1]. О. А. Солодухин приводит большое количество задач. Это первый гуманитарий, который пытается привлечь математику для анализа силлогизмов. На примере решения наиболее интересных задач рассмотрим применение алгоритмов ИЭИ и ТВАТ[2 - 10], предназначенных для анализа и синтеза силлогизмов. Во всех аналитических выражениях апостроф представляет инверсию аргумента или функции.
Алгоритм "ИЭИ"(Ивановский энергетический институт)
- Заменить посылки выражениями в соответствии с формулами для функторов A,E,I,O.Если обе посылки частного характера,то заключения не существует.
- Получить выражение для полной единицы М системы в виде конъюнкции всех посылок.
- Получить из М заключение силлогизма f(x,y),заменив средний термин m или m' на 1.Если средний термин входит в М автономно,то заменить его на i.
Алгоритм "ТВАТ"(Тушинский вечерний авиационный техникум)
- Изобразить все возможные ситуации для исходных посылок с помощью скалярных диаграмм.
- Занести в таблицу истинности все значения f(x,y) для входных наборов xy:00,01,10,11.
- Выполнить минимизацию логической функции заключения f(x,y).
- Полученный результат представить в виде силлогистического функтора в соответствии с известным базисом.
Алгоритм "ИЭИ" для некоторых частных силлогизмов позволяет получить корректные,но неполные заключения. Эта неполнота с лихвой окупается простотой и прозрачностью алгоритма.Все аналитические выражения для базисов силлогистики и все методы анализа и синтеза силлогизмов, о которых мечтал Лейбниц, впервые созданы и апробированы в России(алгоритмы "Селигер", "Осташ", "ИЭИ", "ТВАТ")[2-10]. Автор этих методов 30 лет разрабатывает цифровые системы управления, в том числе оборонного назначения. При разработках приходилось использовать и совершенствовать математическую в истинном смысле слова логику. 21-й век называют веком искусственного интеллекта(ИИ). Эти проблемы будут решать разработчики-цифровики. Силлогистика - фундамент ИИ. Пришлось этот фундамент срочно укреплять.
В дальнейшем все примеры будут построены на базисе Васильева, поскольку именно он более всего отражает логику здравого смысла. Этот базис имеет следующее аналитическое представление: Axy = x'+y = (xy')' Exy = x'+y' = (xy)' Ixy(8) = x+y+x'y' = 1, где в скобках указан номер базиса для частно-утвердительного суждения.
Для частно-утвердительного суждения были получены следующие выражения [2 - 10]:
17. Ixy = x18. Ixy = x+y+ix'y' - русский базис19. Ixy = xy + i(x'+y') - базис Аристотеля20. Ixy = x+y'+ ix'y21. Ixy = x+ix'22. Ixy = x+y23. Ixy = y+iy'24. Ixy = x+y+x'y' = 1 - базис ВасильеваЗдесь и далее используется троичная логика: 1 - да, 0 - нет, i - может быть.
Задача 1[1,стр.150]
Только философы эгоисты.Нет циника, который не был бы эгоистом.Следовательно, все циники - философы.Решение
Пусть x - философы, y - циники, m - эгоисты. Универсум - люди. Тогда по алгоритму ИЭИ получим:
M = AmxAym = (m'+x)(y'+m) = m'y'+xy'+mxF(x,y) = y'+x = Ayx, т.е. наш результат подтвердил истинность заключения. Проверим решение по алгоритму ТВАТ.m ======------x =========----y =====------- xy f(x,y)00 101 010 111 1F(x,y) = y'+x = Ayx, т.е. результаты всех трёх методов синтеза совпали.
Задача 2[1,стр.150]
Лишь глупые люди верят в конец света.Тот, кто верит в гармонию мира, не верит в конец света.Всегда найдётся глупец, который не верит в гармонию мира.Решение
Пусть х - глупые люди, m - верящие в конец света, у - верящие в гармонию мира. Универсум - люди.
M = AmxEym = (m'+x)(y'+m') = m'+xy' f(x,y) = xy'+i = Ixy'(3)m ======------x =========----y1 --------====y2 ------==----y3 ------======= xy f(x,y)00 i01 i10 111 i F(x,y) = xy'+i = Ixy'(3).Если трактовать заключение [1] как "Все глупцы не верят в гармонию мира", то такой вывод ошибочен.
Задача 3[1,стр.150]
Каждого, кто верит в себя, можно считать Человеком.Никто, ни один Человек не верит политикам.Все, кто верит политикам, не верит в себя.Решение
Пусть х - кто верит в себя, m - Человек, у - кто верит политикам. Универсум - люди.
M = (x m)Emy = (xm+x'm')(m'+y') = x'm'+xmy'f(x,y) = x'+y' = Exy.m ======------x ======------y ---------==== xy f(x,y)00 101 110 111 0 F(x,y) = x'+y' = Exy = Ayx' = Axy'.Задача 5[1,стр.151]
Нет таких членов парламента, которые не участвовали бы в законотворчестве.Только 12% членов парламента составляют юристы.Не все, кто создают законы, являются юристами.Решение
Пусть x - законотворцы, m - члены парламента, y - юристы. Универсум - люди.
M = EmxImy(8) = (m'+x')&1 = m'+x'F(x,y) = x'+i = Ix'y(5).m ======------x --------====y1 ---=====----y2 ---========-y3 ===-----==== xy f(x,y)00 101 110 i11 iF(x,y) = x'+i = Ix'y(5), т.е. алгоритмы ИЭИ и ТВАТ дали одинаковые результаты,формально не подтверждающие заключение, поскольку в нём не указан базис, а в классической логике используется лишь базис Аристотеля.
Задача 7[1,стр.151]
Среди юристов имеются профессиональные бизнесмены.Настоящий бизнесмен не боится инфляции.Некоторые юристы не опасаются инфляции.Решение
Пусть x - юристы, m - бизнесмены, y - не боящиеся инфляции предприниматели. Универсум - люди.
M = IxmAmy = 1*(m'+y) = m'+yF(x,y) = y+i = Ixy(7).m ======------x ----======--y1 ===========--y2 ========----y3 =======--==== xy f(x,y)00 i01 110 i11 1F(x,y) = y+i = Ixy(7).Опять формальное несовпадение исходного заключения с полученными результатами, поскольку в заключении не указан базис.
Задача 8[1,стр.151]
Только политики верят в пользу насилия.Не всякий любитель насилия любит собственных детей.Некоторые политики не любят своих детей.Решение
Пусть x - политики, m - любители насилия, y - не любящие своих детей родители.Универсум - люди.
M = AmxImy(8) = (m'+x)&1 = m'+xF(x,y) = x+i = Ixy(5) m ======------x ==========---y1 ---======----y2 ===----====== xy f(x,y)00 i01 i10 111 1 F(x,y) = x+i = Ixy(5)Опять формальное несовпадение по базису результатов с исходным заключением.
Задача 9[1,стр.151]
Только в споре рождается истина.Никто не станет спорить, кроме глупца или мошенника.Лишь глупец или мошенник могут достичь истины.Решение
Пусть x - "родители истины", m - спорщики, y - глупец или мошенник. Универсум - люди.
M = AxmAmy = (x'+m)(m'+y) = m'x'+x'y+myF(x,y) = x'+y = Axy. m ======------x ====--------y ===========-- xy f(x,y)00 101 110 011 1F(x,y) = x'+y = Axy.Задача 12[1,стр.151]
Боязливый к прекрасному полу - боязлив и в жизни.Тот, кто знает логику, не боится женщин.Трус не разбирается в логике.Решение
Пусть x - боязливый в жизни, m - боящийся женщин, y - знающий логику. Универсум - мужчины.
M = AmxEym = (m'+x)(y'+m') = m'+xy',F(x,y) = xy'+i = Ixy'(3). m ======------x ===========--y1 -------==---y2 -------=====y3 ---------== xy f(x,y)00 i01 i10 111 iF(x,y) = xy'+i = Ixy'(3).В данном случае исходное заключение кардинально ошибочно.
Задача 13[1,стр.152]
Среди болтунов нет логиков.Только болтун может стать политиком.Ни один логик не станет политиком.Решение
Пусть x - логик, m - болтун, y - политик. Универсум - люди.
M = EmxAym = (m'+x')(y'+m) = m'y'+x'y'+mx'F(x,y) = x'+y' = Exy. m ======------x -------====y ===-------- xy f(x,y)00 101 110 111 0F(x,y) = x'+y' = Exy.Задача 14[1,стр.152]
Иногда проходимец может оказаться ясновидцем.Если ты ясновидец, то не должен лгать.Существуют проходимцы, которые обязаны говорить правду.Решение
Пусть x - проходимец, m - ясновидец, y - честный. Универсум - люди.
M = IxmAmy = 1&(m'+y) = m'+yF(x,y) = y+i = Ixy(7)Опять формальное несовпадение по базису результата с исходным заключением.
Задача 15[1,стр.152]
Лишь двоечник по убеждению - лентяй.Ни один студент не любит получать двойки.Значит, среди студентов нет лентяев.Решение
Пусть x - лентяй, m - двоечник, y - студент.Универсум - учащиеся.
M = AxmEym = (x'+m)(y'+m') = x'y'+my'+m'x'F(x,y) = x'+y' = Exy. m ======------x =====-------y -------===== xy f(x,y)00 101 110 111 0F(x,y) = x'+y' = Exy.Задача 16[1,стр.152]
Лишь в правовом государстве реализуются права граждан.Только демократическое государство может быть правовым.Права граждан могут быть реализованы лишь в демократическом государстве.Решение
Пусть x - реализующее права граждан государство, m - правовое государство, y - демократическое государство. Универсум - государство.
M = AxmAmy = (x'+m)(m'+y) = m'x'+x'y+my = m'x'+myF(x,y) = x'+y = Axy. m ======------x =====-------y ========---- xy f(x,y)00 101 110 011 1F(x,y) = x'+y = Axy.Ошибки, обнаруженные в задачах[1], характерны для классического метода, опирающегося на "правильные" модусы и "законы" силлогистики. Разумеется, разобранные примеры чрезвычайно просты, но более сложных в [1] не нашлось. Это и понятно: педагоги стремятся формулировать лишь такие проблемы, которые поддаются умозрительному решению. Большое количество примеров и задач, в том числе и нетривиальных, можно найти в [2-10]. Перед обращением к указанным публикациям желательно ознакомиться с [4] или [11].
Разработанная автором логика преподаётся студентам Тушинского вечернего авиационного техникума с 1986г. благодаря активному содействию администрации в лице директора Немченко Т.П. и завуча Волковой Е.И. Студенты успешно осваивают русскую логику в связи с её простотой и прозрачностью. Все работы автора за 1998 и 1999гг. по данной тематике переведены в США,о чём автор узнал недавно. Этот откровенный интерес настораживает: при традиционной неторопливости отечественной системы образования русская логика вернётся к нам из-за рубежа под чужим именем. Всем заинтересованным вузам, техникумам, колледжам, школам и математическим кружкам автор готов передать цикл лекций, семинаров и контрольных работ по русской логике безвозмездно при условии незамедлительного внедрения отечественных достижений в учебный процесс.
Литература
- О. А. Солодухин Логика для студентов. - Р/Д.: 1997.
- Лобанов В.И. Базовые проблемы классической логики.//Современная логика:Проблемы теории,истории и применения в науке(Материалы VI Общероссийской научной конференции), СПбГУ, 2000 - с.499 - 504.
- Лобанов В.И. Синтез и минимизация комбинационных схем//Информатика и образование,N5,2000, стр. 60 - 63.
- Лобанов В.И. Инженерные методы разработки цифровых устройств.- М:1977(шифр Центр.Политехн.Библиотеки _ W145 4/231).
- Лобанов В.И. Многозначная силлогистика без кванторов.//НТИ,сер.2,Информ.процессы и системы,N10,1998,с.27-36.
- Лобанов В.И. Силлогистика Аристотеля-Жергонна.//НТИ,сер.2,Информационные процессы и системы,N9,1999,с.11-27.
- Лобанов В.И. Фундамент искусственного интеллекта. // НТИ, сер. 2, Информационные процессы и системы, №5, 2000, с. 6 - 18.
- V. I. Lobanov. The solution of logical equations. // Documentation and Mathematical Linguistics, vol. 32, №5, p. 16 - 34.
- V. I. Lobanov. Many-valued quantifier-free syllogism (second basis). // Documentation and Mathematical Linguistics, vol. 32, №5, p. 27 - 40 (гонорар выплачен 4.11.2000).
- Лобанов В. И. Инженерная логика. Часть 1. //НТИ, сер. 2, Информационные процессы и системы, №1,2001, с. 13-23.
- Лихтарников Л. М. Первое знакомство с математической логикой. - СПб.: Лань,1997.