Спирина, М.С. Дискретная математика

Существует соответствие между объектами действительности, их образами в языке и в мышлении. Но не всякое сочетание суждений дает умозаключение. Для того чтобы из одного или нескольких исходных суждений (посылок) получились умозаключения, надо знать правила и законы, по ко­ торым они образуются. Приведем три правила образования умозаключений. Необходимо, чтобы исходные суждения были истинными. Формирование умозаключений можно проводить только по строго определенным законам, которые необходимо изучить. Нарушение этих правил ведет к ложным умозаключениям. Умозаключение — это форма мышления, посредством которой из одного или нескольких суждений на основании правил выво­ дится новое суждение. В состав умозаключения входят посылки, вывод и заключение. Посылки — это исходные суждения. Заключение есть новое суждение, полученное из посылки ло­ гическим путем. Вывод — логический переход от посылки к умозаключению. Окружающий мир имеет многообразные формы связи между своими объектами, поэтому и в мышлении существуют различ­ ные виды умозаключений. По направлениям логического следования умозаключения де­ лятся на: дедуктивные — от общих суждений к частным, индук­ тивные — от частных суждений к общим, по аналогии — от част­ ных суждений к частным. По степени достоверности умозаключения бывают: достовер­ ными (истинными, демонстративными) и вероятностными (прав­ доподобными, недемонстративными). Умозаключения являются логическими моделями рассуждений. В зависимости от характера умозаключений выводы при истинных посылках и заключениях могут получаться как достоверные, кото­ рые обязательно будут иметь место, так и вероятностные, кото­ рые могут произойти лишь с определенной долей вероятности. Дедуктивные умозаключения также можно классифицировать в зависимости от количества истинных посылок: непосредственные, посылка . заключение ’ опосредованные, например большая посылка меньшая посылка заключение Так, дедуктивное опосредованное умозаключение может иметь вид: Всякий порок заслуживает наказания 244