Большая советсткая энциклопедия Формальная логика
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я

Формальная логика

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

Следующие

Формальная система, неинтерпретированное исчисление, класс выражений (формул) которого задаётся обычно индуктивно – посредством … читать дальше



"Формальный метод" в литературоведении, теоретическая концепция, утверждающая взгляд на художественную форму как катег… читать дальше



Формальный язык, то же, что формализованный язык. Иногда под термином "Ф. я." понимают также формальную систему.… читать дальше