 |
С этим различают: 1) логическую модальность и 2) фактическую
|
|
|
|
Модальность.
Логическая модальность
Логическая модальность — это логическая детерминированность
Суждения, истинность или ложность которого определяется структурой,
Или формой суждения.
К логически истинным (L-и) относятся суждения, выражающие законы
Логики; к логически ложным (L-л) — внутренне противоречивые
Суждения. Например, суждение является логически истинным, если
Оно выражает закон исключенного третьего (р v 1 р) — какое бы суж-
1 От греч. ≪истинный≫.
Дение ни было подставлено вместо р, выражение р v 1 р всегда будет истинным
Высказыванием. Соответственно, всегда ложным будет суждение
“I (р —* р) как противоречащее закону тождества.
Логически истинные суждения вместе с логически ложными
(L-и V L-л) образуют класс логически детерминированных суждений.
Все остальные суждения, истинность или ложность которых не может
Быть определена, исходя из их структуры, составляют класс фактически
Детерминированных суждений: F-и v F-л.
Фактическая модальность
Фактическая модальность связана с объективной, или физической,
Детерминированностью суждений, когда их истинность и ложность определяются
Соотношением с реальной действительностью.
К фактически истинным (F-и) относятся суждения, в которых
Связь между терминами соответствует реальным отношениям между
Предметами. Пример такого суждения: «Эйфелева башня находится
В Париже». К фактически ложным (F-л) относятся суждения, в которых
Связь между терминами не соответствует действительности.
Например: «Ни одно млекопитающее не живет в воде».
|
|
|
Объективная устойчивость реальных связей между предметами
И их признаками находит свое выражение в фактической модальности
Суждений с помощью элегических модальных понятий необходимости
И случайности.
Необходимость-случайность. Фактически необходимыми являются
суждения, в которых содержится информация о законах науки. Например:
«Сумма внутренних углов треугольника равна 180°». В естественном
Языке такие суждения нередко выражают с помощью слов «необходимо
», «обязательно», «непременно» и др. В логике для суждений
Необходимости принято выражение: «S необходимо есть (не есть) Р».
В символическом языке для понятия необходимости общепринят
знак □, который называют оператором необходимости.
Суждения необходимости могут быть истинными, например:
«Кислород необходим для поддержания жизни» (Пр), но могут быть
и ложными, например: «Вода не кипит при 100°С в нормальных условиях
» (Dip). Вместе они составляют класс фактически необходимых
Суждений (Dp v Шр). Все остальные фактические суждения относятся
К случайным.
Фактически случайные — это суждения, которые не содержат
Информации о законах науки, а их истинность и ложность определяются
Конкретными эмпирическими условиями. Например, суждение
«Наполеон умер 5 мая 1821 года» является фактически случайным,
Ибо смерть Наполеона могла наступить как до, так и после этой
Даты.
Класс случайных суждений является дополнением к классу необходимых,
Так как случайность можно определить через отрицание необ101
Ходимости: к случайным относятся суждения, которые не являются
Необходимыми (1 Шр д -imp).
Модальные понятия «необходимость» и «случайность» могут быть
Эквивалентно выражены другой парой модальных понятий — возможность
|
|
|
И невозможность.
Возможность-невозможность. Фактически возможными являются
Суждения, содержащие информацию о принципиальной совместимости
Выраженных в субъекте и предикате явлений. Например: «В Южной
Америке в этом году возможно землетрясение», «Футбольная команда
А может выиграть матч у команды В». Это означает, что в обоих случаях
Не исключаются противоположные исходы — землетрясения
В Южной Америке в этом году может не быть; команда А может не
Выиграть матч у команды В.
В естественном языке показателями суждений возможности являются
Слова: «возможно», «может быть», «не исключается», «допускается
» и другие.
В логике для суждений возможности принято выражение «S может
Быть (может не быть) Р».
В символическом языке для понятия возможности общепринят
Знак 0, который называют оператором возможности. Выражение Ор
Читается: «возможно р». Выражение 01 р читается: «возможно не-р».
В совокупности эти выражения составляют класс фактически возможных
суждений: F(p) = Ор V 01р.
Дополнением к классу фактически возможных суждений является
Класс фактически невозможных суждений.
Фактически невозможными являются суждения, содержащие информацию
О принципиальной несовместимости выраженных в субъекте
И предикате явлений. Например: «На Луне невозможна жизнь»; «Невозможно,
Чтобы в треугольнике сумма внутренних углов не была равна
180°».
В обобщенном виде фактически невозможные суждения могут
быть представлены в следующем виде:
Юр А 101р.
Модальные понятия необходимости и случайности нередко выражают
Через понятия невозможности и возможности. Операторы «необходимость
» и «возможность» взаимоопределимы.
1) Необходимость р эквивалентна невозможности р:
□р = 01р.
2) Возможность р эквивалентна отрицанию необходимости р:
0р = 1СЛр.
Вопросы для самопроверки
Что такое алетическая модальность? В каких терминах она выражается?
Какая модальность называется логической и какая — фактической?
В чем их отличие?
Какие суждения являются фактически необходимыми и какие —
|
|
|
Фактически случайными? Возможными и невозможными? Какими
Операторами они обозначаются?
Глава VII
ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ.
ВЫВОДЫ ИЗ ПРОСТЫХ СУЖДЕНИЙ
Умозаключение как форма мышленш. Виды умозаключений. — Непосредственные
Умозаключения. — Простой категорический силлогизм. — Умозаключения из
Суждения с отношениями.
УМОЗАКЛЮЧЕНИЕ КАК ФОРМА МЫШЛЕНИЯ.
ВИДЫ УМОЗАКЛЮЧЕНИЙ
В процессе познания мы приобретаем новые знания. Некоторые
Из них — непосредственно, в результате воздействия предметов внешнего
Мира на органы чувств. Но большую часть знаний — путем выведения
Новых знаний из знаний уже имеющихся. Эти знания называются
Опосредствованными, или выводными.
Логической формой получения выводных знаний является умозаключение.
Умозаключение — это форма мышления, посредством которой из одного
Или нескольких суждений выводится новое суждение.
Умозаключение состоит из посылок, заключения и вывода. Посылками
Умозаключения называют исходные суждения, из которых выводится
Новое суждение. Заключением называется новое суждение, полученное
Логическим путем из посылок. Логический переход от
Посылок к заключению называется выводом.
|
|
|
