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