178461.fb2 Большая Советская Энциклопедия (ФО) - читать онлайн бесплатно полную версию книги . Страница 214

Большая Советская Энциклопедия (ФО) - читать онлайн бесплатно полную версию книги . Страница 214

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

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