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

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

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

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