Аналіз формалізованих мов логіки та арифметики

Формалізовані мови

Під формалізованими мовами у логіці розуміють інтерпретоване числення, тобто деяку формальну систему разом з її інтерпретацією. Використання формалізованих мов – характерна особливість математичної логіки, яку часто і визначають як «предмет формальної логіки, що вивчається за допомогою побудови формалізованих мов». Такого роду «визначення» зовсім не є невід'ємним атрибутом математичної логіки: поняття формалізованої мови не лише не входить (як правило) в наочні логіко-математичні мови, але не є, щиро кажучи, і елементом жодної конкретної метамови, а швидше є зручним робочим терміном для попередніх евристичних пояснень предмету цієї науки.

Література

• Черч А. [1] — т. 1,М. : ІЛ, 1960. Архівовано з джерела 1 травня 2013

Літ.: Черч А., Введення в математичну логіку, пер.(переклад) з англ.(англійський), т. 1, М., 1960, Введення (§§ 00–09).