В. Васильев - История философии: Учебник для вузов

Позже в математике и логике возникло движение интуиционизма, для которого работы Пуанкаре сыграли роль пускового толчка. Интуиционизм представлял собой рефлексию идеи интуитивного логического творчества. Логические и математические интуиционисты требовали, чтобы для того, чтобы объект/высказывание можно было назвать истинным, было известно его построение, происхождение. Этот подход отличается от классической логики, которая работает с уже данными высказываниями.

Контрастным фоном к обозначенному движению мысли является логический позитивизм (Венский кружок. См. предыдущую главу). Как свойственно вообще позитивизму, логический позитивизм первоначальным материалом познания считал эмпирические данные. Наука, по мнению логических позитивистов, должна быть корректным обобщением фактов. Метафизику они объявляли бессмысленной. Критерием правильности теории они считали ее соответствие фактам — подтверждаемость, верифицируемость (т. н. эмпиристский джастификационизм). Удивительно, но они почти не рефлексировали, что и собственный их логический позитивизм никоим образом не является обобщением каких-либо фактов, а чисто априорным предписанием, поэтому он не представляет собой науку и, следовательно, бессмыслен!

Карл Раймунд Поппер(1902—1994) родился в Вене. Изучал естественные науки и психологию, готовился работать преподавателем. Одновременно был увлечен музыкой и даже хотел стать профессиональным музыкантом, но оставил эту идею, заподозрив, что недостаточно талантлив. Философией интересовался непрофессионально, однако при присущей ему основательности овладел ею в совершенстве. В молодости принимал участие в социальной работе совместно с последователем Фрейда Адлером. Через него он познакомился с психоанализом, что позже сыграло важную роль для его идеи фальсифицируемости как критерия научности.Взгляды Поппера на существо научного знания формировались под влиянием идей Пуанкаре и в полемике с логическим позитивизмом. У Пуанкаре он позаимствовал идею о том, что в основе научного творчества лежит озарение, иными словами, первичный познавательный акт — это выдвижение гипотезы. Теории, о которых писали логические позитивисты, — это теории с точки зрения логики индуктивные — выводящие общие утверждения из единичных. Возражения логическим позитивистам Поппер формулирует в виде критики индукции, указывая, что с точки зрения логики эта операция незаконна. Поппер указывает на фундаментальную асимметрию: для опровержения любой теории (как и вообще любого общего высказывания вида «Все А есть В») достаточно единичного факта, но никакое количество фактов не может доказать теорию. Столь же незаконно, указывает он, принимать теорию лишь на основании ее верификации (подтверждения).

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

На прогресс знания Поппер смотрит оптимистически. Развитие научного знания Поппер видит так: выдвижение гипотез — их опровержение — выдвижение новых гипотез и так далее. Если Пуанкаре в объяснении того, откуда берутся гипотезы, ссылался на работу бессознательного, то Поппер эту проблему оставил без ответа.

По Попперу, чрезвычайно невероятно, что какая-либо гипотеза окажется верной на все 100 %. Он не верит в это даже принципиально, по Попперу, человеческое знание обречено оставаться несовершенным (он называет этот постулат фаллибилизмом). Свою модель роста знания Поппер назвал эволюционной эпистемологией, потому что выдвижение гипотез и дальнейший отбор из них наиболее «приспособленных» — тех, которые дольше не фальсифицируются, — напомнили ему дарвиновскую эволюцию.

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

Отрицательно относится Поппер к конвенционализму и инструментализму. Инструментализм он объявлял несовместимым с духом научного поиска. К теории, которая объявляет себя инструментом, невозможно применить критерий научности — фальсифицируемость. Теория-инструмент не может входить в противоречие с фактами, а может быть просто не применима в какой-либо области. (Хороший пример приводит отечественный комментатор А. Л. Никифоров: если я попытался побриться топором и потерпел неудачу, то я не объявляю топор «вообще фальсифицированным»; он продолжает оставаться адекватным в собственной для него области: в рубке дров (см. 9: 63). Так можно рассуждать потому, что топор — не теория. Теория же, по Попперу, потерпев неудачу в применении к каким-либо фактам, фальсифицируется «вообще»). Для Поппера, и это очень важно, теории — не соглашения, не инструменты, а искренние попытки объяснить мир. Только при таком условии они могут быть шагами по пути бесконечного роста человеческого знания. При таком подходе, лучше совершенно ложная, но выдвинутая с серьезностью теория, нежели такая, которая оказывается правильной случайно, хотя выдвигается как конвенционалистская, из соображений удобства.Очень важную роль в его рассуждениях играет так называемая проблема демаркации. Проблему эту поставили логические позитивисты, которые пытались найти критерий отличия «настоящей» науки от метафизики. По мнению Поппера, они решили ее неверно. Они видели этот критерий (по существу, критерий эмпиричности) в том, что теория должна быть основана на фактах. Однако тот, кто вообще не приемлет законность индуктивных построений, не может придерживаться этого критерия. В качестве критерия эмпиричности/научности теории Поппер выдвигает фальсифицируемость. Теория должна быть построена так, чтобы запрещать определенные виды событий — тогда обнаружение таких событий явным образом фальсифицирует теорию.

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

К чему Поппер относился с осуждением, так это к теориям, которые объявляют себя научными, но при этом на практике их нельзя фальсифицировать. В качестве примера он приводит психоанализ. Он пишет, что каковы бы ни были экспериментальные данные, психоанализ способен объяснить их все, т. е. в принципе невозможно придумать такую ситуацию, которая опровергла бы их. Теория Фрейда, так сказать, умеет идеально выкручиваться из любых ситуаций.