Основные законы логики Выполнила студентка группы ДЭЭ-107 Кен

Основные законы логики Выполнила студентка группы ДЭЭ-107 Кен Елена Сергеевна

Основные законы логики: Закон тождества Закон непротиворечия Закон исключенного третьего Закон двойного отрицания Закон достаточного основания Закон утверждения консеквента Закон отрицания антецедента или Закон Дунса Скота Законы Де Моргана Закон контрапозици Закон транзитивности импликаци Законы дистрибутивности дизъюнкции относительно конъюнкции и наоборот • Закон Клавия • • •

Закон двойного отрицания 1) Закон логики, позволяющий отбрасывать два отрицания – отрицание отрицания дает утверждение, или повторенное дважды отрицание ведет к утверждению. Пример: «Если неверно, что Вселенная не является бесконечной, то она бесконечна» . Зенон Элейский и Горгий: если из отрицания какого-либо высказывания следует противоречие, то имеет место двойное отрицание исходного высказывания, т. е. оно само.

Закон двойного отрицания 2) Обратный закон двойного отрицания – закон логики, говорящий о возможности не снимать, а вводить два отрицания, т. е. утверждение влечет свое двойное отрицание. Пример: "Если Шекспир писал сонеты, то неверно, что он не писал сонеты"

Закон двойного отрицания Полный закон двойного отрицания – объединение закона двойного отрицания и обратного закона двойного отрицания – двойное отрицание равносильно утверждению. Пример: «Планеты не неподвижны в том и только том случае, если они движутся» . Символически: ¬ (¬А)→ А

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

Закон достаточного основания Формулировка: «…ни одно явление не может оказаться истинным или действительным, ни одно утверждение справедливым, — без достаточного основания, почему именно дело обстоит так, а не иначе, хотя эти основания в большинстве случаев вовсе не могут быть нам известны» — Лейбниц, «Монадология» Закон достаточного основания не имеет символической (формальной) записи. Доказательства могут быть как эмпирическими, так и теоретическими.

Закон достаточного основания Причинно-следственные связи и логическая обоснованность. Если из истинности суждения A следует истинность суждения B, то A будет основанием, а B – следствием. Связь основания и следствия является отражением в мышлении объективных, в том числе причинно—следственных связей, которые выражаются в том, что одно явление (причина) порождает другое явление (следствие). (!) Связь основания и следствия не есть простое отражение связи причины и следствия. Примеры логического обоснования: «Вспыхнула молния -- сейчас разразится гром» , «Термометр показывает 20° С, следовательно, в комнате стало теплее» . Причина же есть то, что вызывает данное явление: причина молнии -атмосферное электричество, причина повышения столбика ртути в

Закон достаточного основания Примеры: 1) «Это вещество является электропроводным, потому что оно – металл» Примеры нарушения: 1) «Сегодня взлетная полоса покрыта льдом, ведь самолеты сегодня не могут взлететь» 2) «Преступление совершил Иванов, ведь он сам признался в этом и подписал все показания»

Закон Клавия – логический закон, характеризующий связь импликации ( «если, то» ) и отрицания - если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным - если необходимым условием ложности некоторого высказывания является его истинность, то это высказывание истинно Клавий – ученый иезуит, живший в XVI веке, один из основателей Григорианского календаря.

Закон Клавия Символически закон Клавия представляется формулой: ( ¬ А А) А, если не-А имплицирует А, то верно А. Пример: «Если условием того, чтобы машина не работала, является ее работа, то машина работает»

Закон Клавия лежит в основе рекомендации, касающейся доказательства: если хочешь доказать А, выводи A из допущения, что верным является не-А. Пример: нужно доказать утверждение "Трапеция имеет четыре стороны". Отрицание этого утверждения: "Неверно, что трапеция имеет четыре стороны". Если из этого отрицания удается вывести утверждение, то последнее будет истинно. Закон Клавия является одним из случаев общей схемы косвенного доказательства: из отрицания утверждения выводится само это утверждение, вместе с отрицанием оно составляет логическое противоречие; это означает, что отрицание ложно, а верным является само утверждение.

Спасибо за внимание!