Сборник задач и упражнений по логике. Тоноян Л.Г. - 72 стр.

UptoLike

Составители: 

Рубрика: 

Например, ложность тезиса " Все люди - грамотные " мы
устанавливаем из истинности антитезиса "Некоторые люди -
неграмотные".
В составе опровержения тоже отличают 1) тезис, ) аргументы, 3)
форму опровержения.
Упражнение 1. Определить, к какому виду относится следующее
доказательство? Тезис: "Во 2-й фигуре категорического силлогизма
одна из посылок должна быть отрицательной ". Аргументами в
данном случае будут выступать общие правила категорического
силлогизма.
Доказательство:
Средний термин М должен быть распределен хотя бы в одной из
посылок силлогизма, а поскольку во второй фигуре средний термин
занимает в обеих посылках место предиката, то М должен быть
распределен хотя бы в одной из посылок. Распределен предикат, как
известно, в отрицательных суждениях. Следовательно, одна из посылок
во 2-й фигуре силлогизма должна быть отрицательной.
Упражнение 2. К какому виду относится следующее
доказательство?
Тезис: "В 3-ей фигуре силлогизма меньшая посылка должна быть
утвердительной. Доказательство: Предположим, данный тезис
неверен. Тогда верен антитезис: в 3-ей фигуре меньшая посылка -
отрицательная. В таком случае вывод также должен быть
отрицательным, а большая посылка - утвердительной, как это требуют
общие правила силлогизма. Следовательно, в заключении данного
силлогизма предикат (как предикат любого отрицательного суждения)
распределен, в то время как в большей посылке он не распределен, так
как является предикатом утвердительного суждения. Итак, мы пришли к
противоречию с общим правилом силлогизма: термин, не
распределенный в посылке, не может быть распределен в заключении.
Значит, наш антитезис неверен, а верен на самом деле тезис: в 3-ей
фигуре меньшая посылка должна быть утвердительной.
Упражнение 3. Привести доказательство от противного
(апагогическое) следующего тезиса: " Меньшая посылка по I фигуре
категорического силлогизма должна быть утвердительным суждением".
Упражнение 4. Найти аргумент для прямого доказательства
следующего тезиса: " общеотрицательное суждение обращается в
общеотрицательное."
72