Общая характеристика вероятностных умозаключений

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

Например: Если тело нагреть, то объем его увеличится.

Объем данного тела увеличился.

Вероятно, тело нагрели.

В приведенном примере заключение “тело нагрели” не следует с необходимостью из заданных посылок. Чтобы убедиться в этом, достаточно пример формализовать и полученную формулу ((р É q) Ù q) É p проверить с помощью таблицы истинности.

Вероятностные умозаключения весьма многообразны. Но все они объединяются характером связи между посылками и заключением: посылки лишь в некоторой степени подтверждают заключение и потому не являются достаточным основанием для него. До соответствующей проверки заключение является вероятностным суждением.

Степень подтверждения (обоснованности) заключения посылками получила название логической вероятности. Если заключение обозначить h, а посылки — е, то логическая вероятность может быть представлена как некоторая функция С от двух аргументов С(h,e). Эта функция заключена в интервале между 0 и 1:

0 С(h,e) 1

(Читается: “С-функция от аргументов h, е больше или равна нулю и меньше или равна единице”).

Промежуточные значения С-функции в интервале от 0 до 1 могут выражаться различными способами — в зависимости от логической системы, исчисляющей вероятность. Так, в содержательных (неформализованных) системах логическая вероятность выражается в терминах “больше” или “меньше”, “очень вероятно” или “маловероятно” и т.п. В формализованных системах допускается числовое определение С-функции. Однако там и здесь значение вероятности приписывается не отдельно заключению, а отношению заключения к подтверждающим его посылкам. (Это обстоятельство необходимо учитывать и тогда, когда словесно такая связь полностью не выражается). Например: “Данное заключение подтверждается в степени 0,8 на основании известных посылок”.