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

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

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

Мысль противоречива, если мы об одном и том же предмете в одно и то же время и в одном и том же отношении нечто ут­верждаем и то же самое отрицаем. Например: “Кама - приток Волгии “Кама не является притоком Волги Или: “Лев Тол­стой - автор романа “Воскресениеи “Лев Толстой не является автором романа “Воскресение

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

“Осенью дождь полезен для грибови “Осенью дождь не полезен для уборки урожая Суждения “Этот букет роз свежийи “Этот букет роз не является свежимтакже не противоречат друг другу, ибо предметы мысли в этих суждениях берутся в разных отношениях или в разное время. Суждения “Саша Голубев не является перворазрядником по бегуи “Саша Голубев является перворазрядником по бегуне будут противоречащи­ми, если они не относятся к одному и тому же времени.

Не могут быть одновременно истинными следующие четыре типа простых суждений:

1. “Данное S есть Р” и “Данное S не есть Р

2. “Ни одно S не есть Ри “Все S есть Р

3. “Все S есть Р” и “Некоторые S не есть Р

4. “Ни одно S не есть Р” и “Некоторые S есть Р

При этом вторая пара суждений такова, что оба суждения могут быть ложными, например: “Ни один студент не является спортсменоми “Все студенты являются спортсменами

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

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

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

В двузначной традиционной логике закон исключенного треть­его формулируется так: ”Из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано Проти­воречащими (контрадикторными) называются такие два суж­дения, в одном из которых что-либо утверждается о предмете, а в другом то же самое об этом же предмете отрицается, поэто­му они не могут быть оба одновременно истинными и оба лож­ными; одно из них истинно, а другое обязательно ложно. Такие суждения называются отрицающими друг друга. Если одно из противоречащих суждений обозначить переменной а, то другое следует обозначить a. Так, из двух суждений: “Джеймс Фенимор Купер является автором серии романов о Кожаном Чулке, сдававшихся на протяжении почти 20 лети “Джеймс Фенимор Купер не является автором серии романов о Кожаном Чулке, создававшихся на протяжении почти 20 летпервое истинно, второе ложно, и третьего - промежуточного - суждения не может быть.

Отрицающими являются следующие пары суждений:

1) “Это S есть Ри “Это S не есть Р” (единичные суждения).

2) “Все S есть Р” и “Некоторые S не есть Р” (суждения А иО).

3) “Ни одно S не есть Р” и “Некоторые S есть Р” (суждения Е и І).

В отношении противоречащих (контрадикторных) суждений (А и О, Е и I) действует как закон исключенного третьего, так и закон непротиворечия - в этом одно из сходств данных законов.

“Все дома в данной деревне электрифицированыили “Некото­рые дома в данной деревне не являются электрифицированнымии третьего не дано.

Закон исключенного третьего и в содержательном, и в форма­лизованном виде охватывает один и тот же круг суждений -противоречащие, т. е. отрицающие друг друга.

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