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