Теоретик заинтересован в методологических критериях научности, ориентированных прежде всего на работу с документами. Конвенционализм, фаллибилизм, физикализм, научный реализм - вот лишь некоторые направления философии науки, затронувшие тему формального критерия научности.
Конвенционалисты, вслед за Анри Пуанкаре, считают, что основания науки (аксиомы метода) есть результат сговора большинства ученых. Выбор делается на основании простоты и практического удобства.
О фаллибилизме Поппера 'КТ' писала не раз (начиная еще с давней статьи Юрия Ревича 'Искусство быть наукой' в теме номера 'Мифов.нет'). Согласно этой школе, научными считаются те высказывания, для которых найдена возможность опровержения. Обратите внимание - не подтверждения, как требует позитивистская концепция, а опровержения, поскольку все теории признаются потенциально ошибочными априори.
Физикализм и некоторые направления научного реализма ведут в сфере науки борьбу против естественного языка, который выступает причиной многих ошибок и неясностей. Предлагается создать корректный язык, лишенный неопределенности и противоречивости естественного языка, и все теории формулировать на нем. Те из них, что с грамматической точки зрения (имеется в виду грамматика нового языка) правильны, можно рассматривать как научные. Физикализм строит идеальный язык путем сведения психических феноменов к физиологическим, а значит, физическим процессам. Научный реализм строит идеальный язык, основываясь на онтологических предпосылках, выбор которых и составляет основное занятие приверженцев этого направления в философии науки. Если же в качестве языка науки выбрать математику, мы получим логический позитивизм.
В общем случае философы стараются разработать свод формальных правил, сравнение с которыми позволяло бы оценивать 'истинность' выдвигаемой гипотезы. Для примера - одним из таких употребительных списков правил являются законы сохранения энергии, импульса, количества движения и др. Не удовлетворяет гипотеза законам сохранения - 'фтопку!!!'. Расширяя или изменяя этот список, получаем различные формы формальных критериев научности.
Область бурно развивалась до 1970–80-х годов, несмотря на то что в 1931 году Гедель доказал теорему о неполноте. Наиболее часто цитируется следующая ее формулировка - 'Если система не противоречива, то она не полна'. Иными словами, нельзя создать аксиоматическим способом достаточно сложную систему так, чтобы множество доказательных формул полностью охватывало бы множество содержательно истинных утверждений в рамках этой системы. Это доказательство сильно охладило энтузиазм философов, надеющихся на формальный критерий научности.
Последнее время забрезжила надежда на порабощение искинов ['Искусственных интеллектов'. - Л.Л.-М.], роботов и других автоматов. Научная работа грядущего выглядит как управление поисковыми пауками, снабженными научно-методологическими фильтрами различных модификаций. Фильтры эти процеживают эмпирический сырец в виде научных статей в Сети, выискивая скрытые взаимосвязи и другие неявные данные. Впрочем, 'Сумма технологии' Лема недавно переиздавалась - см. в ней главу 7, 'Выращивание информации'.
Зафиксируем красной нитью - отобрал корешок, осмотрел, съел.
