[Логика]
(от греч. logos Ч слово, понятие, рассуждение, разум), или: Формальная логика, аЧ наука о законах и операциях пранвильного мышления. Согласно основному принципу Л., пранвильность рассуждения (вывода) определяется только его логиченской формой, или структурой, и не зависит от конкретного содержания входящих в него утверждений. Различие между формой и содержанием может быть сделано явным с помощью особого язынка, или символики, оно относительно и зависит от выбора языка. Отличительная особенность правильного вывода в том, что от истинных посылок он всегда ведет к истинному заключению. Танкой вывод позволяет из имеющихся истин получать новые истинны с помощью чистого рассуждения, без обращения к опыту, интуиции и т. п. Неправильные выводы могут от истинных посынлок вести как к истинным, так и к ложным заключениям. Л. занимается не только связями высказываний в правильных выводах, но и многими иными проблемами: смыслом и значением выражений языка, различными отношениями между терминами (понятиями), операциями определения и логического деления поннятий, вероятностными и статистическими рассуждениями, панрадоксами и логическими ошибками и т. д. Но главные темы логинческих исследований - анализ правильности рассуждения, формулировка законов и принципов, соблюдение которых являетнся необходимым условием получения истинных заключений в процессе вывода. Правильным является, напр., рассуждение, следующее схеме: лЕсли есть первое, то есть и второе; есть первое, значит, есть и второе
