Задания для самостоятельной работы

1. Определите фигуру силлогизма. Изобразите отношения между терминами на круговых схемах:

а) субъект является мыслью о предмете. Понятие «закон» является субъектом данного суждения. Следовательно, понятие «закон» является мыслью о предмете.

б) микроскоп – оптический прибор. Данный предмет не является оптическим прибором. Следовательно, данный предмет не является микроскопом.

2. Определите фигуру и модус силлогизма. Изобразите отношения между терминами на круговых схемах:

Пример 1

Всякий телефон является средством связи.

Некоторые предметы черного цвета – телефоны.

Следовательно, некоторые предметы черного цвета – средства связи.

Пример 2

Ни в одном из этих ящиков не хранятся хрупкие предметы.

Некоторые из этих ящиков – импортные изделия.

Следовательно, в некоторых импортных изделиях не хранятся хрупкие предметы.

Пример 3

Некоторые кустарники принадлежат к исчезающим видам.

Все кустарники – растения.

Следовательно, некоторые растения принадлежат к исчезающим видам.

3. Проверьте силлогизмы по общим и специальным правилам:

Пример 1

Всякое социальное действие является осознанным действием.

Некоторые формы социальных действий являются девиантными действиями.

Все девиантные действия являются осознанными действиями.

Пример 2

Некоторые участники данной конференции – москвичи.

Некоторые преподаватели нашего института – участники данной конференции.

Следовательно, некоторые преподаватели нашего института – москвичи.

Пример 3

Ни один аморальный поступок не оценивается положительно.

Все преступления являются аморальными поступками.

Следовательно, ни одно преступление не оценивается положительно.

Пример 4

Ни одна аксиома не нуждается в доказательстве.

Некоторые аргументы – аксиомы.

Следовательно, некоторые аргументы не нуждаются в доказательстве.

Теоретические вопросы для самопроверки

1. Сколько терминов имеет правильный категорический силлогизм?

2. Какая посылка силлогизма называется большей?

3. Какие термины силлогизма называются крайними?

4. По какому признаку различаются фигуры силлогизма?

5. Может ли первая фигура силлогизма иметь правильный модус, состоящий только из однотипных утвердительных суждений?

6. Может ли вторая фигура силлогизма иметь правильный модус, состоящий только из однотипных отрицательных суждений?

7. Можно ли считать силлогизм правильным, если в нем нарушено только одно правило терминов?

8. Можно ли сделать правильный вывод по третьей фигуре, имея две частных посылки?

9. Может ли правильный силлогизм по второй фигуре иметь утвердительный вывод?

10. Будут ли нарушены правила терминов, если средний термин окажется распределенным в обеих посылках?

11. Будут ли нарушены правила посылок, если из двух общих посылок сделать частный вывод?

Темы 5, 6. Дедуктивные умозаключения: условные, условно-категорические, разделительно-категорические, условно-разделительные; сокращенный силлогизм и полисиллогизм Вопросы для обсуждения

1. Условное умозаключение. Построение и проверка условного умозаключения.

2. Условно-категорическое умозаключение, его разновидности. Построение и проверка условно-категорического умозаключения.

3. Разделительно-категорическое умозаключение, его разновидности. Построение и проверка разделительно-категорического умозаключения.

4.Условно-разделительное умозаключение. Дилеммы: конструктивная дилемма, деструктивная дилемма.

5. Сокращенный силлогизм. Восстановление сокращенного силлогизма.

6. Полисиллогизм (прогрессивный и регрессивный). Построение и проверка полисиллогизма.

Актуальные элементы теории

Условным называется умозаключение, в котором посылки и вывод являются условными суждениями.

Условно-категорическим называется умозаключение, в котором в качестве одной из посылок используется суждение условное, а в качестве другой посылки и заключения используются суждения категорические. Оно имеет разновидности, которые называются модусами: утверждающий и отрицающий. Приведем примеры умозаключений, структура которых соответствует этим модусам:

1. Если суждение является общеотрицательным, то в нем распределены оба термина. Данное суждение является общеотрицательным. Следовательно, в данном суждении распределены оба термина.

Здесь в качестве первой посылки используется условное суждение. Обозначим его так: а ® в. В качестве другой посылки и заключения используются простые категорические суждения, которые обозначим соответственно символами (а) и (в).

Записав умозаключение в символической форме, получим модус:

а ® в, а

в

Проверим правильность умозаключения уже известным способом – с помощью таблиц истинности.

а	®	в	Ù	а	®	в
и	и	и	и	и	и	и
и	л	л	л	и	и	л
л	и	и	л	л	и	и
л	и	л	л	л	и	л

Из таблицы видно, что данное умозаключение построено правильно. Вывод с необходимостью следует из посылок.

2. Если понятие является единичным, то в его объеме мыслится только один предмет. В объеме понятия «учебник» не мыслится только один предмет. Следовательно, понятие «учебник» не является единичным.

Первую посылку можно символически записать (а ® в), вторую (не-в), а вывод (не-а).

Записав умозаключение в символической форме, получим модус:

а ® в, не-в

не-а

Для того чтобы убедиться в правильности этого модуса, построим таблицу истинности.

а	®	в	Ù	не-в	®	не-а
и	и	и	л	л	и	л
и	л	л	л	и	и	л
л	и	и	л	л	и	и
л	и	л	и	и	и	и

Из таблицы видно, что данное умозаключение построено правильно, вывод здесь с необходимостью следует из посылок.

Разделительно-категорическим называется умозаключение, в котором одна из посылок является суждением разделительным, а другая посылка и заключение являются суждениями категорическими. Оно имеет разновидности, которые называются модусами: утверждающе-отрицающий и отрицающе-утверж­дающий.

Убедиться в правильности модусов можно с помощью таблиц истинности.

Приведем примеры умозаключений, структура которых соответствует утверждающе-отрицающему и отрицающе-утверждающему модусам и проверим их.

1. Приговоры бывают обвинительными или оправдательными. Данный приговор является обвинительным. Следовательно, данный приговор не является оправдательным.

Здесь в качестве первой посылки используется разделительное суждение (строгая дизъюнкция), эту посылку обозначим так: а Ú в. Вторая посылка и заключение являются простыми категорическими суждениями, обозначим их соответственно символами (а) и ( не-в). Получим модус

а Ú в, а

не-в

Для проверки правильности этого модуса построим таблицу истинности.

а

Ú

в

Ù

а

®

не-в

и

л

и

л

и

и

л

и

и

л

и

и

и

и

л

и

и

л

л

и

л

л

л

л

л

л

и

и

Из таблицы видно, что данное умозаключение построено правильно, здесь вывод с необходимостью следует из посылок.

2. Простые категорические суждения бывают истинными или ложными (а Ú в). Данное суждение не является истинным (не-а). Следовательно, данное суждение является ложным (в). Умозаключение соответствует отрицающе-утверждающему модусу:

а Ú в, не-а

в

Проверим его с помощью таблиц истинности.

а	Ú	в	Ù	не-а	®	в
и	л	и	л	л	и	и
и	и	л	л	л	и	л
л	и	и	и	и	и	и
л	л	л	л	и	и	л

Из таблицы видно, что данный модус также является правильным.

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

Полисиллогизм – это сложный силлогизм, состоящий из двух и более простых частей, соединенных таким образом, что вывод предшествующего силлогизма (просилллогизма) становится посылкой последующего (эписиллогизма). Разновидности полисиллогизма: прогрессивный и регрессивный. Полисиллогизм называется прогрессивным, если вывод просиллогизма становится большей посылкой эписиллогизма. Полисиллогизм называется регрессивным, если вывод просиллогизма становится меньшей посылкой эписиллогизма.