Моделирование рассуждений. Опыт анализа мыслительных актов - [13]

Шрифт
Интервал

, лежат где-то на границе между допустимыми и недопустимыми формами человеческих рассуждений

Исходя из этих соображений (не по форме, конечно, а по существу) Аристотель выбрал для формализации именно дедуктивные рассуждения. Хотя и в область индуктивных рассуждений Аристотель внес определенный вклад, но он, конечно, не может сравниться с тем, что удалось сделать этому философу в области дедуктивных рассуждений.

Еще раз зафиксируем два положения, связанные с работой Аристотеля в интересующей нас области: 1) исходные посылки рассуждения являются истинными; 2) правильно применяемые приемы перехода от посылок к другим вытекающим из них утверждениям и из посылок и ранее полученных утверждений к новым вытекающим из них утверждениям должны сохранять истинность всех получаемых утверждений, т.е. истинные посылки порождают только истинные следствия.

Именно это свойство силлогистики Аристотеля, как со временем стала называться созданная им система, позволила средневековому философу и богослову Фоме Аквинату использовать теорию Аристотеля для обоснования всей христианской теологии. Сделал это он с помощью следующего приема. Поскольку по учению христианской церкви определенная часть сочинений, составляющая книги Ветхого и Нового Заветов, является боговдохновенной, то все утверждения, содержащиеся в них, являются абсолютно истинными. Их истинность не меняется. А значит, они образуют посылочный базис логической системы, в которой невозможны противоречия. Из них можно с помощью силлогистики Аристотеля порождать новые утверждения, которые также будут истинны. И если многие из этих утверждений человеческий рассудок отказывается принимать, сомневается в их допустимости, то, следовательно, рассудок земного человека слаб и не дорос еще до истинных откровений. Ведь еще на заре распространения христианского учения один из его апологетов Тер…[3]

…их больше двух. Для получения заключения в сорите нужен многошаговый процесс, а для проверки истинности заключения не два шага (как на рис. 11–13), а столько шагов, сколько посылок имеется в сорите.

На каждом шаге при поиске заключения в сорите выбирается пара посылок, которые могут образовать одну из четырех силлогистических фигур (верхних частей схем на рис. 10). Если такая пара найдена, то она порождает по законам силлогистики заключение. Если к этому моменту еще не все множество исходных посылок использовано, то использованные на данном шаге посылки вычеркиваются из списка посылок, а вместо них добавляется найденное промежуточное заключение. Новое множество посылок рассматривается как исходное для следующего шага вывода.

Рассмотрим два примера получения заключения в соритах. Первый сорит содержит три посылки:

Малые дети неразумны.

Тот, кто может укрощать крокодилов, заслуживает уважения.

Неразумные люди не заслуживают уважения.

Чтобы начать процесс вывода, необходимо сначала привести все посылки к нормальной форме, принятой в схемах базовых высказываний в силлогистике. После этого преобразования посылки сорита примут вид:

Всякие малые дети есть неразумные люди.

Всякий, укрощающий крокодилов, есть заслуживающий уважения.

Всякие неразумные люди не есть заслуживающие уважения.

Возьмем первую и третью посылки. Если обозначить через Р класс сущностей с именем «малые дети», через М – с именем «неразумные люди», а через S – с именем «заслуживающие уважения», то получим схему взаимного расположения Р, М и S, которая соответствует схеме четвертой фигуры на рис. 10.


Рис. 15.



На рис. 15 в верхнем ярусе показаны два возможных варианта областей истинности для первой посылки. Вторая посылка такова, что ее добавление к каждой из областей первой посылки дает только одну альтернативу. Обе области, показанные в нижнем ярусе, есть области типа g (рис. 8). Это означает, что в качестве заключительного высказывания силлогизма может выступать лишь высказывание типа Е. Само заключение при этом имеет вид «Всякие, заслуживающие уважения, не есть малые дети». После этого промежуточного вывода мы имеем две посылки:

Всякие, заслуживающие уважения, не есть малые дети.

Всякий, укрощающий крокодилов, есть заслуживающий уважения.

Если теперь М – класс с именем «заслуживающие уважения» (надо помнить, что М – единственный класс, имя которого встречается в обеих посылках), то Р соответствует классу «малые дети», a S – классу «укрощающий крокодилов». Такое введение классов сущностей приводит нас к первой фигуре силлогистики Аристотеля (рис. 10). Для получения вывода можно воспользоваться тем, что показано на рис. 16. В верхнем ярусе возможна только одна область истинности, а добавление к первой посылке второй приводит к появлению двух вариантов. Эти два варианта дают область истинности, соответствующую схеме базового высказывания Е. Таким образом, окончательное заключение разбираемого нами сорита выглядит следующим образом: «Всякий, укрощающий крокодилов, не есть малые дети».


Рис. 16.



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


Еще от автора Дмитрий Александрович Поспелов
Невосполнимая потеря

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


Десять «горячих точек» в исследованиях по искусственному интеллекту

Как самостоятельное научное направление искусственный интеллект (ИИ) существует чуть более четверти века. За это время отношение общества к специалистам, занимающимся подобными исследованиями, претерпело эволюцию от скепсиса к уважению. В передовых странах работы в области интеллектуальных систем поддерживаются на всех уровнях общества. Бытует устойчивое мнение, что именно эти исследования будут определять характер того информационного общества, которое уже приходит на смену индустриальной цивилизации, достигшей своей высшей точки расцвета в XX-м веке.За прошедшие годы становления ИИ как особой научной дисциплины сформировались ее концептуальные модели, накопились специфические, принадлежащие только ей методы и приемы, устоялись некоторые фундаментальные парадигмы.


Рекомендуем почитать
Пурпурный. Как один человек изобрел цвет, изменивший мир

Это история об Уильяме Перкине, который случайно изобрел пурпурный цвет. И навсегда изменил мир вокруг себя. До 1856 года красители были исключительно натуральными – их получали из насекомых, моллюсков, корней и листьев, а искусственное окрашивание было кропотливым и дорогим. Но в 1856 году все изменилось. Английский химик, работая над лекарством от малярии в своей домашней лаборатории, случайно открыл способ массового производства красителей на фабриках. Этот эксперимент – или даже ошибка – произвел революцию в моде, химии и промышленности. Эта книга – удивительный рассказ о том, как иногда даже самая маленькая вещь может менять и иметь такое продолжительное и важное воздействие. В формате PDF A4 сохранён издательский дизайн.


Безопасность на воде и оказание помощи пострадавшим

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


Атлантиды ищите на шельфе

Обширные районы нынешнего шельфа Охотского, Берингова, Черного и многих других морей были еще шесть — десять тысяч лет назад сушей, на которой обитали люди. На шельфе же находятся и руины затонувших городов и поселений, ушедших под воду не только в эпоху античности и средневековья, но и в Новое время. Об этих реальных, а не гипотетических «атлантидах» и рассказывает заключительная книга трилогии, посвященной «новым атлантидам».


Затаенное имя - Тайнопись в 'Слове о полку Игореве'

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


`Тук-тук-тук` - и никого!

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


Алфавитно-предметный указатель к систематическому каталогу

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