статей
пользователей
0

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