Большая Советская Энциклопедия (цитаты)

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

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

 


Для поиска, наберите искомое слово (или его часть) в поле поиска


Новости 18.04.2024 04:27:28