Закон недопустимости противоречия. Закон исключенного третьего.

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

Закон противоречия говорит о противоречащих друг другу высказываниях, т.е. о высказываниях, одно из которых является отрицанием другого. К ним относятся, например, высказывания «Луна – спутник Земли» и «Луна не является спутником Земли», «Трава – зеленая» и «Неверно, что трава зеленая» и т.п. В одном из противоречащих высказываний что-то утверждается, в другом – это же самое отрицается.

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

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

Используя вместо высказываний буквы, эту идею можно передать так: неверно, что А и не-А. Неверно, например, что трава зеленая и не зеленая, что Луна – спутник Земли и не спутник Земли и т.п.

Закон противоречия выражается формулой: (А&~ А), неверно, что А и не – А.

Закон противоречия говорит о противоречивых высказываниях – отсюда его название.

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

Закон исключённого третьего (лат. tertium non datur, то есть «третьего не дано») — закон классической логики, состоящий в том, что из двух высказываний — «А» или «не А» — одно обязательно является истинным, то есть два суждения, одно из которых является отрицанием другого, не могут быть одновременно ложными. Закон исключённого третьего является одним из основополагающих принципов «классической математики».

Умозаключение как форма мышления. Виды умозаключений

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

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

Умозаключения делятся на следующие виды.

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

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

Эта классификация будет положена в основу дальнейшего изло­жения.

Рассмотрим дедуктивные умозаключения.

Дедуктивными(от латинскогоdeductio— «выведение»)называ­ется умозаключение, в котором переход от общего знания к част­ному является логически необходимым.

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