Образовательные процессы и ресурсы высшей школы в области радиоэлектроники

Формальная логика. Формальная (традиционная) логика начала формироваться в IV веке до н. э. и завершила его в конце XIX – начале XX века, когда стала развиваться современная (математическая, символическая) логика. Формальная логика – наука, занимающаяся анализом высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность логики в подходе к изучаемым объектам и отграничить её от других возможных логик.

В основе формальной логики лежат аксиоматический и дедуктивный метод. Он даёт возможность выведения множества теорий, в том числе противоположно описывающих объект в связи с разными аксиомами (как геометрии Евклида и Лобачевского).

Формальная или традиционная логика изучала правильное мышление, опираясь в основном на естественный язык, не являющийся вполне адекватным для этой цели из-за своей многозначности, аморфности правил построения выражений и придания им значений. Современная логика использует специально сконструированные (формализованные) языки, призванные следовать за логической формой и воспроизводить ее даже в ущерб краткости и легкости общения. Введение особого языка означает и принятие особой теории логического анализа. Современная логика не только совпадает по своим целям с традиционной (формальной), но и включает в свой состав все позитивное, что ею было достигнуто в изучении правильного мышления.

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

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

Сфера приложений современной логики в изучении систем научного знания непрерывно расширяется. Современная логика явилась основой для формирования широкой концепции логики научного познания (логики науки), занимающейся применением идей, методов и аппарата логики к анализу не только дедуктивных, но и всех иных систем научного знания. В современной логике логические процессы изучаются путем их отображения в формализованных языках или логических исчислениях. Построение исчисления отличается тщательностью, с которой формулируются его синтаксические и семантические правила, отсутствием исключений, характерных для естественного языка. Исследованием формального строения логических исчислений, правил образования и преобразования входящих в них выражений занимается логический синтаксис. Отношения между исчислениями и содержательными областями, служащими их интерпретациями или моделями, исследуются логической семантикой.