Матеріал з Ukrainian Logical Encyclopedia

Тео́рія в логіці — (будь-яка) множина речень заданої формальної мови. Теорії, сформульовані у першопорядкових мовах, називаються елементарними.

Зміст 1 Термінологія 1.1 Порівняння з розмовним слововживанням 1.2 Термінологічні розходження в логічній літературі 2 Властивості теорій 3 Основні теореми про теорії 4 Примітки

Термінологія

Порівняння з розмовним слововживанням

У філософії, зокрема в методології, і в розмовній практиці під теорією «мають на увазі деяку логічно зв’язану систему, засновану на комплексі провідних ідей» (Смирнов)^[1].

Термінологічні розходження в логічній літературі

Ряд авторів воліють приймати вужче поняття теорії. Досі були запропоновані наступні звуження, за яких теорія трактується як

• несуперечлива (сумісна) множина речень формальної мови (Сакс);
• множина речень формальної мови, замкнена відносно якого-небудь відношення, а саме,
  • вивідності чи
  • випливання,
• або замкнена відносно алгебраїної операції замикання (Тарський).

В дійсності потреба в таких звуженнях не простежується: завжди вигідно мати якомога загальніше поняття, для якого звуження виступатимуть частинними випадками.

Властивості теорій

Основні теореми про теорії

Примітки

1. ↑ Смирнов В. А. Логические методы анализа научного знания. М.: Наука, 1987. – С. 23.