28. Основные формально - логически законы: сущность, требования (и возможные ошибки вследствие их нарушения), значение.

Основные формально - логические законы выражают коренные свойства логического мышления в целом: определенность, непротиворечивость, последовательность, обоснованность.

●Закон тождества

Всякая мысль в процессе рассуждения должна оставаться тождественной самой себе. (Традиционная логика) А=А. А есть А. А- любая мысль. (Современная логика) р->р.Если р, то р. Р - любое высказывание.

Требования: нельзя отождествлять различные мысли; нельзя тождественные мысли принимать за различные.

Ошибки: подмена понятий, подмена тезиса.

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

Два несовместимых суждения не могут быть одновременно истинными. Одно из них ложно. -(р и -р). Неверно, что р и не р одновременно истинны.

Несовместимые суждения:

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

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

Требования: утверждая что-либо о предмете, нельзя, не противореча себе отрицать то же самое о том же самом предмете, взятом в то же самое время, в том же отношении;

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

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

Из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано. Либо р, либо не-р.

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

Ошибки:

- поиск третьего в ситуации одно из двух (либо-либо).

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

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

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

Требования: всякая истинная мысль должна быть обоснована; нельзя признать мысль истинной, если у нее нет достаточных оснований.

29. Доказательство как вид аргументации: особенность и структура.

●Аргументация - обоснование суждений, практических решений или оценок, в котором наряду с логическими применяются речевые, эмоционально - психологические и другие внелогические приемы убеждающего действия.

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

Доказательство - это полное (достоверное) обоснование истинности высказывания (частный случай аргументации).

Аргументация - обоснование ….
Истинность.ложность-> Полнота обоснования	Истинности высказывания	Ложности высказывания
полное	ДОКАЗАТЕЛЬСТВО	опровержение
частичное	подтверждение	критика

	Доказательная аргументация	Недоказательная аргументация
По содержанию аргументов	Достоверное высказывание	Достоверное высказывание	Недостоверное высказывание	Недостоверное высказывание
По форме рассуждения	Демонстративное рассуждение	Недемонстративные рассуждения	Демонстративное рассуждение	Недемонстративные рассуждения

●Особенности:

Логическая возможность доказательства связана с наличием исходных недоказываемых истин (истины факта;аксиомы;постулаты)

1) главная цель - обоснование истинности доказываемого.

2) полное (исчерпывающее) обоснование истинности доказываемого.

3) опора только на истинные аргументы (на утверждения, истинность которых уже установлена)

4) демонстративный характер рассуждения (обеспечивает получение истинных заключений из истинных посылок)

5)использование только логических средств убеждающего воздействия

6)распространяется только на высказывания, имеющие истинностные значения

7)не распространяется на бессмысленные высказывания, а также на нормы, оценки, советы, приказы, обещания.

●Структура

Тезис (суждение, истинность которого доказывается) То, ЧТО доказывается.

Аргументы (истинные суждения, используемые для доказательства тезиса). То, ЧЕМ доказывают. Виды: аксиомы, постулаты, определения, удостоверенные факты, законы науки, соглашения ученых.

Демонстрация (отношение логического следования между аргументами и тезисом). То, КАК доказывается. Отношение логического следования в рассуждении - сердцевина доказательства.