Составители:
Рубрика:
модальный оператор. Например, мы обнаружили в стручке 10 горошин. Тогда
высказывание: В данном стручке 10 горошин истинно, но высказывание:
Необходимо, что в данном стручке 10 горошин ложно. Вместе с тем,
высказывания: Данная горошина содержит белок и Необходимо, что данная
горошина содержит белок – оба истинны.
Некоторые основные законы модальной логики известны еще с античных
времен:
(3.29)
A→A (“Если необходимо, что A, то A”);
(3.30)
A→A (“Если A, то возможно, что A, ”);
(3.31)
A↔⎤⎤A (“Необходимо, что A, тогда и только
тогда, когда невозможно, что не-A”);
(3.32)
A↔⎤⎤A (“Возможно, что A, тогда и только тогда,
когда не необходимо, что не-A ”).
В естественном языке слова “необходимо” и “возможно” имеют
несколько смысловых вариантов, которые порождают соответствующие
варианты модальной логики.
• Логика алетических модальностей. Эта логика имеет два варианта:
1. “Необходимо” означает объективную значимость содержания
высказывания. В этом случае, если “необходимо” относится ко всему
высказыванию, то это означает, что высказывание формулирует объективно
необходимый закон для некоторой предметной области.
“Возможно” в этом случае указывает на объективную возможность того, о чем
говорится в высказывании.
2. “Необходимо” понимается как “доказуемо”, а “возможно” как
“неопровержимо” в некоторой научной теории.
• Деонтическая логика.
“Необходимо” означает “должно”, “обязательно”, а “возможно” означает
“допустимо” (в нормативном смысле). Таким образом, в рассматриваемом
случае “необходимо” (соответственно, “возможно”) указывает на некоторое,
например, моральное или юридическое долженствование (соответственно,
некоторую, например, моральную или юридическую допустимость).
• Логика временных модальностей.
“Необходимо” употребляется в смысле “всегда”, а “возможно” означает,
что “иногда”. Часто в этом случае содержание высказывания относится к
будущему.
137
Страницы
- « первая
- ‹ предыдущая
- …
- 51
- 52
- 53
- 54
- 55
- …
- следующая ›
- последняя »
