psilogic: (Default)
psilogic ([personal profile] psilogic) wrote2006-11-15 08:14 pm

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

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

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

Как вам идея?

[identity profile] alisarin.livejournal.com 2006-11-23 11:49 am (UTC)(link)
Ну, видишь, что получается:

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

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

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

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

[identity profile] psilogic.livejournal.com 2006-11-23 12:38 pm (UTC)(link)
Это не является в полном смысле логическим определением понятия множество

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

почему?

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

[identity profile] alisarin.livejournal.com 2006-11-23 12:58 pm (UTC)(link)
Забей на лирическое вступление, на формулки смотри :)

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