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

   Тезисом называется выдвигаемое пропонентом и предлагаемое аудитории
положение, истинность которого требуется обосновать. В качестве тезисов
могут выступать представленные высказываниями теоретические положения,
теоремы, эмпирические обобщения, суждения о свойствах, причинах и т. д. Есте-
ственно, что обоснование предполагает использование других высказываний
(приведение доводов, аргументов), с помощью которых, например, при соблюде-
нии правил, известных нам из исчислений, и ведётся обосновывающее рассужде-
ние
   Аргументы — это утверждения, посредством которых осуществляется до-
казательство тезиса. Аргументами могут быть теоретические и эмпирические
обобщения, фактические сведения, аксиомы, определения основных понятий в
конкретной области знаний, выраженные истинными высказываниями, признан-
ными таковыми в результате их доказательства, независимого от доказательства
тезиса.
   Демонстрацией, или формой доказательства, называется способ осущест-
вления логической связи между тезисом и аргументами. В аспекте демонстрации
аргументы можно рассматривать в качестве множества посылок, а тезис в качест-
ве заключения. Продемонстрировать — значит, показать, что тезис логически
следует из приведённых аргументов по правилам соответствующих умозаключе-
ний.
   Таким образом, в аргументативном рассуждении по известному заключению
восстанавливаются посылки вывода, т. е. аргументы. Схема аргументационного
процесса при использовании языка классической логики высказываний представ-
ляет собой материальную импликацию тезиса (обозначим символом t) из конъ-
юнкции аргументов (обозначим а с индексами: а1, а2, ... аn):

                               (а1, а2, ... аn)⊃t.

           12.3. Доказательство и опровержение в аргументации

   Логическая часть аргументационного процесса представлена операциями до-
казательства и опровержения.
   Доказательство — это логическая часть аргументационного процесса, яв-
ляющаяся установлением истинности некоторого положения на основании ут-
верждений, истинность которых известна. Принято различать формы прямого и
косвенного доказательств, с которыми в формализованном виде мы знакомились
при разработке дедуктивных выводов, в исчислениях, например, при использова-
нии второй и третьей эвристик натурального исчисления высказываний (с приме-
нением правила ¬в и правила ∨и) были формально изучены непрямые выводы.
   Прямым доказательством тезиса в теории аргументации принято назы-
вать доказательство, совершаемое без обращения к конкурирующим с тезисом
допущениям. При таком доказательстве задача состоит в том, чтобы найти убеди-
тельные аргументы, из которых логически вытекает тезис. Эта процедура базиру-
ется на достоверном типе следования (дедукции), который имеет место либо в

                                      152