- •Задачи по логике
- •Отразить отношение между понятиями (кругами Эйлера)
- •Полная логическая характеристика понятий
- •Определить отношение между суждениями по квадрату
- •Сделать противопоставление предикату
- •Сделать полный разбор пкс (простого категорического силлогизма):
- •Восстановить энтимему
- •Определить какой закон логики нарушен
- •Построить прямое и косвенное доказательство тезиса
Сделать противопоставление предикату
Это такое непосредственное умозаключение, при котором (в заключении) предикатом является субъект, субъектом — понятие, противоречащее предикату исходного суждения, и связка меняется на противоположную (иначе говоря, превращение + обращение)
Превращение:
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. Из частноутвердительного суждения необходимые выводы не следуют.
Сделать полный разбор пкс (простого категорического силлогизма):
Определить состав, фигуру, модус
Найти ошибки
Категорический силлогизм — это вид дедуктивного умозаключения, в котором из двух истинных категорических суждений, где S и Р связаны средним термином, при соблюдении правил необходимо следует заключение.
Обязательно присутствуют:
Субъект (S) – это термин в кот. мыслится предмет, о кот. что отрицается или утверждается
Предикат (P) – это термин отражающий что именно утверждается или отрицается о субъект
Квантерное слово, они бывают двух видов: все и некоторые, следует отличать от квантера
Связка (является, не является, есть, не есть)
Все металлы (М) электропроводны (Р) – большая посылка
– Посылки
Медь (S) есть металл (М) – меньшая посылка.
Медь (S) электропроводна (Р) – Заключение
Больший термин обозначается буквой P и обозначает предикат. Посылка, содержащая больший термин наз. большей посылкой. При стандартной записи ПКС большая посылка всегда занимает первую строчку.
Меньший термин обозначается буквой S и обозначает субъект. Посылка, содержащая меньший термин наз. меньшая посылка
Средний термин обозначается буквой M. Средний термин может занимать как место субъекта, так и место предиката, но отсутствующий в заключении.
Пример:
Все кенгуру (М) есть сумчатые млекопитающие (Р)
Это животное (S) есть кенгуру (М)
Это животное (S) есть сумчатое млекопитающее (P)
Алгоритм полного разбора ПКС
Установить посылки и заключения ПКС
В заключении находим и устанавливаем меньшие термины
Найти и обозначить меньшие термины в посылках
Найти и обозначить средний термин в обеих посылках
Убедиться, что силлогизм написан в стандартном виде (большая посылка занимает первую строчку, меньшая во вторую)
Установить фигуру силлогизма:
Для больших и меньших посылок выписываем термины
Определить модус силлогизма
*иногда ПКС необходимо приводить к стандартному виду
*не всякий, не каждый, не все – союзы частного
Фигуры
Фигурами силлогизма – разновидности силлогизма в зависимости от положения среднего термина в посылках
Примеры:
Фигура 1:
Все злаки (М) — растения (Р).
Рожь (S) — злак (М).
Рожь (S) — растение (Р).
Фигура 2:
Все ужи (Р) — пресмыкающиеся (М).
Это животное (S) не является пре смыкающимся (М).
Это животное (S) не является ужом(Р).
Фигура 3:
Все углероды (М) — простые тела (Р).
Все углероды (М) — электропроводны (S).
Некоторые электропроводники (S) — простые тела (Р).
Фигура 4:
Все киты (Р) — млекопитающие (М).
Ни одно млекопитающее (М) не есть рыба (S)
Ни одна рыба (S) не есть кит (Р).
Модус (см. по квадрату)
Правила:
Правила фигур:
I фигура – большая посылка должна быть общей, меньшая — утвердительной.
II фигура – большая посылка общая и одна из посылок, а также заключение отрицательные.
III фигура – меньшая посылка должна быть утвердительной, а заключение — частное.
IV фигура – общеутвердительных заключений не даёт. Если большая посылка утвердительная, то меньшая посылка должна быть общей. Если одна из посылок отрицательная, то большая посылка должна быть общей.
Правила терминов:
В силлогизме должно быть только 3 термина (S, P, M), нарушение ведёт к неправильному выводу
Пример:
Каратэ – это борьба
Жизнь – это борьба
Вывод: жизнь – это каратэ
Средний термин должен быть распределён хотя бы в одной из посылок
Некоторые растения (М) ядовиты (Р).
Белые грибы (S) — растения (М).
Белые грибы (S) —- ядовиты (Р).
Термин, не распределённый в посылке, не может быть распределён в заключение, нарушение данного правило наз. незаконное расширение термина.
Во всех городах за полярным кругом бывают белые ночи.
Санкт-Петербург не находится за полярным кругом.
В Санкт-Петербурге не бывает белых ночей.
Правило посылок
Хотя бы одна из посылок должна быть утвердительной, из 2 отрицательных посылок нельзя сделать заключения.
Хотя бы одна из посылок должна быть общим суждением
При одной отрицательной посылке заключение будет отрицательным
При одной частной посылке заключение будет частным
Если обе посылки утвердительные, вывод также утвердительное суждение