Обращение

~ Это преобразование суждения, в результате которого субъект исходного значения становится предикатом, а предикат субъектом заключения.

Примечание: В суждении всегда на первом месте располагается субъект, а на втором предикат.

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

~ Устанавливает как понятие противоположное предикату относится к субъекту исходного суждения.

~ Это преобразование суждения, в результате которого субъектом становится понятие противоречащее предикату, а предикатом субъект исходного суждения, связка меняется на противоположную.

Сложное суждение

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

p	q	p (и) q	p (или) q	p (или, или) q	p (если, то) q	p (тогда и только тогда) q
И	И	И	И	Л	И	И
И	Л	Л	И	И	Л	Л
Л	И	Л	И	И	И	Л
Л	Л	Л	Л	Л	И	И

р – студент сдает экзамены

q – студент едет на каникулы домой.

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

посылка вывод заключение

Классификация умозаключения

1 система: Основание количества посылок

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

* Преобразования по логическому квадрату

* Операции по преобразованию суждения

б) Две посылки – простой категорический силлогизм

в) Больше двух посылок, тогда из нескольких фактов делаем вывод.

2 система: По направленности выводов

а) Дедукция – Общее Частное

б) Индукция – Частное Общее

в) Традукция (аналогия) – Общее Общее или Частное Частное

3 система: По характеру заключения

а) Необходимые – из истинных посылок получаем истинность

б) Вероятные – может быть истинной или ложью

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

Силлогизм – вывод, такое умозаключение где вывод осуществляется на основании соотношения терминов в суждении.

Категорический силлогизм – суждения в силлогизме берутся из логического квадрата у которых четко определено количество и качество.

Простой силлогизм – противостоит сложному, означает, что в этом силлогизме всего три суждения, две посылки, плюс одно заключение

Определения: 1) Дедуктивное умозаключение - заключение в котором из двух

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

суждение.

2) Умозаключение об отношении двух крайних терминов, на

основании их отношении к среднему термину.

3) Так как в силлогизме три суждения, то модус обозначается

буквами квадрата

Первая буква – тип суждения большой посылки

Вторая буква – тип суждения меньшей посылки

Третья буква - тип суждения заключения.

* Меньший термин располагается на первом месте в заключении и во второй посылке, которая называется меньшей.

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

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