Выберите букву, на которую начинается слово, значение которого Вы хотите узнать:
АБВГДЗИКЛМНОПРСТУФЦЧЭЮЯ
[Логика Времени]
или: Временная логика, аЧ раздел современной модальной логики, изучающий логические связи вренменных утверждений, т. е. утверждений, в которых временной панраметр включается в логическую форму. Л. в. начала складываться в 50-е годы XX в. прежде всего благодаря работам англ. логика А. Н. Прайора, хотя первые попытки учесть роль временного факнтора в логическом выводе относятся еще к античности (Аристонтель, Диодор Кронос). Задачей Л.в. является построение искусственных (формализонванных) языков, способных сделать более ясными и точными, а следовательно, и более плодотворными рассуждения о предметах и явлениях, существующих во времени. Л. в. представляет собой множество логических систем (логик), распадающихся на А-л о г и к у и B-логику времени. Пернвая ориентирована на временной ряд лпрошлое Ч настоящее Ч будущее