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