Здравствуйте, Mystic, Вы писали:
M>1. Формализовать теории нет практического смысла:
Это как угодно, каждый сходит с ума по своему(с). Тем не менее утверждение, что что теория эволюция и логика в ней (как это понимается в учебниках логики) отсутствуют, остается в силе.
M>2. Теория не одна, поэтому зачастую вывод проводится сразу в совокупности теорий. По примеру с хомячками, формализируем примерно так: M>[q] M>Аксиомы M> A1: $p$ --- вероятность возникновения мутации, которая приводит к образованию сперматозоидов в колонны; M> A2: $K$ --- размер популяции; M> A3: $l$ --- время жизни особи; M> A4: Задаем еще шансы для каждого самца на оплодотворение самки. M>И теперь получаем математическую модельку, из которой можно делать выводы, с какой вероятностью за время $T$ большинство особей в популяции станут обладателями свойства образования колонн сперматозоидами.
Из модели в такой форме ничего такого не следует. Перед тем, как ее расширять, рекомендую принять во внимание эффект плейотропии — явление множественного действия гена. Продукт фактически каждого гена участвует как правило в нескольких, а иногда и в очень многих процессах, образующих метаболическую сеть организма (с). Ну т.е. скорее всего нельзя так просто раз, и построить в колонны, вылезет некий побочный эффект, и не один.
Пока займемся логикой. Рассуждение по аналогии, которое позволяет выдвигать гипотезы, можно представить в форме:
ПринадлежатКлассу(a1, a2, Класс) ^ ИмеетСвойство(a1, b) => МожетИметьСвойство(a2, b)
Для бактерии Pseudomonas fluorescens: ИмеетСвойство(Pseudomonas fluorescens, Групповое поведение)
а) Получается формально
б) Компактно
в) Без использования теории эволюции (каковая отсутствует)
Соответственно, многотомные неформализованные рассуждения и сложные мат. модели, ведущие к аналогичному выводу, срезаются бритвой Оккама.
Сам вывод, при этом, естественно, никакой практической ценности не имеет. Ибо почему именно "Групповое поведение", а не любое из других зиллионов свойств, которые имеются в биосфере? Потому что "объяснение" придумано задним числом. Сначала увидели групповое поведение сперматозоидов, а потом интерпретировали его в рамках эволюционной модели и выдали за "предсказание теории".
