ФОРМАЛЬНАЯ СИСТЕМА

неинтерпретированное исчисление, класс выражений (формул) к-рого задается обычно индуктивно – посредством задания исходных ("элементарных", или "атомарных") формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) – посредством задания системы аксиом и правил вывода (преобразования) теорем из аксиом и уже доказанных теорем. Термин "Ф. с." имеет многочисленные синонимы (иногда, впрочем, этими терминами обозначают родственные, но не совпадающие, понятия): формальная теория, формальная математика, формализм, формальное исчисление, абстрактное исчисление, синтаксическая система, аксиоматическая система, логистическая система, формальный язык, формальная логика, кодификат, дедуктивная система и др. См. Исчисление, Логика высказываний, Математическая логика, Натуральное исчисление, Предикатов исчисление, Формализованный язык.

Смотреть больше слов в «Философской Энциклопедии»

ФОРМАЛЬНАЯ СОЦИОЛОГИЯ →← ФОРМАЛЬНАЯ ЛОГИКА

Смотреть что такое ФОРМАЛЬНАЯ СИСТЕМА в других словарях:

ФОРМАЛЬНАЯ СИСТЕМА

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

ФОРМАЛЬНАЯ СИСТЕМА

ФОРМАЛЬНАЯ СИСТЕМА, неинтерпретированное исчисление, класс выражений (формул) к-рого задаётся обычно индуктивно - посредством задания исходных ("эле... смотреть

ФОРМАЛЬНАЯ СИСТЕМА

дедуктивная система,- в математич. логике неинтерпретированное исчисление, задаваемое правилами образования выражений этого исчисления и правилами пос... смотреть

ФОРМАЛЬНАЯ СИСТЕМА

ФОРМА́ЛЬНАЯ СИСТЕ́МА неинтерпретированное исчисление, класс выражений (формул) к-рого задается обычно индуктивно – посредством задания исходных ("эл... смотреть

ФОРМАЛЬНАЯ СИСТЕМА

форма́льна систе́ма

ФОРМАЛЬНАЯ СИСТЕМА

фармальная сістэма

T: 167