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

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

Указанное интуитивное понятие логической формы получает в современной логике (см. Логика) серьёзные уточнения. Считается, что анализ формы концептуальных образований (понятий, суждений, рассуждений и тому подобные) не может осуществляться вне языка и существенным образом зависит от выбора языковых средств. Предполагается, что мысленные конструкции адекватно оформлены в виде осмысленных выражений естественного языка. Для фиксации их логической формы используют особые искусственные языки логики, которые, во-первых, должны иметь точный синтаксис, то есть точно заданные алфавит и правила образования сложных выражений, и, во-вторых, основываться на определённой системе семантических категорий с чётким подразделением исходных символов на логические и нелогические, указанием типов возможных значений для различных сортов нелогических символов, фиксацией значений логических символов и формулировкой точных семантических правил установления значений сложных выражений.

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

Логическую форму не следует трактовать как нечто раз и навсегда данное, как атрибут, присущий мысли самой по себе. Её исследование во многом обусловлено категориальными особенностями искусственного языка, его выразительными возможностями, принимаемым способом членения сложных выражений на составляющие. Анализ логической формы может иметь различную степень глубины. Так, при выражении формы естественно-языковых контекстов в языке логики высказываний (см. Логика высказываний) производится замещение простых высказываний параметрами соответствующего типа — пропозициональными переменными, тем самым внутренняя структура простых высказываний игнорируется. Выразительные средства языков силлогистики (см. Силлогистика) и логики предикатов (см. Логика предикатов) позволяют учесть внутреннюю структуру; процедуре замещения подвергаются здесь не простые высказывания целиком, а дескриптивные термины в их составе. Однако эти языки базируются на разных системах семантических категорий (в обычной силлогистике имеется лишь один тип нелогических терминов — общие термины, знаки классов, в то время как в логике предикатов содержатся параметры для знаков индивидов, свойств, отношений и предметных функций), поэтому между ними имеется существенное различие в характере и глубине воспроизведения логической формы. Так, форма высказывания «Все планеты вращаются вокруг Солнца» в силлогистическом языке может быть выражена формулой S a P («Всякий S есть P»), где параметрами S и P замещены общие термины «планета» и «тело, вращающееся вокруг Солнца», а само высказывание рассматривается как атрибутивное. В языке логики предикатов имеется возможность передать реляционный характер данного высказывания, выразив его логическую форму посредством формулы ∀x (Q¹ (x) ⊃ R² (x, a)), где параметр Q¹ соответствует знаку свойства «быть планетой», R² — знаку отношения «вращается вокруг», a — имени «Солнце».

Уточнение понятия логической формы в рамках теории семантических категорий содержится, в частности, в работе Е. Д. Смирновой «Формализованные языки и проблемы логической семантики» (1982), в которой различаются понятия логической формы первого уровня, являющейся результатом замещения примитивных знаков в составе выражения индексами соответствующих категорий и способной быть представленной в виде графа, и логической формы второго уровня, представленной в виде обобщённого дерева, которое содержит информацию о тождестве и различии дескриптивных составляющих и о значении логических констант.

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