Теорія
Теорія - сукупність умовиводів, що описують дійсність і відображають існуючі відносини і зв'язки між явищами. В теорії кожне міркування виводиться з інших умовиводів, на основі деяких правил логічного виводу. Здатність прогнозувати - наслідок теоритических побудов. Теорії формулюються, розробляються і перевіряються у відповідності з науковим методом.
Існують і інші визначення: теорія - будь-яке умовивід, не залежно від об'єктивності цього умовиводу. В наслідок цього теорією часто називають різні гіпотетичні побудови, наприклад «теорія геосинклиналей», «теорія походження життя на Землі» та ін.
Теорія і експеримент
Зазвичай вважають, що стандартним методом перевірки теорій є пряма експериментальна перевірка. Однак, часто теорію не можна перевірити прямим експериментом (наприклад, теорію про виникнення життя на Землі), або така перевірка занадто складна або затратна (макроекономічні та соціальні теорії), і тому теорії часто перевіряються не прямим експериментом, а за наявності пророчої сили - тобто якщо з неї випливають невідомі або непомічені раніше події, і при пильному спостереженні ці події виявляються, то передбачувальна сила присутня.
Строго кажучи, взаємовідношення теорії і експерименту більш складне. Оскільки теорія відображає об'єктивні явища, раніше перевірені експериментом, то не можна робити подібні висновки. Водночас оскільки теорія будується на основі законів логіки, то можливі висновки про явища, не встановлених ранніми експериментами, які і перевіряються практикою. Однак, ці висновки необхідно вже називати гіпотезою, об'єктивність якої, тобто переклад цієї гіпотези в ранг теорії, і доводиться експериментом. У цьому випадку експеримент не перевіряє теорію, а уточнює чи розширює положення цієї теорії.
Еволюція теорій
При появі більш загальною, більш точної теорії стара теорія стає частиною або елементом цієї загальної теорії. Наприклад, класична механіка Ньютона є граничним наближенням більш загальних теорій: квантової та релятивістської механіки, а геометрія Евкліда разом з гіперболічної геометрії Лобачевского і еліптичної геометрії Рімана є окремими випадками більш загальної Ріманової геометрії.