Professional Documents
Culture Documents
ZAGADNIENIA FILOZOFICZNE
W NAUCE
VII / 1985, s. 520
Rene THOM
Rene THOM
logi. W pewnym sensie kada nauka dokonuje postpw z samej swojej definicji,
w przeciwiestwie do innych dziedzin ludzkiej aktywnoci jak sztuka czy filozofia,
o ktrych nie da si powiedzie, e czyni postpy.
Z kolei jeli chcemy wiedzie, co czyni stwierdzenie naukowe akceptowalnym
i moliwym do udowodnienia, to nie pozostaje nic innego,
jak dokona nastpujcego rozrnienia. Wrd naukowych stwierdze znajduj si przede wszystkim stwierdzenia dotyczce specyficznego zdarzenia czaso
przestrzennego, opisujcego cz rzeczywistoci i ta cz rzeczywistoci ma by
zlokalizowana w przestrzeni i w czasie po to, by mona byo si upewni, e rzeczy
maja si tak, jak si maja. Pod tym wzgldem uwaam, na przykad, e historia
jest nauk tak jak inne. Co do historii, wielu ludzi powiada, e tylko zjawiska
reprodukowalne mona rozpatrywa jako naukowe, a zdarze nie dajcych si
odtworzy nie mona uwaa za przedmiot nauki. Nie podzielam tego pogldu:
myl, na przykad, e jeli fakt historyczny jest naleycie udowodniony cis
dokumentacj i wiadectwami, to moe by uwaany za prawdziwy, oparty na tak
samo solidnym gruncie jak inne rodzaje faktw naukowych. rdem wszelkiej
prawdy w nauce bowiem jest zasadniczo powoanie si na czasoprzestrzenn lokalizacj. Zgadzam si do tego stopnia ze standardow neopozytywistyczn filozofi
utrzymujc, bardziej lub mniej, e rdem wszelkiej prawdy jest powoanie si
na specyficzne zdarzenie czasoprzestrzenne.
Kontynuujc t drog rozumowania stwierdzamy wystpowanie dwch rodzajw zda w nauce: stwierdzenia opisowe, dajce sprawozdanie o specyficznym
zdarzeniu w czasoprzestrzeni oraz stwierdzenia organizujce, majce, e tak powiem, warto teoretyczn, zmierzajce do uorganizowania czasoprzestrzennych
danych dowiadczalnych.
Ot myl, e to rozrnienie midzy zdaniami opisowymi a organizacyjnymi
zdaniami teoretycznymi ma podstawowe znaczenie dla punktu widzenia, z ktrego
chc tu wystartowa. Wrd stwierdze organizacyjnych mamy przede wszystkim
stwierdzenia matematyczne. Obiekty matematyczne oczywicie nie s zwizane
bezporednio z realnym wiatem. Wielkoci matematyczne s wielkociami abstrakcyjnymi niezalenie od tego, czy zostay skonstruowane, czy dane w obrbie
pewnego rodzaju platoskiego wiata idei, mniejsza o to na razie. Ale matematyczne stwierdzenia w zasadzie nie musz odwoywa si do czasoprzestrzennych
zdarze, by byy prawdziwe. Ze wzgldu na to mona powiedzie, e epistemologiczny status matematyki jest cokolwiek niejasny i niektrzy epistemologowie,
neopozytywici zwaszcza, orzekli, i matematyka jest wielk tautologi i informacja zawarta w matematyce jest adna. Jest to punkt widzenia dla mnie cakiem do
przyjcia, w pewnej mierze myl, e wanie to uwydatnia szczeglne pooenie
matematyka, ktry w zasadzie zajmuje si wiatem nie majcym nic wsplnego
z adnymi konkretnymi realiami.
Zapomnijmy na chwil o matematyce i zajmijmy si problemem teoretyzowania w nauce. Dlaczego chcemy tworzy teorie naukowe? Rozumie si, jest po
temu wiele powodw. Mianowicie jeli przyjmiemy zaoenie, e nauka zajmuje si
opisem rzeczywistoci, to musimy przyzna, e rzeczywisto jest raczej mglistym
pojciem. Co wicej, gdyby kto chcia totalnie opisa ca rzeczywisto, miaby,
Rene THOM
mnstwo skomplikowanych form na tej przestrzeni, ktre nie wiemy jak wyjani.
C zatem czynimy? Wprowadzamy przestrze nieznanych lub ukrytych parametrw S. Nazwiemy U przestrzeni obserwabli oraz S przestrzeni parametrw
ukrytych. Bd teraz konstruowa w przestrzeni produktowej U S najprostsze obiekty, ktre przez rzutowanie zrekonstruuj zoona morfologi, dan na
przestrzeni obserwabli. Taka jest oglna procedura wyjanienia naukowego wedug podejcia platoskiego. By moe kogo to zaskoczy, ale takim platoskim
podejciem kieruje si nawet standardowa fizyka a to ju wcale nie jest filozofia.
By poda bardzo prosty przykad, rozpatrzmy morfologi oscylatora liniowego.
Ot w jednowymiarowej przestrzeni parametryzowanej zmienn q widzimy punkt
poruszajcy si po odcinku wedug wzoru q = sin(t), np. mas poruszan przez
spryn. Tutaj przestrzeni U jest zakres zmiennoci parametru q. Mona teraz
wprowadzi przestrze S, w ktrej ukrytym parametrem bdzie tym razem pd
p. W przestrzeni parametrw p, q znajdziemy mianowicie okrg p2 + q 2 = 1,
bardzo adny obiekt geometryczny, i okrg ten opisuje jednostajny ruch ze sta
prdkoci ktowa . Rzutujc ten ruch na przestrze obserwabli U otrzymujemy
w tej przestrzeni ruch oscylatora.
Standardowa interpretacja w nauce zawsze idzie drog wprowadzania ukrytych
parametrw celem uproszczenia opisu. I teraz dzieje si tak, e fizycy tak nawykli
do uywania tych nowych pwsprzdnych (pdw), e oni teraz uwaaj wsprzdne p za znacznie waniejsze i bardziej istotne ni wsprzdne pooenia q,
ktre s dla nich rodzajem antropocentrycznego reliktu. Myl jednak, e tym niemniej pozostaje wci prawd, i wsprzdne pdowe stworzono dla wyjanienia
tego, co dzieje si w przestrzeni bazowej, parametryzowanej przez q.
Z kolei jeli chcemy posun si nieco dalej tak pojmujc teoretyzowanie naukowe, to dochodzimy do problemu wyprzedzajcego podejcie platoskie: co
w istocie rozumiemy przez byt konceptualnie prosty? I tu wchodzimy w nader
skomplikowan sytuacj, poniewa problem prostoty nie jest czym atwym do
sprecyzowania. Samo pojcie prostoty jest chyba jeszcze wzgldnie atwe, ale przeciwne pojcie zoonoci jest czym znacznie trudniejszym do zdefiniowania.
Czsto spieraem si z biologami, poniewa oni zawsze utrzymywali, e czowiek jest znacznie bardziej skomplikowany od bakterii, za ja zawsze zajmowaem
przeciwne stanowisko e mianowicie bakteria jest znacznie bardziej skomplikowana
od czowieka, poniewa rozumiemy mnstwo rzeczy u czowieka, ktrych nie rozumiemy u bakterii. Ale taki punkt widzenia jest oczywicie nie do zaakceptowania
przez og biologw, obstajcych przy cile redukcjonistycznym stanowisku. Ot
jednym z gwnych celw teorii katastrof jest wanie okreli sposb mierzenia
zoonoci. W pewnym sensie moemy powiedzie, e kiedy jedna forma jest bardziej zoona od innej, to zasadniczo prbujemy wyjani t pierwsz, jako rzut
prostych obiektw z przestrzeni produktowej; bardziej zoone s obiekty grne,
mniej zoone s obiekty u dou. Przez tak procedur powiedziabym mamy
mono utworzenia hierarchii zoonoci midzy formami. Majc to narzdzie jestemy w stanie, teoretycznie przynajmniej, rozpozna kiedy forma danej struktury lub morfologii dowiadczalnej jest wyjtkowa a kiedy jest zwyczajna. W tym
Rene THOM
zyce porwnania dwch obserwatorw dokonuje si poprzez geometryczn konstrukcj zwan transformacj wsprzdnych. W ten sposb podstawow wielkoci fizyczn jest zawsze pewna przestrze wektorowa, na ktrej dziaa pewna
grupa (reprezentacja grupy), dziaanie to odpowiada powyszym transformacjom.
Ot zasadniczo wszystkie prawa fizyki wyraaj si w terminach niezmienniczoci wzgldem tych reprezentacji i jest to pewien rodzaj cudu, e te reprezentacje s analityczne. Jeli rozwaa, powiedzmy, wybrany element macierzy zamiany wsprzdnych, to kady taki element, kade wyraenie tej macierzy ma
by analityczn funkcj czasoprzestrzennych wsprzdnych obserwatora. I to
wymaganie analitycznoci uwaam jest raczej co nieco tajemnicze. Ze swej
strony mam jedyne tego wyjanienie: fakt, e dla grup zwartych w sposb zwarty
dziaajcych w przestrzeni kada reprezentacja jest analityczna. Jestem przekonany, e ta analityczno jest wynikiem swego rodzaju uzwarcenia dziaania
grupy, oznaczajcego, e nie wdajemy si w ustalanie co si dzieje w nieskoczonoci, tak e praktycznie sprowadzamy wszystko do sytuacji zwartej i przez to
otrzymujemy powysz wasno analitycznoci. I ta wasno analitycznoci ma
oczywicie daleko idce nastpstwa: jeli mamy dane dowiadczalne z okrelonego
obszaru czasoprzestrzeni, wiedzc o ich analitycznoci moemy ekstrapolowa je
jako analityczne przeduenie i to wanie rozszerzenie pozwala dokonywa ilociowych przewidywa, ktre mog by porwnywane z rzeczywistoci i testowane
dowiadczalnie.
Zatem analityczno reprezentacji uwaam jest jak gdyby podstawowa
dla wyjanienia podnoci fizyki, praw fizycznych i moliwoci dostarczania ilociowych przewidywa. Jeli teraz przejdziemy od elementarnych, podstawowych
praw fizyki, do fizyki makroskopowej jak na przykad fizyka ciaa staego, rwnania cieczy realnych itp. to sytuacja szybko si degraduje. I dlatego w fizyce
makroskopowej prawa s ustalane empirycznie. Na przykad dla realnej cieczy
mamy empiryczne rwnanie stanu dotyczce cinienia, temperatury, gstoci, jest
jednak niemoliwoci znalezienie kompletnego wyraenia analitycznego dla realnych rwna stanu i dlatego wszystkie ekstrapolacje w pewnym momencie ami
si. Oczywicie mona dokonywa aproksymacji, zawsze jest moliwe dokonywanie przyblie i stosowanie aproksymujcych procedur, ale nie jestemy ju
pewni teoretycznej wartoci takich procedur. To jest gwny punkt.
Kiedy mamy elementarne, podstawowe prawa fizyczne, mamy mono dobrego oszacowania prawidowoci procedur interpolacyjnych bd ekstrapolacyjnych. Natomiast majc dane prawa empiryczne jestemy w cakiem kiepskiej sytuacji, a jeli przejdziemy do chemii lub biologii, to bezporednio stwierdzamy,
e uycie matematyki ilociowej ju nie ma takiego realnego znaczenia. Wedug
mnie, w chemii matematyk stosuje si przede wszystkim do lokalnego badania
oddziaywa molekularnych. Jest potrzebna do tego masa procedur aproksymacyjnych, poprawno ktrych mona ocenia z du doz nieufnoci. Naley tu
wspomnie o kinetyce chemicznej wystpuje tam mnstwo wspczynnikw
w rwnaniu, ktrych oszacowa nie umiemy. Wszystkie prawa kinetyki bowiem,
podobnie jak prawo dziaania mas, s raczej przyblione i na og nie dysponuje
si tu cisym modelem. Stosowanie matematyki w biochemii staje si ju cakiem
nieporczne. Kiedy przechodzimy do biologii, to prawd mwic matematyk stosuje si tam zasadniczo w dwch przypadkach. Po pierwsze: do wypracowania
modeli lokalnych jak np. przepyw krwi przez aort lub rozchodzenie si impulsu
nerwowego czy innych tego rodzaju detali, po drugie: do wypracowania teorii
populacji, co nazwa bym ekologi matematyczn. Uwaam, e z oglnego, teoretycznego punktu widzenia modele lokalne nie maj na og wikszego znaczenia.
Mniej lub bardziej dokadnie przedstawiaj one lokalne zjawisko. Teoria populacji
jest oczywicie adn teori matematyczn, wedug mnie jednak byoby uczciwe
powiedzie, e jej biologiczna stosowalno jest raczej wtpliwa. Oprcz tego jest
jedna rzecz, co do ktrej wikszo ludzi jest nastawiona entuzjastycznie: genetyka matematyczna. Poczynania w jej zakresie s cakiem dobre z teoretycznego
punktu widzenia, jednak jej stosowanie w biologii jest raczej wtpliwe, zasadniczo
dlatego, e zaleno midzy genotypem a fenotypem nie moe by sformalizowana, wobec czego wszystkie konstrukcje tej dziedziny mniej lub bardziej wisz
w powietrzu.
Kiedy przejdzie si od fizyki do chemii czy biologii, a stamtd do psychologii i socjologii, z matematycznych zastosowa znajdzie si tam tylko uycie statystyki, z jednym wyjtkiem: ekonomik matematyczn adna teoria, ktrej
stosowalno jednak do realnej ekonomii w chwili obecnej rwnie wydaje si wtpliwa; taki sam zarzut, jak pod adresem teorii populacji w biologii. Tym niemniej
mog powiedzie, e z ekonomik matematyczn, tj. modelem wymiany wedug
WalrasaPareto, otwiera si dziedzina z dokonanym ju pocztkiem matematycznej konceptualizacji. Wydaje si ona bardziej obiecujca od poprzednich usiowa
na tym polu. Z kolei w tak zwanych naukach humanistycznych, przeciwstawionych naukom niehumanistycznym, mgbym waciwie wspomnie o lingwistyce
i etnologii, w ktrych istnieje kilka konkretnych modeli algebraicznych typu strukturalistycznego. Moim zdaniem, znaczenie ich jest o wiele bardziej teoretyczne ni
praktyczne. Ale tym niemniej day one pewien poytek przez pokazanie, e gdy
wnikn gbiej w dziedziny ludzkiej dziaalnoci, to ujawnia si w nich jaki matematyczny rys. Jest to ten punkt, ktry chciabym tu mocno zaznaczy. Mgbym
powiedzie, e jaka czstka standardowej matematyki ley midzy biologi a psychologi.
Gdy schodzi na d skali nauk, matematyczne narzdzia trac sw moc oraz
swj operacyjny charakter. Fakt ten jest dobrze znany wrd naukowcw; jest jednak znamienne, e nikt nie lubi o tym wyranie mwi. S po temu trzy powody,
bardzo atwe do zrozumienia. Pierwszy jest taki, e nauki nie majce tak efektywnych narzdzi do dyspozycji jak prawa fizyczne, chciayby by takie jak fizyka
i dlatego d one do zbudowania metodologii podobnej do metodologii fizyki
i staraj si wyglda w oczach innych ludzi na tak cise jak fizyka. Kada nauka
stara si by zmatematyzowana, poniewa wierzy ona, e mogaby sta si tak
ugruntowan jak fizyka podstawowa. Jest to, e tak powiem, powd zewntrzny.
Drugi powd ma charakter wewntrzny, dziaa w odwrotnym kierunku: dopki
dana nauka nie dopuszcza cilej matematyzacji, otwiera ona praktycznie nieskoczenie wiele moliwoci dziaania dla naukowcw na swym polu; mog oni bowiem
w tej sytuacji tworzy modele wszystkich rodzajw, z przyblieniami, hipotezami
Rene THOM
puszczeniami i z tego wzgldu nie podzielaj one statusu prawdziwoci zda czysto
opisowych. W pewnym sensie prowadzi to do stwierdzenia, e rozrnienie midzy
nauk a filozofi jeli pj t droga nie jest tak atwe, jak si zazwyczaj
uwaa. Istniej takie dziedziny lub teorie, jak psychoanaliza na przykad, ktre
nie s lub ktrych nie mona okreli jako naukowe, bowiem (jak to pokaza Karl
Popper na przykad), kady rodzaj niepowodzenia tej teorii moe by przez ni
sam wyjaniony, zatem teorie takie nie mog by sfalsyfikowane. W konsekwencji nie mona ich okreli cile jako naukowe. Tym niemniej jednak, z oglnego
punktu widzenia na histori myli ludzkiej powiedziabym, e psychoanaliza jest
teori, ktra w historii gatunku ludzkiego odegraa rol daleko waniejsz ni
wiele wspczesnych teorii naukowych.
Tak wic z punktu widzenia znaczcej zawartoci jest niewtpliwe, e pewne
teorie nie bdc naukowymi s tym niemniej jednak bardzo wane. I ta wano
teorii moe by uzasadniona dwojako: od strony ich praktycznej wanoci oraz
od strony ich teoretycznego znaczenia dla rozumienia rzeczywistoci. Ot myl,
e teoria katastrof jest pewn prb skonstruowania oglnej metody naukowego
wyjanienia i mog zasadniczo zlokalizowa j jak nastpuje: S trzy sposoby
naukowego wyjanienia. Pierwszy cise, ilociowe modele typu fizycznego. Nastpnie mamy modele, e tak powiem, biologiczne, ktre s zasadniczo opisowe
z pewn doz teorii na niskim poziomie. Wreszcie mamy nauki spoeczne, gdzie
problemy s inne.
Kiedy czytasz publikacje z zakresu nauk spoecznych, na og jeste uderzony
faktem, e ich autorzy s w najwyszym stopniu inteligentni. Nie artuj: jest
prawd, e ludzie uprawiajcy socjologi, etnologi lub antropologi na og s
nad wyraz bystrzy. Maj wysok kultur umysow, zrczno w wysawianiu si,
potrafi dostrzega mas rzeczy i porwnywa je. Mamy tu do czynienia z werbaln konceptualizacj na najwyszym poziomie elegancji i inteligencji. Nie mona
tego powiedzie o wspczesnym teoretyzowaniu w biologii.
Ot twierdz, e teoria katastrof w pewnym sensie moe wypeni t luk, t
przepa midzy trzema typami teoretyzowania w nauce. A moe to zrobi w nastpujcy sposb: dostarcza ona zwizku midzy tamtymi sposobami a cisymi
modelami ilociowymi; zwizek ten dokonuje si, gdy bierze si zwyke przyblienia tych modeli. Otrzymuje si naturalne modele stanowice co poredniego
midzy modelami ilociowymi a jakociowymi. cisy jakociowy model jest oczywicie modelem opisanym nie przez jedno rwnanie, ale przez klas rwnowanoci
rwna. Oto mamy mnstwo rwna i nie ma podstaw do wybrania spord nich
specyficznej klasy. Ale wszystkie rwnania w takiej klasie maj t sam jakociow
struktur i z tego wzgldu opisuj zjawiska z dokadnoci do odpowiedniej jakociowej klasyfikacji. Ale tu jest pewnego rodzaju obszar niejasnoci: nie przechodzi si tu od cisych modeli ilociowych do modeli czysto jakociowych poprzez
raptowny przeskok. S tu porednie dziedziny, gdzie stosuje si przyblienie empiryczne, hipotezy statystyczne, modele przyblione i temu podobne. Jest to ta
dziedzina, o ktrej Rutherford cakiem susznie wyrazi si qualitative is nothing
but poor quantitative. Jest to mroczna ale fascynujco porednia dziedzina. Przeciw niektrym modelom teorii katastrof mona podnie zarzut zdaj sobie
10
Rene THOM
(Z jzyka angielskiego przeoy Jerzy Geresz. Orygina zatytuowany Towards a Revival of Natural Philosophy zawarty jest na str. 511 zbioru artykuw Structural Stability in Physics, ed. W. G
ottinger and H. Eikelmeyer, Springer
Verlag 1979. Jest to prelekcja wygoszona przez Thoma z okazji przyznania mu
doktoratu honoris causa przez Wydzia Fizyki uniwersytetu w T
ubingen, RFN
1978 r.)