24. Законы логики и логические противоречия.

Закон логики - сложное суждение, которое во всех строках построенной для него таблицы принимает значение «истинна».

25. Основные законы логики.

Выделяется четыре основных закона:

1. Закон тождества.

В схеме выражается формулой: А→А ( Если А, то А)

или: А=А (А тогда и только тогда, когда А).

Содержательная формулировка: «Один и тот же термин в одном и том же рассуждении должен употребляться в одном и том же отношении, в одном и том же смысле и применительно к одному и тому же времени».

2. Закон непротиворечия.

Формула такова: ¬(А&¬A), т.е «Неверно, что А и не-А». Формула (А&¬A) называется противоречием. Закон указывает на его недопустимость.

Содержательная формулировка: «Невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении».

3. Закон исключенного третьего.

Формула: А\/¬А.

Содержательная формулировка: «Из двух противоречащих суждений истинным следует считать только одно».

4. Закон достаточного основания.

Содержательная формулировка: «Никакое высказывание А не может утверждаться без достаточного основания.

26. Характеристика умозаключения и его видов.

Умозаключение – это последовательность суждений, в которой последнее суждение выводится из предыдущих.

Оно выступает как элементарный шаг рассуждения, т.е. процедуры обоснования высказывания путем выведения его из других высказываний. Высказывания, из которых делается вывод, называются посылками, а сам вывод – заключением.

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

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

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

27. Отличительные черты дедуктивных умозаключений и их роль в познании.

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

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

28,29. Непосредственные умозаключения, их виды.

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

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

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

К числу непосредственных умозаключений относятся:

1. выводы по логическому квадрату

2. превращение

3. обращение

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

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

1. «Все S есть Р» -- «Ни один С не есть не-Р»

2. «Ни один С не есть Р» -- « Все С есть не-Р»

3. «Некоторые С есть Р» -- «Некоторые С не есть не-Р»

4. «Некоторые С не есть Р» -- « Некоторые С есть не-Р»

Обращение – это логическая операция, состоящая в преобразовании категорического суждения таким образом, что субъект исходного суждения становится на место предиката, а предикат – на место субъекта.

1. «Все С есть Р» -- «Некоторые Р есть С»

2. «Ни один С не есть Р» -- «Ни один Р не есть С»

3. «Некоторые С есть Р» -- «Некоторые Р есть С»

4. Частноотрицательные суждения обращению не подлежат!

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

1. «Все С есть Р» -- «Ни один не-Р есть С»

2. «Ни один С не есть Р» -- «Некоторые не-Р есть С»

3. «Некоторые С не есть Р» -- «Некоторые не-Р есть С»

4. Частноутвердительные суждения противопостановлению предикату не подлежат!