psilogic: (Default)
psilogic ([personal profile] psilogic) wrote2008-09-22 11:18 pm

Научность?

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

Поучившись психологии, я, понял, что не все так просто.

Я продолжаю по привычке подкалывать гуманитариев. У меня сохраняется впечатление, что дураков среди гуманитариев все же больше. Но именно вот так мягко: больше и меньше, а не жестко: все физики - умные, все лирики - дураки. Это связано с тем, что программу технического ВУЗа преодолеть труднее: фильтр жестче. А жесткий фильтр связан с тем, что в технических специальностях меньше простора для субъективности, а субъективность в свою очередь дает простор для злоупотреблений, взяточничества и т.п. нарушений в работе фильтров. Но фильтры не абсолютно хороши или плохи, они всего лишь жестче и мягче.

Я вижу, что среди гуманитариев есть и умные люди, и их много, и они делают полезное дело. Да, там много теплых мест для дармоедов и много простора для ненужной философии. Но даже немногие умницы ухитряются делать полезное дело, очень даже ненулевое.

А еще я столкнулся с Тигром falcao, который, можно сказать, открыл мне глаза на объективную природу математики. Поэтому, если раньше я говорил, что математика - это не наука, но часть науки, теперь я склонен ее считать наукой вполне полноценной. Это наука, которая продуцирует особо надежные модели для разных отраслей.

Теперь я бы предложил несколько иные критерии научности. Хотя, если сравнить с прежним моим мнением, можно сказать, что я просто сместил акценты. Да, возможно. Я предлагаю критерии научности, которые равно хорошо вбирают в себя и естественные науки, и гуманитарные, и математику, но оставляют за бортом шарлатанство типа астрологии, философии и т.п.

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

1. Есть знания
1.1. более простые
1.2. более сложные (в использовании и освоении)

2. Есть знания
2.1. более полезные
2.2. менее полезные (включая самые разные виды пользы)
3. Есть знания

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

Так вот, в науке в первую очередь смотрят на критерии в обратном порядке

Критерий 3. Если бесполезно - это не наука.

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

Критерий 2. Если есть две теории, полезные для одной цели, но одна из них надежнее, то именно она считается более правильной, а использование второй считается ненаучным шагом.

Критерий 1. Если есть две полезные и в равной мере надежные теории, то берется более простая (бритва Оккама).

Вот, собсно, и все. Любое знание, которое построено на других приоритетах - не наука. Скажем, в теологии главный приоритет - вера. Поэтому теология - не наука.

[identity profile] bsivko.livejournal.com 2008-09-24 05:23 pm (UTC)(link)
Вообще-то это нормально, что когда что-то ломается, то трудно выстроить заново такое стройное и мощное.

Мирослав, ты лучше скажи, что у тебя поломалось-то?

[identity profile] psilogic.livejournal.com 2008-09-24 07:04 pm (UTC)(link)
Поломалось где? В моих представлениях о науке? Да ничего особенного, просто захотелось улучшить эти представления, но всерьез раздумывать было лень, и я выдал пробную версию -для коллективного разума. :)

[identity profile] bsivko.livejournal.com 2008-09-24 07:28 pm (UTC)(link)
Незнаю где, но где-то точно поломалось, раз появляются попытки формализации.

Вопрос в том, где поломалось. Какие обнаружены противоречия, которые заставили что-то улучшать?

[identity profile] psilogic.livejournal.com 2008-09-24 08:05 pm (UTC)(link)
Гуманитарные науки не вписываются, хотя должны вписываться не хуже. Математика не наука, хотя почему нет.

[identity profile] bsivko.livejournal.com 2008-09-24 09:40 pm (UTC)(link)
Тогда надо прежде всего определиться с постановкой задачи. Необходимо собрать необходимое и достаточное условие, чтобы под него попали все науки в реестре?
Или может выяснить принципы научного подхода, которые бы наверняка говорили что это - наука? А может выяснить то, что характеризует любую не-науку?

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

[identity profile] psilogic.livejournal.com 2008-09-24 10:04 pm (UTC)(link)
[ Необходимо собрать необходимое и достаточное условие, чтобы под него попали все науки в реестре? ]

Пожалуй, так.

[ Или может выяснить принципы научного подхода, которые бы наверняка говорили что это - наука? А может выяснить то, что характеризует любую не-науку? ]

А это уже легко приложится как следствие, если поймем, какое там необходимое и достаточное условие.

[identity profile] bsivko.livejournal.com 2008-09-24 10:13 pm (UTC)(link)
Думаю что собрать условие невозможно. Потому как потенциально могут и будут возникать способы познания, отличные от общепринятых сейчас. Плюс ещё так думаю как следствие теоремы Гёделя. Т.е. какое бы условие не вводили, все равно будут науки которые попали, "науки" которые не попали, и ?науки? которые нельзя определить этим условием.

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

[identity profile] psilogic.livejournal.com 2008-09-24 10:20 pm (UTC)(link)
а Гёдель тут вообще ни при чем, не надо из Гёделя делать затычку для всех случаев, когда сходу не видно ответа :))))

[identity profile] bsivko.livejournal.com 2008-09-24 10:30 pm (UTC)(link)
Как раз таки при чем. И я в знаю о чем говорю, может сходу не понятно.

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

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

[identity profile] psilogic.livejournal.com 2008-09-25 06:28 am (UTC)(link)
И при чем же?

Для начала добиться первого подхода.

[identity profile] bsivko.livejournal.com 2008-09-25 11:20 am (UTC)(link)
Оставлю пока что саму теорему в покое. Пока что получается оперировать не её категориями.

Допустим, что мы собрали некую функцию G. Вдруг в будущем появляется что-то, что не может быть вычислено посредством G. Такое возможно?

[identity profile] psilogic.livejournal.com 2008-09-25 11:26 am (UTC)(link)
Для начала пускай возможно. Потом можно попробовать усовершенствовать. Мысль такая:
1. Найти нетривиальную функцию G для настоящего
2. Посмотреть, как получилось, что именно такая функция, нет ли каких-то интересных причин для ее возникновения
3. Придумать G' для будущего

[identity profile] bsivko.livejournal.com 2008-09-25 11:55 am (UTC)(link)
Что такое здесь - нетривиальную?

Т.е. ищем G, далее пытаемся определить для неё кванторы, через которые получается некая общая функция H, которой можно будет выбирать наука-ненаука в будущем?

А может такая же история повторится с H, или нет? (появится что-то, что может быть не вычислено посредством H)

[identity profile] psilogic.livejournal.com 2008-09-25 11:59 am (UTC)(link)
[ Что такое здесь - нетривиальную? ]

Ну, можно тупо взять список наук по какой-нибудь классификации министерства образования...

Нет, не кванторы. Просто попытаться понять, почему именно G, почему йопщество пришло именно к такому G. И отсюда сынтерполировать H.

[identity profile] bsivko.livejournal.com 2008-09-25 12:11 pm (UTC)(link)
Технологию я понял. Интересно, может ли аналогичная история произойти с H?

[identity profile] psilogic.livejournal.com 2008-09-25 12:18 pm (UTC)(link)
а хрен его знает...

[identity profile] bsivko.livejournal.com 2008-09-25 09:29 pm (UTC)(link)
Тогда явный признак неформализованного понятия, понятного только интуитивно. Да ещё с тем свойством, что кто-то может повлиять на нейронную сетку и изменить "определение".

Также плавают ответы на вопросы 'что такое понятия "жизнь", "AI", "вера", ..?' и ответ будет всегда не последним и приблизительным.

[identity profile] psilogic.livejournal.com 2008-09-25 09:45 pm (UTC)(link)
Ну что поделаешь. Как минимум, получение G и H полезно само по себе.

[identity profile] bsivko.livejournal.com 2008-09-25 09:58 pm (UTC)(link)
Для того, чтобы очищать бренд науки от неверных?

P.S. Ничего что я хочу об этом поговорить? (; Тут ещё один пост намечается..

[identity profile] psilogic.livejournal.com 2008-09-25 10:28 pm (UTC)(link)
Коммент или пост? Если пост в тему, то киньте ссылкой :)

Скорее наоборот - чтобы не выплеснуть из бренда ребенков :)

[identity profile] bsivko.livejournal.com 2008-09-25 10:31 pm (UTC)(link)
коммент. в виде поста по объему.

[identity profile] psilogic.livejournal.com 2008-09-25 10:46 pm (UTC)(link)
рожайте! завтра на свежую голову и прочту, чтоб такое добро не пропадало - а щас баиньки :)

[identity profile] bsivko.livejournal.com 2008-09-24 11:27 pm (UTC)(link)
Хотел написать "кажется я въехал в то, что хочешь сказать", но определенно то, что я ещё кое-куда въехал (;

А может быть все обстоит так:

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

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

[identity profile] bsivko.livejournal.com 2008-09-24 11:11 pm (UTC)(link)
Насколько я понял, произошло следующее:

Ранее существовало некое определение научности(F(X), где X - что-то, F - true или false), т.е. чтобы можно было определить что-то является наукой или нет. Имеется ввиду, существовало в твоей голове.

Под данному определению получалось некое множество M наук. А также неизвестную сущность можно было по этому определению узнать, является она наукой или нет.

Далее произошли некоторые события (не суть важно какие), которые показали некий элемент Y (например, 'математика'), не входящий во множество M, т.е. являющийся контрпримером к существующему определению (т.е. ему каким-либо образом был присвоен статус "наука", но он не попадал под определение, т.е. например F(Y)=false, а Y присвоен статус науки, т.е. практика говорит о том, что F(Y)=true ).

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

Всё правильно?

[identity profile] psilogic.livejournal.com 2008-09-25 06:33 am (UTC)(link)
да, конечно