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