Значение ФОРМА (В ЛОГИКЕ) в Большой советской энциклопедии, БСЭ

ФОРМА (В ЛОГИКЕ)

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

Большая советская энциклопедия, БСЭ.