Словарь по логике

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