11 Вопрос (Импликация, Эквиваленция, Отрицание)

Импликация - сложное суждение, образованное из двух простых, соединенных логическим союзом "если,то". Импликация - ложно тогда и только тогда, когда из истинного антецедента, следует ложный консеквент, т.к. из истины ложь следовать не может. В соответствии с законом, который сформулировал Иоанн Дуис Скот (13 век): из лжи следует все, что угодно.

• Антецедент - простое суждение, стоящее после слова "если".

• Консеквент - простое суждение, стоящее после слова "то".

Импликация выражает собой причинно-следственную связь. То есть она выражает закономерность мышления. Импликацию необходимо четко отличать от контрфактических предложений (предложений, где используется союз "если бы, то бы").

a	b	a(стрелочка вправо)b
и	и	и
и	л	л
л	и	и
л	л	и

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

a	b	a(двойная стрелка)b
и	и	и
и	л	л
л	и	л
л	и	и

Отрицание - сложное суждение, образованное из одного простого, при помощи логического союза "неверно, что". Отрицание истинно тогда, когда исходное суждение (а) будет ложным. Отрицание, как сложное суждение нельзя путать с простым отрицательным.

а	~ а
и	л
л	и

12 Вопрос(Умозаключение. Общая Классификация)

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

Дедуктивные умозаключения (силлогизм). В дедуктивном умозаключении рассуждение идет от общего к частному или от более общего к менее общему, вывод следует с необходимостью. Дедуктивные умозаключения делятся на:

1. простые категорический силлогизмы

2. условно категорические силлогизмы

3. разделительно-категорические

4. лемматические

13 Вопрсо( Структура пкс. Общее правила пкс)

Простые категорический силлогизмы - это дедуктивное умозаключение, в котором обе посылки и вывод являются простыми категорическими, т.е атрибутивными суждениями или суждениями S есть P.

Структура ПКС:

(БПбольшая посылка) Все злаки цветут колосками.

(МПменьшая посылка) Все бамбуки — злаки.

Все бамбуки цветут колосками.

Субъект вывода — это меньший термин. (МТ) А посылка, в которую он входит — меньшая посылка (МП).

Субъект предиката — это больший термин (БТ) А его посылка — (БП) большая.

Меньшие и большие термины — это крайние термины ПКС. Термин, входящий в обе посылки и отсутствующий в выводе называется средним (М). ПКС — это дедуктивное умозаключение, в котором вывод делается на основании знания связи крайних терминов со средним.

Общее правило ПКС делится на правило терминов(понятия) и правило посылов(суждения).

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

2. средний термин должен быть распределен по крайней мере в одной из посылок (распределить термин, это значит взять термин в полном объеме или полностью исключить из объема другого тела.

3. термин не распределенный в выводе не может быть распределен в соответствующие посылки. в этом правиле речь идет о крайних терминах.