Важный вклад в понимание роли категорий в мышлении внесли исследования Ж. Пиаже, изучавшего развитие операторных интеллектуальных схем в процессе психического онтогенеза: эти схемы по существу выражают категориальные структуры. Операторные интеллектуальные схемы по Пиаже возникают и развиваются до языка и влияют на процесс овладения им (Пиаже, 1969). Дж. Брунер показал в своих психологических исследованиях, что категоризация является обязательным условием любого восприятия и в этом отношении пошел дальше Канта, считавшего, что восприятие (в отличие от опыта) не предполагает применения категорий (Брунер, 19776).

И. Кант резко противопоставил два возможных способа мышления: аналитическое и синтетическое. Первое сводится к экспликации того содержания, которое уже имеется в понятиях, но явным образом не выражено. Такого рода мышление не порождает нового знания. Плодотворное мышление, создающее знание, может быть лишь синтетическим. Синтетическое мышление, предполагающее применение категорий к чувственности, может быть как априорным (математика, постулаты чистого естествознания), так и соединением априорных и эмпирических компонентов (мышление в естествознании, в обыденной жизни) (Кант, 1965).

Логический позитивизм как современная разновидность эмпиризма тоже строго различает аналитическое и синтетическое мышление. Однако с точки зрения этой концепции априорное и аналитическое мышление совпадают. Логика и математика как дедуктивные априорные дисциплины являются не знанием, а некоей особой разновидностью языка. Синтетическое мышление совпадает с эмпирическим, фактуальным. Результаты последнего выражаются посредством языка, в том числе языка математики (Logical Positivism, 1959).

У. Куайн показал, что не существует строгой дихотомии аналитических и синтетических высказываний и, следовательно, аналитического и синтетического мышления. Элементы синтетического мышления есть в дедуктивных дисциплинах (которые поэтому не могут рассматриваться как чисто априорные), а элементы аналитического мышления в факту-альных науках (Quine, 1951).

Философы всегда пытались выявить те предметные области, в которых мышление невозможно, и те способы мышления, которые не порождают знания реальности, а заводят размышление в тупик. В этом отношении сознательное мышление отличается от восприятия. Даже если считать, что последнее не просто представляет сознанию нечто данное, а является продуктом активной конструктивной деятельности субъекта (а именно такое понимание представляется современным), все же приходится признать, что характер восприятия не зависит от сознательной деятельности субъекта. Даже если человек сознает иллюзорность воспринимаемого, он не может изменить саму иллюзию, которая как бы навязывается ему конкретными условиями восприятия. Между тем, возможность избежать иллюзии мышления зависит от того, насколько мыслящий правильно выбирает поле приложения мышления и его способы.

Платон считал, что мышление может привести к знанию только в том случае, если оно направлено на не зависящие от чувственного опыта идеи. Мышление, относящееся к предметам обычного опыта, порождает лишь мнения — нечто неопределенное, зыбкое и необоснованное.

Для новоевропейской философии эмпиризма мышление, наоборот, должно как можно ближе следовать эмпирическому опыту — единственному источнику знания. В том случае, когда оно отходит от опыта, оно создает химеры: понятия субстанции (Дж. Беркли), причинности (Д. Юм), понятия абсолютного пространства и времени (Дж. Беркли, Э. Мах).

И. Кант выделяет две формы мышления: на основе рассудка и на основе разума. Рассудочное мышление может быть плодотворным, так как его предметы конструируются на основе категориального синтеза чувственного многообразия. Между тем, предметы разумного мышления, соответствующие идеям чистого разума — Бог, мир в целом и Трансцендентальный Субъект — не могут быть включены ни в эмпирический опыт, ни в своеобразный априорный опыт, с которым имеет дело чистая математика. Поэтому мышление об этих предметах (разумное мышление) не может породить знание, оно запутывается в антиномиях и паралогизмах. Если мышление намерено быть плодотворным, оно должно умерить свои притязания (Кант, 1965).

Одна из основных задач современной аналитической философии — разоблачение разных псевдо-проблем (в философии и науке), порождаемых не контролирующим себя мышлением. С точки зрения логического позитивизма, только то мышление имеет смысл, выводы которого могут быть проверены (верифицированы) в чувственном опыте и которое следует правилам логического синтаксиса. Для К. Поппера критерием осмысленности мышления является принципиальная возможность опытного опровержения (фальсификация) мыслительных предположений (Поппер, 1983 а). Г. Райл связал появление абсурда с нарушением категориальных границ в процессе размышления. Так, например, если не учитывается, что высказывания об ощущении и высказывания о восприятии относятся к разным категориальным типам, возникают разные абсурдные проблемы, которые невозможно решить (вроде вопроса о том, как из ощущений или «чувственных данных» строится восприятие и т. д.) (Райл, 2000).

Развитие современной философии, а также исследование исторического развития науки и культуры приводят к мнению о том, что граница мыслимого и немыслимого всегда есть, но что она вместе с тем исторически изменчива. Возможность мыслимости задается определенными концептуальными рамками, специфичными для данной культуры, мифологической, философской, научной картины мира, для той или иной школы мысли (к этой идее подошел Т. Кун в понятии «парадигма» (Кун, 1977) и М.Фуко в понятии «эпистема» (Фуко, 1977)). Так, например, понятие математической несоизмеримости не вписывалось в картину мира, характерную для античной культуры, что делало невозможным в этих рамках развитие математических идей, связанных с дифференциальным и интегральным исчислением. Немыслимой для аристотелевской картины мира (а поэтому для всей перипатетической физики, господствовавшей в европейской культуре в течение многих столетий) была возможность точного предсказания траектории тела в земных условиях. Эта возможность стала вполне осмысленной в принципиальном плане (хотя и трудно осуществимой практически) в картине мира, основанной на классической механике. Однако с точки зрения современной физики эта возможность существует не всегда: в частности, ее нет в определенных ситуациях, с которыми имеет дело квантовая механика. Понятие целевой причины, важное для аристотелевского мышления, оказалось бессмысленным для европейской философии и науки XVII–XVIII веков и вновь вошло как важное в современную науку. Существуют ситуации, в которых бессмысленными оказываются и некоторые законы логики (исключенного третьего и даже запрета на противоречие), и отдельные аксиомы математики. В то же время следует подчеркнуть, что смена концептуальных рамок, задающих условия мыслимости и немыслимо-сти, не является чем-то произвольным, а определяется историческим развитием культуры и прогрессом научного знания.

Таким образом, не существует внеисторических псевдо-проблем. Мышление оказывается всецело историческим и культурным феноменом.

Исторически сущность мышления понималась в философии как «внутренняя» активность ума, как размышление «про себя». Рассуждение вслух или успешная практическая деятельность рассматривались только как внешнее выражение внутренней умственной деятельности. Для рационалистов мышление понималось как деятельность души, ее внутренний диалог, осуществляемый «в уме» на основе врожденных идей. Эмпирики считали, что деятельность «в уме» возможна на основе представлений как копий ощущений и посредством образов речевых высказываний. В XX веке рядом философских и психологических направлений подобное представление было подвергнуто резкой критике. Во-первых, к 20—30-м гг. XX века стало ясно, что мышление осуществляется в разных формах, а не только «в уме». Мышление может происходить на основе восприятия внешних предметов или специальных знаковых систем, данных субъекту внешним образом: в виде текста, в виде нарисованных на бумаге схем, чертежей и иных изображений. Мышление нередко предполагает реальную деятельность с этими схемами или же даже внешние действия с реальными предметами (так называемое сенсо-моторное мышление). Оно может осуществляться также в виде речевых высказываний («вслух») как отдельного человека, так и нескольких собеседников, размышляющих совместно. Вместе с тем мнение о существовании особого «внутреннего» мира сознания, принципиально отличного от деятельности человека во внешнем мире и от его взаимодействий с другими людьми, вызвало большие сомнения. Ибо неясно, каким образом могут восприниматься представления, размещенные во «внутренней галерее» сознания, и кто может воспринимать их и оперировать ими. В этой связи на основе работ позднего Витгенштейна Г. Райлом была сформулирована идея о том, что главными формами мышления являются именно внешние действия и размышления вслух, на основе языка. Иными словами, мышление — это прежде всего публичная деятельность. Что же касается «скрытого» мышления, то это не что иное, как диспозиции (возможности) будущих внешних действий и речевых высказываний. Мнение о существовании особого «внутреннего» мира мышления является мифом согласно Г. Райлу (Райл, 2000).