Вывод (рассуждение)

Вывод (рассуждение)
У этого термина существуют и другие значения, см. Вывод.

Вывод (лат. conclusio) — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям.

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

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

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

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

Умозаключения (отдельные шаги вывода) разделяют:

  1. По направлению логического следования.
    1. Дедуктивные (от общего к частному).
    2. Индуктивные (от частного к общему).
    3. Трансдуктивные (от одной степени общности к такой же степени общности).
  2. По достоверности вывода.
    1. Достоверные.
    2. Правдоподобные.
  3. По числу посылок.
    1. Непосредственные.
    2. Опосредственные.


Wiki letter w.svg
 Для улучшения этой статьи по логике желательно?:
  • Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).
  • Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.

Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Полезное


Смотреть что такое "Вывод (рассуждение)" в других словарях:

  • ВЫВОД — в (традиционной) логике рассуждение, в ходе которого из некоторых исходных высказываний (суждений), называемых посылками, с помощью логических правил получают новое высказывание, называемое заключением. Напр., из высказываний «Все полноправные… …   Философская энциклопедия

  • Рассуждение — Рассуждение  ряд мыслей, суждений, умозаключений на какую нибудь тему, изложенных в логически последовательной форме. Рассуждение в логике Рассуждение  термин школьной теории словесности (устаревшее значение) См. также Рассуждение о… …   Википедия

  • ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… …   Философская энциклопедия

  • рассуждение — См. суд, суждение вдаваться в рассуждения, в рассуждение, в рассуждении... Словарь русских синонимов и сходных по смыслу выражений. под. ред. Н. Абрамова, М.: Русские словари, 1999. рассуждение суд, суждение; энтимема, вывод, философствование,… …   Словарь синонимов

  • вывод — Заключение, умозаключение, нравоучение, мораль; суд, силлогизм. Ср. . См. мнение, суд.. сделать вывод... Словарь русских синонимов и сходных по смыслу выражений. под. ред. Н. Абрамова, М.: Русские словари, 1999. вывод выведение, умозаключение,… …   Словарь синонимов

  • ВЫВОД ЛОГИЧЕСКИЙ —     ВЫВОД ЛОГИЧЕСКИЙ рассуждение, в котором     осуществляется переход по правилам от высказывания или системы высказываний к высказыванию или системе высказываний. К логическому выводу обычно предъявляются (совместно или по отдельности)… …   Философская энциклопедия

  • “РАССУЖДЕНИЕ, ВЫНОСЯЩЕЕ РЕШЕНИЕ ОТНОСИТЕЛЬНО СВЯЗИ МЕЖДУ РЕЛИГИЕЙ И ФИЛОСОФИЕЙ” —     “РАССУЖДЕНИЕ, ВЫНОСЯЩЕЕ РЕШЕНИЕ ОТНОСИТЕЛЬНО СВЯЗИ МЕЖДУ РЕЛИГИЕЙ И ФИЛОСОФИЕЙ” (араб. “Фасл ал макал фй ма байн аш шарй а ва л хикма мин ал иттисал”) произведение Ибн Рушда (Аверроэса), посвященное легализации философии (античного типа) с… …   Философская энциклопедия

  • вывод логический — рассуждение, в ходе которого из к. л. исходных суждений посылок с помощью логических правил получают заключение новое суждение. Напр., из суждений Все люди смертны и Кай человек мы можем вывести с помощью правил простого категорического… …   Словарь терминов логики

  • вывод логический —         ВЫВОД ЛОГИЧЕСКИЙ рассуждение, в котором по определенным правилам осуществляется переход от высказываний или системы высказываний к высказыванию или системе высказываний. К В. л. обычно предъявляются (разом или по отдельности) следующие… …   Энциклопедия эпистемологии и философии науки

  • рассуждение —         РАССУЖДЕНИЕ в эпистемологии, методологии науки и исследованиях по компьютерному моделированию интеллектуальных процессов понимается как целенаправленная мыслительная деятельность, состоящая в постановке познавательно значимого вопроса и… …   Энциклопедия эпистемологии и философии науки


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»