Философская энциклопедия - формальная система
Формальная система
ФОРМА́ЛЬНАЯ СИСТЕ́МА
неинтерпретированное исчисление, класс выражений (формул) к-рого задается обычно индуктивно – посредством задания исходных ("элементарных", или "атомарных") формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) – посредством задания системы аксиом и правил вывода (преобразования) теорем из аксиом и уже доказанных теорем. Термин "Ф. с." имеет многочисленные синонимы (иногда, впрочем, этими терминами обозначают родственные, но не совпадающие, понятия): формальная теория, формальная математика, формализм, формальное исчисление, абстрактное исчисление, синтаксическая система, аксиоматическая система, логистическая система, формальный язык, формальная логика, кодификат, дедуктивная система и др. См. Исчисление, Логика высказываний, Математическая логика, Натуральное исчисление, Предикатов исчисление, Формализованный язык.
Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.
.Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 2307 | |
2 | 2259 | |
3 | 1392 | |
4 | 1349 | |
5 | 754 | |
6 | 731 | |
7 | 685 | |
8 | 661 | |
9 | 634 | |
10 | 613 | |
11 | 613 | |
12 | 560 | |
13 | 554 | |
14 | 542 | |
15 | 536 | |
16 | 530 | |
17 | 520 | |
18 | 520 | |
19 | 514 | |
20 | 513 |