Без заголовка
Спасибо за pdf-ку, попробовал разобраться.
Не заметил, где про панацею с 4D говорится, по каким же всё-таки критериям определять BODY, lepidopter:
The new object semantics follows Quine and Einstein’s lead and assumes extension is "four dimensional: space’s three dimensions and the time dimension. In it, the lepidopter is one four-dimensional object. The two, three-dimensional objects from logical semantics are now just slices in time of the new four-dimensional object as illustrated in Figure 7.6." (стр 245), Figure 8.2 (стр. 263), "The substance paradigm has a simple solution to the problem. It suggests that it is the lepidopter and river’s unchanging substance that makes them the same." (стр 152) - так сюда можно включить посторонний объект (микроба-паразита, радиоактивный мусор, клей и т.д.). Искусственно как-то, никакой науки, основы на причины, а не на наблюдения/следствия, похоже на шаманство. Если нечто, чтобы пройти "утиный тест" крякает как утка (и т.д.) - утка? А может это просто хорошая подделка/мимикрия?
Ведь есть ДНК (исходник), есть реализация исходника (сперва гусеница, потом куколка, потом бабочка). Говоря терминами теории множеств, у множества "Реализация ДНК Babochka Vulgaris" есть подножество "Стадия бабочки", у которого своё подмножество "Стадия куколки", и у которого тоже своё подмножество - "Стадия гусеница". Реализация согласно ДНК именно этих стадий, как всем известно, так и происходит и научно доказано, никакие посторонние объекты в таком случае не попадают, всё чётко и однозначно.
И по BODY (start position, end position (bottom right corner of Figure 4.7)) - какого боди (в случае гвоздь-молоток, гвоздь-стена, гвоздь-молоток-стена, или аналогично для примера со стрелой - стрела-тетива, стрела-тетива-мишень, стрела-мишень)? Если даётся чёткое определение этим бодям, тогда снимается масса искусственных приёмов (которые только усложняют формализацию "Процесс/Результат процесса" предлагают описывать следствия, не требуют научной однозначности, построения единой научной модели мира на основе причин).