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

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

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

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

Как вам идея?

[identity profile] alisarin.livejournal.com 2006-11-16 07:21 am (UTC)(link)
угу. Давай поругаемся. Ты мне обещал почитать текст о фиктивности логического следования
;-)

[identity profile] psilogic.livejournal.com 2006-11-16 11:53 am (UTC)(link)
Что ж, сейчас как раз есть время выполнить обещание, полез читать :)

[identity profile] alisarin.livejournal.com 2006-11-17 06:45 am (UTC)(link)
Мирослав, я бы тебе поотвечал, но сейчас надо побегать.

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

[identity profile] psilogic.livejournal.com 2006-11-17 06:50 am (UTC)(link)
Ничего: вы долго ждали меня, подожду теперь вас я :) Ответите, когда сможете.

[identity profile] psilogic.livejournal.com 2006-11-16 12:10 pm (UTC)(link)
Пока что возникли вопросы...

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. Что такое "процедурно конкретный"?

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

[identity profile] alisarin.livejournal.com 2006-11-17 06:47 am (UTC)(link)
не фига себе послал. На необщесемантическое определение процедуры!

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

[identity profile] psilogic.livejournal.com 2006-11-17 07:06 am (UTC)(link)
на общеупотребительное :)
При чем тут статус?
Процедура - "Официальный порядок действий, выполнения, обсуждения чегон."
Ы?

[identity profile] alisarin.livejournal.com 2006-11-17 12:32 pm (UTC)(link)
А раскрой норму "общеупотребительность". Что это означает?

Можно ли для "процедуры образования молекулы воды" мыслить "официальный порядок действий"?

Или "процедура" является понятием, для которого известны области, в которых его применение приводит к образованию "оксюморона", например, как ты знаешь, "Led Zeppelin"?

[identity profile] psilogic.livejournal.com 2006-11-17 12:38 pm (UTC)(link)
А раскрой норму "общеупотребительность". Что это означает?

Значение, которое носители языка используют чаще всего. Значение "по-умолчанию" при нулевом контексте.

Можно ли для "процедуры образования молекулы воды" мыслить "официальный порядок действий"?

Нельзя. Потому "процедура образования молекулы воды" - неграмотная с точки зрения русского языка фраза. О ее смысле можно догадаться, но все же лучше писать "процеcc образования молекулы воды".

[identity profile] alisarin.livejournal.com 2006-11-20 06:53 am (UTC)(link)
Мирослав, не удалил этот комментарий, тогда получай.
Надеюсь, шутки понимаешь.

О твоем словаре с его словарной статьёй "процедура" (строго официально!)

Нам, как ты понимаешь, все же "очень неймётся", и мы - но!, строго официально, - будем "обтираться чем придётся и водными займёмся процедурами" ...

Но поскольку - и это исключительно официально! - Высоцкий являлся конченым алкашом, то ... к черту эти "водные процедуры"! ... вместе с "физиотерапевтическими" ...

Передавай своим составителям словаря мое "фи" и мнение ... что я о них невысокого крайне мнения, плохо они образованы, дураки по-просту говоря ...

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

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

Но, по моему, "процедура" неверно определена дураками из словаря и она в подобном смысле употребляется совершенно точно.
;-)

[identity profile] psilogic.livejournal.com 2006-11-20 11:11 am (UTC)(link)
в чем неверность словарного определения я так и не понял

[identity profile] alisarin.livejournal.com 2006-11-20 11:37 am (UTC)(link)
Странный твой ответ. Как совместить "официальный порядок ..." и "водные процедуры"? :(

[identity profile] psilogic.livejournal.com 2006-11-16 12:17 pm (UTC)(link)
Или, как это формулирует В. Карев: "Логический вывод - это нечто иное, это правило преобразования формул таким образом, чтобы из истинных формул получались истинные

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

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

[identity profile] alisarin.livejournal.com 2006-11-20 07:37 am (UTC)(link)
В общем случае в дедуктивной схеме процедура доказательства стартуют от некоторых произвольных (но допустимых синтаксисом языка) формул ...

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

[identity profile] psilogic.livejournal.com 2006-11-16 12:19 pm (UTC)(link)
И имеется теорема (называемая теоремой дедукции), что если из А выводимо В, то выводимо, что А "влечёт" В. И наоборот.

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

[identity profile] alisarin.livejournal.com 2006-11-20 07:34 am (UTC)(link)
Знаешь, это не моя аргументация, мне важно, что в логике с системой оснований полная чехарда, и откуда растут ноги этого самого "логического следования" никто из логиков объяснить не может. :)

[identity profile] psilogic.livejournal.com 2006-11-20 11:15 am (UTC)(link)
не знаю... где чехарда? какой, например, пункт сильнее всего смущает лично вас?

[identity profile] alisarin.livejournal.com 2006-11-20 11:39 am (UTC)(link)
В логике, если память не изменяет, существует конструкция "принадлежать", обозначаемая такой хитрой скобкой. Объясни, как эта конструкция определяется

[identity profile] psilogic.livejournal.com 2006-11-20 11:40 am (UTC)(link)
Как операция, у которой оба операнда - множества и результат - true/false.

[identity profile] alisarin.livejournal.com 2006-11-20 12:42 pm (UTC)(link)
Ты чего-то слишком короток (то есть я не понял ответа). Или, как можно думать, логика не дает себе труда задуматься над природой этих операндов ...

[identity profile] psilogic.livejournal.com 2006-11-20 02:36 pm (UTC)(link)
Дык, одно дело - модель, другое - где она применяется. Где применение - там и природа. Например, складывать 2+2=4 можно бананы, а можно километры в секунду. Природа разная, а модель сложения - одна.

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

[identity profile] alisarin.livejournal.com 2006-11-21 07:14 am (UTC)(link)
Дык, одно дело - модель, другое - где она применяется. Где применение - там и природа.

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

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


Это и есть предмет онтологии идеального. И логика, как ее не читай, к ответам на данную тему не снисходит. А если бы снизошла, то существенно бы рационализировалась.
Но не думай, что я беру все это на себя. :) Я просто говорю что надо бы ...
;-)

Одна из задач философии - провокация :))

[identity profile] psilogic.livejournal.com 2006-11-21 10:40 am (UTC)(link)
идеальное не наделено онтологией

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

Я просто говорю что надо бы

Надо бы что?

(no subject)

[identity profile] alisarin.livejournal.com - 2006-11-21 10:57 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2006-11-21 12:01 (UTC) - Expand

(no subject)

[identity profile] alisarin.livejournal.com - 2006-11-21 12:40 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2006-11-21 13:00 (UTC) - Expand

(no subject)

[identity profile] alisarin.livejournal.com - 2006-11-22 07:43 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2006-11-22 13:15 (UTC) - Expand

(no subject)

[identity profile] alisarin.livejournal.com - 2006-11-23 07:20 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2006-11-23 09:55 (UTC) - Expand

(no subject)

[identity profile] alisarin.livejournal.com - 2006-11-23 11:49 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2006-11-23 12:38 (UTC) - Expand

(no subject)

[identity profile] alisarin.livejournal.com - 2006-11-23 12:58 (UTC) - Expand

[identity profile] psilogic.livejournal.com 2006-11-16 12:23 pm (UTC)(link)
"или невозможно понимать условием базисного формата или логика в принципе не вводит соглашений... "

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

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

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

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

[identity profile] alisarin.livejournal.com 2006-11-20 07:27 am (UTC)(link)
Речь идет о том, может ли быть операция "логическое следование" введена как аксиома (а может операция называться "аксиомой" - тогда и появляется "условие базисного формата", то, что никакой предыдущей конструкцией не оправдано, а оправдано особым соглашением)?

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