прочекать всё законодательство на наличие логических дыр

Тут уж скорее базу данных надо, что бы чекать логические связи.

Ну да. Что-то типа базы знаний. Делали же что-то такое по-любому.

На Agda всё верифицировать!

Так чтоли?
https://en.wikipedia.org/wiki/Semantic_network

Звучит хорошо, но что делать с найдеными ошибками? Они вот прям взяли и исправили косяки и расплывчатые определения.

Фиксить, что же еще. Многое не будет приниматься уже на корню, например законы, где нет чётких определений как раз таки. Также это повысит порог вхождения в законодательство.

Скорее всего косяки не потому что они там сами запутались, а потому что это некоторым выгодно.
Хотя запили, может пригодиться.

Хотя запили, может пригодиться.

Там работы на докторскую будет походу.

Скорее всего косяки не потому что они там сами запутались, а потому что это некоторым выгодно.

Ну, часто бывает, что закон просто неоднозначно трактует и умысла сверху в этом не видно. Просто составили через жопу.

наличие логических дыр

Бггг. Ну вот смотри:
1. https://www.zakonrf.info/konstitucia/81/
2. 1+1+0+1+1 > 1+1 ?

Где теперь твой бог? Кто теперь будет фиксить, а?

Алсо, есть МИРОВАЯ ПРАКТИКА принимать законы с неточными определениями понятий или вообще без них. Конфликты разруливать экспетными заключениями: столяр Вася дал взятку в $50 — тюрьма, гроб, кладбище; министр Василий дал взятку — эксперты не усмотрели признаков. А корректировать/определять понятие уже при острой необходимости.

Ты не представляешь, какой это гигантский объём работы.

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

Такой наивный, было б так всё просто суды б с юристами голову не ломали. Обычаи делового оборота и пробелы законодательства ещё ни кто не отменял. Плюс трактовка закона зависит от конъюнктуры партии.

Хватит хотя бы платить немного тому, кто найдет лог. дыры/неточные определения, и т.п. (Ну и потом чинить, соответственно). Соответственно по мере того, как дыры будут латать $$ бонус подымать.

При этом по крайней мере в российском законодательстве некоторые вопросы решаются только по смыслу из текста всего закона.

Законы не для этого созданы, они как раз для сложности и разных трактовок.

Чтобы проблемы все решить достаточно на один листок формата A4 написать общие правила для всех в стране, в обязательном порядке чтобы все заучили. И за нарушение правил вписать наказание в виде око за око, плюс пол ока. И оставить только судей и палачей|взыскателей. Карать любого.

Например взяли у тебя денег 10 тыщ, не отдали, взыскатель любой ценой взыскал эти 10 тысяч с того + 5 тыщь(пол ока). Ну естественно за наказания телесные всё совсем просто. Покалечил руку, ему покалечили две.

Так работало когда у людей, но когда потребовалось обманом заиметь у кого-нибудь что-нибудь и не получить по башке - ввели прообразы современных законов. Всё это вводилось с помощью убийств, пыток и гонений. А ты хочешь это всё это как-то структурировать? Это же против самой природы законов:)

Обычаи делового оборота и пробелы законодательства ещё ни кто не отменял. Плюс трактовка закона зависит от конъюнктуры партии.

Не, ну так бы это выяснялось все еще на стадии планирования.

Ты не представляешь, какой это гигантский объём работы.

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

Придётся закодировать также дух законов, традиции административной практики

Нет, всё будет прописано.

ничего это полезного не даст

Да этого полно. Только от заплаток становится еще хуже. Закон, как дышло, и доходит до того, что в разных регионах трактуют законы по-разному. Новая работа в сфере ЖКХ, погружаюсь понемногу.

Почему? Можно будет, хотя бы тупо узнать список обязанностей произвольного субъекта и найти ссылки на все законы, связанные с этим.

ну для кого эта база будет?
людям она удобства больше не даст, а программам никто еще права не давал выносить судебных решений.

людям она удобства больше не даст

Почему не даст? Удобнее изучать нюансы законодательства. На стадии планирования закона сразу всплывут все косяки, пробелы, отсутствующие определения.

Был, ЕМНИП, где то в Южной Америке один диктатор, хотел что то подобное запилить ещё в 70-80е, вобщем его свергли

На листок А4 не поместятся даже ПДД.

Ну и выяснится, что всю эту законодательную базу стоит выкинуть в мусор и переделывать. Собственно это и без лишпа понятно.

Был, ЕМНИП, где то в Южной Америке один диктатор, хотел что то подобное запилить ещё в 70-80е, вобщем его свергли

Никогда ничего подобного не слышал. Можете покопаться в памяти поглубже?

Ну, если только вы не вспоминаете Альенде, который помимо того, что не диктатор (это сверг его Пиночет), ничего подобного, насколько я знаю, не предлагал.

Каким проектом он известен — это автоматизацией экономики и прямой демократии.

куда загоняется вся законодательная база.

Частично есть в «Кодекс» ©, «Консультант Плюс» ©, «Гарант» ©, ...

А зачем вообще ПДД? Если участники движения будут внимательны, а за порчу имущества у них будут отобирать их имущество - то во-первых: многие вообще откажутся от личного автотранспорта и осознают что он им не нужен, ибо опасен и невыгоден, куда лучше те же поезда и их аналоги и во-вторых: те что не откажутся будут ездить настолько осторожно и внимательно, что аварий вообще не будет кроме редких случаев.

Вся суть современных нарушений в том, что 90% нарушений ни как не караются, а не в точности формулировок.

Есть смарт-контракты в ethereum, они правда только скриптуют денежные операции, зато правила одни для всех и очень зачетно то, что результат работы кода не сможет отменить даже суд.

Короче, делается какой-нибудь язык типа лиспа, куда загоняется вся законодательная база.

Сергей Мавроди мечтал алгоритмизировать законодательство РФ. Но не срослось.

P.S.Многие хотят быть фриками ...

Правило проезда равнозначного нерегулируемого перекрёстка надо заносить на ваш лист А4 или каждый раз из машины выходить и обсуждать с другим водителем, кто первый поедет? А если оба торопятся? Ездить строго не быстрее 30 км/ч?

Похоже память подводит и это про Альенде

Техническая сторона вопроса проста до вульгарности: уже сейчас это может обработать обычный гитхаб, подводные камни кроются во всех остальных сторонах.

Глаза разуй:

двух сроков подряд.

lojban

Это называется lojban, язык не допускающий семантической неоднозначности (на самом деле нет, но это для другого разговора).

А ещё лучше, чтоб скрипт и законы писал. Уверен, что у него это лучше получится, чем у депутатов.

Сама задача не решаема ибо все не тривиальные проблемы и все жизненные ситуации законом не урегулированы. Поэтому и существует в ГПО аналогия права, считай машина этого применить не сможет.

Например взяли у тебя денег 10 тыщ, не отдали, взыскатель любой ценой взыскал эти 10 тысяч с того + 5 тыщь(пол ока).

А как доказывать что был факт передачи денег по договоренности?

Без законов увы ни как.

Чтобы проблемы все решить достаточно на один листок формата A4 написать общие правила для всех в стране, в обязательном порядке чтобы все заучили.

Уже давно есть. Священный Къоран

Новая работа в сфере ЖКХ, погружаюсь понемногу.

Я сам юрист в жкх уже 4 года

Новая работа в сфере ЖКХ, погружаюсь понемногу.

Дай угадаю. ГИС ЖКХ, договоры управления, договоры с РСО, тех паспорта, Приказ Минсвязи 74?

Разжигаешь же. В этой стране нельзя по логическому порядку.

никто не позволит это ввести в дело. Законы сделаны так, чтобы некоторые были перед ним равнее

Ага. Там целый сейф договоров и постоянно что-то придумывают.

никто не позволит это ввести в дело. Законы сделаны так, чтобы некоторые были перед ним равнее

Разве это нельзя прописать такие вещи? Например, что такие-то вещи решают такие-то комиссии, в таких-то случаях.

Да не разжигаю я. У кого пригорает - это их проблемы.

Даже для пятничного и субботнего ЛОР-а тема бредовая. Законы на то и есть, чтобы ими крутить можно было как угодно крутящему.

Как будто нельзя это прописать в законе. Например, что оффтоп определяется модератором. Или размер штрафа. Да и ничто не мешает быть закону совершенно дебильным.

Ввести правило модератор всегда прав не годится из-за того, что надо договариваться между модераторами (хотя можно ввести систему рангов, что вышестоящий модератор прав), но проблема будет в том, что пользователи ресурса не будут знать, чего от них не хочет видеть модератор. Вот чтобы пользователи знали и были придуманы законы, однако они погрязли в формальностях, отношение к ним стало частью общества, и выродились в то, что мы имеем сейчас во всем мире. Однако их истинная природа и основная цель не изменилась, что бы не говорили юристы. А вот если по какой-то неведомой причине она изменится, то будет крах всей юридической системы.