Вячеслав Кириллов - Логика - учебник для юридических вузов

1) Необходимость рэквивалентна невозможности р:

□р ≡ ◊˥р.

2) Возможность рэквивалентна отрицанию необходимости р:

◊р ≡ ˥□˥р.

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

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

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

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

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

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

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

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

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

} посылки.

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

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

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

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

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

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

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

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

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

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

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

1. Что такое умозаключение? Приведите определение.

2. Что называется посылкой, заключением, выводом?

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

направленности логического следования, по количеству посылок?

Суждение, содержащее новое знание, может быть получено посредством преобразования суждения. Так как исходное (преобразуемое) суждение рассматривается как посылка, а суждение, полученное в результате преобразования, — как заключение, умозаключения, построенные посредством преобразования суждений, называются непосредственными. К ним относятся: 1) превращение, 2) обращение, 3) противопоставление предикату.