Формальная система

в языкознании, одно из средств строгого описания естественных языков. Один из разделов математической лингвистики (См. Математическая лингвистика) (см. Грамматика формальная). ..

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

см. Аксиоматический метод.. ..

(«Форма́льный ме́тод») в литературоведении, теоретическая концепция, утверждающая взгляд на художественную форму как категорию, определяющую специфику литературы и способную к саморазвитию. «Ф. М.» в определённой мере подготовлен Неокантианством. Как особое направление сложился на рубеже 19–20 вв. Первоначально как реакция на импрессионистическую критику и позитивистски окрашенные направления в литературоведении (См. Литературоведение) и искусствознании (например, Культурно-историческая школа в ..

дедуктивная система,- в математич. Логике неинтерпретированное исчисление, задаваемое правилами образования выражений этого исчисления и правилами построения выводов в этом исчислении. Выражения Ф. С. Рассматриваются как чисто формальные комбинации символов. Правила вывода определяют, в каких случаях одно формальное выражение Авыводится из других формальных выражений В 1, . ., В п. Если п=0. То Аназ. Аксиомой. Выводы представляют собой либо последовательности, либо древовидные фигуры, соста..