Идея сообщества

[psilogic]

Часто бывает необходимо с кем-то поспорить или поругаться. Только где? Поссорились Вася с Петей... пойдут ругаться к Васе - тогда Вася будет тереть и банить, пойдут ругаться к Пете - тогда Петя будет тереть и банить. Пойдут в какуй-нибудь коммьюнити - там смотрители прибьют за оффтоп или еще че не понравится.

Есть идея создать коммьюнити "Анархия", где разрешить все или почти все. Я думаю, запрещать есть смысл только спам (чтобы не засрали коммьюнити рекламой до полной нечитаемости) и явные нарушения УК. Ну может еще если арбуз наедет. И все. Все остальное - позволять, не тереть ничьи коменты из принципа, как бы они ни были ругательны, глупы или еще что. Посмотреть, что выйдет из такой анархии :)

Как вам идея?

Comments

[http://users.livejournal.com/_milo4ka_/]

это что-то в духе разделов на форумах "Разборки/флейм" и прочие, которые никем не модерируются :)

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

[psilogic.livejournal.com]

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

фдисятку :)

[sezam_lj.livejournal.com]

+1. Чаще всего самый смак состоит в том, что нельзя :) Кстати, мембраноскайлоговский опыт это вроде как подтверждает. Кто там в "отстойнике" или "заповеднике" бодается?

[maugletta.livejournal.com]

неплохая идея:)
как тебе вот это:http://community.livejournal.com/virt_fightclub/profile

[psilogic.livejournal.com]

там вроде правила есть
да и вообще... иногда охота просто полаяться :))))

[ex-olyva.livejournal.com]

Ага, идея супер. Сделать комюнити battlefield или duel, и пусть дерутся!

[ex-olyva.livejournal.com]

оппа, есть что-то типа этого
http://community.livejournal.com/ru_duel/profile
но, видно, идея не пошла.

[shaman-odnako.livejournal.com]

У меня была такая идея. naezd

[ex-xj-dimon367.livejournal.com]

А зачем коммьюнини? Асько должно хватить.

[psilogic.livejournal.com]

аську сначала надо узнать... и что если хочется стенка на стенку? :))

[ex-xj-dimon367.livejournal.com]

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

[allegoria.livejournal.com]

Была идея у сатановы:
http://community.livejournal.com/ob_stenu/profile
Загнулось, чего то...но там думали именно дебаты устраивать, по типу "к барьеру"

[drfreddy.livejournal.com]

А можно просто не тушить об лица друг друга виртуальные бычки, а сесть и помолчать. До просветления.

[alisarin.livejournal.com]

угу. Давай поругаемся. Ты мне обещал почитать текст о фиктивности логического следования
;-)

[psilogic.livejournal.com]

Что ж, сейчас как раз есть время выполнить обещание, полез читать :)

[alisarin.livejournal.com]

Мирослав, я бы тебе поотвечал, но сейчас надо побегать.

Статья моя, она разными "негодными средствами" доказывает две вещи: концепт "эквивалентность" как некоторого рода общий принцип нельзя сформировать (он не формируется) и второе - логический и математический вывод фиктивны, поскольку в сфере идеального нет места времени, а вывод присутствует только для нас, находящихся в конкретной когнитивной ситуации.
Математики и логики, как им и положено, это отрицают. Тогда конкретика - только "поле" такой дискуссии.

[psilogic.livejournal.com]

Пока что возникли вопросы...

1. Почему заинтересовало именно понятие "процедуры"?
2. Почему поиск определения именно в данном словаре? Слово вполне общеупотребительное, его определение можно найти в обычном толковом словаре, например: http://mega.km.ru/ojigov/encyclop.asp?TopicNumber=28499&search=%EF%F0%EE%F6%E5%E4%F3%F0%E0#srch0
3. Что такое "моничный", "моничное поле"?
4. Что такое "контр-объектуальный"?
5. Что такое "процедурно конкретный"?

Вообще это ваша статья?

[alisarin.livejournal.com]

не фига себе послал. На необщесемантическое определение процедуры!

Плавали - нет общесемантического определения "статуса" ... :)

[psilogic.livejournal.com]

Или, как это формулирует В. Карев: "Логический вывод - это нечто иное, это правило преобразования формул таким образом, чтобы из истинных формул получались истинные

Строго говоря, не совсем так. Для популярной дискуссии на неспециализированном форуме это определение сойдет, а для специальной статьи не очень. Контрпример: в логике бывает вывод из положений, о которых говорящему известно, что они заведомо ложны. Называется доказательство от противного.

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

[alisarin.livejournal.com]

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

Мое мнение - логика и сводится к системе деклараций и Булевой алгебре (которую ты так хорошо знаешь). Но ... система деклараций в логике как раз негодно и сделана, и сами логики не могут выработать строгой конвенции.

[psilogic.livejournal.com]

И имеется теорема (называемая теоремой дедукции), что если из А выводимо В, то выводимо, что А "влечёт" В. И наоборот.

Опять же, строго говоря, это не формулировка теоремы дедукции. "И наоборот" - это modus ponens. "если из А выводимо В, то выводимо, что А "влечёт" В." - это не теорема дедукции, а ее частный случай.

[alisarin.livejournal.com]

Знаешь, это не моя аргументация, мне важно, что в логике с системой оснований полная чехарда, и откуда растут ноги этого самого "логического следования" никто из логиков объяснить не может. :)

[psilogic.livejournal.com]

"или невозможно понимать условием базисного формата или логика в принципе не вводит соглашений... "

Вот эту фразу вообще не понял :(

индикативная система.... наделенное пределами совмещения

а это что значит?

Давайте я остановлюсь, пока не получу ответы на эти вопросы. А то начало текста скрывается для меня в тумане непонимания мысли автора :) Дальше это непонимание будет только расти.

[alisarin.livejournal.com]

Речь идет о том, может ли быть операция "логическое следование" введена как аксиома (а может операция называться "аксиомой" - тогда и появляется "условие базисного формата", то, что никакой предыдущей конструкцией не оправдано, а оправдано особым соглашением)?

"Индикативная система" - достаточно простая вещь. Так, к примеру, (беру, что знаю) построены химические номенклатуры - от таблицы Менделеева до органической номенклатуры. Мы знаем, что в одной группе элементов находятся окислители, в другой - восстановители, а в логике, в частности, не существует, например, разделения, на операторы компарации (ДА, НЕ, И, ИЛИ) и операторы - указатели сущестования (те, которые по идее должны были бы предшествовать конструкции "принадлежит").

[wingover.livejournal.com]

Идея хорошая, но ЖЖ, как уже сказали выше, слабо подходит для этого - треды сворачиваются, не видно, кто за чью сторону выступает...

А вот нормальная визуализация "стенки-на-стенку" должна быть интересной и нетривиальной задачей. Кто-то уже сделал, наверное? Я пока не нашел (с первой попытки, во всяком случае). Хотя не исключено, что _на самом деле_ она никому и не нужна - вот и не сделали.