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

[psilogic]

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

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

Как вам идея?

Comments

[psilogic.livejournal.com]

То есть вне мозгов вид отношения, который мы только называем "треугольник", не существует?

Вне мозгов сущесвуют разные обхъекты, которые в мозгах моделируются понятием "треугольник". Эти объекты тоже часто называют треугольниками. Например, "картонный треугольник".

Надо бы выделить в логических нормативах (а какое общее имя здесь верно?) нормативы компарации (да, не, ...) и нормативы существования (множество, ...).

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

[alisarin.livejournal.com]

Вне мозгов сущесвуют разные обхъекты,

То есть самого собой идеального отношения, не совсем полно отраженного в Платоновском "эйдосе" нет, так?

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

И ты бы признал определения математической логики "полноценными"? А мне хотелось бы видеть философски более подробные определения. Например, понятие "множество" как понятие образовано при помощи математической абстракции и ее же и определяет ...

[psilogic.livejournal.com]

Хрен бы я помнил, что там было в эйдосе :) Посмотрел по гуглю: эйдос - мысленное понятие, соответствующее чему-то из чувственного мира. Так? Тогда что вы имеете в виду под "идеальностью" отношения?

И ты бы признал определения математической логики "полноценными"?

Ну вообще-то чем короче определено понятия, тем лучше. Подробно - это уже не определение понятия, а его содержание.

[alisarin.livejournal.com]

"Эйдос", не буду лезть в справочники, трудно им доверять :)) , это некая самостоятельная идеальность, в том числе, и реального объекта. например, конкретная булочка, выпекается нами в соответствии с эйдосом булочки. Также мы строим и треугольник, и эйдос не является нашей идеей, поскольку мы сильно не свободны в образовании такой идеи. Мы не можем в Пифагоровой геометрии построить другой треугольник, и не можем сменить аксиомы этой геометрии, поскольку именно такими они сооветствуют нашем чувственному опыту.

Подробно - это уже не определение понятия, а его содержание.

И это я слышу от логика? ;-) По-моему, можно говорить только о достаточных определениях, а с моей точки зрения, именно "множество" непонятно как определено. Хотелось бы услышать его определение при помощи понятий, образованных до введения системы понятий математики ;-)

[psilogic.livejournal.com]

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

Есть такое определение, основанное на понятии "символов", "связок" и правил оперирования ими (т.е. на графологическом уровне). Оно очень длинное, но есть и такое.

[alisarin.livejournal.com]

Есть такое определение

Хоть бы URL прислал ... :)

[psilogic.livejournal.com]

http://ru.wikipedia.org/wiki/%D0%90%D0%BA%D1%81%D0%B8%D0%BE%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2

[alisarin.livejournal.com]

Ну, видишь, что получается:

«Множество есть многое, мыслимое нами как единое» (Г. Кантор). Это не является в полном смысле логическим определением понятия множество, а всего лишь пояснением (ибо определить понятие — значит найти такое родовое понятие, в которое данное понятие входит в качестве вида, но множество — это, пожалуй, самое широкое понятие математики и логики).

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

Вот это и есть формальная онтология, она может быть упорядочена через понития "тип", "экземпляр", "модус", "атрибут" ... и, скорее всего, подобную проблему способна решить именно философия.
:)

А для этого следует разобраться в понятиях сущность, операция и отношение. Всего только.

[psilogic.livejournal.com]

Это не является в полном смысле логическим определением понятия множество

Забей на лирическое вступление, на формулки смотри :)

почему?

Из него потом можно сделать 3, 4 и т.д. Пара - минимальное но необходимое.

[alisarin.livejournal.com]

Забей на лирическое вступление, на формулки смотри :)

Если ты найдешь для этих формулок еще "формулки формулок", то приму совет, в другом случае - нет. Буду искать "онтологию семантического процесса". :)