Хорошо известно, что в последние десятилетия математики разработали новые логические методы, вначале главным образом для решения своих собственных проблем, которые не могли быть решены с помощью традиционных методов. Развитая таким образом логика обнаружила свои преимущества и в других областях и вскоре, несомненно, вытеснит старые формы. Является ли эта логика мощным средством, которое в принципе позволит нам встать над всеми философскими конфликтами? Дает ли она нам общие правила, с помощью которых все традиционные проблемы философии могут быть решены, по крайней мере принципиально?
Если все дело только в этом, то я вряд ли вправе говорить о совершенно новой ситуации. Ибо здесь был бы только постепенный, как бы технический прогресс (как, например, в том случае, когда изобретение двигателя внутреннего сгорания в конце концов решило проблему полетов). Как бы высоко мы ни ценили новые методы, понятно, что ничего фундаментального нельзя достигнуть единственно с помощью развития метода. Поворот, следовательно, необходимо объяснять не логикой самой по себе, но чем-то совершенно другим. Конечно, он был вызван логикой и сделался возможным именно благодаря ей. Однако суть дела в чем-то гораздо более глубоком, а именно в вопросе о природе самой логики.
Довольно давно уже был высказан взгляд, что логическое в некотором смысле есть чисто формальное; это мнение часто повторялось, однако не было ясности относительно природы чистых форм. Ключ к пониманию их происхождения следует искать в том факте, что всякое познание есть выражение, или репрезентация. А именно познание выражает факт, который в познании познается. Это может случиться весьма по-разному, в рамках разных языков, с помощью любой произвольной системы знаков. Все эти возможные способы репрезентации — если они действительно выражают одно и то же знание — должны иметь что-то общее; и это общее в них есть их логическая форма.
Так что все знание является знанием лишь в силу его формы. Именно через форму оно репрезентирует познанный факт. Но саму форму нельзя в свою очередь репрезентировать. Она одна имеет отношение к познанию. Все остальное в выражении несущественно и случайно и не отличается, скажем, от чернил, с помощью которых мы записываем утверждения.
Это простое замечание имеет чрезвычайно важные последствия. Помимо всего прочего, оно позволяет нам избавиться от традиционных проблем “теории познания”. Исследования, касающиеся человеческой “способности к познанию”, если и поскольку они не становятся частью психологии, заменяются тогда соображениями, касающимися природы выражения, или репрезентации, т. е. всякого возможного “языка” в самом общем смысле этого слова. Вопросы об “истинности и границах познания” исчезают. Познаваемо все, что может быть выражено, и это является тем предметом, относительно которого можно задавать осмысленные вопросы. Не существует, следовательно, вопросов, на которые в принципе нельзя дать ответа, не существует проблем, которые не имеют решения. То, что принималось раньше за такие вопросы, суть не подлинные вопросы, а бессмысленные цепочки слов. Разумеется, внешне они выглядят как вопросы, поскольку удовлетворяют обычным правилам грамматики, но на самом деле состоят из пустых звуков, ибо нарушают более глубокие внутренние правила логического синтаксиса, обнаруженные с помощью новых способов анализа.
Если мы встречаемся с подлинной проблемой, то в теории всегда можно открыть путь, приводящий к ее решению. Ибо очевидно, что указание пути решения совпадает с указанием смысла этой проблемы. Практическое следование по этому пути может, конечно, затрудняться обстоятельствами фактического порядка, — например, недостатком человеческих способностей. Акт верификации, к которому, в конце концов, приводит путь решения, всегда одинаков: это некий определенный факт, который подтвержден наблюдением и непосредственным опытом. Таким способом определяется истинность (или ложность) каждого утверждения — в обыденной жизни или в науке. И не существует других способов проверки и подтверждения истин, кроме наблюдения и эмпирической науки. Всякая наука (если и поскольку мы понимаем под этим словом содержание, а не человеческие приспособления для его открытия) есть система познавательных предложений, т. е. истинных утверждений опыта. И все науки в целом, включая и утверждения обыденной жизни, есть система познавании. Не существует (в добавлении к этому) какой-то области “философских” истин. Философия не является системой утверждений; это не наука.