Теория — это рациональный тип абстрактного мышления о явлении или результатах такого мышления. Процесс созерцательного и рационального мышления часто ассоциируется с такими процессами, как наблюдательное изучение или исследование. Теории могут быть научными , принадлежать к ненаучной дисциплине или вообще не принадлежать к какой-либо дисциплине. В зависимости от контекста утверждения теории могут, например, включать обобщенные объяснения того, как работает природа . Слово имеет свои корни в древнегреческом языке , но в современном использовании оно приобрело несколько связанных значений.
В современной науке термин «теория» относится к научным теориям , хорошо подтвержденному типу объяснения природы , созданному в соответствии с научным методом и отвечающему критериям, требуемым современной наукой . Такие теории описываются таким образом, что научные проверки должны быть способны предоставить им эмпирическую поддержку или эмпирическое противоречие (« фальсифицировать »). Научные теории являются наиболее надежной, строгой и всеобъемлющей формой научного знания, [1] в отличие от более распространенных случаев использования слова «теория», которые подразумевают, что что-то является недоказанным или спекулятивным (что в формальных терминах лучше характеризуется словом гипотеза ). [2] Научные теории отличаются от гипотез, которые являются отдельными эмпирически проверяемыми предположениями , и от научных законов , которые являются описательными описаниями того, как природа ведет себя в определенных условиях.
Теории направляют деятельность по поиску фактов, а не достижению целей, и нейтральны относительно альтернатив среди ценностей. [3] : 131 Теория может быть совокупностью знаний , которая может быть связана или не связана с определенными объяснительными моделями . Теоретизировать — значит развивать эту совокупность знаний. [4] : 46
Слово «теория» или «в теории» иногда используется вне науки для обозначения чего-то, что говорящий не испытывал или не проверял ранее. [5] В науке эта же концепция называется гипотезой , а слово «гипотетически» используется как внутри, так и вне науки. В своем использовании вне науки слово «теория» очень часто противопоставляется « практике » (от греческого praxis , πρᾶξις), греческому термину для обозначения действия , что противопоставляется теории. [6] «Классический пример» различия между «теоретическим» и «практическим» использует дисциплину медицины: медицинская теория включает в себя попытку понять причины и природу здоровья и болезни, в то время как практическая сторона медицины пытается сделать людей здоровыми. Эти две вещи связаны, но могут быть независимыми, потому что можно исследовать здоровье и болезнь, не излечивая конкретных пациентов, и можно вылечить пациента, не зная, как сработало лекарство. [a]
Английское слово «theory» происходит от технического термина в философии в древнегреческом языке . Как повседневное слово «theoria» , θεωρία , означало «смотреть на, рассматривать, созерцать», но в более технических контекстах оно стало обозначать созерцательное или спекулятивное понимание природных вещей , например, понимание естественных философов , в отличие от более практических способов познания вещей, например, у искусных ораторов или ремесленников. [b] Англоговорящие люди использовали слово «theory» по крайней мере с конца XVI века. [7] Современное использование слова «theory» происходит от первоначального определения, но приобрело новые оттенки значения, по-прежнему основанные на идее теории как продуманного и рационального объяснения общей природы вещей.
Хотя в греческом языке оно имеет более обыденные значения, слово θεωρία , по-видимому, получило особое применение в ранние годы письменной истории греческого языка . В книге «От религии к философии » Фрэнсис Корнфорд предполагает, что орфики использовали слово theoria для обозначения «страстного сочувственного созерцания». [8] Пифагор изменил слово, чтобы оно означало «бесстрастное созерцание рациональной, неизменной истины» математического знания, поскольку он считал это интеллектуальное стремление способом достижения высшего уровня существования. [9] Пифагор подчеркивал необходимость подавления эмоций и телесных желаний, чтобы помочь интеллекту функционировать на высшем уровне теории. Таким образом, именно Пифагор придал слову теория особое значение, которое привело к классической и современной концепции различия между теорией (как невовлеченным, нейтральным мышлением) и практикой. [10]
Терминология Аристотеля, как уже упоминалось, противопоставляет теорию практике или практике, и этот контраст существует и по сей день. Для Аристотеля и практика, и теория подразумевают мышление, но цели различны. Теоретическое созерцание рассматривает вещи, которые люди не двигают и не изменяют, такие как природа , поэтому у него нет человеческой цели, кроме себя и знания, которое оно помогает создать. С другой стороны, практика подразумевает мышление, но всегда с целью желаемых действий, посредством которых люди сами вызывают изменение или движение для своих собственных целей. Любое человеческое движение, которое не влечет за собой осознанного выбора и мышления, не может быть примером практики или действия. [c]
Теории являются аналитическими инструментами для понимания , объяснения и составления прогнозов относительно данного предмета. Теории существуют во многих и разнообразных областях изучения, включая искусство и науку. Формальная теория является синтаксической по своей природе и имеет смысл только тогда, когда ей дан семантический компонент путем применения его к некоторому содержанию (например, фактам и отношениям реального исторического мира по мере его развертывания). Теории в различных областях изучения часто выражаются на естественном языке , но могут быть построены таким образом, что их общая форма идентична теории, как она выражена на формальном языке математической логики . Теории могут быть выражены математически, символически или на обычном языке, но, как правило, от них ожидается, что они будут следовать принципам рационального мышления или логики .
Теория состоит из набора предложений , которые считаются истинными утверждениями о рассматриваемом предмете. Однако истинность любого из этих утверждений всегда относительна ко всей теории. Следовательно, одно и то же утверждение может быть истинным относительно одной теории и не истинным относительно другой. Это происходит на обычном языке, когда утверждения типа «Он ужасный человек» не могут быть оценены как истинные или ложные без ссылки на некоторую интерпретацию того, кем «Он» является, и, если на то пошло, что такое «ужасный человек» в теории. [11]
Иногда две теории имеют совершенно одинаковую объяснительную силу , поскольку они делают одинаковые предсказания. Пара таких теорий называется неразличимой или наблюдательно эквивалентной , и выбор между ними сводится к удобству или философскому предпочтению. [ необходима цитата ]
Форма теорий изучается формально в математической логике, особенно в теории моделей . Когда теории изучаются в математике, они обычно выражаются на некотором формальном языке, и их утверждения закрываются при применении определенных процедур, называемых правилами вывода . Частный случай этого, аксиоматическая теория, состоит из аксиом (или схем аксиом) и правил вывода. Теорема — это утверждение, которое может быть выведено из этих аксиом путем применения этих правил вывода. Теории, используемые в приложениях, являются абстракциями наблюдаемых явлений, а полученные теоремы предоставляют решения реальных проблем. Очевидные примеры включают арифметику (абстрагирование понятий числа), геометрию (понятия пространства) и вероятность (понятия случайности и правдоподобия).
Теорема Гёделя о неполноте показывает, что никакая последовательная, рекурсивно перечислимая теория (то есть такая, теоремы которой образуют рекурсивно перечислимое множество), в которой может быть выражена концепция натуральных чисел , не может включать все истинные утверждения о них. В результате некоторые области знаний не могут быть формализованы точно и полностью как математические теории. (Здесь точная и полная формализация означает, что все истинные предложения — и только истинные предложения — выводимы в рамках математической системы.) Это ограничение, однако, никоим образом не препятствует построению математических теорий, формализующих большие массивы научных знаний.
Теория недоопределена (также называется неопределенностью данных относительно теории ), если конкурирующая, противоречивая теория по крайней мере так же согласуется с доказательствами. Недоопределенность — это эпистемологическая проблема, касающаяся отношения доказательств к выводам. [ необходима цитата ]
Теорию, не имеющую подтверждающих доказательств, обычно правильнее называть гипотезой . [ 12]
Если новая теория лучше объясняет и предсказывает явление, чем старая теория (т. е. она имеет большую объяснительную силу ), мы имеем полное право полагать, что новая теория описывает реальность более правильно. Это называется интертеоретической редукцией , потому что термины старой теории могут быть сведены к терминам новой. Например, наше историческое понимание звука , света и тепла было сведено к волновым сжатиям и разрежениям , электромагнитным волнам и молекулярной кинетической энергии соответственно. Эти термины, которые отождествляются друг с другом, называются интертеоретической тождественностью. Когда старая и новая теории параллельны таким образом, мы можем заключить, что новая описывает ту же реальность, только более полно.
Когда новая теория использует новые термины, которые не сводятся к терминам старой теории, а заменяют их, поскольку они искажают реальность, это называется интертеоретической элиминацией. Например, устаревшая научная теория , которая выдвинула понимание теплопередачи с точки зрения движения теплородной жидкости, была элиминирована, когда ее заменила теория тепла как энергии. Кроме того, теория о том, что флогистон — это вещество, выделяющееся из горящего и ржавеющего материала, была элиминирована с новым пониманием реакционной способности кислорода.
Теории отличаются от теорем . Теорема выводится дедуктивно из аксиом (основных предположений) в соответствии с формальной системой правил, иногда как самоцель, а иногда как первый шаг к проверке или применению в конкретной ситуации; теоремы считаются истинными в том смысле, что выводы теоремы являются логическими следствиями аксиом. Теории абстрактны и концептуальны и поддерживаются или оспариваются наблюдениями в мире. Они « строго предварительные», что означает, что они предлагаются как истинные и, как ожидается, удовлетворят тщательному изучению для учета возможности ошибочного вывода или неверного наблюдения. Иногда теории неверны, что означает, что явный набор наблюдений противоречит некоторому фундаментальному возражению или применению теории, но чаще теории корректируются, чтобы соответствовать новым наблюдениям, ограничивая класс явлений, к которым применяется теория, или изменяя сделанные утверждения. Примером первого является ограничение классической механики явлениями, включающими макроскопические масштабы длины и скорости частиц, намного меньшие скорости света.
Теорию часто отличают от практики или praxis. Вопрос о том, являются ли теоретические модели работы релевантными самой работе, представляет интерес для ученых таких профессий, как медицина, инженерия, юриспруденция и менеджмент. [13] : 802
Разрыв между теорией и практикой был сформулирован как передача знаний , где есть задача перевода исследовательских знаний для их применения на практике и обеспечения того, чтобы практики были осведомлены об этом. Академики подвергались критике за то, что не пытались передавать знания, которые они производят, практикам. [13] : 804 [14] Другая интерпретация предполагает, что теория и знание стремятся понять разные проблемы и смоделировать мир разными словами (используя разные онтологии и эпистемологии ). Другая интерпретация говорит, что исследования не создают теорию, которая была бы релевантна практике. [13] : 803
В контексте управления Ван де Ван и Джонсон предлагают форму вовлеченной научной работы , в которой ученые изучают проблемы, возникающие на практике, в междисциплинарной манере, получая результаты, которые создают как новые практические результаты, так и новые теоретические модели, но нацеленные на теоретические результаты, которыми обмениваются в академической манере. [13] : 815 Они используют метафору «арбитраж» идей между дисциплинами, отличая ее от сотрудничества. [13] : 803
В науке термин «теория» относится к «хорошо обоснованному объяснению какого-либо аспекта естественного мира, основанному на совокупности фактов, которые были неоднократно подтверждены посредством наблюдения и эксперимента». [15] [16] Теории также должны соответствовать дополнительным требованиям, таким как способность делать фальсифицируемые предсказания с постоянной точностью в широкой области научного исследования и предоставление веских доказательств в пользу теории из нескольких независимых источников ( согласованность ).
Сила научной теории связана с разнообразием явлений, которые она может объяснить, что измеряется ее способностью делать фальсифицируемые предсказания относительно этих явлений. Теории совершенствуются (или заменяются лучшими теориями) по мере сбора большего количества доказательств, так что точность предсказаний улучшается с течением времени; эта возросшая точность соответствует росту научных знаний. Ученые используют теории в качестве основы для получения дальнейших научных знаний, а также для достижения таких целей, как изобретение технологий или лечение болезней.
Национальная академия наук США определяет научные теории следующим образом:
Формальное научное определение «теории» весьма отличается от повседневного значения этого слова. Оно относится к всеобъемлющему объяснению некоторого аспекта природы, которое поддерживается огромным количеством доказательств. Многие научные теории настолько хорошо известны, что никакие новые доказательства вряд ли смогут их существенно изменить. Например, никакие новые доказательства не покажут, что Земля не вращается вокруг Солнца (гелиоцентрическая теория), или что живые существа не состоят из клеток (клеточная теория), что материя не состоит из атомов, или что поверхность Земли не разделена на твердые плиты, которые перемещались в течение геологических временных масштабов (теория тектоники плит)... Одним из самых полезных свойств научных теорий является то, что их можно использовать для прогнозирования природных событий или явлений, которые еще не наблюдались. [17]
От Американской ассоциации содействия развитию науки :
Научная теория — это хорошо обоснованное объяснение некоторого аспекта естественного мира, основанное на совокупности фактов, которые были неоднократно подтверждены посредством наблюдения и эксперимента. Такие теории, подкрепленные фактами, являются не «догадками», а надежными описаниями реального мира. Теория биологической эволюции — это больше, чем «просто теория». Это такое же фактическое объяснение вселенной, как атомная теория материи или микробная теория болезней. Наше понимание гравитации все еще находится в стадии разработки. Но явление гравитации, как и эволюция, является признанным фактом. [16]
Термин «теория» не подходит для описания научных моделей или непроверенных, но сложных гипотез.
Логические позитивисты считали научные теории дедуктивными — что содержание теории основано на некоторой формальной системе логики и на основных аксиомах . В дедуктивной теории любое предложение, которое является логическим следствием одной или нескольких аксиом, также является предложением этой теории. [11] Это называется общепринятым взглядом на теории .
В семантическом представлении о теориях , которое в значительной степени заменило общепринятое представление, [18] [19] теории рассматриваются как научные модели . Модель — это логическая структура, предназначенная для представления реальности («модель реальности»), подобно тому, как карта является графической моделью, представляющей территорию города или страны. В этом подходе теории — это особая категория моделей, которые соответствуют необходимым критериям. (См. Теории как модели для дальнейшего обсуждения.)
В физике термин «теория» обычно используется для математической структуры, выведенной из небольшого набора основных постулатов (обычно симметрии, например, равенства положений в пространстве или во времени, или идентичности электронов и т. д.), которая способна производить экспериментальные предсказания для данной категории физических систем. Хорошим примером является классический электромагнетизм , который охватывает результаты, выведенные из калибровочной симметрии (иногда называемой калибровочной инвариантностью) в форме нескольких уравнений, называемых уравнениями Максвелла . Конкретные математические аспекты классической электромагнитной теории называются «законами электромагнетизма», что отражает уровень последовательных и воспроизводимых доказательств, которые их поддерживают. В электромагнитной теории в целом существует множество гипотез о том, как электромагнетизм применяется к конкретным ситуациям. Многие из этих гипотез уже считаются адекватно проверенными, а новые гипотезы постоянно находятся в процессе создания и, возможно, не проверены.
Некоторые тесты могут быть неосуществимыми или технически сложными. В результате теории могут делать предсказания, которые не были подтверждены или оказались неверными. Эти предсказания могут быть неформально описаны как «теоретические». Их можно проверить позже, и если они окажутся неверными, это может привести к пересмотру, аннулированию или отклонению теории. [20]
В математике термин «теория» используется иначе, чем в науке ─ это необходимо, поскольку математика не содержит объяснений природных явлений как таковых , хотя она может помочь пролить свет на естественные системы или вдохновиться ими. В общем смысле математическая теория — это раздел математики, посвященный некоторым конкретным темам или методам, таким как теория множеств , теория чисел , теория групп , теория вероятностей , теория игр , теория управления , теория возмущений и т. д., которые могли бы подойти для одного учебника.
В математической логике теория имеет родственное, но иное значение: это совокупность теорем, которые могут быть выведены из заданного набора аксиом с учетом заданного набора правил вывода .
Теория может быть либо описательной, как в науке, либо предписывающей ( нормативной ), как в философии. [21] Последние — это те, предметом которых являются не эмпирические данные, а скорее идеи . По крайней мере, некоторые из элементарных теорем философской теории являются утверждениями, истинность которых не обязательно может быть научно проверена посредством эмпирического наблюдения .
Область изучения иногда называют «теорией», потому что ее основой является некоторый начальный набор предположений, описывающих подход области к предмету. Эти предположения являются элементарными теоремами конкретной теории и могут рассматриваться как аксиомы этой области. Некоторые общеизвестные примеры включают теорию множеств и теорию чисел ; однако литературная теория , критическая теория и теория музыки также имеют ту же форму.
Одной из форм философской теории является метатеория или метатеория . Метатеория — это теория, предметом которой является некоторая другая теория или набор теорий. Другими словами, это теория о теориях. Утверждения, сделанные в метатеории о теории, называются метатеоремами .
Политическая теория — это этическая теория о праве и правительстве. Часто термин «политическая теория» относится к общему взгляду или конкретной этике, политическому убеждению или отношению, мысли о политике.
В социальных науках юриспруденция — это философская теория права. Современная философия права занимается проблемами, внутренними для права и правовых систем, а также проблемами права как особого социального института.
Большинство из перечисленного ниже являются научными теориями. Некоторые из них таковыми не являются, но скорее охватывают совокупность знаний или искусств, например, теорию музыки и теории визуальных искусств.