Для правильного понимания предмета и задач формальной логики важно четко представлять ее соотношение с диалектической логикой. Диалектика как логика исследует становление и развитие понятий и представлений, их отношения, переходы, противоречия. Диалектические принципы историзма, конкретности истины, единства абстрактного и конкретного, практики как критерия истины и т. д. направлены на познание закономерностей мышления, взятого в его движении и развитии, в последовательном постижении реальности. Формальная логика главное внимание направляет на прояснение структуры готового знания, на описание его формальных связей и элементов. Диалектическая и формальная логики – две разные науки, различающиеся как предметами своего исследования, так и методами.
Логика науки и современная логика. Понятие «современная логика» обозначает нынешний этап в развитии (формальной) логики, начавшийся во второй половине XIX века – начале XX века. В качестве других имен этого этапа в развитии логики используются также термины математическая логика и символическая логика. Определение «математическая» подчеркивает сходство современной логики по используемым методам с математикой. Определение «символическая» указывает на употребление в современной логике специально созданных для целей логического анализа формализованных языков, являющихся так сказать «насквозь символическими». Определением «современная» новый этап противопоставляется традиционной логике, отличительной чертой которой было то, что она пользовалась при описании правильных способов рассуждения обычным, или естественным, языком, дополненным немногими специальными символами. Традиционная логика и современная логика не являются разными научными дисциплинами, а представляют собой два последовательных периода в развитии одной и той же науки. Основное содержание традиционной логики вошло в современную логику, хотя многое при этом оказалось переосмысленным.
Сфера приложений современной логики в изучении систем научного знания непрерывно расширяется. Современная логика явилась основой для формирования широкой концепции логики научного познания (логики науки), занимающейся применением идей, методов и аппарата логики к анализу не только дедуктивных, но и всех иных систем научного знания. В современной логике логические