современная логика, следует сделать несколько замечаний о ее связях с другими науками. С момента своего возникновения логика была самым тесным образом связана с философией. В течение многих веков логика считалась, подобно этике, эстетике, психологии и др., одной из «философских наук». И только во второй половине XIX века формальная – к этому времени уже математическая – логика отпочковалась, как принято выражаться, от философии. Примерно в это же время от философии отделилась и стала самостоятельной научной дисциплиной и психология. Но если в психологии этот процесс был связан, прежде всего, с проникновением в нее опыта и эксперимента и сближением ее с другими эмпирическими науками, то в отделении формальной логики решающую роль сыграло проникновение в нее математических методов и сближение с математикой.
Самостоятельность, обретенная логикой, не означала, конечно, того, что она утратила всякую связь с философией. Просто в новую историческую эпоху прежняя связь приобрела другой характер. Взаимосвязь новой логики с философией не только не оборвалась, но, напротив, парадоксальным образом даже окрепла. Обращение к философии является необходимым условием прояснения формальной логикой своих оснований. С другой стороны, использование в философии понятий, методов и аппарата современной логики, несомненно, способствует более ясному пониманию самих философских понятий, принципов и проблем.
Тесная связь современной логики с математикой придает особую остроту вопросу о взаимных отношениях этих двух наук. Среди многих точек зрения, высказывавшихся по этому поводу, были и две крайние, ведущие, в общем-то, к тому же самому конечному результату – объединению математики и логики в единую научную дисциплину, сведению их в одну науку. Согласно Г. Фреге, Б. Расселу и их последователям математика и логика – это всего лишь две ступени в развитии той же самой науки. Математика может быть полностью сведена к логике, и такое чисто логическое обоснование математики позволит установить ее истинную и наиболее глубокую природу.
Этот подход к обоснованию математики получил название логицизма. Наиболее законченное изложение он нашел в изданном в 1910–1913 годах трехтомном труде «Principia Mathematica» написанном Б. Расселом совместно с А. Уайтхедом. Сторонники логицизма добились определенных успехов в прояснении основ математики. В частности, было показано, что математический словарь сводится к неожиданно краткому перечню основных понятий, которые принадлежат словарю чистой логики. Вся существующая математика была сведена к сравнительно простой и унифицированной системе исходных, принимаемых без доказательства положений, или аксиом, и правил вывода из них следствий, или теорем.
Однако в целом логицизм оказался утопической концепцией. «Математика не выводима из формальной логики, – подводит итог математик и логик Д. Бочвар, – ибо для построения математики необходимы аксиомы, устанавливающие факты из области объектов, и, прежде всего, –
