Пример 8: P+ М -
«Все преступники должны нести ответственность за свои деяния».
S+ М -
«Петров должен нести ответственность за свои деяния».
S+ Р-
«Петров – преступник».
В данном примере нарушено второе и третье правила терминов, так как средний термин М не распределен ни в одной из посылок, а больший термин Р не распределен в заключении, но распределен в посылке.
Часто для того, чтобы убедиться в правильности ПКС бывает достаточно проверить частные правила – правила фигур.
Правила фигур:
В зависимости от расположения среднего термина выделяют четыре фигуры ПКС:
Определив фигуру ПКС, следует проверить выполнение правила соответствующей фигуры.
Правило первой фигуры: Большая посылка должна быть общим суждением, а меньшая – утвердительным3.
В вышеуказанном примере 1 дан ПКС первой фигуры. В нем большая посылка – общее суждение, а меньшая посылка – утвердительное суждение. Правило фигуры соблюдается. Следовательно, заключение носит достоверный характер.
Правило второй фигуры: Большая посылка должна быть общим суждением, одна из посылок – отрицательная.
В примере 8 дан ПКС второй фигуры. В нем большая посылка – общее суждение, но нет ни одной отрицательной посылки. Правило второй фигуры не соблюдается. Заключение носит недостоверный характер.
Правило третьей фигуры: Меньшая посылка – утвердительное суждение, а заключение – частное.
Пример 9: M P
Кит – водное животное.
M S
Кит – млекопитающее.
S P
Некоторые млекопитающие – водные животные.
Правило четвертой фигуры: Если большая посылка – утвердительное суждение, то меньшая посылка – общее суждение. Если одна из посылок – отрицательная, то большая посылка является общим суждением.
Пример 10: P M
Все слоны - млекопитающие
М S
Ни одно млекопитающее не есть беспозвоночное.
S P
Ни одно беспозвоночное не есть слон.
Теория к задаче 29: Энтимема – это сокращенный силлогизм. Различают энтимемы с пропущенной большей посылкой, с пропущенной меньшей посылкой и с пропущенным заключением. Суждения, составляющие энтимему, соединяются между собой выражениями: «так как», «потому что», «ибо», «поскольку», «следовательно», «значит», «поэтому и», «а», «но», «да» и т. д.
Задача 29: Энтимема. Восстановить в полный простой категорический силлогизм, и проверить его.
Пример :Угон автомобиля карается законом, так как всякая кража карается законом.
Решение: Определяем вид энтимемы (с пропущенной большей посылкой, с пропущенной меньшей посылкой или с пропущенным заключением). Ясно, что в данной энтимеме имеется заключение - «Угон автомобиля карается законом». Имеется также большая посылка, содержащая больший термин «карается законом». Значит, в данном случае пропущена меньшая посылка. Восстанавливаем. Проставляем термины. Определяем фигуру. Проверяем правила.
M+ P -
Всякая кража карается законом. Общие правила соблюдены.
S+ M- Первая фигура.
Угон автомобиля – кража. Правило первой
S+ P- фигуры соблюдено.
Угон автомобиля карается законом. Умозаключение правильное.
Тема 9. Умозаключения из сложных суждений
Умозаключения из сложных суждений делятся на условные, разделительные и условно-разделительные. Условные делятся на чисто-условные и условно-категорические. Разделительные делятся на чисто-разделительные и разделительно-категорические. Условно-ра. зделительные (лемматические) делятся на дилеммы, трилеммы и, вообще, полилеммы.
Теория к задаче 31Чисто–условные умозаключения – это умозаключения, в котором все посылки и заключение являются условными суждениями.
Задача 31: Постройте приведенный текст в форме чисто-условного умозаключения, сделайте вывод, постройте схему умозаключения.
Пример: «Студент научится строить правильные рассуждения, если он хорошо усвоит логику. Тогда его речь станет более убедительной».
Решение: Для того, чтобы построить это рассуждение в форме чисто-условного, мы можем ввести обозначения: А - «Студент хорошо усвоит логику». В – «Он научится строить правильные рассуждения». С – «Его речь станет более убедительной». Тогда данная мысль примет форму чисто-условного умозаключения: «Если студент хорошо усвоит логику, тогда он научится строить правильные рассуждения. Если студент научится строить правильные рассуждения, то его речь станет более убедительной». Вывод: «Значит, если студент хорошо усвоит логику, то его речь станет более убедительной».
Схема умозаключения: (А→В)∧(В→С)
Значит, А→С.
Теория к задачам 32-33 Условно-категорический силлогизм (УКC) – это умозаключение, в котором одна посылка – условное суждение, а другая посылка и заключение – категорические суждения. В нем имеются два правильных модуса (дающих достоверный вывод) и два неправильных модуса (не дающих достоверного вывода). Следует отметить, что логические выражения правильных модусов являются логическими законами4, а логические выражения неправильных модусов не являются логическими законами.
Задача 32 Условно-категорический силлогизм. Сделайте вывод, запишите формулу, определите модус и характер вывода.
Пример: «Если у человека высокая температура, то он болен. Этот человек болен».
Вывод: «Возможно, у человека высокая температура».
Формула: ((А→В)∧В)→А.
Модус: Неправильный утверждающий.
Характер вывода: Недостоверный.
Задача 33 По данной посылке постройте условно-категорический силлогизм по правильным и неправильным модусам.
Пример : «Если идет дождь, то асфальт мокрый».
Решение:
А) правильный утверждающий модус: ((А→В)∧А)→В.
«Если идет дождь, то асфальт мокрый.
В данный момент идет дождь.
Сейчас асфальт мокрый». Вывод носит достоверный характер.
Б) Правильный отрицающий модус: ((А→В)∧¬В)→¬А.
«Если идет дождь, то асфальт мокрый.
В данный момент асфальт не мокрый.
Сейчас нет дождя». Вывод носит достоверный характер.
В) неправильный утверждающий модус: ((А→В)∧В)→А.
«Если идет дождь, то асфальт мокрый.
В данный момент асфальт мокрый.
Возможно, идет дождь». Вывод носит недостоверный характер.
Г) неправильный отрицающий модус: ((А→В)∧¬А)→¬В.
«Если идет дождь, то асфальт мокрый
В данный момент нет дождя.
Асфальт не мокрый». Вывод носит недостоверный характер.
Теория к задачам 34, 35 Разделительно-категорическим называют силлогизм (РКС), в котором одна посылка – разделительное суждение, а другая посылка или заключение – категорические суждения. РКС имеет две формы: ((А∨В)∧А)→¬В – утверждающе-отрицающий модус; ((А∨В)∧¬А)→В – отрицающе-утверждающий модус.
Правило утверждающе-отрицающего модуса: дизъюнкция должна быть строгой, т. е. альтернативы в разделительной посылке должны исключать друг друга.
Если дизъюнкция нестрогая в утверждающе-отрицающем модусе, тогда вывод будет вероятным /«Он страдает от болезни или бедности. Он болен. Вероятно, он не беден» - вывод носит недостоверный характер, так как альтернативы не исключают друг друга/.
Правило отрицающе-утверждающего модуса: дизъюнкция должна быть полной, т. е. в разделительной посылке должны быть перечислены все альтернативы.
Задача 34 Разделительно-категорический силлогизм. Сделайте вывод. Запишите формулу, определите модус и характер вывода
Пример: «Животные бывают позвоночными или беспозвоночными.
Это животное не является позвоночным».
Решение: «Значит, оно беспозвоночное».
А∨В отрицающе-утверждающий
¬В модус.
А Вывод достоверный (правило модуса соблюдено).
Задача 35: Используя разделительную посылку, постройте разделительно-категорическое умозаключение: а) по утверждающе-отрицающему модусу; б) по отрицающе-утверждающему модусу. Определите характер вывода (достоверный или вероятный).
Пример : «Простые суждения бывают утвердительными или отрицательными».
Решение: К данной разделительной посылке добавляем простую категорическую посылку:
а) Утверждающую: б) Отрицающую:
«Это суждение отрицательное». «Это суждение не отрицательное».
«Значит, оно не утвердительное». «Значит, оно утвердительное».
Если посылка утверждающая, то заключение должно быть отрицающим, и наоборот.
Вывод в обоих случаях достоверный, так как все правила соблюдены.
Теория к задаче 36 Дилемма – это условно-разделительное умозаключение, в котором одна посылка состоит из двух условных суждений, а другая является разделительным суждением. Дилеммы бывают конструктивными и деструктивными. Конструктивные дилеммы характеризуются тем, что мысль в них движется от утверждения вариантов оснований условных суждений к утверждению следствий. Конструктивные дилеммы бывают простыми и сложными. В простой конструктивной дилемме первая посылка состоит из двух условных суждений, основания которых различны, а следствия совпадают; вторая посылка содержит дизъюнкцию обоих оснований:
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 5 6 7 8 |
