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

ЛОГИЧЕСКАЯ ФОРМА - способ связи составных частей содержания мысли в отличие от самого этого содержания, результат отвлечения от «материи» мысли, т.е. оттого, какие именно индивиды, свойства, отношения, классы, ситуации и т.п. являются предметами данной мысли.

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

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

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

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

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

Словарь философских терминов. Научная редакция профессора В.Г. Кузнецова. М., ИНФРА-М, 2007, с. 290-291.