«Парадокс лжеца» и аналогичные другие конструкты раскрыли способы создания высказываний, которые выходят за пределы дихотомии истина-ложь (т. е. фактически перестают быть знаниями). Такие высказывания было предложено определить как бессмысленные (Витгенштейн)16. А при построении дедуктивных комплексов возникла проблема не только доказательства истинности, но и доказательства ложности (ибо ранее по умолчанию считалось, что все, что не истинно, то ложно), с тем, чтобы отделить ложные высказывания, как тоже имеющие отношение к знаниям, от бессмысленных. Второе ограничение было вскрыто уже упомянутой теоремой Геделя о неполноте арифметики. Оказалось, что аксиоматические системы, включающие натуральный ряд, не полны. Было доказано существование в таких системах истинных формул (высказываний), истинность которых не может быть выведена из счетного набора исходных аксиом. Стандартным способом «замыкания» теории стал поиск соответствующей метатеории, которая по сути своей является внешним «определителем» истинности высказываний для дедуктивного комплекса определенного уровня сложности.
Так ограниченность аксиоматического подхода для построения систем знаний о сложных объектах порождает вопрос о внешних критериях истинности. При этом наряду с различного рода волюнтаристскими подходами, основанными на суждении авторитета или принятии каким-либо сообществом соглашения о том, что считать истинным (конвенционализм – Пуанкаре), требование прагматичности (полезность знания для человека при решении возникающих проблем) привело к появлению объективного критерия истинности – соответствия опыту (Бэкон).
Именно взятие на вооружение объективного критерия истинности структурировало соответствующую систему знаний в виде науки. Начав свое развитие с опоры на опыт и практику в средние века, соответствующая ветвь познания оформилась методически в XVII веке и к концу XVIII века, как указывалось выше, пошла «в отрыв» от остальных ветвей знания. При этом оказалось, что в рамках развитой научной методологии знание о каждом фиксированном объекте со временем становится все более точным, что опять же обусловлено наличием строгого внешнего референса и объективного критерия истинности. Такое поведение научного знания опять же усилило уверенность мыслителей разного рода, что познание со временем стремится к истинному знанию и такое знание – единственно (концепция существования «абсолютной истины»).
Научные знания: Структура и особенности смыслового поля
Для понимания специфики научного знания рассмотрим для начала естественные науки, т. е. те тексты, которые описывают закономерности природы (сама наука), и использование данных закономерностей для удовлетворения потребностей людей и облегчения их жизни (технология). В таком наборе текстов мы имеем несколько типов высказываний. Первый тип – это высказывания – факты, описывающие какие-либо
