Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 6 стр.

1. ЛОГИКА И ЧЕЛОВЕЧЕСКИЕ РАССУЖДЕНИЯ

          Современная1 логика развилась в точную науку, применяющую математические методы.
Предметом исследования в логике являются человеческие рассуждения, а основная задача ее
состоит в выявлении правильных способов рассуждений. При этом под рассуждением понимается
переход от некоторых суждений, относящихся к определенному предмету или вопросу и
называемых посылками, к суждению, называемому заключением и полученному таким путем,
что любое текущее суждение является следствием предшествующих суждений. Большой вклад в
развитие логики внес Аристотель, гениальный мыслитель древности. Со времени создания его
теории прошло более двух тысячелетий, но она по-прежнему занимает достойное место в науке.
Его теорию силлогистических выводов (силлогистику) никто не пытался критиковать или
опровергать, ее лишь уточняли и модернизировали. В силлогистике Аристотеля посылки и
заключения формируются в виде стандартных категорических утверждений, например, "все S
суть P ", "некоторые S не суть Р " и др. Чтобы доказать правильность рассуждения средствами
теории Аристотеля, необходимо было все суждения предоставить в форме простых
категорических высказываний.
          В своих работах Аристотель использовал все известные ему типы рассуждений, а именно:
дедуктивные ("от общего к частному"), индуктивные ("от частного к общему") и правдоподобные
рассуждения ("от частного к частному"). Рассмотрим кратко эти типы рассуждений. Дедуктивные
рассуждения основываются на явном для людей положении, согласно которому, если общее
утверждение, верно, то должны быть верными и частные утверждения, определяемые этим
общим рассуждением.
                   Пример.                     Общее положение: "Все собаки лают".
                                              Частное утверждение: "Собака Жучка лает".
          Другие типы рассуждений менее очевидны. Индуктивные рассуждения отражает наш путь
постижения мира. В этом случае общее утверждения возникают во время обобщения частных
утверждений, отражающих совокупность наших единичных опытов. Истинность общего
результата таких рассуждений для людей становится очевидной, если частных утверждений,
подтверждающих этот результат, довольно много, а опровергающие утверждения отсутствуют.
                   Пример.           Частное утверждение: "Жучка - собака, она лает". Частное
                                     утверждение: "Белка - собака, она лает". Частное утверждение:
                                     "Пальма - собака, она лает". Общее положение: "Все собаки лают",
          Еще менее очевидны правдоподобные рассуждения, например, "снег белый, поэтому заяц

1
    "Логика - наука о приемлемых способах рассуждения". БСЭ, 3-е изд., т.14. - М.: Сов. энциклопедия. 1973.- С. 595.




                                                                6