Большая советсткая энциклопедия Форма (в логике)

Форма (в логике)

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