Изменения

Любые претензии к современному законодательству о его двусмысленности и непрозрачности при переходе на [[Формализм|формализмы]] подобного уровня сложности следовало бы отвергнуть - так как получилось бы, что строгое законодательное описание требований закона, созданное при помощи подобного формального подмножества языка может оказать потенциально непонятным для обывателя, либо содержать в себе логически дыры и прорехи, доступные только избранным специалистам.  

Любые претензии к современному законодательству о его двусмысленности и непрозрачности при переходе на [[Формализм|формализмы]] подобного уровня сложности следовало бы отвергнуть - так как получилось бы, что строгое законодательное описание требований закона, созданное при помощи подобного формального подмножества языка может оказать потенциально непонятным для обывателя, либо содержать в себе логически дыры и прорехи, доступные только избранным специалистам.  

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

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

Аргумент о том, что после такой смены можно будет хотя бы выверять [[Юридическая позиция|юридические позиции]] сторон в спорах при помощи специально написанной программы, как мы видим, не выдерживает никакой критики - с активным применением той же теории типов сейчас построены многие [[Язык программирования|языки программирования]]. Но никто не слышал о том, чтобы программисты программировали без ошибок. После этого можно было бы сделать вывод, что предложение выгнать юристов, которые 'мутят' сводится к замене их программистами, которые 'мутят' ничуть не меньше.

Аргумент о том, что после такой смены можно будет хотя бы выверять [[Юридическая позиция|юридические позиции]] сторон в спорах при помощи специально написанной программы, как мы видим, не выдерживает никакой критики - с активным применением той же теории типов сейчас построены многие [[Язык программирования|языки программирования]]. Но никто не слышал о том, чтобы программисты программировали без ошибок. После этого можно было бы сделать вывод, что предложение выгнать юристов, которые 'мутят' сводится к замене их программистами, которые 'мутят' ничуть не меньше.