Современная логика тесно связана также с кибернетикой — наукой о закономерностях управления процессами и системами в любых областях: в технике, в живых организмах, в обществе. Основоположник кибернетики американский математик Н. Винер не без оснований подчеркивал, что само возникновение кибернетики было бы немыслимо без математической логики. Автоматика и электронно-вычислительная техника, применяемые в кибернетике, были бы невозможны без использования алгебры логики — этого исторически первого раздела современной логики. В управляющих схемах, применяемых в кибернетике, значительное место занимают релейно-контактные схемы, моделирующие логические операции. Описание таких операций, даваемое логикой, способствует детальному анализу логического строения мысли и открывает поразительные перспективы автоматизации логических процессов, богатые возможности использовать для их осуществления автоматические машины. «Математическая логика, — заключает советский математик Г. Поваров, — является необходимым инструментом для машинизации умственного труда».
Современная логика находит широкие приложения не только в кибернетике, но и во многих других областях науки и техники. Очерчивая эти приложения, американский логик Э. Беркли пишет: «Математическая логика используется при исследовании правил, условий и договоров, при проектировании электрических схем для вычислительных машин, телефонных систем и регулирующих устройств, при программировании автоматических вычислительных машин и вообще при описании и проектировании многих типов схем и механизмов».
Столь широкие технические приложения современной логики покажутся особенно впечатляющими, если вспомнить, что еще лет 40 тому назад она казалась большинству весьма абстрактной математической дисциплиной, далекой от практического применения.
Еще одна тема, важная для правильного понимания современной логики, — связь формальной и диалектической логик.
Как известно, материалистическая диалектика является наукой о наиболее общих законах развития природы, общества и человеческого мышления. Творцами диалектики как науки были К. Маркс и Ф. Энгельс. До марксизма диалектика энергично разрабатывалась в рамках немецкой философии XVIII–XIX веков. Была раскрыта диалектическая природа мышления, однако само мышление считалось при этом первоначалом бытия. Полнее и глубже всего такая диалектика на идеалистической основе была развита Г. Гегелем. Критически переработав эту диалектику, К. Маркс освободил ее от идеализма и элементов мистицизма. Мышление из творца действительности превратилось в отображение реального движения в природе и обществе. Диалектика приобрела материалистический, научный характер.
