2. Дедуктивные умозаключения

Традиционная формальная логика изучает дедуктивные умозаключения. Поскольку в этих умозаключениях логическая связьмежду посылками и заключением имеетнеобходимыйхарактер, делая возможнымдостоверныйпереход от первого ко второму, то именно в этой связи и сокрыта «тайна» принудительности вывода в таких умозаключениях. Если мы приняли какие-либо посылки, то хотим мы этого или нет, но вынуждены принять и заключение, вытекающее из них, именно из-за имеющейся связи между тем и другим. Связь между посылками и заключением отражается в логике вправилахумозаключения. Логические правила – это своеобразные дедуктивные предписания, базирующиеся на логических законах, выражающих необходимые связи мыслительного процесса. Они позволяют признать истинным заключение, полученное в результате вывода из посылок. Поэтомуосновная логическая характеристика дедуктивного умозаключения – его правильность. Умозаключение называетсяправильным, если оноосуществлено в соответствии с объективными законами мышления, выражаемыми соответствующими логическими правилами.

Дедуктивное умозаключение ведет к истинному знанию при выполнении двух условий: (1) если посылки истинны по содержанию и (2) если умозаключение правильно. Иными словами, заключение в выводе, как и всякое суждение, может быть истинным или ложным, но определяется это не отношением к действительности, а отношением к посылкам и их связи.

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