Основные законы (принципы) правильного мышления.

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

Закон тождества: в процессе определенного рассуждения всякое понятие и суждение должны быть тождественны самим себе.

Закон выражается формулами: (в логике высказываний),

А А (в логике классов).

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

Закон непротиворечия: «... невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении…» (Аристотель). Невозможно что-либо вместе утверждать и отрицать. Два противоположных суждения не могут быть истинными в одно и то же время в одном и том же отношении.

Формула закона непротиворечия (в двузначной логике): .

Закон исключенного третьего: из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано.

Формула закона: .

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

Закон достаточного основания: всякая истинная мысль должна быть достаточно обоснованной. Речь идет об обосновании именно и только истинных мыслей; ложные мысли доказать нельзя. Формулы этого закона нет, ибо он имеет содержательный характер. В качестве аргументов для подтверждения истинной мысли могут быть использованы истинные суждения, фактический материал законы науки, аксиомы, теоремы.

Истина — характеристика мышления в его отношении к своему предмету. Мысль называется истинной (или истиной), если она соответствует предмету. Ложь — утверждение, заведомо не соответствующее истине и высказанное в таком виде сознательно. Умышленная передача фактической и эмоциональной информации (вербально или невербально) с целью создания или поддержания в другом человеке убеждения, которое сам передающий считает не соответствующим истине.

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

Тождество - (понятие, суждение) употребляемое в одном и том же смысле. Мысль о предмете должна быть определённой, с устойчивым содержанием, сколько бы раз она ни повторялась.

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

Явное противоречие - когда одна мысль непосредственно противоречит другой.

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

Контактные противоречия – одно и тоже утверждается и сразу отрицается.

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

Мнимое противоречие – на первый взгляд речевая конструкция содержит противоречие. На самом деле никакого противоречия в себе не содержит. (В детстве у меня не было детства.) А.П. Чехов.

Те́зис — кратко сформулированные основные мысли в одном предложении.

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