Тут обнаружил, что Непейвода активно занимается современной логикой и её приложениями. Результаты можно найти в сборниках "Логические исследования", издаваемых "Наукой"; они не особо перекрываются с содержанием /Непейвода, Скопин/.
Заинтересовали статьи в выпусках 9, 10, 14. Он рассматривает темы логики и стиля формализации, интеллектуальных вирусов, реверсивной логики. В частности, говорится, что:
* парадигмы подразделяются по уровням;
* можно говорить о границах применимости парадигм;
* стилевые требования парадигм проистекают из некоторых базовых возможностей формализации, положенных в основу; так, структурный подход отвергает произвольный явный БП в силу того, что он "плохо сочетается с присваиванием";
* различные виды логик (конструктивных и формальных) также имеют границы применимости и оптимальные приложения и должны выбираться для формализации, исходя из понимания предметки.
Интересно, кто что об этом думает (и вообще об этих публикациях).