Реферат: Умозаключение
Умозаключение
Почему из лжи следуетвсе, что угодно? Правильный ответ здесь тот, что рассматривается несодержательное, а формальное следование, первая строка не менее загадочна — почему истинно высказывание «Если 2+2=4, то Волга впадает в Каспийское море»?Чем оно лучше высказывания «Если 2+2=7, то Волга впадает в Каспийскоеморе»? Цитата из блаж. Августина («О благодати и свободномпроизволении») ВОЗДАСТ БОГ СПОЛНА И ЗЛОМ ЗА ЗЛО, ПОТОМУ ЧТО ПРАВЕДЕН ОН; ИДОБРОМ ЗА ЗЛО, ПОСКОЛЬКУ БЛАГ ОН; И ДОБРОМ ЗА ДОБРО, ИБО БЛАГ ОН И ПРАВЕДЕН;ЛИШЬ ЗЛОМ ЗА ДОБРО НЕ ВОЗДАСТ, ВЕДЬ НЕТ В НЕМ НЕПРАВДЫ Именно это «нет внем неправды» и отвечает за самую важную строку таблицы — вторую, изистины никак не может следовать ложь.
Умозаключение – это формамышления, посредством которого из одного или нескольких суждений выводитсяновое суждение
Структура умозаключения1) Исходное знание, которое выражается в посылках;
2) Обосновывающая связь,которая выражается в правилах умозаключений
3) Выводное знание,которое выражается в заключении
Посылками умозаключенияназываются исходные известные суждения, из которых выводится новое суждение.Заключением называется новое суждение, полученное логическим путем из посылок.Логический переход от посылок к заключению называется выводом. Например:«Ближайшие родственники не обязаны давать показания против подсудимого. (1) Дети— ближайшие родственники. (2) Дети подсудимого не обязаны давать показания.(3)» В этом умозаключении 1 и 2 – посылки, 3 – заключение.
Схема умозаключения
A 1
…
(посылки)
…
A n
— (правилавывода)
B (заключение)
Виды умозаключений
1) Дедуктивные (Истинностьпосылок гарантирует истинность заключения)
2) Вероятностные(истинность посылок дает правдоподобное умозаключение) • индуктивные (отчастного к общему) • по-аналогии (степень общности не меняется)
Логика суждений(высказываний)
Существует группадедуктивных умозаключений, для логического анализа которых достаточнорассматривать входящие в них суждения как не расчлененные на составные части(на субъект и предикат и пр.), т. е. без учета внутренней структуры этих суждений.Такие умозаключения строятся с учетом логических связей между отдельными суждениями.Они называются выводами логики суждений (высказываний).Логика суждений Схемыумозаключений (правила умозаключений) логики суждений делятся на основные ипроизводные. Основные схемы задаются аксиоматически. Производные схемывыводятся из основных с помощью правил вывода.
«Аксиомы» логикисуждений
Непосредственные умозаключения– умозаключения из одной посылки
Умозаключения посредствомпреобразования суждений •
превращение —преобразование атрибутивного суждения в заключении которого устанавливаетсясвязь между субъектом посылки и понятием, противоречащим предикату посылки. S — P S — не P Можно превращать все суждения. A->E, E->A, I->O, O->I
обращение — преобразование суждения, в результате которого субъект посылки становитсяпредикатом заключения, а предикат посылки – субъектом заключения A->I E->E I->I O не обращается.
противопоставлениепредикату — преобразование суждения, в результате которого субъектом заключениястановится понятие, противоречащее предикату посылки, а предикатом заключениястановится субъект исходного суждения A-E; E-I; I не преобразуется; O-I
Логический квадрат AO, IE – контрадикторность AE – контрарность IO – субконтрарность AI, EO – подчинение
Отрицание сужденийОтрицание суждения — это операция, заключающаяся в таком преобразовании логическогосодержания, в результате которого получают суждение, находящееся в отношенииконтрадикторности к исходному