1. А - "Данное S есть Р" и Е - "Данное S не есть Р".

2. А - "Все S есть Р" и Е - "Ни одно S не есть Р".

3. А - "Все S есть Р" и О - "Некоторые S не есть Р".

4. Е - "Ни одно S не есть Р" и J - "Некоторые S есть Р".

1, 3, 4-я пары суждений таковы, что если одно из суждений этой пары истинно, то другое обязательно ложно, поэтому они называются противоречащими или отрицающими друг друга, и их можно обозначить а и а (не-а). Конъюнкция их, т. е. формула а \/ а выражает формально-логическое противоречие. Суждения 2-й пары А и Е могут быть одновременно ложными, поэтому их нельзя обозначить как а и а (например, "Все богатые люди счастливы" и "Ни один богатый человек не является счастливым"). В исчислении высказываний двузначной логики закон непротиворечия выражается формулой а , /\ а.(Неверно, что а и не-а). Но эта формула не полностью, неадекватно представляет закон непротиворечия, открытый Аристотелем, т. к. она не распространяется на суждения А и Е, а закон непротиворечия Аристотеля распространяется на них. Противоречия не возникают, если речь идет о разных предметах или об одном предмете, но взятом в разном отношении или рассматриваемом в разное время (например, суждение "Эта книга является новой" и суждение "Эта книга не является новой" не противоречат друг другу, если речь идет об одной и той же книге, но рассматриваемой в разное время).

Закон непротиворечия не действует в логике “размытых” множеств, ибо в ней к “размытым” множествам, “размытым” алгоритмам можно одновременно применять утверждение и отрицание (напр., “Этот мужчина пожилой” и “Он ещё не является пожилым”, т.к. понятие “пожилой мужчина” является “нечетким” понятием, не имеющим чётко очерченного объёма). До сих пор речь шла о выражении формально-логического противоречия в форме а а, но оно может выражаться и без отрицания, когда берутся несовместимые утвердительные суждения (об этом см. Закон тождества). На таком противоречии построен габровский анекдот под названием “Реклама”:

- Значит, это самая новая ткань?

- Только вчера получил, прямо с фабрики!

- А она не линючая?

- Да что вы! Больше месяца висела на витрине, и ничего ей не сделалось!

Закон непротиворечия квалифицирует формально-логическое противоречие как серьёзную ошибку, несовместимую с логическим мышлением.

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

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

Материя вечна.

Сукно – материя.

Сукно вечно.

построенно не правильно, ибо понятие “материя” в первой и второй посылках трактуется в разных смыслах, - в философском и обыденном, следовательно, произошло нарушение закона тождества. “Закон тождества формулируется так: “В процессе определённого рассуждения всякое понятие и суждения должны оставаться тождественными самим себе””.[1,с.46]

Закон тождества в традиционной логике (Двузначная логика) для суждений записывают как “а есть а”, а для понятий “А есть А”. В математической логике закон тождества представляется в логике высказываний как а а, или а – а, где а обозначает любое высказывание (суждение). В философии тождество понимается как равенство, сходство двух или нескольких предметов в каком либо отношении. Например, все гейзеры тождественны в том, что они являются источниками, периодически выбрасывающими фонтаны горячей воды и пара до высоты 20-40 м и более. В природе и обществе нет даже двух абсолютно тождественных предметов (например, двух близнецов, двух одинаковых цветков и т.д.), тождество существует в связи с различием. Но мы отвлекаемся от существующих различий и фиксируем своё внимание только на тождестве.

Закон тождества в мышлении представляет собой нормативное правило (принцип), гласящие что в процессе рассуждения нельзя подменять одну мысль другой, одно понятие другим, иначе возникнут логические ошибки, называемые “подменой понятия”или “подменой тезиса”. Закон тождества означает также, что тождественные мысли нельзя выдавать за различные, и наоборот, различные – за тождественные. Люди, выступающие не по обсуждаемой теме или употребляющие термины и понятия в ином смысле, чем принято, и не предупреждающие об этом, нарушают закон тождества. Например, иногда люди вкладывают различный смысл в такие понятия, как “материалист”, “идеалист”, “наука”, “демократия”, “свобода слова” и др., поэтому происходит отождествление нетождественного, то есть нарушение закона тождества. Логические ошибки часто происходят при употреблении омонимов, то есть слов, имеющих два или более значений (“движение”, “следствие”, ”ребро”, “поле”, “коса”, ”мир” и т.д.). Например, “Из-за рассеянности шахматист не раз на турнирах терял очки”. На нарушении закона тождества строятся анекдоты, каламбуры, двусмысленности. Например, один из габровских анекдотов под названием “Логика”:

- Какая температура в комнате? – спросил габровец у жены.

- Пятнадцать градусов, - ответила жена.

- А на улице?

- Двадцать.

- Тогда открой окно, - распорядился он, - пусть войдут ещё пять градусов.

Соблюдение закона тождества в мышлении помогает избежать непонимания.

Список использованной литературы.

Гетманова А.Д.

Логика: Словарь и задачник: Учеб. пособие для студентов вузов. – М.: Гуманит. изд. центр ВЛАДОС, 1998-336с.

Яшин Б. Л.

Задачи и упражнения по логике. – М.: Гуманит. изд. центр ВЛАДОС, 1996-224с.: илл.