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

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

      ™ Пример
   Истинное утверждение «Звёзды имеют тот же химический состав, что и не-
бесные тела Солнечной системы» в достаточной мере обосновывается практиче-
ским сопоставлением их спектральных линий.

     2.3. Частные законы формальной логики и логическое следование

   Частным случаем закона логики принято считать такое отношение между вы-
сказываниями по форме, когда из логической формы некоторого высказывания
логически следует другая форма.

      ™ Пример
   В содержательном плане уже использовавшаяся логическая форма рассужде-
ний ((А→В)&(В→C))→(А→С) может быть проиллюстрирована конкретным рас-
суждением, однозначно приводящим от истинных посылок к истинному заклю-
чению: «Раз я мыслю, то существую; если же существую, то могу дать знать об
этом другому. Значит, если я мыслю, то могу дать знать об этом другому».

   Это значит, что при любой интерпретации параметров в составе этих форм,
при которой все выражения первой логической формы принимают значение «ис-
тина», значением выражения второй логической формы также является «истина».
Рассматриваемое отношение есть отношение логического следования, семантиче-
ское определение которого читается: «Из посылок А1, …, Аn логически следует
высказывание В, если не может быть так, что высказывания А1, …, Аn истинны,
а высказывание В ложно».
   Подытоживая сказанное, отметим, что важнейшими задачами в логике явля-
ются выделение и систематизация логических законов, форм правильных умозак-
лючений и т. д., для решения которых создаются особые логические теории, осу-
ществляющиеся в специальных искусственных (формализованных) языках. По-
следние призваны давать исчерпывающий ответ на вопрос о том, как осуществ-
ляются рассуждения; т. е. раскрывать содержание процедуры последовательного
пошагового перехода от одних высказываний, принятых в качестве исходных, к
другим. Например, это могут быть теории дедуктивных и правдоподобных рас-
суждений.

                                     20