Kyvadlo bez tření. Proč věda zjednodušuje svět.
Provázek něco váží a vzduch brzdí. Proč to někdy smíme ve výpočtu vynechat — a kdy jsme ze zadání vyškrtli právě to, co chceme vysvětlit.
Představme si domácí pokus. Na provázek zavěsíte kovovou matici, trochu ji vychýlíte a pustíte. Kamarád vytáhne papír. „Zanedbáme odpor vzduchu, tření a hmotnost provázku.“
Podíváte se na něj. Většinu vybavení jste právě pracně přinesli. On už ho ruší.
Scéna je vymyšlená. Otázka skutečná: jak nás může něco naučit model, o kterém předem víme, že nepopisuje všechno správně?
Provázek nemá dovolenou. Jen není v účtech
Jednoduché kyvadlo z učebnice tvoří bodové závaží na vlákně se zanedbatelnou hmotností. Na závaží působí tíha a tah vlákna. Odpor vzduchu v tomto popisu nenajdeme.[3]
Nikdo tím neobjevil kouzelný provázek. Jde o idealizaci: vědomě zjednodušený nebo zkreslený popis, se kterým se lépe pracuje.[1]
Při malém rozkývání závisí doba jednoho kmitu přibližně na délce kyvadla a místním tíhovém zrychlení. Jedním kmitem tu myslíme celý pohyb tam a zpět. V tomto modelu doba kmitu nezávisí na hmotnosti závaží.[3] Více železa samo o sobě neznamená rychlejší provoz.
Důležité je „při malém rozkývání“ a „v tomto modelu“. Ve skutečném pokusu nemusí výměna matice změnit jen hmotnost. Může změnit také rozměry či polohu závaží. To už není čistá zkouška jedné věci.
Model nám přesto nabízí něco cenného. Nejen číslo, ale vodítko: které vlastnosti sledovat, když chceme rozumět době kmitu.
Jedno kyvadlo, dvě různé otázky
Chceme odhadnout, jak dlouho potrvá jeden malý kmit? Jednoduchý popis může být dobrý začátek. Chceme vědět, kdy se kývání utlumí tak, že už ho neuvidíme? Bez brzdění jsme ze zadání vyškrtli právě to důležité.
V učebnicovém modelu bez ztrát energie se rozkývané kyvadlo samo neutiší. To je důsledek jeho předpokladů, ne slib výrobce domácích hodin.[3]
Příklad ukazuje naši hlavní myšlenku: stejné zjednodušení může být užitečné pro jednu otázku a špatné pro jinou. Není to měření, které jsme tu provedli. Je to srovnání toho, co model obsahuje, s tím, co po něm chceme.
Představme si mapu metra. Pro hledání přestupu je skvělá. Pro odhad délky procházky mezi stanicemi může být dost záludná. Nechybí jí nutně kvalita. Možná jste si od ní objednali jinou službu.
Někdy škrtáme kvůli počítání. Jindy kvůli pochopení
Filozof Michael Weisberg odlišuje dva důležité důvody pro zjednodušování. Někdy je problém příliš složitý na výpočet. Jindy chceme oddělit hlavní příčiny jevu od podrobností, které pro danou otázku nehrají rozhodující roli.[2]
V prvním případě bychom složitější model klidně brali. Jen ho zatím neumíme zvládnout. Ve druhém může být jednoduchost součástí cíle: chceme vidět, co dělá rozdíl.[2]
Představme si, že se ptáte, proč dveře drhnou. Úplný seznam jejich atomů by byl působivý dárek. Zkontrolovat křivý pant by ale pro začátek mohlo stačit. Podrobnost není totéž co odpověď.
To ovšem neznamená, že máme škrtat podle vkusu. Rozhodnout, co je důležité, je součást problému. Ne výsada, kterou získáme napsáním rovnice.
A pozor ještě na jinou záměnu. Přesná předpověď nemusí sama vysvětlovat, proč něco nastalo. Weisberg tyto cíle výslovně odděluje; jeden model nemusí plnit oba.[2] Správný výsledek má cenu. Jen k němu automaticky nepřibalujme pochopení mechanismu.
Výborná výmluva pro každý neúspěch?
Tady přichází nejsilnější námitka. Jestli vždycky záleží na účelu, můžeme zachránit cokoli. Model se splete a my řekneme: „Ale tohle přece vysvětlovat neměl.“ Účel mu dopíšeme, až známe výsledek.
Takovou obranu bychom nebrali. Navrhujeme opačný postup: nejdřív říct, na co se ptáme, za jakých podmínek a jak velkou chybu ještě přijmeme. Teprve potom porovnávat výsledek se světem.
U našeho kyvadla by to znamenalo měřit dobu kmitu při určeném malém rozkývání. Zapsat předpověď. Zopakovat měření. Pak zkusit jinou délku. Pokud rozdíly soustavně překračují ověřenou nejistotu měření, máme problém k vysvětlení. Ne obtížného čtenáře.
Je to náš praktický návrh kontroly, nikoli popis zde provedeného experimentu. Samotné poznání modelu ještě není poznáním skutečnosti. Přenos mezi nimi potřebuje obhajobu; právě tento krok zdůrazňuje i přehled ve Stanford Encyclopedia of Philosophy.[1]
Vysvětluje nepravda, nebo to pravdivé, co zůstalo?
Filozofové se neshodují, zda modely vysvětlují díky idealizacím, nebo navzdory nim. Podle jedné linie dělají práci správně zachycené podstatné vztahy. Jiné přístupy přisuzují záměrnému zkreslení pozitivní roli při vysvětlování a porozumění.[1]
Kyvadlo tenhle spor nerozhodne. A nepotřebujeme ho přemlouvat. Pro náš skromnější závěr stačí: nereálný předpoklad sám ještě neznehodnotí celý model. Stejně tak ho ale neomluví věta „vždyť je to jen model“.
Ptejme se, co jsme vynechali, proč si to můžeme dovolit a jak poznáme, že už nemůžeme.
Co by změnilo náš názor
Důvěru v konkrétní model bychom snížili, kdyby opakovaně selhával i pro předem stanovený úkol a podmínky. Zvlášť kdyby se chyba měnila spolu s faktorem, který jsme vynechali.
Naopak by ji posílily úspěšné předpovědi pro další měření, nejen shoda s případem, podle kterého jsme model upravili. Neprokázaly by, že provázek nic neváží. Podpořily by použitelnost modelu pro tento úkol. Samy by ještě neukázaly, zda se některé zanedbané vlivy navzájem neruší.
Chceme-li místo doby kmitu vysvětlit útlum, musíme vrátit do hry ztráty energie. To není ostuda zjednodušování. Ostuda by byla tvrdit, že se kyvadlo zastavilo nesprávně.
Meze rešerše: výběrová esej nad filozofickým přehledem, Weisbergovou statí a fyzikální učebnicí. Nejde o nový experiment ani systematický přehled všech druhů modelů. Domácí pokus, mapa a dveře jsou názorné myšlené příklady.
Ilustrace jsou metafory vytvořené v Higgsfieldu pomocí GPT Image 2, nikoli dokumentární snímky.