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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Пояснение: Если по закону противоречия мы не можем допускать одновременного существования двух противоречащих друг другу высказываний, то закон исключенного третьего «приказывает» нам с необходимостью выбрать истинным одно из них.

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

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

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

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

Необходимое Пояснение: Чтобы не было путаницы, надо различать основание, следствие, причину и действие. В повседневной жизни мы очень часто перемешиваем эти понятия, тем самым затрудняя себе восприятие истины.

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

В законе причинности, который устанавливает, что если одно явление вызывает, порождает или обусловливает возникновение другого явления, то

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

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

Дата добавления: 2014-01-05