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

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