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

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

Заключение — логическая противоположность основанию в логическом выводе. Суждение, считающееся истинным в том случае, когда истинными признаются его предпосылки. [1] В быту понятие используется примерно с тем же значением, обозначая, в широком смысле, любой предположительно правильный вывод или следствие из чего-нибудь, как, например, во фразе «Я пришёл к заключению, что вы были правы» или в выражении «заключение экспертов». [2] [1]

Рассуждение

• во-первых, на отчётливое и ясное определение темы или положения, которое составляет отправную точку и доказательство которого представляет конечную цель рассуждения;
• во-вторых — и это главный момент рассуждения — перечисление и анализ доводов, говорящих в пользу доказываемого положения. Для того чтобы рассуждение было всесторонним, необходимо взвесить не только доводы за, но и разобрать instantia contraria, то есть необходимо показать, что все факты и положения, говорящие против доказываемого положения, имеют лишь кажущееся значение и могут быть с этим положением согласованы.
• Наконец, третий и последний момент всякого рассуждения — самый вывод или конечный его результат.

Центр тяжести всякого рассуждения лежит в умении находить доводы за и против, а также анализировать их.

Показать полностью

См. также

• Алгебра логики
• Моделируемое рассуждение
• Обратная цепочка

Показать полностью

Примечания

Показать полностью

Литература

• Вывод // Казахстан. Национальная энциклопедия(рус.) . — Алматы: Қазақ энциклопедиясы, 2004. — Т. I. — ISBN 9965-9389-9-7 . (CC BY-SA 3.0)
• Рассуждение, в логике // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). — СПб. , 1890—1907.
• Гетманова А. Д. Логика. — Книжный дом «Университет», 1998. — 480 с.

• Аристотелевская логика
• Логика высказываний
• Логика первого порядка
• Логика второго порядка
• Логика высшего порядка

• Теория множеств
• Теория моделей
• Теория вычислимости
• Теория доказательств и Конструктивная математика
• Линейная логика
• Формальная система
• Натуральный вывод
• Исчисление секвенций
• Алгебра логики
• Релевантная логика
• Деонтическая логика
• Интуиционистская логика
• Исчисление Ламбека

• Интуиционизм
• Нечёткая логика
• Субструктурная логика
• Paraconsistent logic
• Дескрипционная логика
• Многозначная логика
• Логический синтез
• Связующая логика
• Темпоральная логика
• Модальная логика (Гибридная логика)
• Эпистемическая логика

• Критическое мышление
• Неформальная логика
• Дедуктивное умозаключение

• Абдукция (логика)
• Вероятность
• Высказывание
• Дедукция / Индукция / Традукция
• Действительность
• Индуктивное умозаключение
• Умозаключение
• Логическая константа
• Истина
• Логическое следование
• Логическая форма
• Необходимое и достаточное условия
• Описание
• Определение
• Подстановка
• Посылка
• Противоречие (Антиномия)
• Синтетическое суждение / Аналитическое суждение
• Ссылка