Логика и теория аргументации. Скачков А.С. - 19 стр.

      ™ Пример
   Для введения закона тождества рассмотрим нарушающее его умозаключение:
«Так как движение вечно, а хождение в вуз – это действительно движение, то хо-
ждение в вуз вечно». В данном рассуждении понятие «движение» оказалось дву-
смысленным: в суждении «Движение вечно» это понятие использовано в фило-
софском смысле «атрибута вечно существующей материи», а в суждении «Хож-
дение в вуз – это действительно движение» в конкретном смысле «перемещения в
пространстве».

    Устранению недоразумений подобного рода как раз и служит закон тождест-
ва, гласящий: в процессе определенного рассуждения всякое понятие и суждение
должны быть тождественными самим себе.

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

   Поскольку же одно и то же высказывание в принципе не может одновременно
соответствовать и не соответствовать реальному положению вещей, в данном
случае произойдёт нарушение закона непротиворечия. Он устанавливает прин-
ципиальную невозможность для следующих пар высказываний (называемых про-
тивоположными) быть одновременно истинными:

   1. «Данное S есть P» и «Данное S не есть P».
   2. «Все S есть P» и «Ни одно S не есть P».
   3. «Все S есть P» и «Некоторые S не есть P».
   4. «Ни одно S не есть P» и «Некоторые S есть P».

   Закон непротиворечия гласит: два противоположных суждения не могут
быть истинными в одно и то же время и в одном и том же отношении.
   Некоторые из приведённых выше противоположных высказываний не только
не могут быть одновременно истинными, но также и одновременно ложными
(«Данное S есть P» и «Данное S не есть P»; «Все S есть P» и «Некоторые S не есть
P»; «Ни одно S не есть P» и «Некоторые S есть P»). Высказывания такого вида
называются противоречащими.

      ™ Пример
   Противоположные суждения «Любой человек имеет высшее образование» и
«Всякий человек не имеет высшего образования» одновременно ложны. Но в
свою очередь первое из пары суждений «Любой человек имеет высшее образова-
ние» и «Некоторые люди не имеют высшего образования» ложно, второе – ис-
тинно и ничего иного, кроме того, чтобы одно было истинно и другое ложно, не
может быть в принципе.
                                      19