У Фарита завязалась беседа с Витусом на тему возможности формализации юриспруденции. По мне так задача не только разрешима - но даже понятны примерные подходы к ее решению, главная проблема там - очень большой объем работы. Но в математике и компутерщине например это проделывалось - и я вполне уверен, что те же подходы сработают и тут - причем будет даже проще - потому как путь уже не раз проходился.
Просто не надо ждать моментального результата. Но с чего начинать и какая последовательность действий - вполне очевидно - начать с формализации каких нибудь законов Хаммурапи или варварских "правд" (они может даже лучше потому что варвское право отличается исключительной формальностью) простого, ну и двигаться постепенно.
По мере прояснения уже конкретных подходов, применять их к каким-то реальным подсистемам попроще и поизолированее (можно например на уставах потренироваться) etc