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

Матеріал з Вікіпедії — вільної енциклопедії.

Систе́ма форма́льна — сукупність символів та їхніх кінцевих послідовностей (формул), упорядкованих за певними правилами. Кожна С. ф. задається списком вихідних символів, правил побудови та перетворення формул (див. Числення). Прикладом С. ф. є формалізми логіч. теорій.

[ред.] Риси

Істотною рисою С. ф. є те, що операції над її виразами не передбачають іншого знання смислу знаків, крім того, який даний правилами перетворення. Замість терміна «система формальна» вживають ще «формалізм», «формальне числення», «неінтерпретоване числення», «синтаксична система».

[ред.] Значення

Побудова С. ф. має важливе пізнавальне значення. Вона є засобом логіч. аналізу наук. теорій, структурною основою формалізованих мов.

[ред.] Література

  • Філософський словник