Система формальна
Матеріал з Вікіпедії — вільної енциклопедії.
Систе́ма форма́льна — сукупність символів та їхніх кінцевих послідовностей (формул), упорядкованих за певними правилами. Кожна С. ф. задається списком вихідних символів, правил побудови та перетворення формул (див. Числення). Прикладом С. ф. є формалізми логіч. теорій.
[ред.] Риси
Істотною рисою С. ф. є те, що операції над її виразами не передбачають іншого знання смислу знаків, крім того, який даний правилами перетворення. Замість терміна «система формальна» вживають ще «формалізм», «формальне числення», «неінтерпретоване числення», «синтаксична система».
[ред.] Значення
Побудова С. ф. має важливе пізнавальне значення. Вона є засобом логіч. аналізу наук. теорій, структурною основою формалізованих мов.
[ред.] Література
- Філософський словник

