Необходимо поэтому четко различать, с одной стороны, связь между суждениями в мышлении, которую изучает логика, а с другой - связь между предметами и явлениями в объективном мире, которая исследуется естественными и общественными науками.
Суждение или мысль, которая служит для подтверждения, обоснования и подкрепления другой мысли, в логике принято называть основанием, а результат обоснования - следствием. Существенные, устойчивые и регулярные связи между предметами и явлениями объективного мира выражаются, как известно, с помощью законов природы и общества. Наиболее известным среди них является закон причинности, который устанавливает, что если одно явление вызывает, порождает или обусловливает возникновение другого явления, то первое из них будет представлять причину, а второе - действие. Однако в обычной речи действие называют также следствием, что иногда приводит к путанице, поскольку в строгом смысле слова следствие характеризует логически необходимую связь между ним и основанием. Хотя связь между причиной и действием также имеет обязательный характер, но она принципиально отличается от логической. Такую связь называют каузальной, или причинной. В самом деле, мы знаем, что при нагревании железного стержня его размеры увеличиваются. Поскольку нагревание вызывает расширение стержня, то оно служит причиной возникновения соответствующего действия, а именно расширения стержня. Необходимая причинная связь между нагреванием и расширением стержня не имеет, однако, логически необходимого характера, поскольку не вытекает из законов логики. Логически необходимый характер связи между основанием и следствием, напротив, обеспечивается законами логики, в особенности законом достаточного основания.
Возникает вопрос: как связан закон достаточного основания с остальными законами логики? Некоторые авторы считают, что поскольку этот закон не имеет четкой логической структуры и не выражается с помощью формулы математической логики, следовательно, он не играет никакой роли в логике и поэтому должен быть исключен из нее. Сторонники противоположной позиции, напротив, считают, что этот закон необходим для обоснованности рассуждений и исключения произвола в них. Некоторые даже заявляют, что он может быть выражен в виде определенной формулы.
Рассмотренные выше законы противоречия и исключенного третьего являются, по сути дела, законами запрета, поскольку они запрещают логические противоречия в рассуждении и ограничивают выбор между двумя альтернативами: утверждением и отрицанием. Так, например, если из Х следует Y и Х истинно, то и заключение Y должно быть истинным. Другими словами, здесь мы имеем дело с логическим отношением между основанием и следствием. Если же истинность основания нам неизвестна, то необходимость следствия не гарантируется правилами логики. Действительно, мы уже знаем, что если импликация Х ^ Y истинна, то ее консеквент Y не следует из антецедента, т.е. истинный Y может быть получен как из истинного, так и из ложного антецедента. Поэтому рассуждение по схеме:
Х → Y
Y__________
Вероятно, что Y
не является правилом логики, а относится к вероятностным (или правдоподобным) умозаключениям. Именно такой характер носит отношение между гипотезой Я и подтверждающими ее следствиями Е. Чем больше и разнообразнее будут такие следствия гипотезы, тем с большей вероятностью она подтверждается ими.
Отсюда становится ясным, что закон достаточного основания гарантирует не столько правильность мышления, сколько ее обоснованность. Рассуждение может быть правильным по форме, но не обоснованным посредством своих посылок. Как известно, из ложных посылок случайно можно получить и истинное заключение, но чтобы гарантировать его достоверную истинность, необходимо обосновать истинность посылок, потому что если посылки будут истинными, а рассуждение правильным, тогда и заключение будет достоверно истинным.
Но так обстоит дело только с доказательными рассуждениями. В правдоподобных рассуждениях дедуктивные правила вывода не могут использоваться по самому характеру подобных умозаключений, но тем не менее, данные (или посылки), на которые они опираются, всегда тщательно обосновываются путем подтверждения их эмпирическими результатами наблюдений, экспериментов, свидетельств очевидцев, ранее установленных истин и т.д.
Поэтому в рамках логики необходимо различать правильность и обоснованность мышления. Рассуждение может быть правильным по форме, но необоснованным по содержанию, и следовательно, не гарантирующим достоверной истинности заключения. Понятие обоснованности мышления является, таким образом, более широким по своему объему, ибо оно охватывает не только доказательные рассуждения, но и правдоподобные (или вероятностные) умозаключения.