dtech81 on Hacker News responded with this interesting comment:
Regarding the conceptual modeling (a parallel concern to the author’s desire for paradigms), Daniel Jackson  and his graduate student researchers at MIT have made great progress on clarifying the relation between concepts and purposes in software design recently, as well as beginning to collect an index (yet to be published). I wonder if an index exists for logical system paradigms?
These two lectures by Jackson are great:
SATURN 2016 Keynote: Rethinking Software Design - https://youtu.be/LDny7VGLzTE
UMass Amherst CICS Distinguished Lecture: Daniel Jackson (Massachusetts Institute of Technology) https://youtu.be/cNe6g0qczxE