Изменения

Перейти к навигации Перейти к поиску
нет описания правки
Строка 1: Строка 1: −
'''Дискуссия об исчерпывающей формализации законодательства''' - периодически возникающая на полях [[В этих ваших интернетах|этих наших интернетов]].
+
'''Дискуссия об исчерпывающей формализации законодательства''' - периодически возникающая [[на полях]] [[В этих ваших интернетах|этих наших интернетов]].
   −
Содержательно сводится к тому, что гуманитарно неграмотные [[Программист|программисты]] (и лица, позиционирующие себя в качестве [[Технарь|технарей]]) риторически нападают на [[Юрист|юристов]] и заявляют, что законодательство написано плохо, двусмысленно, и что, если бы, структурные правила и формат написания законов отдать на откуп программистам и/или, хотя бы, математикам, то они сумели бы переформулировать эти законы так, чтобы всё было логично, понятно и правоту сторон [[по закону]] в любых конфликтных ситуациях можно было бы выяснять при помощи специально написанной программы.
+
Содержательно сводится к тому, что гуманитарно неграмотные [[Программист|программисты]] (и лица, позиционирующие себя в качестве [[Технарь|технарей]]) риторически нападают на [[Юрист|юристов]] и заявляют, что [[законодательство]] написано плохо, двусмысленно, и что, если бы, структурные правила и формат написания законов отдать на откуп программистам и/или, хотя бы, математикам, то они сумели бы переформулировать эти законы так, чтобы всё было логично, понятно и правоту сторон [[по закону]] в любых конфликтных ситуациях можно было бы выяснять при помощи специально написанной программы.
   −
По мере массового внедрения вычислительной техники эта теория получила относительно широкое хождение, в том числе за счёт того, что программисты-энтузиасты сумели 'продать' её разнообразному начальству низкого и среднего уровня. Особенно громким пафос этой позиции стал после массового появления и внедрения [[Генеративные искусственные нейронные сети|генеративных искусственный нейронных сетей]], в том числе использующих [[большие языковые модели]].
+
По мере массового внедрения вычислительной техники эта теория получила относительно широкое хождение, в том числе за счёт того, что программисты-энтузиасты сумели '[[Продажа идеи|продать]]' её разнообразному начальству низкого и среднего уровня. Особенно громким пафос этой позиции стал после массового появления и внедрения [[Генеративные искусственные нейронные сети|генеративных искусственный нейронных сетей]], в том числе использующих [[большие языковые модели]].
    
== Реалистичность предложения ==
 
== Реалистичность предложения ==
 +
Разумеется, идея о том, что можно полезным<ref>Никто не будет спорить с тем, что возможна бесполезная формализация чего угодно, в том числе законодательства, ограничивающая или делающая невозможным его практическое применение. Но кому она нужна?</ref> способом полностью формализовать сколько-то нибудь объёмный пласт законодательства, например в сфере [[Гражданское право|гражданского]], [[Семейное право|семейного права]] или даже какой-то более узкой раздел права, например [[наследственное право]], может возникать только по неграмотности её автора. Программистам такая неграмотность простительна, по крайней мере, пока они не лезут со [[Сверхценные идеи|сверхценными идеями]] переустраивать мир. Однако, при переходе к обсуждению практической стороны вопроса, следует ознакомиться с [[Матчасть|матчастью]].
 +
 +
Законодательство пишется на [[Естественный язык|естественном языке]]. Естественный язык [[Неформализуемость естественного языка|неформализуем]] сам по себе. Это его [[фундаментальное свойство]], выводимое на разных уровнях. Наиболее важным, однако, для обсуждения, является сформулированная [[Витгенштейн, Людвиг|Людвигом Витгенштейном]] [[проблема следования правилу]]. В простых словах, в своей работе [[Философские исследования]], выпущенной в 1953 году, Витгенштейн подробно раскрыл и показал, что на естественном языке невозможно сформулировать какие-либо правила, которые бы всегда - в любое время и вне контекста понимались бы одинаково всеми, кто эти правила воспринимает<ref>[http://filosof.historic.ru/books/item/f00/s00/z0000277/index.shtml М.В.Лебедев. Проблема следования правилу в философии математики Витгенштейна.]  </ref>.
 +
 +
== Примечания ==
 
[[Категория:LegalTech]]
 
[[Категория:LegalTech]]
 
[[Категория:Искуственный интеллект]]
 
[[Категория:Искуственный интеллект]]

Реклама:

Навигация