Со мной
Вадик Lovingin поделился мыслями.
"Внесу мысль касательно соотношения юриспруденции (теории права, в частности) и, например, программирования.
Как было замечено, математику можно считать методологической основой других наук. При этом (что впрочем дискуссионно) можно использовать математику и в гуманитарных науках.
Так, например, распространена точка зрения, что математическая логика (а ля, если А+Б=С, то С-А=Б) является основой всей классической логики Аристотеля. В свою очередь, любая философская концепция в процессе обоснования самой себя использует ту или иную совокупность логических приёмов, применяет законы логики.
И при всём этом среди всех функций философии доминирующей является методологическая, философия является методологической основой, как минимум, для всех гуманитарных наук."
Это ты всё к чему?
"Это я всё к чему.
Всю совокупность существующих правовых норм можно рассматривать как огромный программный код. Исходные данные программы - общественные отношения. Цель её создания - гармонизация этих общественных отношений.
Так вот система права действительно построена как некий код из миллионов строк, большая часть которых выглядит как "Если А, то Б, иначе С".
По сути, при создании системы права используются базовые логические, читай - математические, законы. И я уверен, что в правотворческом процессе, цель которого - сделать нашу с вами жизнь лучше, возможно использование приёмов программирования более сложного порядка, построенных на уже известных математических законах.
Но проблема в том, что эти законы и приемы известны "технарям" и абсолютно скрыты от "гуманитариев", а профессионалы в этих сферах зачастую "говорят на разных языках". Решение этой проблемы, использование достижений математики в правовой науке сможет привести к настоящей революции в юриспруденции."
Вопрос: зачем что-то менять? Какие проблемы, актуальные для юристов, потенциально могут найти решения посредством программирования?
Более совершенное, работающее законодательство. Гармонизация общественных отношений.