Вывод (рассуждение)
Эту страницу предлагается объединить со страницей Рассуждение (логика). |
Вывод (лат. conclusio) в логике — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям. Вывод может проводиться в несколько этапов—умозаключений.
Пример:
Все люди смертны. | |
Все греки — люди. | |
Все греки смертны. |
Правила преобразования исходной системы предпосылок в систему заключений называются правилами вывода или правилами проведения умозаключений. Если вид посылок и заключений указан явно, то вывод называется прямым. Если в посылках и заключении указаны лишь виды выводов, от одного из которых разрешается переходить к другому, то вывод называют косвенным.[источник не указан 273 дня]
Понятие вывода используется во многих формальных системах: в логике, математике, информатике, логическом программировании и др. В математической логике правила логического вывода задаются в исчислении высказываний либо исчислении предикатов.[источник не указан 273 дня]
В информатике вывод умозаключений проводится с использованием правил, принципов и законов логического вывода на основе заданных фактов и правил с использованием методов и средств логического программирования.[источник не указан 273 дня]
В информатике для описания фактов и правил логического вывода, а также баз знаний и моделей экспертных систем широко используется язык логического программирования Пролог.[источник не указан 273 дня]
Умозаключения (отдельные шаги вывода) разделяют:[источник не указан 273 дня]
- По направлению логического следования.
- Дедуктивные (от общего к частному).
- Индуктивные (от частного к общему).
- Трансдуктивные (от одной степени общности к такой же степени общности).
- По достоверности вывода.
- Достоверные.
- Правдоподобные.
- По числу посылок.
- Непосредственные.
- Опосредственные.
См. такжеПравить
ЛитератураПравить
- Вывод // Казахстан. Национальная энциклопедия. — Алматы: Қазақ энциклопедиясы, 2004. — Т. I. — ISBN 9965-9389-9-7.
- Гетманова А. Д. Логика. — Книжный дом «Университет», 1998. — 480 с.
Для улучшения этой статьи по логике желательно: |