Изменения

=== Тезис о выделении формализуемого подмножества естественного языка и его практические следствия ===

=== Тезис о выделении формализуемого подмножества естественного языка и его практические следствия ===

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

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

На это предложение можно было бы ответить, что оно, на самом деле, является [[Закольцовка аргументов|закольцовкой аргументов]] и ничего не добавляет к разговору. Если мы не можем формализовать [[естественный язык]], то какие основания<ref>Кроме чьих-то личных благопожеланий.</ref> у нас ожидать, что можно формализовать его подмножество, достаточное для написания законодательства?  

На это предложение можно было бы ответить, что оно, на самом деле, является [[Закольцовка аргументов|закольцовкой аргументов]] и ничего не добавляет к разговору. Если мы не можем формализовать [[естественный язык]], то какие основания<ref>Кроме чьих-то личных благопожеланий.</ref> у нас ожидать, что можно формализовать его подмножество, достаточное для написания законодательства?