Логическая форма

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

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

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

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

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

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

Рекомендуемая литература

Смирнова Е.Д. (1996) Логика и философия