Формальный аксиоматический метод

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

неинтерпретированное Исчисление, класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) – посредством задания системы аксиом (См. Аксиома) и правил вывода (См. Правило вывода) (преобразования) теорем из аксиом и уже доказанных теорем. Термин «Ф. С.» имеет многочисленные синонимы (иногда, впрочем, этими терминами обозначают родственные, но ..

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

то же, что Формализованный язык. Иногда под термином «Ф. Я.» понимают также формальную систему (См. Формальная система).. ..