[13:26:35] <TRUE> valexey> "исключения только подтверждают правило" -- эта формула является как раз тем самым простым (сокращенным) неправильным решением :-)
почему?
[13:56:27] <valexey> потому, что первоначальную формулу сократили и извратили так, чтобы было легко и приятно оправдывать собственные ошибки.
[13:57:19] <valexey> если изначальное высказывание было про то, что от ответственности не отвертишься, то модифицированное и кастрированное -- про то, что даже если ошибся, то всё равно прав.
[14:49:52] <TRUE> так а какая формула первоначальная?
[14:50:07] <TRUE> так или иначе, законы и правила - это разные вещи
[14:50:24] <TRUE> законы отличаются от правил тем, что в них не бывает исключений
[14:50:58] <TRUE> поэтому, законы в аргументации к этой штуке использовать некорректно
[14:54:09] <valexey> вот перевод оригинала:
[14:54:17] <valexey> "Известно, что существуют некоторые межгосударственные взаимные соглашения Рима, как с кеноманами, инсубрами, гельвециями, япидами, а также с некоторыми варварскими племенами галлов, которых, согласно исключению в этих соглашениях, мы в граждане не принимаем. Поскольку такое исключение делает это двойное гражданство незаконным, это значит: где в соглашении такого исключения нет, там это двойное гражданство обязательно законно. Где написано в соглашении с гадитанами, чтобы римлянам не принимать гадитан в свои граждане? Нигде."
[14:55:00] <valexey> в оригинале речь именно о договорах и соглашениях. это всё верно только для человеческих договорённостях. в том числе о человеческих законах (кои суть договоренности и соглашения).
[14:56:34] <valexey> а когда начинают говорить о выявленных закономерностях и вдруг кто-то указывает, что закономерность нарушается - вот в этом случае исключение опровергает правило.
[15:26:41] <valexey> "Etenim quaedam foedera exstant, ut Cenomanorum, Insubrium, Helvetiorum, Iapydum, non nullorum item ex Gallia barbarorum, quorum in foederibus exceptum est ne quis eorum a nobis civis recipiatur. Quod si exceptio facit ne liceat, ubi non sit exceptum, ibi necesse est licere. Vbi est igitur in foedere Gaditano, ne quem populus Romanus Gaditanum recipiat civitate? Nusquam."
[17:06:16] <vlad2> valexey глубоко копнул...
[17:47:25] <geniepro> vlad2: да это же старая хохма...
[17:53:50] <valexey> да меня просто всегда бесила эта фраза, точнее каждое её употребление, как это делают у нас.
[18:23:03] <geniepro> > Где написано в соглашении с гадитанами, чтобы римлянам не принимать гадитан в свои граждане? Нигде.

а можно было сказать проще -- что не запрещено, то разрешено
[18:54:38] <valexey> это первые шаги были в ту сторону. приходилось разжевывать на примерах.
[19:13:24] <TRUE> дело даже не в первых шагах. Они использовали логику и доскональность в своих объяснениях. Не знаю, как было в те времена, но сейчас этими инструментами пользуются не очень часто
[19:51:15] <valexey> а тогда почти вообще не пользовались
[19:51:42] <valexey> настолько не пользовались, что те, кто пользовались оказались увековеченными. до сих пор их помнят.
[20:53:06] <geniepro> valexey: тогда и логики-то не было до сократов и аристотелей
[22:42:50] <geniepro> во чо надо учить! балерину!!! https://ballerina.io/learn/
[22:43:03] <geniepro> Ballerina is a simple programming language whose syntax and platform address the hard problems of integration. It is a general purpose, concurrent, transactional, statically and strongly typed programming language with both textual and graphical syntaxes. Its specialization is integration - it brings fundamental concepts, ideas and tools of distributed system integration into the language and offers a type safe, concurrent environment to implement such applications. These include distributed transactions, reliable messaging, stream processing, workflows and container management platforms.
[22:44:46] <geniepro> правда синтаксис говно с фигурными скобками
[22:44:53] <geniepro> но это текстовый синтаксис
[22:56:19] <geniepro> чота не нашёл примеров графического синтаксиса