Таким образом, современная логика была создана математиками для решения проблем, возникших в основаниях математики. Тем не менее достаточно скоро обнаружилось, что, во-первых, созданный математиками логический аппарат может найти применение не только в математике: многие философы попытались, и довольно успешно, по-новому взглянуть с его помощью на традиционные философские проблемы; затем он нашел довольно эффективное применение в информационных технологиях и кибернетике, в анализе естественного языка, во многих других сферах. Во-вторых, практически немедленно после его появления он сам стал предметом пристального внимания. Критическое обсуждение некоторых фундаментальных принципов новой логики уже в 1920-е гг. привело к тому, что начали формироваться различные направления неклассических логик, многие из которых не были связаны с проблемами обоснования математики. Поэтому не совсем правильно характеризовать современную логику как математическую логику, если под этим понимается не более чем один из разделов математики. Ее можно считать математической в смысле знаменитого афоризма, авторство которого приписывается П. С. Порецкому (1846–1907), автору первого в России лекционного курса по математической логике, согласно которому математическая логика, будучи «современной теорией правильного рассуждения», есть «логика по предмету и математика по методу».
1.3. ОБ ОСОБЕННОСТЯХ ФОРМАЛИЗОВАННЫХ ЯЗЫКОВ
Современные логические теории строятся на основе некоторого специально создаваемого для этих целей языка. Теория языка, даже если речь идет о формализованном языке логических теорий, строго говоря, не является разделом логики. Тем не менее, учитывая, что формализованный язык является необходимым условием для построения логической теории, мы не можем не уделить ему некоторого внимания.
Искусственные языки, используемые при построении логических теорий, называют формализованными, поскольку их