Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Задачи по логике.docx
Скачиваний:
2
Добавлен:
05.08.2019
Размер:
127.5 Кб
Скачать
  1. Сделать противопоставление предикату

Это такое непосредственное умозаключение, при котором (в заключении) предикатом является субъект, субъектом — понятие, противоречащее предикату исходного суждения, и связка меняется на противоположную (иначе говоря, превращение + обращение)

Превращение:

S есть Р → S не есть не-Р

1. А → Е.

Структура: Все S есть Р → Ни одно S не есть не-Р. Все волки — хищные животные. → Ни один волк не является нехищным животным.

2. Е → А.

Ни одно S не есть Р.→ Все S есть не-Р. Ни один многогранник не является плоской фигурой. → Все многогранники являются неплоскими фигурами.

3. I → O.

Некоторые S есть Р.→ Некоторые S не есть не-Р. Некоторые грибы съедобны → Некоторые грибы не являются несъедобными.

4. O → I.

Некоторые S не есть Р.→ Некоторые S есть не-Р. Некоторые члены предложения не являются главными. → Некоторые члены предложения являются неглавными.

Обращение:

S есть Р → Р есть S.

Суждение О частноотрицательное.

Применяя операцию обращения, мы не получим необходимые выводы. Так, например, из истинного частноотрицательного суждения «Некоторые животные не являются собаками» путём обращения нельзя получить истинного суждения.

Схема противопоставления предикату:

S есть Р.

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

Иными словами, мы делаем таким образом: 1) вместо Р берём не-Р; 2) меняем местами S и не-Р; 3) связку меняем на противоположную.

«Все львы — хищные животные». В результате противопоставления предикату получим суждение: «Ни одно нехищное животное не является львом».

Противопоставление предикату для различных видов суждений осуществляется так:

1. А. Все S есть Р → Ни одно не-Р не есть S.

Все металлы электропроводны. → Ни один не электропроводник не является металлом.

2. Е. Ни одно S не есть Р. → Некоторые не-Р есть S.

Ни один красный мухомор не является съедобным грибом. → Некоторые несъедобные грибы есть красные мухоморы.

3. О. Некоторые S не есть Р. → Некоторые не-Р есть S.

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

4. I. Из частноутвердительного суждения необходимые выводы не следуют.

  1. Сделать полный разбор пкс (простого категорического силлогизма):

  • Определить состав, фигуру, модус

  • Найти ошибки

Категорический силлогизм — это вид дедуктивного умозаключения, в котором из двух истинных категорических суждений, где S и Р связаны средним термином, при соблюдении правил необходимо следует заключение.

Обязательно присутствуют:

  1. Субъект (S) – это термин в кот. мыслится предмет, о кот. что отрицается или утверждается

  2. Предикат (P) – это термин отражающий что именно утверждается или отрицается о субъект

  3. Квантерное слово, они бывают двух видов: все и некоторые, следует отличать от квантера

  4. Связка (является, не является, есть, не есть)

Все металлы (М) электропроводны (Р) – большая посылка

– Посылки

Медь (S) есть металл (М) – меньшая посылка.

Медь (S) электропроводна (Р) – Заключение

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

Меньший термин обозначается буквой S и обозначает субъект. Посылка, содержащая меньший термин наз. меньшая посылка

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

Пример:

Все кенгуру (М) есть сумчатые млекопитающие (Р)

Это животное (S) есть кенгуру (М)

Это животное (S) есть сумчатое млекопитающее (P)

Алгоритм полного разбора ПКС

  1. Установить посылки и заключения ПКС

  2. В заключении находим и устанавливаем меньшие термины

  3. Найти и обозначить меньшие термины в посылках

  4. Найти и обозначить средний термин в обеих посылках

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

  6. Установить фигуру силлогизма:

  7. Для больших и меньших посылок выписываем термины

  8. Определить модус силлогизма

*иногда ПКС необходимо приводить к стандартному виду

*не всякий, не каждый, не все – союзы частного

Фигуры

Фигурами силлогизма – разновидности силлогизма в зависимости от положения среднего термина в посылках

Примеры:

Фигура 1:

Все злаки (М) — растения (Р).

Рожь (S) — злак (М).

Рожь (S) — растение (Р).

Фигура 2:

Все ужи (Р) — пресмыкающиеся (М).

Это животное (S) не является пре смыкающимся (М).

Это животное (S) не является ужом(Р).

Фигура 3:

Все углероды (М) — простые тела (Р).

Все углероды (М) — электропроводны (S).

Некоторые электропроводники (S) — простые тела (Р).

Фигура 4:

Все киты (Р) — млекопитающие (М).

Ни одно млекопитающее (М) не есть рыба (S)

Ни одна рыба (S) не есть кит (Р).

Модус (см. по квадрату)

Правила:

Правила фигур:

I фигура – большая посылка должна быть общей, меньшая — утвердительной.

II фигура – большая посылка общая и одна из посылок, а также заключение отрицательные.

III фигура – меньшая посылка должна быть утвердительной, а заключение — частное.

IV фигура – общеутвердительных заключений не даёт. Если большая посылка утвердительная, то меньшая посылка должна быть общей. Если одна из посылок отрицательная, то большая посылка должна быть общей.

Правила терминов:

  • В силлогизме должно быть только 3 термина (S, P, M), нарушение ведёт к неправильному выводу

Пример:

Каратэ – это борьба

Жизнь – это борьба

Вывод: жизнь – это каратэ

  • Средний термин должен быть распределён хотя бы в одной из посылок

Некоторые растения (М) ядовиты (Р).

Белые грибы (S) — растения (М).

Белые грибы (S) —- ядовиты (Р).

  • Термин, не распределённый в посылке, не может быть распределён в заключение, нарушение данного правило наз. незаконное расширение термина.

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

Санкт-Петербург не находится за полярным кругом.

В Санкт-Петербурге не бывает белых ночей.

Правило посылок

  • Хотя бы одна из посылок должна быть утвердительной, из 2 отрицательных посылок нельзя сделать заключения.

  • Хотя бы одна из посылок должна быть общим суждением

  • При одной отрицательной посылке заключение будет отрицательным

  • При одной частной посылке заключение будет частным

  • Если обе посылки утвердительные, вывод также утвердительное суждение