'Для математических теорем В. Я. Перминов дает ещё меньшую оценку. Он утверждает, что как бы ни менялись основания математики (аксиомы), математическая теорема «признается в своей истинности навсегда», если в первые 20 лет после её доказательства не была обнаружена ошибка в рассуждениях. — Перминов В. Я. Развитие представлений о надежности математического доказательства. М., 1986, с. 51. 2 См. Принцип соответствия. М., 1979; Аллахвердов В. М. Ук. соч., с. 132-133. 72 мудрецы, — так как древние стояли ближе к началу всего, а потому лучше понимали первопричину. Рациональные построения, в свою очередь, предназначены для будущего, так как только на языке логики можно доказательно рассуждать о том, что еще не наступило, будучи уверенным, что недоступное наблюдению будущее следует известным законам. Естественная же наука может изучать прошлое (ибо опирается на факты, а факты — это всегда только то, что уже было в прошлом) или предсказывать будущее (ибо опирается и на логику), но живет всегда в настоящем. Она даже в своих доказательствах опирается не на вечные и неизменные положения, а лишь на принятые в данный момент научным сообществом правила обоснования '. Наука несовершенна, но она открыта изменениям и способна к поразительным достижениям. Естественная наука, к тому же, разрешает себе быть не до конца логичной. Ибо мир, который нас окружает, сам по себе ни логичен, ни алогичен. Он таков, каков он есть. Наука стремится построить логичное описание этого мира, исходя из предположения о логическом совершенстве природы, но никогда не сможет закончить это строительство. Впрочем, этот её недостаток оборачивается важным достоинством: никакая сделанная логическая ошибка и никакой противоречащий теории факт не приведет научное построение к полному краху 2. Осознание ошибки (как и неожиданное расхождение с фактами) не опровергает научные теории. Это лишь ставит перед ученым проблему (головоломку), дабы он придумал, как исправить теорию и избавиться от ошибок и расхождений. Так продолжается до тех пор, пока не будет создана принципиально новая теория, непротиворечиво описывающая и круг явлений, рассматриваемых в старой теории, и новые, ранее не известные факты. Требование независимой проверяемости в естественных науках Экспериментальные данные потенциально имеют огромное число интерпретаций, т. е. могут быть описаны множеством различных теорий. 'См. Карпович В. Н. Проблема, гипотеза, закон. Новосибирск, 1980, с. 97-98, Аллахвердов В. М. Ук. соч., с. 141-142. — 58 —
|