Изменения

Разумеется, идея о том, что можно полезным<ref>Никто не будет спорить с тем, что возможна бесполезная формализация чего угодно, в том числе законодательства, ограничивающая или делающая невозможным его практическое применение. Но кому она нужна?</ref> способом полностью формализовать сколько-то нибудь объёмный пласт законодательства, например в сфере [[Гражданское право|гражданского]], [[Семейное право|семейного права]] или даже какой-то более узкой раздел права, например [[наследственное право]], может возникать только по неграмотности её автора. Программистам такая неграмотность простительна, по крайней мере, пока они не лезут со [[Сверхценные идеи|сверхценными идеями]] переустраивать мир. Однако, при переходе к обсуждению практической стороны вопроса, следует ознакомиться с [[Матчасть|матчастью]].

Разумеется, идея о том, что можно полезным<ref>Никто не будет спорить с тем, что возможна бесполезная формализация чего угодно, в том числе законодательства, ограничивающая или делающая невозможным его практическое применение. Но кому она нужна?</ref> способом полностью формализовать сколько-то нибудь объёмный пласт законодательства, например в сфере [[Гражданское право|гражданского]], [[Семейное право|семейного права]] или даже какой-то более узкой раздел права, например [[наследственное право]], может возникать только по неграмотности её автора. Программистам такая неграмотность простительна, по крайней мере, пока они не лезут со [[Сверхценные идеи|сверхценными идеями]] переустраивать мир. Однако, при переходе к обсуждению практической стороны вопроса, следует ознакомиться с [[Матчасть|матчастью]].

Законодательство пишется на [[Естественный язык|естественном языке]]. Естественный язык [[Неформализуемость естественного языка|неформализуем]] сам по себе. Это его [[фундаментальное свойство]], выводимое на разных уровнях. Наиболее важным, однако, для обсуждения, является сформулированная [[Витгенштейн, Людвиг|Людвигом Витгенштейном]] [[проблема следования правилу]]. В простых словах, в своей работе [[Философские исследования]], выпущенной в 1953 году, Витгенштейн подробно раскрыл и показал, что на естественном языке невозможно сформулировать какие-либо правила, которые бы всегда - в любое время и вне контекста понимались бы одинаково всеми, кто эти правила воспринимает<ref>[http://filosof.historic.ru/books/item/f00/s00/z0000277/index.shtml М.В.Лебедев. Проблема следования правилу в философии математики Витгенштейна.]</ref>.

Законодательство пишется на [[Естественный язык|естественном языке]]. Естественный язык [[Неформализуемость естественного языка|неформализуем]] сам по себе. Это его [[фундаментальное свойство]], выводимое на разных уровнях. Наиболее важным, однако, для обсуждения, является сформулированная [[Витгенштейн, Людвиг|Людвигом Витгенштейном]] [[проблема следования правилу]]. В простых словах, в своей работе [[Философские исследования]], выпущенной в 1953 году, Витгенштейн подробно раскрыл и показал, что на естественном языке невозможно сформулировать какие-либо правила, которые бы всегда - в любое время и вне контекста понимались бы одинаково всеми, кто эти правила воспринимает<ref name=":0">[http://filosof.historic.ru/books/item/f00/s00/z0000277/index.shtml М.В.Лебедев. Проблема следования правилу в философии математики Витгенштейна.]</ref>.<ref name=":0" />

{{Начало цитаты}}

{{Начало цитаты}}