Традиционные спорные вопросы, связанные с отграничением логики, таковы:

1. Представляет ли собой логика теоретическую или практическую дисциплину («техническое учение»)?

2. Является ли она наукой, независимой от других наук, в частности от психологии или метафизики?

3. Есть ли она формальная дисциплина или, как принято выражаться, имеет ли она дело «только с формой познания» или же должна считаться также с его «материей»?

4. Имеет ли она характер априорной и демонстративной дисциплины или же дисциплины эмпирической и индуктивной?

Все эти спорные вопросы так тесно связаны между собой, что позиция, занятая по одному из них, обуславливает, по крайней мере до известной степени, позицию по другим вопросам или фактически влияет на нее Направлений тут, собственно говоря, всего два. Логика есть теоретическая, независимая от психологии, вместе с тем формальная и демонстративная дисциплина – говорят одни. Другие считают ее техническим учением, зависящим от психологии, чем естественно исключается понимание ее как формальной и демонстративной дисциплины в смысле арифметики, которая имеет образцовое значение для противоположного направления.

Наша задача – не столько разбираться в этих традиционных разногласиях, сколько выяснить отражающиеся в них принципиальные различия и, в конечном счете, определить существенные цели чистой логики. Поэтому мы будем придерживаться следующего пути: мы возьмем исходной точкой почти общепринятое в настоящее время определение логики как технического учения и зафиксируем его смысл и правомерность. Сюда примыкает, естественно, вопрос о теоретических основаниях этой дисциплины и, в особенности, об отношении ее к психологии. По существу этот вопрос совпадает, если не целиком, то в главной своей части, с кардинальным вопросом теории познания, касающимся объективности познания. Результатом нашего соответствующего исследования является выделение новой и чисто теоретической науки, которая образует важнейшую основу всякого технического учения о научном познании и носит характер априорной и чисто демонстративной науки. Это и есть та наука, которую имели в виду Кант и другие представители «формальной» или «чистой» логики, но которую они неправильно понимали и определяли со стороны ее содержания и объема. Конечным итогом этих размышлений служит ясно намеченная идея о существенном содержании спорной дисциплины, чем непосредственно определяется ясная позиция в отношении поставленных здесь спорных вопросов.

Из повседневного опыта мы знаем, что художник, искусно обрабатывая свой материал или высказывая решительные и зачастую верные суждения о ценности произведений своего искусства, лишь в исключительных случаях исходит из теоретического знания законов, предписывающих ходу практической деятельности ее направление и порядок и вместе с тем определяющих мерила ценности, согласно которым испытывается совершенство или несовершенство законченного произведения. Художник-творец по большей части не способен дать нам надлежащие сведения о принципах своего искусства. Он творит не на основании принципов, и не в соответствии с принципами оценивает. В своем творчестве художник следует внутреннему побуждению своих гармонически развитых сил, в суждении – своему тонко развитому художественному такту и чутью. Но так обстоит дело не только в изящных искусствах – мысль о которых напрашивается здесь прежде всего, – но и в искусствах вообще, беря это слово в самом обширном его значении. Это применимо, следовательно, также к научному творчеству и к теоретической оценке его результатов, научному обоснованию фактов, законов, теорий. Даже математик, физик и астроном для выполнения даже наиболее значительных своих научных работ также не нуждается в постижении последних основ своей деятельности. И хотя полученные результаты обладают для него и других значением разумного убеждения, он все же не может утверждать, что всюду выяснил последние предпосылки своих умозаключений и исследовал принципы, на которых основывается убедительность его методов. Но с этим связано несовершенное состояние всех наук. Мы говорим здесь не о простой неполноте научного познания истин данной области, а о недостатке внутренней ясности и рациональности, – качеств, которых мы вправе требовать независимо от степени развития науки. В этом отношении и математика, обогнавшая все науки, не может притязать на исключительное положение. Нередко она все еще считается идеалом науки вообще; но насколько ее действительное состояние не соответствует этому мнению, показывают старые и все еще однозначно не решенные споры об основах геометрии и правомерных основаниях метода мнимых величин. Те самые исследователи, которые с неподражаемым мастерством применяют замечательные методы математики и изобретают новые методы, часто оказываются совершенно не в состоянии дать удовлетворительный ответ о логической основательности этих методов и о пределах их правомерного применения. Но хотя науки развивались, несмотря на эти недостатки, и дали нам такое господство над природой, о котором прежде нельзя было и мечтать, все же они не могут удовлетворить нас в теоретическом отношении. Это – не кристально ясные теории, в которых были бы вполне понятны функции всех понятий и утверждений, все посылки – точно проанализированы и где, следовательно, общий результат стоял бы вне всяких теоретических сомнений.