Главная страница Случайная страница
КАТЕГОРИИ:
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
Ф и з и ч е с к и случайным является то, наличие или отсутствие чего не регламентируется природными законами.
|
|
Введем формальные определения для выражений ð p, à p, Ñ p.
1. ð р º Df Ø à Ø р («р необходимо, если и только если невозможно отрицание р »);
2. à р º Df Ø ð Ø р («рвозможно, если и только если отрицание р не является необходимым»);
3. Ñ р º Df à р & à Ø р («р является случайным, если и только если возможно как p, так и его отрицание»).
б) Алетическая логика и теория возможных миров
Чтобы установить логическое значение дескриптивного высказывания, мы его сопоставляем с тем, о чем в нем идет речь (или с действительностью). Если мы видим соответствие высказывания действительности, то фиксируем его значение как истинность, а если нет – то ложность.
Так, например, высказывание «Варшава - столица Польши» – это высказывание, соответствующее действительности, оно является истинным, а высказывание «Авраам Линкольн открыл Америку» не соответствует действительности, оно ложно.
А как оценивать в аналогичных ситуациях модальные высказывания? Оказывается, модальные высказывания не являются ни категорически истинными, ни категорически ложными, а истинными или ложными либо во всех, либо в некоторых случаях.
Проиллюстрируем сказанное примерами. Возьмем дескриптивное высказывание:
1) «Все планеты имеют атмосферу» (р). Образуем из него модальное высказывание:
1¢) «Необходимо, что все планеты имеют атмосферу» (ð р).
Очевидно, что первое высказывание ложно. Но и образованное из него модальное высказывание тоже ложно. Сформулируем соответствующий постулат:
«Если дескриптивное высказывание ложно, то ложно и необходимое высказыание, образованное из него».
р É ð р
¯ ¯
Л л
Теперь рассмотрим еще два выказывания
2) «Любая планета является космическим объектом» (q); и
2¢) «Необходимо, что любая планета является космическим объектом» (ð q);
3) «Все мои приятели имеют высшее образование» (r), и
3¢) «Необходимо, что все мои приятели имеют высшее образование» (ð r).
Если в ситуации (2, 2’) мы из истинного дескриптивного высказывания получаем истинное модальное высказывание, то в ситуации (3, 3¢) возникает сомнение, что высказывание ð r действительно фиксирует безусловность и неминуемость того факта, что все мои приятели имеют ысшее образование.
Из сказанного вытекает постклат: «Если дескриптивное высказывание истинно, то образованное из него необходимое высказывание может быть как истинным, так и ложным».
р É ð р
¯ ¯