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

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

                               Глава девятая

              ОСНОВЫ ФОРМАЛИЗАЦИИ РАССУЖДЕНИЙ
                С ПРАВДОПОДОБНЫМ СЛЕДОВАНИЕМ

        9.1. Понятие о правдоподобном (вероятностном) рассуждении

   В ходе наших рассуждений о тех или иных сторонах, свойствах, отношениях
как материальных, так и идеальных предметов мы вольно или невольно пресле-
дуем цель получения явно не имевшейся у нас до того информации, т. е. приоб-
ретения новых знаний.
   Переход от знаний, имеющихся на момент начала рассуждений и содержа-
щихся в посылках, к новым (неявно имевшимся либо в принципе не имевшимся)
знаниям, содержащимся в заключениях рассуждений, в логике принято обозна-
чать термином следование. Но очевидно, что характер новизны содержащейся в
заключении информации может существенно различаться, что свидетельствует
об использовании в соответствующих рассуждениях разных типов следования.
   Ранее мы по большей части имели дело с такого рода рассуждениями, в кото-
рых наша мысль, соблюдая чётко фиксируемые правила вывода, закономерно
двигалась от истинных суждений-посылок к истинным суждениям-заключениям.
В связи с чем нами был особо выделен и подробно проанализирован важнейший
для формальной логики достоверный тип следования (логическое следование), с
применением которого логически получают достоверное знание, т. е. такое, ис-
тинность которого логически строго установлена.
   Напомним, что достоверный тип следования характерен для демонстратив-
ных, доказательных умозаключений или дедукции, но отнюдь не всегда наши рас-
суждения строятся в соответствии с этим типом, позволяющим лишь извлекать из
знания, содержащегося в совокупности посылок B1, ..., Bn, некоторое относитель-
но новое знание, составляющее содержание суждения-заключения А и являю-
щееся частным, уже содержавшимся (зачастую в неявной форме) в посылках.
Формализация дедуктивных рассуждений предполагает использование символа
«отношения логического следования» — «│= ». В таком случае любое дедуктив-
ное рассуждение можно обозначить посредством схемы:

                                B1, ..., Bn │= А.
                                      114