Студопедия

Главная страница Случайная страница

КАТЕГОРИИ:

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






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






Введем формальные определения для выражений ð 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 действительно фиксирует безусловность и неминуемость того факта, что все мои приятели имеют ысшее образование.

Из сказанного вытекает постклат: «Если дескриптивное высказывание истинно, то образованное из него необходимое высказывание может быть как истинным, так и ложным».

р É ð р

¯ ¯


Поделиться с друзьями:

mylektsii.su - Мои Лекции - 2015-2024 год. (0.006 сек.)Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав Пожаловаться на материал