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

                              «Все S есть P».

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

      ™ Пример
   Возьмём умозаключение: «Поскольку, если мы знаем логику, то выявим
структуру данной мысли, а мы знаем логику, постольку мы выявим структуру
данной мысли». Обозначив переменными a, b простые высказывания (a – «мы
знаем логику», b – «мы выявим структуру данной мысли») и определив пропози-
циональные связки («постольку… поскольку» – импликация, «если… то» – им-
пликация, «а» – конъюнкция), получим формулу:

                               ((a⊃b)∧a)⊃b.

    Причём любые в содержательном плане умозаключения, имеющие данную
логическую форму при условии истинности исходных высказываний, будут да-
вать истинное заключение, оставаясь даже при ложности этих исходных выска-
зываний формально правильными.
    Итак, со стороны содержания мышление может давать истинное или ложное
отражение универсума, а со стороны формы оно может быть логически правиль-
ным или неправильным.
    Формально правильным является мышление, соблюдающее законы и прави-
ла логики, регламентирующие операции по использованию форм мышления.
    Приведённая выше формула ((a⊃b)∧a)⊃b является как раз одним из частных
законов логики, равно как и записанная с помощью несколько иных знаков се-
мантических категорий формула ((А→В)&(В→C))→(А→С).

   2.2. Закон мышления. Принципы (законы) классической формальной
                               логики

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




                                    18