Условие:
Определить, какой это вид дедуктивного умозаключения (условно-категорическое (УКУ), разделительно-категорическое (РКУ), условно-разделительное (УРУ)). Записать его в виде формулы, определить модус. Если это УКУ или РКУ, определить его корректность (УКУ – по модусам, РКУ – по разделительной посылке). Дилеммы просто записать в виде формулы и установить вид.
Установите вид дедуктивного умозаключения и его правильность, если это возможно. Запишите в виде формулы:
Если человек является последовательным материалистом, то он признает познаваемость мира. Гегель признавал познаваемость мира. Следовательно, Гегель был последовательным материалистом.
Решение:
Нам дано следующее умозаключение: 1. Если человек является последовательным материалистом, то он признает познаваемость мира. 2. Гегель признавал познаваемость мира. 3. Следовательно, Гегель был последовательным материалистом. Шаг 1. Формализуем высказывания. Обозначим: p: «Гегель является последовательным материалистом» q: «Гегель признавал познаваемость мира» Тогда первая посылка записывается как условное высказывание: p → q Вторая посылка: q Вывод: p Таким образом, формула умозаключения выглядит так: p → q, q ⊢ p Шаг 2. Определение вида дедуктивного умозаклю...