Формальная логика
Форма́льная логика
Наука о мышлении, предметом которой является исследование умозаключений и доказательств с точки зрения их формы и в отвлечении от их конкретного содержания. Ф. л. – базисная наука; её идеи и методы используются как в повседневной практике, например в качестве средства предотвращения логических ошибок, так и в особенности в теории для логического анализа научного знания. См. Логика.
Источник:
Большая советская энциклопедия
на Gufo.me
Значения в других словарях
- формальная логика — Наука об элементарных законах и формах правильного мышления Большой словарь иностранных слов
- ФОРМАЛЬНАЯ ЛОГИКА — ФОРМАЛЬНАЯ ЛОГИКА — см. Логика. Большой энциклопедический словарь