Кіріспе
Ғылыми теория – табиғи әлем мен ғаламның белгілі бір аспектісін ғылыми әдіспен сәйкес, қабылданған бақылау, өлшеу және нәтижелерді бағалау протоколдарын қолдана отырып, қайта-қайта сынап және растауға болатын (немесе, тіпті маңыздырақ, сыналып, расталған) түсіндірме. Мүмкіндігі болған жағдайларда, кейбір теориялар бақыланатын жағдайларда эксперимент арқылы тексеріледі. Эксперименттік сынаққа келмейтін жағдайларда теориялар абдуктивті ойлау қағидалары арқылы бағаланады. Орнықтырылған ғылыми теориялар қатаң тексерулерге төтеп беріп, ғылыми білімді құрайды. Ғылыми теория ғылыми факт немесе ғылыми заңнан өзгеше, себебі теория "неге" немесе "қалай" екенін түсіндіреді: факт – қарапайым, негізгі байқау, ал заң – фактілер және/немесе басқа заңдар арасындағы қатынас туралы мәлімдеме (көбінесе математикалық теңдеу). Мысалы, Ньютонның гравитация заңы – денелер арасындағы тартылысты болжау үшін қолданылатын математикалық теңдеу, бірақ ол гравитация қалай жұмыс істейтінін түсіндіретін теория емес. Стивен Джей Гулд: «Фактілер мен теориялар – әртүрлі нәрселер, олар сенімділіктің өсіп келе жатқан сатылары емес. Фактілер – әлемнің деректері. Теориялар – фактілерді түсіндіретін және интерпретациялайтын идеялар құрылымы». «Теория» терминінің ғылым салаларында қолданылу мағынасы, оның күнделікті қолданылуынан едәуір өзгеше. Күнделікті тілде теория дәлелсіз және болжамдық пікірді білдіруі мүмкін, ал ғылыми контексте ол көбінесе бұрыннан сыналып, жарамды деп кеңінен қабылданған түсіндірмеге сілтеме жасайды, сонымен қатар болжау және түсіндіру күшін арттыруға бағытталған. Ғалымдар теорияларды ғылыми білімді дамыту үшін, сондай-ақ технология мен медицинадағы прогреске көмектесу үшін пайдаланады.
A scientific theory is an explanation of an aspect of the natural world and universe that can be (or a fortiori, that has been) repeatedly tested and corroborated in accordance with the scientific method, using accepted protocols of observation, measurement, and evaluation of results. Where possible, some theories are tested under controlled conditions in an experiment. In circumstances not amenable to experimental testing, theories are evaluated through principles of abductive reasoning. Established scientific theories have withstood rigorous scrutiny and embody scientific knowledge. A scientific theory differs from a scientific fact or scientific law in that a theory explains "why" or "how": a fact is a simple, basic observation, whereas a law is a statement (often a mathematical equation) about a relationship between facts and/or other laws. For example, Newton's Law of Gravity is a mathematical equation that can be used to predict the attraction between bodies, but it is not a theory to explain how gravity works. Stephen Jay Gould wrote that " facts and theories are different things, not rungs in a hierarchy of increasing certainty. Facts are the world's data. Theories are structures of ideas that explain and interpret facts." The meaning of the term scientific theory (often contracted to theory for brevity) as used in the disciplines of science is significantly different from the common vernacular usage of theory. In everyday speech, theory can imply an explanation that represents an unsubstantiated and speculative guess, whereas in a scientific context it most often refers to an explanation that has already been tested and is widely accepted as valid. aiming for predictive and explanatory power. Scientists use theories to further scientific knowledge, as well as to facilitate advances in technology or medicine.
Түрлері
Альберт Эйнштейн ғылыми теориялардың екі әр түрлі түрін сипаттады: "құрастырушы теориялар" және "принциптік теориялар". Құрастырушы теориялар – құбылыстардың жасалған үлгілері, мысалы, кинетикалық теория. Принциптік теориялар – тәжірибелік жалпыламалар, олардың бірі – Ньютонның қозғалыс заңдары.
Құрылу
Ғылыми әдіс гипотезаларды ұсыну және тексеруді, болашақ эксперименттердің нәтижелері туралы гипотезалардан болжамдар тудыруды, содан кейін осы эксперименттерді жүргізу арқылы болжамдардың дұрыстығын растауды қамтиды. Бұл гипотезаны қолдайтын немесе оған қарсы дәлелдер ұсынады. Белгілі бір зерттеу саласында жеткілікті эксперименттік нәтижелер жиналғанда, ғалымдар осы нәтижелердің мүмкіндігінше көп бөлігін түсіндіретін түсіндіруші аясты ұсынуы мүмкін. Бұл түсіндіру де тексеріледі, және егер ол қажетті критерийлерді орындаса (жоғарыда қараңыз), онда түсіндіру теорияға айналады. Мұндай процеске көп жылдар кетуі мүмкін, себебі жеткілікті дәлелдерді жинау қиын немесе күрделі болуы мүмкін. Барлық критерийлер орындалғаннан кейін, ғалымдар бұл теорияны (ғылыми консенсусты қараңыз) кем дегенде кейбір құбылыстарды ең жақсы түсіндіретін нұсқа ретінде кеңінен қабылдайды. Бұл теория бұрынғы теориялар түсіндіре алмаған немесе дұрыс болжамаған құбылыстарды болжайды және көптеген реттерде сынақтан өтеді. Дәлелдердің күші ғылыми қауымдастық тарапынан бағаланады, ал ең маңызды эксперименттер бірнеше тәуелсіз топтармен қайталанады. Теориялар ғылыми тұрғыдан пайдалы болу үшін міндетті түрде толыққанды дұрыс болуы керек емес. Мысалы, классикалық механиканың болжамдары релятивистік аймақта дұрыс емес екені белгілі, бірақ олар күнделікті өмірдегі салыстырмалы түрде төмен жылдамдықтарда дерлік дұрыс. Химияда қышқылдық және сілтелі қосылыстардың негізгі табиғатын өте әртүрлі түсіндіретін көптеген қышқылдық-сілтелі теориялар бар, бірақ олар олардың химиялық мінез-құлқын болжау үшін өте пайдалы. Ғылымдағы барлық білім сияқты, ешқандай теория толыққанды сенімді бола алмайды, себебі болашақтағы эксперименттер теорияның болжамдарымен қайшы келуі мүмкін. Дегенмен, ғылыми консенсуспен қолдау тапқан теориялар кез келген ғылыми білімнің ең жоғары деңгейіндегі сенімділікке ие; мысалы, барлық денелер гравитацияға ұшырайды немесе Жердегі өмір ортақ атадан пайда болды. Теорияны қабылдау үшін оның барлық негізгі болжамдарын тексеру міндетті емес, егер ол жеткілікті дәлелдермен негізделген болса. Мысалы, кейбір сынақтар жүзеге асыруға мүмкін болмайды немесе техникалық тұрғыдан қиын болуы мүмкін. Осының салдарынан, теориялар әлі расталмаған немесе дұрыс емес екені дәлелденбеген болжамдар жасауы мүмкін; мұндай жағдайда болжамдалған нәтижелер «теориялық» терминімен бейресми түрде сипатталуы мүмкін. Бұл болжамдар кейінірек тексерілуі мүмкін, және егер олар дұрыс болмаса, бұл теорияны қайта қарауға немесе толығымен қабылдамауға әкелуі мүмкін. Фейнман айтқандай: Теорияңыз қаншалықты әдемі болса да, сіздің қаншалықты ақылды екеніңіз де маңызды емес. Егер ол экспериментпен сәйкес келмесе, онда ол дұрыс емес.
Өзгерістер мен жақсартулар
Егер теорияның болжамына қайшы эксперименттік нәтижелер байқалса, ғалымдар алдымен эксперименттік жобаның дұрыс екенін бағалайды, және егер дұрыс болса, нәтижелерді тәуелсіз қайталау арқылы растайды. Содан кейін теорияны жақсарту іздестіріледі. Шешімдер теорияға шағын немесе маңызды өзгерістерді қажет етуі мүмкін, немесе теорияның қазіргі аясында қанағаттанарлық түсіндірме табылса, мүлдем қажет болмауы мүмкін. Уақыт өте келе, бір-біріне қосылатын өзгерістер арқылы теориялар үнемі жақсарып, болжамның дәлдігі артады. Теорияның әрбір жаңа нұсқасы (немесе мүлдем жаңа теория) бұрынғыдан артық болжамдық және түсіндіру күшіне ие болуы керек, сондықтан ғылыми білім уақыт өте келе үнемі дәлдеп келеді. Егер теорияға енгізілген өзгерістер немесе басқа түсіндірмелер жаңа нәтижелерді түсіндіру үшін жеткіліксіз болса, жаңа теория қажет болуы мүмкін. Ғылыми білім көбінесе берік болғандықтан, мұндай жағдай өзгеріске қарағанда сирек кездеседі. Алайда, салыстырмалылық теориясы жеткілікті дәлелдермен қолдау тапқанша, ол қолданыстағы ең жақсы түсіндірме болып қала берді. Жаңа теорияларды бір немесе көп адам ұсынуы мүмкін, бірақ өзгерістер циклінде көптеген ғалымдардың үлесі бірігеді. Өзгерістерден кейін қабылданған теория көбірек құбылыстарды түсіндіреді және жоғары болжамдық күшке ие болады (әйтпесе, өзгерістер қабылданбас еді); бұл жаңа түсіндірме одан әрі алмастыруға немесе өзгертуге ашық болады. Егер теория көптеген сынақтардан өткеніне қарамастан, өзгеріске ұшырамаса, бұл теорияның өте дәл екенін көрсетеді. Бұл сондай-ақ, қабылданған теориялар уақыт өте келе дәлелдерді жинақтап келеді дегенді білдіреді, ал теорияның (немесе оның кез келген принципінің) қабылданған уақыты оны қолдайтын дәлелдердің күшін көрсетеді.
Біріктіру
Кейбір жағдайларда екі немесе одан көп теориялардың орнына бір теория келеді, ол бұрынғы теорияларды жуықтау немесе ерекше жағдайлар ретінде түсіндіреді, бұл көптеген расталған гипотезалар үшін біріктіретін түсіндірмеге ұқсас; мұндай жағдай теориялардың біріктірілуі деп аталады. Мысалы, электр және магнетизмнің бір құбылыстың екі аспектісі екені белгілі, ол электромагнетизм деп аталады. Егер әртүрлі теориялардың болжамдары бір-бірімен қайшы келіп көрінсе, бұл да қосымша дәлелдермен немесе біріктіру арқылы шешіледі. Мысалы, 19 ғасырдағы физикалық теориялар Күннің белгілі бір геологиялық өзгерістер мен тіршілік эволюциясын қамтамасыз ету үшін жеткілікті ұзақ уақыт бойы жанғанын көрсетті. Бұл мәселе Күннің негізгі энергия көзі – ядролық синтездің ашылуымен шешілді. Қайшылықтарды неғұрлым негізгі (қайшылықсыз) құбылыстарға жуықтау арқылы түсіндіруге болады. Мысалы, атом теориясы кванттық механиканың жуықтауы болып табылады. Қазіргі теориялар үш бөлек негізгі құбылысты сипаттайды, ал барлық басқа теориялар олардың жуықтауы болып табылады; олардың әлеуетті бірігуі кейде «Барлық теориясы» деп аталады. Арнайы салыстырмалылық теориясы Ньютонның Галилей инварианттылық принципімен, сондай-ақ Галилейлік салыстырмалылық деп аталатын электромагниттік өріс арасындағы сәйкестікті болжады. Арнайы салыстырмалылық теориясынан жарық эфирі алынып тасталғанда, Эйнштейн уақыттың кеңеюі мен ұзындықтың қысқаруы салыстырмалы қозғалыстағы объектіде өлшенетін инерциялық екенін, яғни объект өзінің бақылаушысы өлшегенде тұрақты жылдамдықты, яғни бағыты бар жылдамдықты көрсететінін айтты. Осылайша ол Лоренц трансформациясын және Лоренц қысқаруын қайта жаңартып, оларды эксперименттік жұмбақтарды шешу үшін гипотеза ретінде қолданды және эфирдің қасиеттерінің динамикалық салдары ретінде электродинамикалық теорияға енгізді. Элегантты теория, арнайы салыстырмалылық теориясы өз салдарына ие болды, мысалы, масса мен энергияның бір-біріне айналуының теңдігі және электромагниттік өрістің қозуын бір анықтамалық жүйеде электр ретінде, ал екіншісінде магнетизм ретінде қарастыруға болатын парадокстың шешімі. Эйнштейн инварианттық принципін барлық анықтамалық жүйелерге, инерциялық немесе үдемелі болсын, жалпылауға тырысты. Арнайы салыстырмалылық теориясының әсерін үш өлшемге кеңейту арқылы жалпы салыстырмалылық ұзындықтың қысқаруын кеңістіктің қысқаруына дейін кеңейтті, 4D кеңістік-уақытты геометриялық түрде өзгеретін және барлық жергілікті объектілердің жолдарын белгілейтін гравитациялық өріс ретінде қарастырды. Тіпті массасыз энергия да 4D кеңістіктегі геометриялық «бетін» «қисайту» арқылы жергілікті объектілерге гравитациялық әсер етеді. Бірақ энергияның көлемі үлкен болмаса, оның кеңістікті қысқарту және уақытты баяулату релятивистік әсерлері тек қозғалысты болжау кезінде ғана елеусіз болады. Жалпы салыстырмалылық теориясы ғылыми реализм арқылы көбірек түсіндіретін теория ретінде қабылдануға қарамастан, Ньютонның теориясы инструментализм арқылы тек болжау теориясы ретінде сәтті болып қалады. Траекторияларды есептеу үшін инженерлер мен NASA әлі де Ньютон теңдеулерін қолданады, олармен жұмыс істеу оңай. Алайда, ғылыми заңдар – бұл белгілі бір жағдайларда табиғаттың қалай әрекет ететінін сипаттау. Ғылыми теориялардың ауқымы кеңірек, олар табиғаттың қалай жұмыс істейтінін және оның белгілі бір ерекшеліктерін неге көрсететінін толық түсіндіреді. Теориялар көптеген түрлі көздерден алынған дәлелдермен расталады және бір немесе бірнеше заңдарды қамтуы мүмкін. Көпшілік арасында кең таралған қате түсінік – ғылыми теориялар жеткілікті деректер мен дәлелдер жиналғаннан кейін ақыры ғылыми заңдарға айналатын бастапқы идеялар. Теория жаңа немесе жақсы дәлелдер жинақталғанда ғылыми заңға айналмайды. Теория әрқашан теория болып қала береді, ал заң әрқашан заң болып қала береді. Теориялар мен заңдар қарсы дәлелдермен жалғандануы мүмкін. Теориялар мен заңдар да гипотезалардан ерекшеленеді. Гипотезалардан айырмашылығы, теориялар мен заңдарды ғылыми факт деп қарапайым түрде атауға болады. Алайда ғылымда теориялар, тіпті олар жақсы негізделген болса да, фактілерден өзгеше. Мысалы, эволюция теория да, факт те болып табылады. Модель – бұл шындықты бейнелеуге арналған логикалық құрылым («нақтылық моделі»), карта қала немесе елдің аумағын бейнелейтіндей. Осы тәсілде теориялар – қажетті критерийлерді орындайтын модельдердің нақты санаты (жоғарыда қараңыз). Модельді сипаттау үшін тілді қолдануға болады; алайда теория – модель (немесе ұқсас модельдер жиынтығы), емес, модельдің сипаттамасы. Мысалы, күн жүйесінің моделі абстрактілі объектілерден, олар Күн мен планеталарды бейнелейді, тұра алады. Бұл объектілердің орналасуы, жылдамдықтары және массалары сияқты қасиеттері бар. Модель параметрлері, мысалы, Ньютонның гравитация заңы, орналасулар мен жылдамдықтардың уақыт өте келе қалай өзгеретінін анықтайды. Бұл модельді болашақ байқауларды дәл болжап көру үшін сынауға болады; астрономдар модельдің объектілерінің уақыт өте келегі орналасулары планеталардың нақты орналасуларымен сәйкес келе ме екенін тексеруге болады. Көптеген планеталар үшін Ньютон моделінің болжамдары дәл; ал Меркурий үшін олар сәл дәл емес және жалпы салыстырмалылық моделін пайдалану керек. «Семантикалық» сөзі модельдің нақты әлемді қалай бейнелейтініне сілтеме жасайды. Бейнелеу («әдеби түрде, «қайта ұсыну») құбылыстың нақты аспектілерін немесе құбылыстар жиынтығы арасындағы өзара әрекеттесу әдісін сипаттайды. Мысалы, үйдің немесе күн жүйесінің масштабты моделі нақты үй немесе нақты күн жүйесі емес; масштабты модельде бейнеленген нақты үйдің немесе нақты күн жүйесінің аспектілері тек шектеулі жағдайларда ғана нақты нысанды бейнелейді. Үйдің масштабты моделі үй емес; бірақ үйлер туралы білуге ниеттенген адамға, шындықты түсінуге ниеттенген ғалымға ұқсас, жеткілікті егжей-тегжейлі масштабты модель жеткілікті болуы мүмкін.
Теория мен модель арасындағы айырмашылықтар
Бірнеше сарапшылар теориялардың ерекшелігі олардың түсіндірумен қатар сипаттауға да қабілетті екендігін, ал модельдер тек сипаттаумен ғана шектелетінін (бірақ шектеулі дәрежеде болжам жасауға мүмкіндігі бар екенін) айтты. Философ Стивен Пеппер де теориялар мен модельдерді ажыратып, 1948 жылы жалпы модельдер мен теориялар ғалымдардың қандай құбылысты теориялық тұрғыдан қарастырып, модельдеуін және осылайша тексеруге болатын гипотезаларға жетуін шектейтін "негізгі" метафораға негізделгенін мәлімдеді. Инженерлік тәжірибеде "математикалық модельдер" мен "физикалық модельдер" арасында ерекшелік жасалады; физикалық модельді жасау шығындарын азайту үшін, ең алдымен компьютерлік бағдарламалық қамтамасыз ету, мысалы, компьютерлік дизайн құралын пайдаланып математикалық модель жасауға болады. Компоненттердің әрқайсысы өздігінен модельденеді және өндіріс допускілері көрсетіледі. Өндіріс тізбегін жоспарлау үшін жарылған көрініс суреті қолданылады. Ішкі жиынтықтардың әрқайсысын көрсетуге арналған модельдеу пакеттері бөлшектерді айналдыруға, ұлғайтуға және шынайы детальдармен қарауға мүмкіндік береді. Құрылысқа қажетті материалдар тізімін жасауға арналған бағдарламалық жасақтамалар субподрядшыларға құрастыру процестеріне мамандануға мүмкіндік береді, бұл өндіріс машиналарын жасау шығындарын бірнеше тапсырыс берушілер арасында бөліп таратады. Қараңыз: Компьютерлік инженерия, Компьютерлік өндіріс және 3D-басып шығару.
Теорияларды қалыптастырудағы болжамдар
Алдын ала болжам (немесе аксиома) – дәлелсіз қабылданған мәлімдеме. Мысалы, болжамдар логикалық аргументтегі алғышарт ретінде қолданылуы мүмкін. Исаак Азимов болжамдарды былай сипаттады:
Болжамның дұрыс немесе бұрыс екендігі туралы айтуға болмайды, себебі оны дәлелдеуге мүмкіндік жоқ (егер дәлелдеуге мүмкіндік болса, ол енді болжам болмайды). Болжамдарды пайдалы немесе пайдасыз деп қарастыру дұрыс, өйткені біз бір нәрседен бастауымыз керек, бірақ мүмкіндігінше аз болжам жасаған жөн. Барлық эмпирикалық талаптар үшін белгілі бір болжамдар қажет (мысалы, шындық бар деген болжам). Дегенмен, теориялар әдетте дәстүрлі мағынада болжамдар жасамайды (дәлелсіз қабылданған мәлімдемелер). Жаңа теориялар құрылған кезде болжамдар жиі қолданылса да, олар дәлелдермен (мысалы, бұрынғы теориялардан) немесе теорияны тексеру барысында алынған дәлелдермен негізделеді. Бұл теорияның нақты болжамдар жасағанын байқау сияқты қарапайым болуы мүмкін, бұл бастапқыда жасалған кез келген болжамның сынақтан өткен жағдайларда дұрыс немесе шамамен дұрыс екендігін көрсетеді. Дәлелсіз, дәстүрлі болжамдарды қолдануға болады, егер теория тек болжамның дұрыс (немесе шамамен дұрыс) болған кезде ғана қолданылатын болса. Мысалы, арнайы салыстырмалылық теориясы инерциялық есептеу жүйесін қабылдайды. Теория болжам дұрыс болған кезде нақты болжамдар жасайды, ал болжам дұрыс болмаған кезде нақты болжамдар жасамайды. Мұндай болжамдар көбінесе ескі теориялардың жаңаларымен алмастырылуына себеп болады (жалпы салыстырмалылық теориясы инерциялық емес есептеу жүйелерінде де жұмыс істейді). "Болжам" термині этимологиялық тұрғыдан қарағанда, оның стандартты қолданысынан кеңірек. Оксфорд ағылшын тілінің сөздігі (OED) және онлайн-Wiktionary оның латын тіліндегі түбірін "assumere" ("қабылдау, өз бойына сіңіру, қабылдау, билеу") деп көрсетеді, бұл "ad" ("келуге, қарай") және "sumere" ("алу") сөздерінің қосындысы. Түбір италияндық "assumere" және испандық "sumir" сөздерінде өзгерген мағыналармен сақталған. OED бойынша "assume" сөзінің алғашқы мағынасы – "өзіне қабылдау, алу, қабылдау, қабылдау". Бұл термин бастапқыда діни контексте қолданылған, мысалы, "көкке көтерілу", әсіресе "Бейбіт Мәриямның денесі бұзылмаған күйде көкке көтерілуі" (1297 ж.), бірақ ол "бірлестікке қабылдау" немесе "серіктестікке қабылдау" мағынасында да қолданылған. Сонымен қатар, "assumere" сөзінің басқа мағыналары: (i) "өзін (бір қасиетпен) жарақтандыру", (ii) "көтеру" (әсіресе заңда), (iii) "тек сырттай қабылдау, иеленуді сезіну" және (iv) "бір нәрсені болжамдау" (OED-дегі "assume" сөзінің барлық мағыналары; "assumption" сөзіне арналған OED жазуы мағыналары жағынан дерлік толықтай сәйкес келеді). Осылайша, "болжам" сөзі қазіргі стандартты мағынасынан басқа да ассоциацияларды білдіреді, яғни "болжамдалған немесе әдеттегідей қабылданған нәрсе; болжам, постулат" (тек "болжам" сөзінің 12 мағынасының 11-і және "assume" сөзінің 11 мағынасының 10-ы).
Физикадан
Физикада теория термині көбінесе математикалық құрылымды білдіреді, ол негізгі постулаттардың (әдетте симметриялар, мысалы, кеңістіктегі немесе уақыттағы орналасулардың теңдігі, немесе электрондардың бірдейлігі сияқты) шағын жиынтығынан туындайды және физикалық жүйелердің белгілі бір санаты үшін эксперименттік болжамдар жасауға қабілетті. Классикалық электромагнетизм жақсы мысал болып табылады, ол гаудж симметриясынан (кейде гаудж инварианттығы деп аталады) алынған нәтижелерді Максвелл теңдеулері деп аталатын бірнеше теңдеулер түрінде қамтиды. Классикалық электромагниттік теорияның нақты математикалық аспектілері оларды қолдайтын дәйекті және қайталанатын дәлелдердің деңгейін көрсететін "электромагнетизм заңдары" деп аталады. Электромагниттік теорияның өзінде электромагнетизмнің нақты жағдайларға қалай қолданылатыны туралы көптеген гипотезалар бар. Осы гипотезалардың көпшілігі қазірдің өзінде жеткілікті түрде тексерілген деп саналады, ал жаңалары әрдайым жасалуда және, мүмкін, тексерілмеген. Сәулелену реакциясы күші соңғысының мысалы болуы мүмкін. 2009 жылдан бастап, оның зарядтардың периодтық қозғалысына әсері синхротрондарда анықталады, бірақ тек уақыт бойынша орташа әсер ретінде ғана. Кейбір зерттеушілер қазір осы әсерлерді бірден (яғни, уақыт бойынша орташаланбаған) байқауға болатын эксперименттерді қарастыруда.