Изменения

б) нет такого правила, которое независимо от нашей практики его применения определяло бы, правильно или неправильно используется выражение<ref name=":0" />. {{Конец цитаты}}Нельзя сказать, что результаты Витгенштейна окончательны для философии языка, но, на текущий момент, они общепризнаны, не отвергнуты ни наукой, ни философией и задают [[пороговые ограничения]] для всей затеи.  

б) нет такого правила, которое независимо от нашей практики его применения определяло бы, правильно или неправильно используется выражение<ref name=":0" />. {{Конец цитаты}}Нельзя сказать, что результаты Витгенштейна окончательны для философии языка, но, на текущий момент, они общепризнаны, не отвергнуты ни наукой, ни философией и задают [[пороговые ограничения]] для всей затеи.  

Для вопроса о формализации законодательства важно то положение, что любая предсказуемая, детерминированная работа вычислительной системы, программы, сводима к тому или иному виду [[Исчисление|исчисления]], представляемого в эквиваленте в виде [[Машина Тьюринга|машины Тьюринга]], [[Частично рекурсивная функция|частично рекурсивной функции]] или иного аналогичного [[Формализм|формализма]]<ref>Поскольку вычислительные машины - объекты физического мира, то, на самом деле, не совсем сводима, но этим в данном обсуждении можно пренебречь.  В любом случае, случайность как элемент работы вычислительной системы снижает гипотетическую ценность полностью формализованной версии законодательства. </ref>.  

Для вопроса о формализации законодательства важно то положение, что любая предсказуемая, детерминированная работа вычислительной системы, программы, сводима к тому или иному виду [[Исчисление|исчисления]], представляемого в эквиваленте в виде [[Машина Тьюринга|машины Тьюринга]], [[Частично рекурсивная функция|частично рекурсивной функции]] или иного аналогичного [[Формализм|формализма]]<ref>Поскольку вычислительные машины - объекты физического мира, то, на самом деле, не совсем сводима, но этим в данном обсуждении можно пренебречь.  В любом случае, случайность как элемент работы вычислительной системы снижает гипотетическую ценность полностью формализованной версии законодательства. </ref>. А раз естественный язык не может быть рассмотрен как исчисление правил значения, то и выражаемый им [[смысл]] невозможно перевести в [[Формальная система|формальную систему]], '''''любая''''' из которых<ref>Из доступных для реализации программистам.</ref>, в итоге, сводится к [[Арифметика Пеано|арифметике Пеано]] или иному аналогичному виду формального исчисления .  

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

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