Логика. Лекция 4 Логический квадрат. Сложные суждения. Умозаключения

Библиография

Логика. Учебник. Под ред. А.И. Мигунова и др. Москва: Проспект, 2011.

Логический квадрат

E – общеотрицательное

A – общеутвердительное

O – частноотрицательное

I – частноутвердительное

контрарные
противоположность

контрадикторные
противоречие

контрадикторные
противоречие

субконтрарные
частичная совместимость

подчинение

подчинение

Что можно получить из простых категорических суждений?

Если меняем квантор:
Выделяющие суждения
Исключающие суждения
Неопределенно-частные

Выделяющие суждения

Только, лишь, лишь только, etc.
Только студенты СПбГУ гордятся тем, что

Исключающие суждения

Кроме, за исключением, etc.
Никто, кроме студентов СПбГУ, не называет себя

(Не)определенно-частные суждения

Только некоторые – По крайней мере, некоторые
ОЧС: Только некоторые животные

Модальности суждений

Суждения возможности – возможность – возможно, на этой неделе будет

Сложные суждения – Логика высказываний

Простые суждения и связки:
Дизъюнкция – или
Строгая

Категорические и условные суждения

Категорические суждения – все S есть P:
Все студенты

Умозаключения

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

Непосредственные умозаключения (с. 149-156)

Умозаключения, состоящие из одной посылки и вывода:
Обращение
Превращение
Противопоставление

Обращение

Смена местами субъекта и предиката:
A – Все S суть P –

Обращение

Смена местами субъекта и предиката:
E – Ни одно S не есть

Превращение

Установление отношения исходного субъекта к понятию противоречащему ему предикату:
A – Все

Превращение

Установление отношения исходного субъекта к понятию противоречащему ему предикату:
E – Ни

Противопоставление предикату

Преобразование, при котором новый субъект – не исходный предикат, а

Противопоставление предикату

Преобразование, при котором новый субъект – не исходный предикат, а

Простой категорический силлогизм

С. 158
Фигуры (расположение терминов) и модусы (по типу входящих