Форма (в логике)
 
а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я
 

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

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