Не могу найти доклад по Логике на тему Законы де Моргана или Что такое логика времени? Помогите!!

Логика Времени
- или: Временная логика , — раздел со временной модальной логики, изучающий логические связи вре­менных утверждений, т. е. утверждений, в которых временной па­раметр включается в логическую форму. Л. в. начала складываться в 50-е годы XX в. прежде всего благодаря работам англ. логика А. Н. Прайора, хотя первые попытки уч есть роль временного фак­ тора в логическом выводе относятся еще к античности (Аристо­ тель, Диодор Кронос ). Задачей Л. в. является построение искусственных (формализо­ванных) языков, способных сделать более ясными и точными, а следовательно, и более плодотворными рассуждения о пред метах и явлениях, существующих во времени. Л. в. представляет собой множество логических систем (логик) , распадающихся на А-л о г и к у и B-логику времени. Пер­вая ориентирована на временной ряд « прошлое — настоящее — будущее» , вторая - на временной ряд « рань ше - одновременно - позже ». В А-логике рассматриваются высказывания с « будет », « было », « всегда будет» , «всегда было» и т. п. Понятия «будет» («было» ) и «всегда будет» («всегда было» ) взаимно определимы: «Будет A» («Было A») означает «Неверно, что всегда будет не-А» («Неверно, что всегда было не-А») . Напр. , «Будет ветрено» означает то же, что «Неверно, что всегда будет безветренно» . В числе законов А-логики времени утверждения: >> то, что всегда будет, будет; то, что всегда было, было (напр. : « Если всегда будет время, то оно будет») ; >> неверно, что наступит противоречивое событие ; неверно, что было такое событие («Неверно, что было холодно и не холодно») ; >> если будет, что будет нечто, оно будет; >> если неверно, что всегда было, что не всегда будет нечто, то оно имеет место сейчас ; >> будет, что нечто было, если и только если оно или есть сей­час, или будет, или уже было («Будет так, что шел снег, только если он или идет, или пойдет, или уже шел») ; >> всегда было, что всегда будет нечто, только если оно есть, всегда было и всегда будет («Всегда было, что всегда будет хоро ­шая погода, в том и только том случае, если она есть, всегда была и всегда будет» ) и т. п. Финским философом и логиком Г. X. фон Вригтом А-логика времени формулируется с использованием выражений «...и за­тем... » и «...и в следующей ситуации...» . «A и затем В» означает «Сейчас А и будет В» , что может пониматься также как «A изменя­ется (переходит) в B». Л. в. может, таким образом, истолковываться и как логика изменения. В терминах временных понятий могут быть определены модаль­ные понятия «необходимо» и «воз можно »: >> необходимым является то, что всегда было, есть и всегда бу­дет (« Пространство необходимо, только если оно всегда было, есть и всегда будет») ; >> возможно то, что или было, или имеет место, или будет («Воз­можно, что птицы улетают на юг, только если они уже улетели, улетают сейчас или улетят в будущем») . В B-логике времени рассматриваются высказывания с «рань­ше» , «позже» и «одновременно» . Первые два из этих понятий вза­имно определимы: «A раньше В» означает «В позже A». Одновре­менные события могут быть определены как такие, что ни одно из них не раньше друг ого. Среди законов B-логики утверждения: >> ничто не раньше самого себя ; >> если первое раньше второго, то неверно, что второе раньше первого; >> если первое раньше второго, а второе одновременно с треть ­им, то первое раньше третьего и т. п. Понятие «раньше» неопределимо через «было» , «есть» и «будет» ; раньше одно другого могут быть и два прошлых, и два будущих события. В свою очередь, временные оценки, включающие ссылку на «настоящее» , несводимы к утверждениям с «раньше» . А-логика и B-логика времени являются, таким образом, двумя самостоя­тельными, несводимыми друг к другу ветвями Л. в. А-логика времени нашла приложения при обсуждении некото­рых философских проблем, в анализе грамматических времен и др.