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

Необходимо различать законы мышления и логические законы. Логический закон это определенная (специфическая) форма высказывания.

Различают четыре закона мышления:

• закон тождества

• закон противоречия

• закон исключенного третьего

• закон достаточного основания

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

Запись: А есть А ; или А ≡ А ; или А ↔ А

Формулировка:Во всяком рассуждении необходимо, чтобы любое понятие и суждение оставались теми же самыми по своему содержанию или смыслу, то есть тождественными самим себе.

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

Запись: “А есть В” и “А не есть В” не могут быть одновременно истинными; или “(А ∩А)” или “(АА)”

Формулировка:Невозможно что-либо вместе утверждать и отрицать.

Формулировка Аристотеля:Невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении.

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

(Tertium non datur) – третьего не дано

Запись: А ỦА ; (Ủ – сильная дизъюнкция)

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

Формулировка Аристотеля:Равным образом не может быть ничего промежуточного между двумя членами противоречия, а относительно чего-то одного необходимо что бы то ни было либо утверждать, либо отрицать.

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

Запись: (не существует)

Формулировка:Для того, чтобы признать высказывание о предмете истинным, должно быть указано достаточное основание.

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

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

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

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

Логические законы.

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

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

Например: “Идет дождь, или неверно что идет дождь”. Заменив высказывания на переменные, получим такую форму:

“р или неверно, что р” или в символьном виде:

Полученное нами высказывание при любой интерпретации переменной «р» будет принимать истинное значение. Это обусловлено самой формой высказывания, в логике такие формы называются тавтологиями(совершенно без какого бы то ни было негативного оттенка).