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

Фактически случайные — это суждения, которые не содержат информации о законах науки, а их истинность и ложность определяются конкретными эмпирическими условиями. Например, суждение «Наполеон умер 5 мая 1821 года» является фактически случайным, ибо смерть Наполеона могла наступить как до, так и после этой даты.

Класс случайных суждений является дополнением к классу необходимых, так как случайность можно определить через отрицание необходимости: к случайным относятся суждения, которые не являются необходимыми ( ˥□ p ∧ ˥□˥р).

Модальные понятия «необходимость» и «случайность» могут быть эквивалентно выражены другой парой модальных понятий — возможность и невозможность.

Возможность-невозможность. Фактически возможными являются суждения, содержащие информацию о принципиальной совместимости выраженных в субъекте и предикате явлений. Например: «В Южной Америке в этом году возможно землетрясение», «Футбольная команда Аможет выиграть матч у команды В». Это означает, что в обоих случаях не исключаются противоположные исходы — землетрясения в Южной Америке в этом году может не быть; команда Аможет не выиграть матч у команды В.

В естественном языке показателями суждений возможности являются слова: «возможно», «может быть», «не исключается», «допускается» и другие.

В логике для суждений возможности принято выражение « S может быть (может не быть) Р».

В символическом языке для понятия возможности общепринят знак ◊, который называют оператором возможности. Выражение ◊ рчитается: « возможно р». Выражение ◊˥рчитается: « возможно не-р». В совокупности эти выражения составляют класс фактически возможных суждений: F(p) ≡ ◊р ∨ ◊˥р.

Дополнением к классу фактически возможных суждений является класс фактически невозможных суждений.

Фактически невозможными являются суждения, содержащие информацию о принципиальной несовместимости выраженных в субъекте и предикате явлений. Например: «На Луне невозможна жизнь»; «Невозможно, чтобы в треугольнике сумма внутренних углов не была равна 180°».

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

˥◊р ∧ ˥◊˥р.

Модальные понятия необходимости и случайности нередко выражают через понятия невозможности и возможности. Операторы «необходимость» и «возможность» взаимоопределимы.

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

□р ≡ ◊˥р.

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

◊р ≡ ˥□˥р.

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

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

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

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

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

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

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

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

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

} посылки.

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

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

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

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

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

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

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

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

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

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

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

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

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

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