84.Дайте определение утверждающего и отрицающего модусов условно-категорического умозаключения, приведите его символическую схему, проиллюстрируйте примером.
85. Дайте определение условно-категорического умозаключения, приведите его символическую схему, проиллюстрируйте примером.
Условно-категорическое умозаключение (силлогизм) – умозаключение, в котором одна посылка – условное суждение, а другая посылка и вывод – категорические суждения. Этот силлогизм имеет два правильных модуса: утверждающий и отрицающий.
1. Утверждающий модус (modusponens) выражается формулой:
В утверждающем модусе (modusponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия. Если во второй посылке утверждается следствие первой посылки, то вывод может быть только вероятным.
Если A есть B, то C есть D; A есть B; Следовательно, C есть D. Примеры: Если идёт дождь, прохожие раскрывают зонты. Прохожие раскрывают зонты. Вероятно, идёт дождь.
Схема утверждающего
модуса:
2. Отрицательный модус (modustollens): Если A есть B, то C есть D; C не есть D; Следовательно, A не есть B.
Примеры: Если на улице светит солнце, то предметы отбрасывают тень. Предметы не отбрасывают тень. На улице не солнечно. В отрицающем модусе (modustollens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. Если отрицается основание условной посылки, то вывод может быть только вероятным. Примеры: Если число делится на четыре, то оно делится на два. Число не делится на четыре. Вероятно, оно не делится на два.
Схема отрицающего
модуса:
86. Покажите и обоснуйте принципиальное отличие вывода дедуктивного от вывода индуктивного.
Умозаключение - это третья (после понятия и суждения) форма мышления, в которой из одного, или двух, или нескольких суждений, называемых посылками, вытекает новое суждение, называемое заключением, или выводом.
В дедукции рассуждение идет от общего к частному, от большего к меньшему, знание сужается, в силу чего дедуктивные выводы достоверны, т.е. точны, обязательны, необходимы и т.п. Дедукция гарантирует истинность заключения при истинности посылок. Индуктивные умозаключения или индукция (от лат. inductio - наведение) - это умозаключения, в которых из нескольких частных случаев выводится общее правило (несколько частных случаев как бы наводят на общее правило). Умозаключения по аналогии или просто аналогия (от греч. analogia — соответствие) — это умозаключения, в которых на основе сходства предметов (объектов) в одних признаках делается вывод об их сходстве и в других признаках. Выводы аналогии, как и выводы индукции, вероятностны.
87. Дайте определение полной индукции.
Полная индукция — это умозаключение, в котором на основе принадлежности каждому элементу или каждой части класса определенного признака делают вывод о его принадлежности классу в целом.
Индуктивные умозаключения такого типа применяются лишь в тех случаях, когда имеют дело с закрытыми классами, число элементов в которых является конечным и легко обозримым. Например, число государств в Европе (50), количество промышленных предприятий в данном регионе, число субъектов РФ (89) и др.
Схема умозаключения полной индукции имеет следующий вид: Посылки: 1) S1 имеет признак Р - S2 имеет - признак Р - Sn имеет признак Р. 2) S1, S2,..., Sn — составляют класс К. Заключение: Всем предметам класса К присущ признак Р. Выраженная в посылках этого умозаключения информация о каждом элементе или каждой части класса служит показателем полноты исследования и достаточным основанием для логического переноса признака на весь класс. Тем самым вывод в умозаключении полной индукции носит демонстративный характер. Это означает, что при истинности посылок заключение в выводе будет необходимо истинным.