Начала современного естествознания - модальность
Связанные словари
Модальность
модальность
(от лат. modus — вид и способ) — вид и способ бытия или события. Категориями модальности являются: возможность, действительность, необходимость. Модальный — обусловленный обстоятельствами.Начала современного естествознания. Тезаурус. — Ростов-на-Дону
В.Н. Савченко, В.П. Смагин
2006
.
Рейтинг статьи:
См. в других словарях
1.
свойство суждения, характеризующее степень его достоверности. Различные М. и взаимосвязь между ними изучаются модальной логикой. М. "необходимо" и "возможно" были введены в логику еще Аристотелем (4 в. до н. э.), к-рый, однако, не придавал им точного смысла. Эти М. наз. основными и обозначаются соответственно символами и (иногда Lи М). Различные комбинации основных М. и отрицания также являются М. Двойственной к М. наз. М. , получаемая из заменой каждого вхождения на , и обратно. В подавляющем большинстве систем модальной логики для М. и двойственной ей М.имеет место эквивалентность В принципе можно образовать бесконечное число комбинаций из однако часто в конкретных системах число попарно не эквивалентных М. оказывается ограниченным (ввиду соотношения (*) и наличия аксиом, упрощающих нек-рые М. или сводящих одни М. к другим). Напр., в системе S3 имеется ровно 40 различных М., а в системе S4 их только 12: а также М., двойственные этим. В системе S5 имеется всего 4 М.:. С другой стороны, в системе Т модальной логики, а также в S1 и S2 число М. бесконечно и, более того, нет редукций М., т. е. две положительные (не содержащие знака ) М. и эквивалентны...Математическая энциклопедия
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 372 | |
2 | 331 | |
3 | 331 | |
4 | 330 | |
5 | 329 | |
6 | 321 | |
7 | 311 | |
8 | 311 | |
9 | 311 | |
10 | 310 | |
11 | 308 | |
12 | 303 | |
13 | 301 | |
14 | 297 | |
15 | 297 | |
16 | 294 | |
17 | 277 | |
18 | 272 | |
19 | 272 | |
20 | 269 |