Указания к выполнению упражнений главы III.

Упражнение 1.*. Сделайте вывод путем превращения, составьте схему вывода.

А) Не всякая оценка одинаково радует студента.

При выполнении этого упражнения сначала необходимо записать посылку в стандартной форме категорического суждения: A, E, I, O.

Внешнее «не» соответствует отрицанию. По правилам отрицания простого суждения необходимо поменять квантор и связку. В эквивалентной форме посылка запишется следующим образом:

Некоторые оценки не одинаково радуют студента.

Логическая форма этой посылки: Некоторые S не суть Р. Здесь S – оценки, Р - одинаково радуют студента.

Схема превращения:

Некоторые S не суть Р.

 
  Указания к выполнению упражнений главы III. - student2.ru

Некоторые S суть не-Р.

В соответствии со схемой, делаем вывод путем превращения:

Некоторые оценки являются неодинаково радующими студента.

Если убрать глагол-связку «являются» (что позволяют правила русского языка), то получим: Некоторые оценки не одинаково радуют студента.

Т.е. при превращении посылка осталась без изменения.

В) Некоторые преступления являются умышленными.

Логическая схема этой посылки: Некоторые S суть Р.

Схема превращения:

Некоторые S суть Р.

 
  Указания к выполнению упражнений главы III. - student2.ru

Некоторые S не суть не-Р.

В соответствии со схемой, делаем вывод путем превращения:

Некоторые преступления не являются неумышленными.

С) Любая жизнь не является бесконечной.

Логическая схема этой посылки: Все S не суть Р.

Схема превращения:

Все S не суть Р.

 
  Указания к выполнению упражнений главы III. - student2.ru

Все S суть не-Р.

В соответствии со схемой, делаем вывод путем превращения:

Любая жизнь является не бесконечной. Преобразуем ее в эквивалентную форму, используя закон двойного отрицания:

Любая жизнь является конечной.

Упражнение 6.*. Проверьте правильность обращения. Если обращение неправильно, сделайте правильный вывод. Составьте схему вывода.

Указания к выполнению упражнений главы III. - student2.ru А) Ни один невиновный не должен понести наказания.

Ни один понесший наказание не должен быть невиновным.

Запишем логическую форму посылки: Все S не суть Р.

Здесь S – невиновный, Р – должен понести наказание.

Составим схему обращения: Все S не суть Р.

 
  Указания к выполнению упражнений главы III. - student2.ru

Все Р не суть S.

В соответствии с этой схемой правильное обращение должно выглядеть так:

Ни один из тех, кто должен понести наказание, не может быть невиновным.

Следовательно, обращение было сделано неправильно.

Указания к выполнению упражнений главы III. - student2.ru В) Некоторые люди имеют нетрудовые доходы.

Некоторые имеющие нетрудовые доходы – люди.

Запишем логическую форму посылки: Некоторые S суть Р.

Здесь S - люди, Р – имеют нетрудовые доходы.

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

Изобразим при помощи кругов Эйлера отношение между терминами в рассматриваемом случае:

 
  Указания к выполнению упражнений главы III. - student2.ru

В этом случае видно, что обращение будет с ограничением, т.е.

Некоторые S суть Р.

 
  Указания к выполнению упражнений главы III. - student2.ru

Все Р суть S.

В соответствии с этой схемой, правильное обращение будет выглядеть следующим образом:

Все имеющие нетрудовые доходы – люди.

Следовательно, обращение было сделано неправильно.

Упражнение 10.*. Постройте логический квадрат. Опираясь на него, выведите суждения противоположные, противоречащие и подчиненные данным. Установите их истинность или ложность.

А) Людям свойственно ошибаться.

При выполнении этого упражнения сначала необходимо узнать логическую форму и вид исходного простого атрибутивного суждения.

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

Всем людям свойственно ошибаться.

Логическая форма данного суждения: Все S суть Р.

Это общеутвердительное суждение, А. Будем считать его истинным.

а) противоположным суждением для А является Е, логическая форма которого

Все S не суть Р.

В соответствии с этой формой противоположное высказывание:

Наши рекомендации