Вопросы для самопроверки

1. Что такое алетическая модальность? В каких терминах она выражается?

2. Какая модальность называется логической и какая – фактической? В чем их отличие?

3. Какие суждения являются фактически необходимыми и какие – фактически случайными? Возможными и невозможными? Какими операторами они обозначаются?

Глава VII дедуктивные умозаключения. Выводы из простых суждений § 1. Умозаключение как форма мышления. Виды умозаключений

В процессе познания мы приобретаем новые знания. Некоторые из них – непосредственно, в результате воздействия предметов внешнего мира на органы чувств. Но большую часть знаний – путем выведения новых знаний из знаний уже имеющихся. Эти знания называются опосредствованными , или выводными .

Логической формой получения выводных знаний является умозаключение.

Умозаключение – это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение.

Умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называют исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом .

Например, из посылок «Преступление наказуемо» и «Мошенничество – преступление» следует заключение «Мошенничество наказуемо». Заключение получено благодаря связи посылок общим понятием «преступление».

При анализе умозаключения посылки и заключение принято записывать следующим образом:

} посылки.

Мошенничество наказуемо – заключение.

Посылки записываются над чертой, заключение – под чертой.

При содержательной связи между посылками заключение будет истинным, если соблюдаются два условия: во‑первых , исходные суждения – посылки умозаключения должны быть истинными; во‑вторых , в процессе рассуждения следует соблюдать правила вывода, которые обусловливают логическую правильность умозаключения.

Умозаключения делятся на следующие виды.

1. В зависимости от строгости правил вывода различают демонстративные (необходимые) и недемонстративные (правдоподобные) умозаключения. В демонстративных умозаключениях заключение с необходимостью следует из посылок, т. е. логическое следование представляет собой логический закон. В недемонстративных умозаключениях правила вывода обеспечивают лишь вероятностное следование заключения из посылок.

2. По направленности логического следования, т. е. по характеру связи между знанием различной степени общности, выраженному в посылках и заключении, различают три вида умозаключений: дедуктивные (от общего знания к частному), индуктивные (от частного знания к общему), умозаключения по аналогии (от частного знания к частному).

Эта классификация будет положена в основу дальнейшего изложения.

Рассмотрим дедуктивные умозаключения.

Дедуктивными (от латинского deductio – «выведение») называется умозаключение, в котором переход от общего знания к частному является логически необходимым.

Правила дедуктивного вывода определяются характером посылок, которые могут быть простыми (категорическими) или сложными суждениями.

3. В зависимости от количества посылок дедуктивные выводы из категорических суждений делятся на непосредственные , в которых заключение выводится из одной посылки, и опосредствованные , в которых заключение выводится из двух посылок.