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