Первое объяснение — платонизм, свойственный ранним работам Б. Рассела и А.Уайтхеда, стимулировавший работу Г. Шольца и остающийся осознанным или неосознанным идеалом большинства логиков. Согласно этому взгляду, логика соотносится с системой универсалий, существующих независимо от опыта и непсихологических по своему происхождению. В таком случае следует объяснить, как разум приходит к открытию таких универсалий. Платоническая гипотеза только отодвигает проблему и не приближает нас к ее решению.
Второе объяснение — конвенционализм, полагающий, что существование логических сущностей и их законы определяются системой соглашений или общепризнанных правил. Однако такое объяснение приводит нас к новой проблеме: за счет чего эти соглашения оказываются столь плодотворными и удивительно эффективными в своем применении?
В силу этого конвенционализм уступает место концепции правильно построенного языка (well-formed language). Это третье объяснение выдвинуто Венским кружком, испытавшим сильное влияние логического эмпиризма. В этом объяснении различают эмпирические истины, или нетавтологические отношения, и тавтологии, или чисто синтаксические отношения, которые с помощью соответствующей семантики могут быть использованы для выражения эмпирических истин. Такая теория имеет несомненное психологическое значение; ее можно эмпирически проверить. Однако применительно к психологии она вызывает ряд затруднений.
Во-первых, мы не можем говорить о чистом опыте, или «эмпирических истинах», не зависящих от логических отношений. Другими словами, опыт не может быть интерпретирован в абстракции от понятийного и логического аппарата, который и делает возможной такую интерпретацию. В наших экспериментах с Б. Инельдер маленьких детей просили ответить на вопрос: когда поверхность воды в наклонной стеклянной трубке горизонтальна и когда пет? Мы обнаружили, что дети не воспринимают «горизонтальность» до тех пор, пока они не окажутся способными построить каркас пространственных отношений. Для построения такого каркаса они нуждаются в геометрических операциях, а при построении этих операций необходимо употребление логических операций.
Во-вторых, в течение всего развития детей логические отношения никогда не появляются в качестве простой системы лингвистических или символических выражений, они всегда включаются в группу операций. СС.574-576)
Имеется, наконец, третье затруднение, препятствующее принятию тезиса о том, что логика есть просто язык. Если бы этот тезис был справедлив, то логика должна была бы вскрыть существенные черты детского интеллекта. Мы могли бы ожидать от нее, с одной стороны, простого объяснения чувственных фактов, а с другой — простого перевода этих фактов на словесную основу, т.е. рассмотрения их как языка в собственном смысле. Но если восприятия предполагают предварительную смысловую интерпретацию, включающую логические отношения, а эти отношения, в свою очередь, предполагают действия и операции, то должен пройти порядочный период времени, прежде чем установится такое взаимодействие между восприятием и операциями. И действительно, логика в мышлении детей появляется относительно поздно <...> (С. 578)
Это приводит нас к четвертому и последнему из возможных способов объяснения логических отношений — операционализму. Первооснователем этого направления является П. Бриджмен (США). В настоящее время во многих странах имеются последователи этого направления (операционалистское движение в Италии — Чекатто и другие). Непохожий на предшествующие интерпретации, операционализм обеспечивает действительную основу для связи логики и психологии. С тех пор как логика основывается на абстрактной алгебре и занимается символическими преобразованиями, операции (вопреки Л. Кутюра!) играют в ней чрезвычайно важную роль. С другой стороны, операции — актуальные элементы психической деятельности, и любое знание основывается на системе операций.
Следовательно, для того, чтобы определить зависимости между логикой и психологией, необходимо: (1) построить психологическую теорию операций в терминах их генезиса и структуры, (2) проанализировать логические операции, рассматривая их как алгебраические исчисления и структурированные целые, и (3) сравнить результаты, полученные в (1) и (2). (С. 578-579)
МИХАИЛ ГРИГОРЬЕВИЧ ЯРОШЕВСКИЙ (1916-2001)