Без заголовка

Да, именно так: за последние пятнадцать лет в логике много чего понапроисходило: -- дискретный поворот, о котором ваша цитата -- выход в практику (на волне интереса к machine learning) вероятностного поворота, о котором у меня чуть побольше написано Вот эти все вопросы нужно как-то привести в попсовый вид, привязать к рассуждениям на человеческом языке (а не математическом -- чем-то подобным занимаются философские логики аналитической традиции, у которых "аргументы-байки" и формулы параллельно бытуют на конференциях) и выдать в качестве учебника с задачами.