20 Вопрос

Выводы из сложных суждений: условно-категорические умозаключения и разделительно-категорические умозаключения.

Условно-категорический (одна из посылок – условное суждение, другая – категорическое ⇒ модус поненс, толленс (отрицающий модус) – достоверные модусы /\/ правдоподобные модусы ⇒ “от отрицания основания к отрицанию следствия” ⇒”вероятно” + толленс (о ⇔ с), “от утверждения основания к утверждению следствия” ⇒ “вероятно” + поненс(о ⇔ с)).

Разделительно-категорический - состоит из одного разделительного (S есть А, либо B) и одного категорического суждения.

Понендо-толленс (утверждающе-отрицающий) и толлендо поненс (отрицающе-утверждающий).

21 Вопрос

Выводы из сложных суждений: дилемма и ее практические разновидности

Если в разделительной посылке анализируются две альтернативы, то такой У-РС называется дилеммой (в меньшей посылке – 2 варианта).

Дилемма: конструктивная /заключение – утвердительное/ (простая (из разных оснований вытекает одно следствие) – если А то С, если Б то С; А или Б; С /\/ сложная – если А то С, если Б то Д; А или Б; С или Д), деструктивная (простая (из разные следствия вытекают из одного основания в большей условной посылке) и сложная).

22 Вопрос

Недедуктивные выводы: индуктивные умозаключения. Полная и неполная индукция

Недедуктивные выводы – логическая форма обобщения человеческого опыта. (предмет мысли – класс объектов, исследуемых с целью выявления и обобщения их общих признаков).

Индуктивные умозаключения – определенный метод научного исследования и теоретического обобщения эмпирического опыта (наблюдений, экспериментов). В силу незавершенности человеческого опыта и нерегистрируемости класса предметов, выступающих объектом индуктивного анализа, индуктивные выводы относятся к числу вероятностных умозаключений.

Виды ИУ: по объему (полная – проверка всех элементов класса, неполная).

23 Вопрос

Популярная и научная индукция. Разновидности научных обобщений. Методы научной индукции

Популярная – перечисление фактов по случайному признаку – вывод о принадлежности признака всему классу

Научная – отбор существенных признаков класса осуществляется через установление причинно следственных связей (методы сходства, различия, сходства и различия, сопутствующих изменений, остатков)).

Метод сходства – устанавливается сходная причина для появления одного и того же признака у разных явлений.

Метод различия – на основании сравнения только в двух случаях (когда данный признак возникает и не возникает).

Метод сходства и различия – сравниваются 2 группы (в одной выявляются сходства, а в другой – различия).

Метод сопутствующих изменений – устанавливается причинная связь между изменением обстоятельств и изменением признака, возникающего при данных обстоятельствах.

Метод остатков – причина интересующего признака устанавливается через исключение случаев, когда данный признак не возникает. Оставшееся обстоятельство считается причиной появления признака.

24 Вопрос

Доказательство и опровержение как логические средства аргументации. Их структура, правила и ошибки в доказательствах

Доказательство - (широкий смысл) любой способ обоснования истинности какого-либо утверждения. (узкий смысл) логическая операция обоснования истинности кого-либо утверждения при помощи других утверждений, истинности какого-либо утверждения при помощи других утверждений, истинность которых уже доказана.

Доказательство:тезис(утверждение, истинность которого нужно доказать),аргумент(истинные суждения, для доказательства:: аксиомы, теоремы, законы, факты, определения),демонстрация(способ логической связи аргумента и тезиса доказательства).

Парадокс, абсурд, бессмыслица.

Опровержение – логическая операция по установлению ложности тезиса. Задача опровержения – установить ложность выдвинутого положения или его недоказанность (обосновать его ложность).

Структура опровержения: Тезис (высказывание, которое нужно опровергнуть), Аргументы, Демонстрация

Структура опровержения: тезис (то, что опровергаем), аргументы (при помощи чего опровергаем), форма опровержения (логическ. способ связи арг. и опр.): прямое (если А то Б, не-Б, следовательно, не-А) – связано с косвенным док-вом; косвенное – док-во истинности антитеза (если не А, то Б; не-Б; следов., А).