- Заглавие: ФОРМАЛЬНАЯ ТЕОРИЯ И ЕЕ КРИТЕРИИ
- Год актуализации: 2017
- УДК: 10 Философия
- ББК: 87 Философия
- Тематики:
- ПЕДАГОГИКА И ОБРАЗОВАНИЕ. ОРГАНИЗАЦИЯ НАУКИ. МУЗЕЙНОЕ ДЕЛО. КОЛЛЕКЦИОНИРОВАНИЕ
- ФИЛОСОФИЯ
- Биб. карточка:
ФОРМАЛЬНАЯ ТЕОРИЯ И ЕЕ КРИТЕРИИ [Специальная и общая философия науки. Энц.словарь:Словарь / В.А.Канке-М.:НИЦ ИНФРА-М,2017.-630 с.(П)]
- Источник публикации: Специальная и общая философия науки: энциклопедический словарь
- Фрагмент статьи: ФОРМАЛЬНАЯ ТЕОРИЯ И ЕЕ КРИТЕРИИ. Формальной теорией называется концепция, представленная: 1) алфавитом символов и составленным из них выражений; 2) аксиомами (исходными концептами логической дедукции); 3) формулами (связями между переменными и константами); 4) правилами вывода, фиксирующими связь между аксиомами и формулами, а также между формулами [3]. Формула является теоремой, если она является конечным звеном логического вывода. В случае если не задаются либо аксиомы, либо правила вывода, формальная система является вырожденной. Важнейшими критериями формальной системы являются непротиворечивость, полнота, независимость аксиом, разрешимость, категоричность. Ни один из этих критериев не является абсолютным. Значение каждого из них интерпретируется посредством анализа содержания формальной системы. Обычно формальная
