Закон исключенного третьего закон мышления. Дедуктивное умо

Дедуктивное умозаключение - это такая форма абстрактного мышления, в которой мысль развивается от знания большей степени общности к зна­нию меньшей степени общности, а заключение, вытекающее из посылок, с логической необходимостью носит достоверный характер. Объективной ос­новой дедуктивных умозаключений является единство общего и единично­го в реальных процессах, предметах окружающего мира.
Процедура дедукции имеет место в том случае, когда информация посы­лок содержит (часто в неявной форме) информацию, выраженную в заклю­чении. Дедуктивное умозаключение является способом извлечения этой ин­формации и представления ее в явной форме.
Правила дедуктивного вывода определяются характером посылок, кото­рые могут быть простыми или сложными суждениями, а также их количест­вом. В зависимости от количества используемых посылок, из которых стро­ится вывод, дедуктивные умозаключения бывают непосредственные и опосредованные.
Вполне возможно, что подпись на векселе сильно отличается от настоящей и, вместе с тем, она не обяза­тельно поддельная (бывает, что один и тот же человек ставит со­вершенно разные подписи в силу ряда субъективных причин), т.е. 3j может быть ложным. К тому же А. тут может быть совершен­но не виновен, даже если подделка векселя имела место — она могла быть произведена до того, как вексель попал к А., т.е. 3₂ может быть ложным. Иными словами, формула, соответствую­щая этому рассуждению — (П] А П₂) (3j А 3₂), вполне мо­
жет принимать значение “ложь”, когда n_tи П₂ — истинны, a 3j или 3₂ ложны.
Но если истинность посылок совместима с ложностью заклю­чения, то отношения логического следования здесь нет и вывод об­винения не является правильным.
В приведенном примере число посылок невелико и их истин­ность устанавливается для практически возможных, реальных си­туаций, известных участникам судебного процесса.
Логика издавна стремится уменьшить зависимость оценки рас­суждения от конкретной информированности коммуникантов и рас­сматривать логическую правильность рассуждения “для всех возмож­ных миров”, т.е. всех возможных ситуаций сразу. То, что правиль­но для всех возможных миров, правильно для каждого из них.
Конечно, логика рискует иметь дело только с очень общими схемами, общеизвестными и в этом смысле банальными. Однако эти общие схемы — своего рода “скелет”, несущие конструкции в архитектуре нашего мышления и потому их знание очень важно.
Чтобы обеспечить такую связь посылок и заключения, кото­рая является отношением логического следования, кроме общих со­ображений, можно руководствоваться правилами, установленны­ми логикой для разных видов умозаключений. Эти правила также относятся к общепринятым нормам логической культуры. Прежде чем ознакомиться с этими правилами, рассмотрим вопрос о видах умозаключений.
В логике существуют разные подходы к классификации умо­заключений.