Задание 7

Формулировка:

Дайте логическую характеристику простого категорического силлогизма (ПКС):

а) формализуйте входящие в ПКС суждения;

б) выделите структурные элементы ПКС: меньший, больший и средний термины; большую, меньшую посылки и заключение;

в) расположите структурные элементы по правилу записи ПКС:

1) большая посылка,

2) меньшая посылка,

3) заключение;

г) определите фигуру ПКС;

д) установите модус ПКС;

е) проверьте правильность ПКС по модусу.

Аргументируйте ответ на основе:

а) определения структурных элементов ПКС;

б) объяснения построения фигуры и составления модуса ПКС;

в) пояснения проверки правильности ПКС по модусу.

Содержание:

Умозаключение«Все юристы знают логику. Студент Семушкин не знает логики. Следовательно, студент Семушкин не юрист».

Решение:

1а. Формализация ПКС:

1) Все юристы есть те, кто знают логику

2) Студент Семушкин не есть тот, кто знает логику.

3) Студент Семушкин не есть тот кто юрист.

1б. Структурные элементы ПКС можно выделить по следующему алгоритму:

- находим заключение ПКС, на которое указывают слова: значит, поэтому, следовательно, и т.п. В данном ПКС заключение «студент Семушкин не юрист», так как это суждение стоит после слов «значит»;

- находим меньший и больший термины по заключению. В данном ПКС меньший термин понятие «студент Семушкин», так как оно занимает место субъекта, а больший термин понятие «юрист», так как оно занимает место предиката;

- находим меньшую и большую посылки по меньшему и большему терминам. В данном ПКС меньшая посылка суждение «Студент Семушкин не знает логики», так как в ней находится меньший термин «студент Семушкин», а большая посылка суждение «Все юристы знают логику», так как в ней находится больший термин «юрист»;

- находим средний термин в посылках ПКС. В данном ПКС средний термин понятие «знает логику», так как оно есть в посылках, но отсутствует в заключении.

1в. Данный ПКС нужно записать следующим образом:

Б. п. Все юристы (P) есть те, кто знают логику (M).

М. п. Студент Семушкин (S) не есть тот, кто знает логику (M).

Закл-е Студент Семушкин (S) не есть тот, кто юрист (P).

1г. Данный ПКС построен по второй фигуре, так как средний термин занимает место предиката в обеих посылках, что соответствует построению второй фигуры.

1д. Данный ПКС имеет модус: АЕЕ, так как большая посылка является общеутвердительным суждением, меньшая посылка и заключение – общеотрицательные суждения.

1е. Данный ПКС правильный, так как модус АЕЕ второй фигуры является правильным, что можно установить по перечню модусов у каждой фигуры, которые приведены в учебниках по логике.

Задание 8.

Формулировка:

Используя условную посылку, постройте правильное условно-категорическое умозаключение (УКУ):

1. по утверждающему модусу;

а) выделите структурные элементы УКУ: условную посылку, указав в ней основание и следствие, категорическую посылку и заключение; обозначьте их соответствующими символами;

б) указания направленности вывода УКС;

в) проверьте правильность УКУ.

2. По отрицающему модусу.

а) выделите структурные элементы УКУ: условную посылку, указав в ней основание и следствие, категорическую посылку и заключение; обозначьте их соответствующими символами;

б) указания направленности вывода УКС;

в) проверьте правильность УКУ.

Содержание:

Суждение «Если хочешь быть здоров - закаляйся».

Решение:

Построим правильное условно-категорическое умозаключение:

1. по утверждающему модусу

а) Условная посылка: Если хочешь быть здоров – закаляйся. (pàq )

Категорическая посылка: Хочу быть здоров (p)

Заключение: Закаляйся. (q)

Основание: Хочу быть здоров (p)

Следствие: Закаляйся. (q)

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

в) Схема: pàq, p

q

2. по отрицающему модусу

а) Условная посылка: Если хочешь быть здоров – закаляйся. (pàq )

Категорическая посылка: не закаляйся (| q)

Заключение: не хочешь быть здоров . (| p)

Основание: Хочу быть здоров (p)

Следствие: Закаляйся. (q)

б) категорическая посылка отрицает истинность следствия, заключение отрицает истинность основания.

в) Схема: pàq, | q

| p

Задание 9.

Формулировка:

1. Сделайте вывод из посылок разделительно-категорического умозаключения и определите логическую характеристику получившегося разделительно-категорического умозаключения (РКУ):

а) выделите структурные элементы РКУ: разделительную посылку, категорическую посылку и заключение; обозначьте их соответствующими символами;

б) определите вид модуса РКУ;

в) запишите формулу модуса РКУ;

г) проверьте правильность РКУ.

Содержание:

Умозаключение«По количеству категорические суждения делятся на общие или частные. Данное категорическое суждение общее, следовательно…»

Решение:

1. а) В данном РКУ можно выделить следующие структурные элементы:

Разделительная посылка: По количеству категорические суждения делятся на общие (p) или частные (q).

Категорическая посылка: Данное категорическое суждение общее.

Заключение: Данное категорическое суждение не является частным.

В разделительной посылке содержатся два простых суждения: одна альтернатива «Данное категорическое суждение общее» (p) и другая альтернатива «Данное категорическое суждение частное» (q ), связанных логическим союзом «или». В категорической посылке «Данное категорическое суждение общее» (p) утверждается одна из альтернатив разделительной посылки. В заключении «Данное категорическое суждение не является частным » (| q ) отрицается другая альтернатива разделительной посылки.

1б. Модус данного РКС – утверждающе-отрицающий;

1в. Схема: p\/q, p

| q где дизъюнкция строгая

1г. Данный РКС правильный, так как разделительная посылка сильная дизъюнкция, а в утверждающе-отрицающем модусе именно это правило должно соблюдаться.