Теория (Смысл 1): Схема или система идей или утверждений, являющихся объяснением группы фактов или явлений; гипотеза, которая подтверждена наблюдениями и экспериментами, и принята как объяснение известных фактов; утверждение, которое считается утверждением об общих законах, принципах или причинах чего-то известного или наблюдаемого.
Теория (Смысл 2): Гипотеза, любое умозаключение, предлагаемое для объяснения; простая гипотеза, спекуляция, догадка; идея или совокупность идей; индивидуальная точка зрения.
Очевидно, что эти два значения совершенно различны. Вкратце, если меня спросите насчет теории эволюции, ученые о ней говорят в первом смысле, а креационисты — во втором, возможно искренне, а возможно, они лукавят. Хороший пример первого смысла — гелиоцентрическая теория солнечной системы, теория, что Земля и другие планеты обращаются вокруг Солнца. Эволюция идеально соответствует первому смыслу слова. Теория эволюции Дарвина — действительно «схема или система идей». Она объясняет большую «группу фактов или явлений».
Это гипотеза, которая «подтверждена наблюдением и экспериментом» и, по информированному согласию, является «утверждением об общих законах, принципах или причинах чего-то известного или наблюдаемого». Она определенно очень далека от «простой гипотезы, спекуляции, догадки». Ученые и креационисты понимают слово «теория» в двух различных смыслах. Эволюция — такая же теория, как и гелиоцентризм. Ни в том ни в другом случае слово «только» не может быть применено, как в «только лишь теория».
Что касается утверждения, что эволюция никогда не была «доказана», то доказательство — это понятие, к которому ученые научены относиться с опаской. Влиятельные философы говорят нам, что мы ничего не можем доказать в науке. Математики могут что-то доказать, согласно строгому взгляду, они — единственные кто это может, а наибольшее, что могут ученые, это не смочь опровергнуть теорию, указав как тщательно они пытались это сделать. Даже неоспоримая теория о том, что Луна меньше Солнца, к радости некоторых философов, не может быть доказана математически так, как доказана, например, теорема Пифагора. Но массовые нарастания свидетельств поддерживают ее настолько сильно, что, лишение ее статуса «факта» кажется смешным для всех, кроме педантов. То же самое верно и для эволюции. Эволюция — точно такой же факт, как и то, что Париж находится в Северном полушарии. «Хоть миром правят педанты», некоторые теории находятся вне всяких разумных сомнений, и мы называем их фактами. Чем энергичней и тщательней вы пытаетесь опровергнуть теорию, если она выдержит осаду, тем более она приближается к тому, что здравый смысл охотно называет фактом.
Я мог бы продолжить использовать термины «Смысл теории 1 и «Смысл Теории 2», но числа не запоминаемы. Я нуждаюсь в словах-заменителях. У нас уже есть хорошая замена «теории во втором смысле». Это слово «гипотеза». Все понимают, что гипотеза — предположение, ждущее подтверждения (или опровержения), но этот предполагаемый характер эволюции теперь уже устранен, хотя во времена Дарвина он существовал. С «Теорией в 1-ом смысле» сложнее. Лучше просто продолжать использовать «теория», как если бы «второго смысла» не существовало. Действительно, было бы неплохо если бы Смысла 2 не существовало вообще, так как он запутывает и не нужен, учитывая, что мы имеем слово «гипотеза». К сожалению, второй смысл слова общеупотребим, и мы не можем декретом его отменить. Я поэтому собираюсь воспользоваться значительной, но заслуживающей прощения, свободой и позаимствовать из математики слово «теорема» для Смысла 1. Это — фактически неправильное заимствование, как мы увидим, но я думаю, что выгоды перевешивают риск возникновения путаницы. В качестве жеста умиротворения в адрес оскорбленных математиков, я собираюсь изменить написание на «теорума». Для начала, позвольте мне объяснить строго математическое использование теоремы, и в то же время уточнить мое предыдущие заявление, что, строго говоря, только математикам позволено доказать что-либо (адвокаты не могут, несмотря на хорошо оплачиваемые притязания).
Для математика доказательство — это логический вывод того, что заключение теоремы неизбежно следует из принятых аксиом. Теорема Пифагора верна, если мы принимаем в качестве основы аксиомы Евклида, одна из которых утверждает, что параллельные прямые не пересекаются. Вы будете напрасно терять время, проверяя тысячи прямоугольных треугольников, чтобы найти тот, который опровергнет теорему Пифагора. Пифагор доказал ее, каждый может проверить доказательство, она просто истинна и с этим ничего не сделаешь. Математики используют идею доказательства для различения между «догадкой» и «теоремой», что внешне напоминает различия ОАС между двумя смыслами слова «теория». Догадка — это правдоподобное предположение, которое еще не доказано. Когда она будет доказана, то превратится в теорему. Известный пример — догадка Гольдбаха, которая утверждает, что любое четное число можно представить как сумму двух простых. Математики проверили все четные числа вплоть до 300 тысяч миллионов миллионов миллионов, и согласно здравому смыслу — догадка Гольдбаха является фактом. Тем не менее это утверждение не доказано, несмотря на щедрые призы, которые предлагают за доказательство, и его отказываются возводить на пьедестал, предназначенный для теорем. Если кто-нибудь когда-нибудь найдет доказательство, она получит повышение до теоремы Гольдбаха, или теоремы Х, где Х — умница-математик, доказавший ее.
Карл Саган с сарказмом использовал Догадку Гольдбаха отвечая людям, которые утверждают, что были похищены инопланетянами.
Иногда я получаю письмо от кого-то, кто находится «в контакте» с инопланетянами.
Меня приглашали, чтобы «спросить их, о чем-нибудь».
С течением времени я приготовил для них вопросник.
Помните, инопланетяне очень развиты.
Поэтому я прошу их дать короткое доказательство Последней теоремы Ферма.
Или догадки Гольдбаха…
Ответа я никогда не получал.
С другой стороны, когда я спрашивал «Должны ли мы быть добрыми?», то всегда получал ответ.
Эти пришельцы всегда были рады ответить на любой расплывчатый вопрос, особенно о традиционной морали.
Но ни на один конкретный, где есть возможность выяснить, знают ли они на самом деле что-нибудь вне того, что знает большинство людей, только молчание.
Великая теорема Ферма, как и догадка Гольдбаха — это предположение относительно чисел, исключение из которого никто не нашел. Для математиков ее доказательство было святым Граалем с 1637 года, когда Пьер Ферма написал на полях сочинения Диофанта: «Я нашел этому поистине чудесное доказательство, но поля книги слишком узки для него.» Ее, наконец, доказал английский математик Эндрю Уайлс в 1995. До того математики считали ее предположением. Принимая во внимание всю сложность доказательства Уайлса, и использование продвинутых методов и знаний математики двадцатого века, многие математики думают, что Ферма (искренне) ошибался, когда написал, что смог доказать ее. Я рассказываю историю только, чтобы проиллюстрировать различие между гипотезой и теоремой.
Как я уже говорил, я собираюсь заимствовать термин математиков «теорема», но я произношу «теорума», чтобы отличить его от математической теоремы. Научные теоремы, такие, как эволюция или гелиоцентризм, являются теориями, которые соответствуют в Оксфордском словаре «Смыслу 1».
[Это] было подтверждено или установлено наблюдением или экспериментом, и представлено или принято как объяснение известных фактов; [это] заявление того, что, как считается, является общими законами, принципами, или причинами чего-то известного или наблюдаемого.
Научная теорума не была — не может быть — доказана в том смысле, в котором доказывается математическая теорема. Но здравый смысл воспринимает это как факт, в том же смысле, как «Теория» что Земля круглая, а не плоская, является фактом, и теория, что зеленые растения получают энергию от солнца является фактом. Все научные теорумы: подтверждаются огромными количествами доказательств, принимаемыми всеми информированными наблюдателями, бесспорными фактами в обычном смысле этого слова. Как со всеми фактами, если мы собираемся быть педантичными, бесспорно возможно, что наши измерительные приборы и органы восприятия, которыми мы считываем с них, являются жертвами массового обмана.
Как сказал Бертран Рассел: «Мы, возможно, все появились пять минут назад, обеспеченные готовыми воспоминаниями, с дырами в наших носках и волосами, которые нуждаются в стрижке». При доступных сейчас свидетельствах, чтобы эволюция не была фактом, потребовалось бы от Творца такое мошенничество, в какое немногие теисты захотели бы поверить.
Пришло время исследовать словарное определение «факт». Вот то, что говорит Оксфордский словарь (опять же существует несколько определений, но это — соответствующее):
Факт: Нечто, что действительно произошло или фактически имеет место; что-то, наверняка известное, чтобы иметь такой характер; следовательно, частная истина, известная благодаря фактическому наблюдению или заслуживающему доверия свидетельству, в противоположность тому, что лишь выведено умозаключением, или гипотеза или выдумка; данные опыта, в отличие от выводов, которые могут на нем основываться.
Заметьте, что, как и у теоремы, у факта в этом смысле нет того строгого статуса доказанной математической теоремы, которая неизбежно следует из ряда принятых аксиом. Кроме того «фактическое наблюдение или заслуживающее доверия свидетельство» могут быть ужасно склонными ошибаться, и переоценены в судах, действующих по нормам общего права. Психологические эксперименты дали нам некоторые ошеломляющие демонстрации, которые должны беспокоить любого юриста, склонного придавать больший вес свидетельствам «очевидцев». Известный пример был подготовлен профессором Даниэлем Дж. Симонсом в Университете Иллинойса. Полдюжин