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

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




                                             8