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