Модальная логика: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
D1gggg (обсуждение | вклад) |
D1gggg (обсуждение | вклад) |
||
Строка 4:
== Сравнение с формальной логикой ==
Формальную логику можно упростить до цепочки
Откуда брать ''истинное знание'' для формальных логик если только единичные ''истинные знания'' универсальны?..
Логика должна отвечать на реальные жизненные ситуации, а
Модальная логика в широком смысле оперирует:
Строка 17:
* задачами (что сделать, чтобы получить знание)
Т.е. является более реальным/практичным расширением
== Примеры утверждений ==
|