Эволюционная теория познания

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

Имеется много возражений против использования искусственных языков.

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

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

В-третьих, символы, понятия и правила искусственных языков, якобы немотивированы и полностью произвольны. Это утверждение ошибочно. При разработке искусственных языков мы обладаем, правда, большой свободой; но эта свобода ограничена критериями, согласно которым определяется употребимость таких языков. Некоторые из этих требований были перечислены выше (на стр. 154). Также и искусственные языки различным образом пригодны для различных целей. Они подлежат поэтому строгому отбору, который руководствуется практической точкой зрения. Аргумент произвольности на этой ступени более не состоятелен.

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

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

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

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