Эти вопросы выносят на поверхность формальные проблемы Теории Логических Типов, которые следует обсудить. В своей оригинальной форме теория имеет дело только со строго цифровой (digital) коммуникацией, и неясно, насколько далеко ее можно применять к аналоговым и иконическим (iconic) системам. То, что мы здесь называем "маркерами контекста", может быть либо цифровыми (например, слово "гулять"), либо аналоговыми сигналами: например, оживление в поведении хозяина может указывать на приближение прогулки; либо же маркером может служить некоторый элемент приближающегося контекста (поводок как элемент прогулки); либо в экстремальном случае сама прогулка во всей своей сложности может означать саму себя, без каких-либо указателей или маркеров, стоящих между собакой и опытом. Воспринимаемое событие само может сообщать о собственном появлении. В этом случае, конечно, не может быть ошибки типа "съедания меню". Более того, тут невозможно генерирование парадокса, поскольку в чисто аналоговой или иконической коммуникации не существует сигнала для "нет".
Фактически для аналоговой коммуникации не существует формальной теории и, в частности, нет эквивалента для теории информации или Теории Логических Типов. Этот пробел в формальном знании создает неудобства, когда мы покидаем разреженный мир логики и математики и сталкиваемся с феноменами из области естествознания. В природном мире коммуникация редко бывает чисто цифровой или чисто аналоговой. Часто дискретные цифровые точки собираются вместе для составления аналоговой картины подобно полутоновому блоку принтера; часто, как в случае маркеров контекста, существует непрерывная градация от наглядно очевидного (ostensive) через иконический и до чисто цифрового уровня. На цифровом полюсе этой шкалы все теоремы теории информации действуют в полную силу, но на наглядно очевидном аналоговом полюсе они бессмысленны.
Создается впечатление, что, хотя многое из поведенческой коммуникации даже у высших млекопитающих остается наглядно очевидным (аналоговым), внутренние механизмы этих существ стали цифровыми по крайней мере на нейронном уровне. Может показаться, что аналоговая коммуникация в некотором смысле более примитивна, чем цифровая, и существует широкая эволюционная тенденция к замене аналоговых механизмов цифровыми. Кажется, что эта тенденция работает быстрее в эволюции внутренних механизмов, чем в эволюции внешнего поведения.
Резюмируем сказанное выше:
a) положение о воспроизводимом контексте - необходимая предпосылка для любой теории, определяющей "обучение" как изменение;
b) это положение - не просто инструмент нашего описания, оно содержит имплицитную гипотезу, что для изучаемых нами организмов последовательность жизненного опыта, действий и т.д. каким-то образом сегментирована или размечена на последовательности ("контексты"), которые организм может либо уравнивать, либо дифференцировать;
c) часто подчеркиваемое различие между восприятием и действием, афферентным и эфферентным, входом и выходом не имеет большого значения для высших организмов в сложных ситуациях. С одной стороны, ЦНС может получить сообщение практически о каждой единице действия либо от внешних чувств, либо от эндоцептивных (endoceptive) механизмов, и в этом случае сообщение об этой единице попадает на вход. С другой стороны, у высших организмов перцепция ни в каком смысле не является процессом чисто пассивной восприимчивости, но по крайней мере частично детерминируется эфферентным контролем высших центров. Как известно, перцепция может изменяться с опытом. В принципе, мы должны принять обе возможности: что каждая единица выхода (действия) может создавать единицу на входе и что перцепты (единицы входа) могут в некоторых случаях принимать участие в формировании единицы выхода. Не случайно, что почти все органы чувств используются также для отправления сигналов между организмами. Муравьи общаются своими антеннами, собаки настораживают уши и т.д.;
d) в принципе, даже при нулевом обучении, каждая единица опыта или поведения может рассматриваться либо как "стимул", либо как "отклик", либо как то и другое вместе, в зависимости от разбиения полной последовательности. Когда ученый говорит, что звонок является "стимулом" в данной последовательности, его заявление имплицитно содержит гипотезу о том, как организм разбивает эту последовательность. При обучении-I каждая единица перцепции или поведения может быть либо стимулом, либо откликом, либо подкреплением в зависимости от того, как разбита полная последовательность взаимодействий.
