В качестве ориентира при ответе на вопрос о том, какие научные суждения содержат подобные проблемы, старое кантовское деление суждений на аналитические и синтетические, а последних – на синтетические суждения apriori и aposteriori, мне кажется, все еще трудно обойтись без него. Это деление иногда называли произвольным и поспешным, но при этом упускали из виду, что суждением являются не слова, а мысли. Действительно, данное предложение, в зависимости от определения встречающихся в нем слов, может означать аналитическое или синтетическое суждение; но то, что человек, высказывающий суждение, имеет в виду под предложением, всегда является либо выделением и подчеркиванием характеристики, уже содержащейся в определении предмета-понятия, либо фактическим сочетанием нескольких характеристик или групп характеристик, еще не содержащихся друг в друге. В первом случае суждение является аналитическим^, которое, поскольку оно в основном относится только к использованию языка, не требует дальнейшего объяснения или обоснования; во втором – синтетическим, но тогда оно требует столь же незначительного объяснения или обоснования, если это синтетическое суждение aposteriori, т.е. если оно только констатирует то, что дано в опыте. Если же существуют синтетические суждения a priori, доказательства которых, следовательно, могут быть обоснованы так же мало из понятий, как и из опыта, то, очевидно, следует задать вопрос, откуда берутся доказательства для этих суждений и можно ли считать их надежными. Таким образом, синтетические суждения a priori составляют реальный объект исследования эпистемологии.
Действительно, по крайней мере при поверхностном наблюдении кажется, что такие синтетические суждения априори встречаются во всех науках и даже занимают центральное место. Даже когда мы применяем законы логики к реальности, то есть предполагаем, что вывод, вытекающий из правильных предпосылок, сам должен быть правильным, мы как бы предполагаем гармонию между законами мышления и миром, которая, с одной стороны, явно выходит за рамки абстрактного понятия последнего, а с другой стороны, благодаря своей безусловной всеобщности, выходит за пределы доступного нам опыта до бесконечности. Аналогичная ситуация складывается в арифметике, где, согласно Канту, даже простейшая формула сложения приравнивает друг к другу два числовых