В данном разделе представлены словари и энциклопедии по философии и
смежным отраслям знания, отражающие лучшие традиции энциклопедического дела в России и за рубежом. Вы также можете включиться в это дело,
став одним из авторов Открытой философской энциклопедии.
[Помощь]
металогика Изучение синтаксиса и семантики формализованных языков и формальных систем. Металогика связана с формальным рассмотрением естественных языков (напр., английского, русского и т.д.), однако такое рассмотрение не входит в круг ее непосредственных задач. Металогика привела к большому объему работы математического характера в аксиоматической теории множеств, теории моделей и теории рекурсии (которая изучает функции, вычислимые в конечной последовательности шагов).