Необходимость-случайность. Фактически необходимыми являются суждения, в которых содержится информация о законах науки. Например: «Сумма внутренних углов треугольника равна 180°». В естественном языке такие суждения нередко выражают с помощью слов «необходимо», «обязательно», «непременно» и др. В логике для суждений необходимости принято выражение: «S необходимо есть (не есть) Р». В символическом языке для понятия необходимости общепринят знак , который называют оператором необходимости.

Суждения необходимости могут быть истинными, например: «Кислород необходим для поддержания жизни» (р), но могут быть и ложными, например: «Вода не кипит при 100°С в нормальных условиях» (p). Вместе они составляют класс фактически необходимых суждений (p p). Все остальные фактические суждения относятся к случайным.

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

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

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

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

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

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

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

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

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

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

р р.

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

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

р р.

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

р р.

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

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

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

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

Глава VII ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ. ВЫВОДЫ ИЗ ПРОСТЫХ СУЖДЕНИЙ

§ 1. УМОЗАКЛЮЧЕНИЕ КАК ФОРМА МЫШЛЕНИЯ. ВИДЫ УМОЗАКЛЮЧЕНИЙ

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

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

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