Данная статья относится к Категории: Методология науки «Ограничительные теоремы - теоремы, которые в отличие от неограничительных, сужают границы действенности теории. Проиллюстрируем сказанное на примере логики предикатов первого порядка. Чаще других среди «положительных» метатеорем логики предикатов называются следующие. Для логики предикатов существует независимость некоторого множества аксиом (теорема Дж. Маккинси). Классическое исчисление предикатов первого порядка семантически непротиворечиво, т...

Данная статья относится к Категории: Построение научных моделей «Динамические и феноменологические теории - два типа теорий. Феноменологические теории позволяют ответить на вопрос «Как происходят явления?» В рамках динамических теорий находят ответ также на вопрос «Почему явления происходят именно таким образом?» Для динамических теорий характерно, что они выявляют не только координационные, но и обусловливающие их субординационные связи. В физике динамические теории представляют механизмы взаимодействий...