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

Границы науки часто условны, исторически изменчивы и трудно определяемы аналитическиGauch H. G., Jr. Scientific Method in Practice. — Cambridge University Press, 2003. ISBN 0-521-01708-4, 435 p.Hansson S. O. Science and Pseudo-Science // Stanford Encyclopedia of Philosophy, 2008Никифоров А. Л. Философия науки: история и методология. М., 1998. Глава 1.5. «Критерии демаркации» . Даже после более чем столетнего диалога между философами науки и учёными в различных областях, несмотря на некоторые базовые согласия по основам научной методологии, ряд современных философов и историков науки отклонили эту идею разграничения как псевдопроблему «Pseudoscience and Quackery» // The Oxford Companion to United States History. Oxford University Press, USA, 2001. ISBN 978-0-19-508209-8

«..many late‐twentieth‐century scholars dismissed demarcating between science and pseudoscience as „a pseudo‐problem“».Sorensen R. A. Pseudo-problems: how analytic philosophy gets done. Routledge, 1993. p. 40. В настоящее время в философии науки существует намного больше согласия по частным критериям, чем по общему критерию демаркации между наукой и ненаукой.

Краткая история вопроса Проблема демаркации — одна из центральных проблем философии науки. Её первые решения появились вместе с первой законченной теорией философии науки — неопозитивизмом — и выдвигаются до сих пор.

Близкую проблему обозначил ещё Аверроэс, заявив о двойственности истины: есть истина религии и есть истина разума (науки). Значение проблемы усилилось в ходе научной революции XVII века — наука опирается на опыт и рассуждения, а религия — на веру и авторитет. Позитивизм утверждает следующие критерии науки: релятивизм (наука выдвигает гипотезы, а не претендует на абсолютную истину), эмпиризм (научные теории опираются на опыт), прагматизм (научное знание полезно). Карл Поппер выдвинул концепцию фальсифицируемости — учёные должны допускать возможность опровержения своих теорий на основании опытных фактов. Французский математик и философ Анри Пуанкаре обозначил позицию конвенционализма, в рамках которой научна та теория, которую сообщество обозначило как научную, считает научной.

Неопозитивизм Первыми отказались от исследования проблемы возникновения нового знания и положили начало изучению логико-методологических основ научного знания неопозитивисты. Таким образом, именно идеи неопозитивизма (1920-е — 1950-е годы) оказали наибольшее влияние на научное мировоззрение и концепцию научности в XX веке. Среди основных представителей неопозитивизма (или логического позитивизма) были Л. Витгенштейн, Б. Рассел, Р. Карнап, Г. Фреге, А. Тарский, К. Поппер (ранний период).

Неопозитивисты считали, что цель науки состоит в «формировании базы эмпирических данных в виде фактов науки, которые должны быть репрезентированы языком, не допускающим двусмысленности и невыразительности». В этой связи Витгенштейн выделял 5 положений: Язык есть граница мышления. Мир только один — мир фактов и событий. Предложение — картина мира, так как имеет с миром одну и ту же логическую форму. Сложные предложения состоят из элементарных предложений, которые соотносятся непосредственно с фактами. Высшее невыразимоВитгенштейн Л. «Логико-философский трактат».

Таким образом, научным знанием у логических позитивистов считалось только такое знание, которое соответствует миру фактов и событий (описываемых естественными науками). Следовательно, возможность философии как теоретического познания мировоззренческих проблем отвергалась, что выражалось в непризнании философии наукой, противопоставлении науки и философии (метафизики). «Истинность философских положений нельзя обосновать, потому что они бессмысленны» (Карнап). А. Дж. Айер в книге «Язык, истина и логика» говорил: непроверяемое положение познавательно бессмысленноАйер А. Дж. «Язык, истина и логика». Отсюда, все положения делились на: аналитические (логически необходимые и самодостаточные, например, «Тела протяжённы»); синтетические (эмпирически проверяемые, например, «На столе лежит книга»); бессмысленные, ненаучные, псевдоположения.

Логично, что главной демаркационной проблемой в неопозитивизме был поиск критериев, позволяющих провести границу между наукой и философией, отделив таким образом научное знание от ненаучного. В качестве такого критерия неопозитивистами был предложен принцип верификации (от  — истинный,  — делаю), выражающийся в возможности проверки, подтверждения каких-либо теоретических положений путём их сопоставления с опытными (эмпирическими) данными. То есть, согласно логическому позитивизму, научным можно считать только такое знание, содержание которого можно обосновать протокольными предложениями, истинность которых несомненна, так как соответствует наблюдаемой действительности. Таким образом, по замыслу участников «Венского кружка», научное знание можно представить в виде треугольника, в основании которого (фундамент единой науки) находятся протокольные предложения, отражающие действительность. Направляясь к вершине, предложения объединяются и составляются в обобщение (определения). На самой же вершине расположено обобщение, описывающее единую науку. Такой метод построения научного знания получил название индукции.

При всех своих сильных сторонах, принцип верификации был подвергнут жесточайшей критике, в ходе которой обнаружились его серьёзные изъяны. Например, мы не можем высказать с достоверностью универсальное суждение типа «Все вороны черные», так как нереально пересчитать всех ворон в мире и проверить их цвет. Увиденные нами (две, десять, тысяча) черные вороны не доказывают, что не найдётся хотя бы одна белая. Более того, «парадокс» позитивизма заключается в том, что сам принцип верификации не поддается проверке и тем самым не может считаться научным.

Карл Поппер

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

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

На основании этой «асимметричности» Поппер провозгласил дополнение принципа верификации (то есть положительно осуществляемой проверки, иначе говоря, подтверждения) принципом фальсифицируемости (то есть возможности опровержения). Он означает, что проверка научной осмысленности, а затем и истинности научных теорий должна осуществляться не через их подтверждение, а преимущественно (или даже исключительно) через попытку их опроверженияВолков Е. Н. Концепции философии науки новейшего времени // Официальный сайт Е. Н. Волкова.

Итак, для решения проблемы демаркации Поппер предлагает свой «дедуктивный» метод «критической проверки теорий».

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

С полной уверенностью ни одну теорию нельзя назвать вполне научной до тех пор, пока она является нефальсифицируемой.

Поппер считает, что метафизические системы неопровержимы и, следовательно, ненаучны.

Когда Поппер говорит о «науке», он имеет в виду только эмпирическую или экспериментальную науку. И в этом смысле ненаучной оказывается не только философия, но и математика, и логика. Поппер не только признает осмысленность метафизики, но он постоянно подчеркивает то большое значение, которое она имеет для науки. Почти все фундаментальные научные теории выросли из метафизических представлений. Коперник в своем построении гелиоцентрической системы вдохновлялся неоплатоновским культом Солнца; современный атомизм восходит к атомистическим представлениям древних греков и т. д. И во все периоды развития науки метафизические идеи стимулировали выдвижение смелых научных предположений и разработку новых теорий.

Томас Кун В 1962 г. американский физик Томас Кун написал свою книгу «Структура научных революций», где отверг понятия «верификация» и «фальсификация» и ввел понятие «парадигма». Теория Куна произвела переворот в философии науки, но в то же время подверглась жёсткой критике, особенно со стороны Поппера.

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

По мнению Куна, наука развивается не в ходе верификации или фальсификации, а в подтверждении действующей парадигмы. Учёные, создав фундаментальную концепцию, не стремятся к её опровержению и не разбивают её на протокольные предложения — они ищут подтверждения своей теории, решают задачи-головоломки. Это решение задач-головоломок Кун назвал нормальным периодом развития науки.

Но каждая парадигма имеет предел задач-головоломок, после которого учёные начинают выявлять аномалии. Исследование этих аномалий приводит к научной революции и смене парадигмКун Т. «Структура научных революций».

В «Дополнении 1969 г.» Кун уточнил понятие парадигмы термином «дисциплинарная матрица» — совокупность элементов, определяющая принадлежность исследователей к определённой дисциплинеКун Т. «Дополнение 1969 года». Этим понятием он закрепил роль научного сообщества в развитии науки и завершил свою теорию.

Таким образом, критерий демаркации у Куна — это парадигма и научное сообщество, работающее в рамках этой парадигмы. Имеет значение лишь мнение учёных в данный момент, а универсального принципа демаркации не существует.

Томас Кун отвергает «объективный» подход к проблеме демаркации, заменяя его «историческим».

Имре Лакатос