Будущее выводится из настоящего с помощью формальной логики..?

да.. .
...но иногда что-то может вторгнуться со стороны... так что-ли...

только в вопросах причинно-следственной связи известных событий.. есть ещё неизвестные

ни откуда оно не выводится и логика уже не действует, она отмирает с уходящей цивилизацией

программы

Какой-то набор слов.