Documentos de Académico
Documentos de Profesional
Documentos de Cultura
WOLFGANG
BALZER -
FELIX M U H L H O L Z E R
Zusammenfassung
Mit der vorliegenden Arbeit verfolgen wir drei Ziele. Erstens exemplifizieren wir einige
wissenschaftstheoretische Fragen und die zugeh6rigen Antworten (Theoretizit~t, Problem der
theoretischen Terme, empirische Behauptung einer Theorie, Ramsey-Eliminierbarkeit theoretischer Terme) am sehr einfachen Beispiel der klassischen Stogmechanik. Zweitens liigt sich an
diesem Beispielbesonders klar der Begriff des Meflmodellsdarstellen; insbesondere erhalten wir
eine vollst~indigeUbersicht fiber alle Megmodelle.Und drittens erhalten wir ein sch6nes Beispiel
fiir den Begriffder Reduktion einer Theorie auf eine andere, denn die Stogmechanik liif~tsich auf
einfache Weise auf eine Spezialisierung der Klassischen Partiketmechanik reduzieren.
I. A X I O M E U N D M O D E L L E
D1 x ist eine KSM (in Zeichen: ,,xaM(KSM)" oder ,,xcM") gdw es P, tl, t2, v
und m gibt, so dag gilt:
1) x = <P, (t 1, t2}, ~ + , IR3, v, m > .
2) P ist eine endliche, mindestens zweielementige Menge.
3) q, t2EP- und t~ < t2.
4) v:Px{t 1, t2} --> IR3.
5) m:P -* IR +.
6) X m(p)v(p, tl) = X m(p)v(p, t2).
pEP
ImP
Hierbei sind IR + und IR3 die Mengen der positiven reellen Zahlen bzw. der
Zahlentripel mit reellen Komponenten. Px{t 1, t2} ist das kartesische Produkt
von P mit der Menge {tl, t2). Die Schreibweise ,,f :X-*Y" besagt, dag f eine
Funktion yon X nach Y ist. Wir werden im folgenden annehmen, dag P aus n
Elementen Pl, . . . . . Pn (n~>2) besteht, die immer in dieser Weise durchnumeriert sind.
Unter allen Modellen <P, {tl, t2}, ]R +, IR3, v, m > von KSM verdienen nur
diejenigen den Namen ,,Modelle der klassischen Stogmechanik", in denen
* Diese Arbeit wurde im R a h m e n des DFG-Projekts Ba 678/I angefertigt.
Zeitschriftfiir allgemeineWissenschaftstheorieXIII/I (1982)
@ Franz SteinerVerlagGmbH, D--6200Wiesbaden
Klassische Stogmechanik
23
P,h,t2,v und m folgende Bedeutung haben: P ist eine Menge yon Teilchen, und
fiir alle Teilchen paP ist v(p, ti) die Geschwindigkeit yon p zum festen
Zeitpunkt ti (i=1,2). Die Geschwindigkeit wird durch einen Vektor aus IR3
angegeben, der sowohl Gr6ge als auch Richtung zum Ausdruck bfingt. Alle
Geschwindigkeiten und die beiden Zeitpunkte h und h werden gemessen
relativ zu einem inertialen Koordinatensystem mit r~iumlichen kartesischen
Koordinaten x 1, x2, x3 und ,absoluter' Zeitkoordinate t. ,,m(pi)" bezeichnet die
Masse (im Sinne der klassischen Physik) des Teilchens Pi (l~<i~n). Die
Funktion m heiik ,,Massenfunktion".
Es ist zweckm~igig, Gleichung D1.6), den sogenannten Impulserhaltungssatz, umzuformen. Setzen wir
Vi: = v (Pi, t2)-v(pi, tl)
und
mi: =
m (Pi),
1 ~< i
~< n,
~
m i v i = 0.
l~i~n
vi ist die Differenz von End- und Anfangsgeschwindigkeit des Teilchens Pi.
Der L~bergang zu einem anderen inertialen Koordinatensystem wird durch
eine Galilei-Transformation beschrieben. Bei dieser Transformation ~indern
sich die Gr6gen m i und vi nicht. Gleichung (1) bleibt also fiir jedes solche
Koordinatensystem die gleiche.
II. EINE ERSTE VERSION DER EMPIRISCHEN BEHAUPTUNG
24
werden im folgenden solche Tupel, die D1.1-5), jedoch nicht notwendigerweise D1.6) erfiillen, ,,potentielle Modelle yon KSM" nennen:
D2 x ist ein potentielles Modell von KSM (in Zeichen: ,,x~Mv(KSM)" oder
,,x6Mp") gdw es P, h, h, v und m gibt, so dal~ gilt:
1) x = <P, {t 1, t2), ]R+, 1~.3, v, m > .
2) P ist eine endliche, mindestens zweielementige Menge.
3) h, t2~l(, tl < t24) v :Px {tl, h} - ) IR3.
5) m :P --) IR +.
Wir fassen diejenigen potentiellen Modelle von KSM, die man als Anwendungsf~ille der pbysikaliscben Theorie KSM im Auge hat, in einer Menge I*
zusammen, die wir ,,Menge der intendierten Anwendungen von KSM"
nennen. Die Tbeorie KSM selbst fassen wir dann auf als ein Tupel T bestehend
aus dem ,formalen' Teil M und dem ,pragmatischen' Teil I*:
T = <M, I*>.
Hierbei ist, wie gesagt, I* _c Mp.
Die Festlegung von I* kann nicht durch ein mengentheoretisches Priidikat
erfolgen, denn wie sollte man pragmatische Verh~iltnisse, in deren Charakterisierung W6rter wie ,,iiblicherweise" vorkommen, durch eine pr~izise Definition erfassen k6nnen? Die Angabe von I* enth~ilt vielmehr die gleiche
Offenheit, die im allgemeinen besteht, wenn man sagen will, worauf sich ein
sprachlicher Ausdruck bezieht. I* ist einfach dasjenige Stiick Realitiit, auf das
sich das physikalische Pr~idikat ,,ist eine KSM" gemiifl den Intentionen der
Physiker bezieht.
Bei dieser Sachtage ist man geneigt, die Funktion des Pr~idikats ,,ist eine
KSM" wie folgt zu beschreiben. Es dient dazu, eine Behauptung fiber einen
Teil der Welt, der in Form von I* gegeben ist, aufzustellen, n~imlich die
Behauptung, daf~ alle Elemente von I* Modelle von KSM sind. Wir wollen
diese Behauptung ,,empirische Behauptung* yon KSM" nennen. Unter der
Annahme, dag KSM als Theorie die Form T = <M, I*> mit I*c_Mp hat, l~iflt
sich die empirische Behauptung* folgendermaflen definieren:
1)3 Die empirische Behauptung* der Theorie T = < M , F:'> ist der Satz
,,I*_cM".
Wie kann man herausfinden, ob die empirische Behauptung der Theorie T
wahr ist ? Da es sich logisch um einen Allsatz ,,Fiir alle x: wenn x~I*, dann
x~M" handelt, kann man eine h6chst einfache Methode der Verifikation
angeben. Man priife einfach alle Elemente von F:" der Reihe nach durch, ob sie
in M liegen, d. h. ob fiir sie der Impulserhaltungssatz gilt oder nicht. Aber wie
schon gesagt k6nnen wir uns die Elemente von I* nicht durch pr~izise
Definitionen gegeben vorstellen. Es wird uns auch nicht gelingen, Elemente
yon I* irgendwo in der Literatur explizit beschrieben zu finden. Mit ,explizit'
meinen wir dabei, daft alle Komponenten pr~izise angegeben sind, entweder in
Form yon Listen wie in dem oben gegebenen rein mathematischen Beispiel
Klassische Stogmechanik
25
oder in Form yon Definitionen. Der typische Weg, zu einem wohlspezifizierten Element von I* zu gelangen, ist vielmehr folgender. Man wird an ein
konkretes physikalisches System herangefiihrt mit dem Hinweis, daft es sich
bier um eine intendierte Anwendung handle. Dag man dieses System dann
tatsiichlich als ein potentielles Modell im oben pr~izisierten Sinn auffassen
kann, ist ihm nicht unmittelbar anzusehen, sondern mug im einzelnen
festgestellt werden.
Bei quantitativen Theorien besteht dieses Feststellen in nichts anderem als in
einem Prozefl des Messens. Die 13berpriifung tier empirischen Behauptung
fiihrt uns also dazu, an gewissen realen Systemen Messungen durchzufiihren
mit dem Ziel, die yon der Theorie behaupteten Gesetzmiifligkeiten zu
verifizieren oder zu falsifizieren.
Man kann versuchen, diese Messungen durch Angabe von Handlungen oder
Handlungsanweisungen zu explizieren, gelangt dabei jedoch in einen aus
Details und Pragmatik gemischten Sumpf. Man kann andererseits versuchen,
die Messung in der Sprache der einschl~igigenTheorie zu explizieren. Das ist
wesentlich einfacher, und wir wenden uns dieser M6glichkeit zu.
In der Sprache der Theorie KSM sind Messungen fiir die beiden Gr6gen v
und m zu diskutieren.
IlL MESSMODELLE
Man wird sagen, daft im realen System eine Messung erfolgte, wenn der
gemessene Wert durch bekannte Werte der anderen im System vorkommenden
Gr6gen und durch die spezielle experimentelle Anordnung eindeutig bestimmt
ist.
Bei der Masse ist bei Einschr~inkung auf KSM die Beschreibung einer
Messung - genauer: die Beschreibung eines w~ihrend der Messung realisierten
Systems - durch zwei Komponenten gegeben. Einmal enth~ilt die Beschreibung der Messung die Angabe von Geschwindigkeitwerten, die im Experiment
,hergestellt' und kontrolliert werden k6nnen. Zum anderen enth~ilt sie die
Angabe der experimentellen Anordnung. Da wir uns auf den sprachlichen
Rahmen yon KSM beschr~inken miissen, kann diese Angabe nicht aus einer
realistischen Versuchsbeschreibung bestehen, sondern nur aus einer Formel,
die diejenigen Bedingungen an die Geschwindigkeiten formuliert, die erfiillt
sein miissen, damit die Massenwerte im Rahmen yon KSM eindeutig bestimmt
sin& Wir bezeichnen diese Formel mit ~I(P, {q, t2}, v). Das Wort ,,eindeufig"
soil im Fall der Massenfunktion immer bedeuten: ,,eindeutig bis auf Proportionalit~itsfaktor"; eine Eindeutigkeit in strengerem Sinn kann man natiirlich
nicht fordern. Betrachtet man anstelle der Massenfunktionen m deren ,Proportionalit~itsklassen" [m], die wie folgt definiert sind: [m]: = {m' [ m' : P - - ~ + ; es
gibt ein ae~. + m i t m ' (p)=ctm(p)}, so tassen sich jene Systeme, die zur
Massenmessung im Rahmen von KSM geeignet sind - wir nennen sie
,,Massenmeflmodelle yon K S M " - auf folgende Weise definieren:
26
x ist ein Meflmodell yon KSM zur Messung der Geschwindigkeiten nach
dem Stofl gdw:
1) x = <P, {h, t2}, ~ + , IR3, v, m > ~M.
2) Es gibt eine FormetcA (a, b, c), die neben mathematischen Konstanten
nur drei freie Variable a, b, c enth~ilt, so dab gilt:
2.1) fiir alle P', h', t~, v', v", m' gilt: wenn <P', {t;, t~}, IR+, IR3, v',
m ' > EM und <P', {t;, t;}, IR+, IR3, v", m ' > ~M und
CA~,b, ~(P', {t;, t~}, m') und V'ip,~;) = v"lp,~t;}, dann ist
Vtlp,x{t~} ---~ V'lp,x{tj}.
2.2)CA(P, {t I, t2}, m).
3) xel*.
DS) ist das Analogon zu D4), nur daft hier Vlpx(t,)die Rolle von m in D4) spielt.
,,viA" bezeichnet die Einschriinkung von v auf eine Teilmenge A des
Definitionsbereichs. D5) ist allerdings im h6chsten Grade uninteressant: Es
gibt niimlich iiberhaupt keine Geschwindigkeitsmeflmodelle im Sinne dieser
Definition, da die Eindeutigkeitsbedingung 1) nicht erfiillbar ist. Darauf
werden wir am Schluf dieser Arbeit noch kurz zu sprechen kommen.
KlassischeStoflmechanik
27
T1
(1) ist positiv 16sbar gdw es kein u IR3 gibt mit der folgenden
Eigenschaft:
vi.u >I 0 fiir alle i {1, . . . . n} und vk" u>0 fiir mindestens ein k
{1 . . . . . n} 1.
,,." steht dabei fiir das Skalarprodukt im IR3, d.h. vi" u = ~ vi uJ, wobei v! und
u i die Komponenten von v i und u sind.
~<~<3
T1) wird anschaulich plausibel, wenn man die Hyperebene ui: = {v~lR3
I v. u=0} und den positiven Halbraum u + := {v IR31 v-u>0} des Vektors u
betrachtet. Grob gesprochen besagt er dann: (I) ist positiv 16sbar gdw es keine
Hyperebene H ~ ~3 gibt, so daft alle vi (l~<i~<n) auf einer Seite von H liegen.
Damit ist auch schon die erste Frage nach der positiven L6sbarkeit von (1)
auf anschaulich befriedigende Weise beantwortet. Wir fragen nun nach der
eindeutigen positiven L6sbarkeit.
T2
n} und .~ivi = 0
IlEj
I Die Beweise der in dieser Arbeit vorkommenden Theoreme sind in einem Appendix
zusammengestellt.
28
(2)
n)
(vl . . . . , vn) ist hierbei als eine 3 x n-Matrix mit den Spaltenvektoren
vl . . . . . v. aufzufassen. Wir interpretieren (vl . . . . . v.) als eine lineare
Abbildung q~ gn--->lR3 u nd schreiben
m: =
[m!]
D6
a) [[vt, . . . . Vn]] : = ( l ~ n
Mit Hilfe der Theoreme ergeben sich nun folgende M/Sglichkeiten der
eindeutigen positiven L6sbarkeit, wobei wir die Fiille zun~ichst nach der
Partikelzahl unterscheiden. Die Fiille, in denen eindeutige positive L6sbarkeit
vorliegt, kennzeichnen wir mit ~I i (i= 1, 2, 3), u m hervorzuheben, dafg die
jeweilige Charakterisierung nach Ubergang in die Sprache der Mengenlehre
eine Formel 9i i ergiibe, die ein Massenmeflmodell festlegt. Wit schreiben diese
Formeln nicht explizit hin, well sie auf Grund der in ihnen steckenden
mathematischen Teile sehr kompliziert werden.
2 Eine pr~izise Definition der topologischen Begriffe ,,Mannigfaltigkeit" und ,,Untermannigfaltigkeit" findet sich z.B. in [1].
KlassischeStoflmechanik
29
1. Fall, n = 2 : Wegen T1) ist (1) positiv 16sbar gdw es ein ~.<0 gibt, so daft
vl=Xv2. Falls vl#0 (und damit auch v2#0), so~ ist nach T3) die L6sung
eindeutig. Wir haben damit eine erste Klasse von Meflmodellen; ~I1 : n = 2 und
v1=0, und es gibt ein ~.<0 mit v~=~v2.
2. Fall, n = 3 : Sei V : = ~v,, v2, v3]]. Wir unterscheiden welter nach der
Dimension von V:
a) dim V = 1: Wegen T1) ist (1) positiv 16sbar gdw zwei Vektoren aus V
ungleich Null sind und in entgegengesetzte Richtungen zeigen. Wegen n = 3
und rgcp= 1 liegt nach T3) keine Eindeutigkeit vor.
b) dim V = 2: Eine positive L6sung existiert gdw die Bedingungen von T1)
erfiillt sind. Sie ist dann wegen T3) auch eindeutig.
Wir haben also eine weitere Klasse von Me~modellen; ~I2:n=3 und dim
V = 2, und es gibt kein u ~ IR3 mit vi' u~0 fiir alle i ~ 3 und vk" u>0 fiir
mindestens ein k ~ 3.
c) dim V = 3: In diesem Fall gibt es keine positive L6sung, da die vl (1~i~3)
linear unabh~ngig sind.
3. Fall, n = 4 : Sei V:=[[vl, v2, v3, v4]]. Wir unterscheiden wieder nach der
Dimension von V:
a) dim V = 1 : Analog zu 2.a).
b) dim V = 2: Analog zu 2.b). Wegen T3) besteht jedoch keine Eindeutigkeit.
c) dim V = 3: Eine positive L6sung existiert gdw die Bedingungen yon T1)
erfiillt sind. Sie ist dann wegen T3) auch eindeutig.
Damit ergibt sich wieder ein Klasse von Meflmodellen; ~ I 3 : n = 4 und
dim V = 3, und es gibt kein u~ IR3 mit vi" u~0 fiir alle i~4 und vk" u>0 fiir
mindestens ein k~<4.
4. Fall, n >I 5: Eine positive L6sung existiert gdw die Bedingungen yon T1)
erfiillt sind. Wegen T3) liegt jedoch niemals'Eindeutigkeit vor.
Da unsere FaUunterscheidungen ersch/Spfend sind, haben wir damit eine
vollst~indige Kenntnis der Massenmeflmodelle yon KSM erlangt.
v. REDUKTION
Die klassische Stoflmechanik ist eine sehr magere Theorie, und man kann
nur dann ein gutes Gewissen haben, die Massenmessung darauf zu griinden,
wenn man sie vor dem Hintergrund der klassischen Partikelmechanik (KPM)
betrachtet. Erst dann n~imlich, wenn auf Grund der Kr~teverh~iltnisse
gesichert ist, daft tats~ichlich ein Impulserhakungssatz der Form D1.6) gilt,
handelt es sich bei der in KSM vorkommenden Funktion m:P--~IR + u m die
Massenfunktion. Die Beziehung zwischen KSM und KPM l~iflt sich durch eine
einfache Reduktionsrelation darstellen, die im folgenden definiert werden soil.
Zun~ichst jedoch miissen die mengentheoretischen Pr~idikate angegeben
werden, die der KPM und derjenigen Speziatisierung von KPM, in der man auf
einfache Weise zeigen kann, daft der Impulserhaltungssatz gilt, zugrundeliegen.
30
Hierbei ist D2s(p, t) fiir alle t aus dem Innern des Intervalls T gleich der
zweiten Ableitung von s nach dem zweiten Argument und fiir Randpunkte t
gleich der zweiten Ableitung von s' nach dem zweiten Argument.
D8 x ist eine AKPM (,,Klassische Partikelmechanik, in der actio gleich
reactio gilt") gdw es P, T, s, m, f gibt, so daf~ gilt:
1) x = <P, IN, T, IR +, IR3, s, m, f>.
2) x ist eine KPM.
3) Es gibt eine bijektive, zu sich selbst inverse Abbildung
q~:PxIN -~ P x IN mit folgenden Eigenschaften:
a) fiir alle p, qeP, i, jeIN gilt: cp (p, i) = (q, j) --> p~q;
b) fiir alle p, q e P, i, jeIN und t a t gilt: ~ (p, i)=(q, j) --> f(p, t, i) =
-f(q, t, j).
D8.3) ist wie folgt,zu verstehen: Die auf ein beliebiges Teilchen p einwirkende
i-te Kraft hat als Quelle ein Teilchen q, und auf das Teilchen q wirkt eine j-te
Kraft, deren Quelle wiederum das Teilchen p ist. Diese Beziehung zwischen
den Teilchen und den Kr~ten wird durch die Abbildung q~ beschrieben.
Bedingung a) besagt, daft kein Teilchen eine Kraft auf sich selbst ausiibt; und
Bedingung b) driickt gerade das aus, was man als ,,actio gleich reactio"
bezeichnet. Anstatt ,,x ist eine AKPM'" sagen wir auch ,,x ist ein ModeU von
AKPM"; in Zeichen: ,,xeM(AKPM)".
Analog zum Fall der KSM kann man auch hier potentielle Modelle und
intendierte Anwendungen definieren:
D9 x ist ein potentielles Modell yon AKPM (in Zeichen: ,,xeM v (AKPM)")
gdw es P, T, s, m, f gibt, so daft gilt:
1) X---<P, IN, T, ~.+, ~3, s, m, f>.
2) P ist eine endliche, nichtleere Mange.
3) T ist ein Intervall von IR.
4) s : P x T - - ~ 3, und es gibt ein offenes Intervall T' mit TGT' und eine im
zweiten Argument zweimal stetig differenzierbare Abbildung
s' : P x T ' - - ~ 3 mit s'l~T= s.
5) m :P--*~+.
6) f:PxTxIN--~g 3.
Eine intuitive Erl/iuterung des Pr/idikats ,,ist eine KPM", auf die wir hier verzichten, findet
KlassischeStof~mechanik
31
Eine intendierte Anwendung yon AKPM ist ein potentielles Modell von
AKPM, das die Physiker tats~ichlich als einen AnwendungsfaU von AKPM im
Auge haben.
Die Beziehung zwischen der ,Basistheorie' AKPM und der auf AKPM zu
reduzierenden Theorie KSM drfickt man am zweckm/ifigsten durch eine
Relation QcMp(KSM) x M~ (AKPM) aus. Die folgende Definition ergibt sich
auf Grund der physlkahschen Interpretation der Theonen so gut w,e
zwangsl~iufig:
T4
(a) drtickt in modelltheoretischer Formulierung aus, daft s~imtliche Grundbegriffe von KSM in Grundbegriffe von AKPM ,tiberfiihrt' werden. (b) driickt
aus, daft KSM nicht ,fundamentaler' ist als AKPM : Zu jedem x'~M~(AKPM),
zu dem es ein x mit (x, x')e~ gibt, gibt es nut ein solches x; dagegen ~ann es zu
jedem x6Mp(KSM) mehrere x' mit (x, x')eQ geben. Formel (c) schlieflich ist die
inhaltlich wichtigste und besagt, daft die Grundgesetze von KSM aus den
Grundgesetzefi yon AKPM und der Reduktionsrelation herleitbar sind.
Mit Hitfe der Relation Q kann man nun zumindest teilweise die Frage
beantworten, wann eine Massenmessung im Rahmen von KSM, die durch ein
Massenmef~modell xeI* repr~isentiert wird, tats~ichlich eine Messung der Masse
der klassischen Partikelmechanik darstellt; n~imlich jedenfalls dann, wenn es
eine intendierte Anwendung x' von AKPM gibt, so daf gilt: x'aM(AKPM)
und (x, x')~Q.
vI. THEORETIZIT~,T
Die Frage nach der L~berpriifung der empirischen Behauptung von KSM
fiihrte uns auf Messungen und diese zur Diskussion der Meflmodelle. Mit dem
32
WolfgangBalzerund FelixMiihlh61zer
Begriff des Meflmodells k6nnen wir pr~iziser auf eine Unterscheidung eingehen, die zuerst yon Sneed in [2] getroffen wurde. Sneed weist darauf hin, daft es
anscheinend in einer Theorie T eine Gr6fe - nennen wir sie ,,t" - geben kann,
so daft gilt, daft jede Messung yon t nur unter der Voraussetzung m6glich ist,
daft T schon richtig ist. Wenn es solche Gr6fen gibt, dann daft man sie mit
Recht als theoretisch OCiir7) bezeichnen, denn alle ihre Messungen setzen die
Theorie T voraus, und man kann sie somit nicht ,direkt' durch Messung zur
Gewinnung von ,Beobachtungss~itzen' heranziehen, die T best~itigen oder
widerlegen k6nnten.
Um diese Idee zu priizisieren, machen wir zwei Voraussetzungen. Erstens
die Voraussetzung, daft sich jede Messung einer Gr6fe t als Mefmodell
irgendeiner Theorie beschreiben l~ift; hierbei wird jeweils der Begriff ,,Meflmodell zur Messung der Gr6fe t in der Theorie T" auf analoge Weise definiert,
wie wit es fiir den Fall der KSM vorgefiihrt haben. Zweitens machen wir die
Voraussetzung, daf es eine bestimmte Theorienhierarchie gibt4 mit einer
hierarchischen Ordnung, die wie folgt zu verstehen ist: Eine Theorie T1 steht
in der Theorienhierarchie vor der Theorie T2, wenn die Theorie T2 alle Begriffe
von T 1 benutzt, w~ihrend T 1 mit weniger Begriffen auskommt als T 2 (siehe [3],
S. 60).
Mit Hilfe dieser beiden Voraussetzungen ist das folgende Kriterium fiir TTheoretizit~it sinnvoll:
KlassischeStof~mechanik
33
,Vortheorien' zu KSM gibt, in deren Rahrnen Methoden zur Geschwindigkeitsmessung - also Geschwindigkeitsmeffmodelle - angebbar sind.
34
Diese f3berlegungen zeigen auch schon, wie man trotz theoretischer Terme
zu einer iiberpriifbaren empirischen Behauptung kommen kann. Man mug die
Behauptung anders formulieren, niimlich so, daft die theoretischen Terme in
der Behauptung eine andere Rolle spielen. In der empirischen Behauptung* hat
die theoretische Gr6ge m genau die gleiche Stellung wie die nicht-theoretische
Gr6ge v. Beide treten als Komponenten der Modelle und auch der intendierten
Anwendungen auf. Beide miissen daher bei f3berprfifung der Behauptung
zuniichst durch Messung bestimmt werden. Da dies aber fiir m nicht m6glich
ist, ohne die ganze Uberprfifung in Frage zu stellen, muft man einfach m an
geeigneter Stelle ,hinauswerfen'. Die geeigente Stelle ist dabei das Vorkommen
in I*, denn zur Beschreibung der Modelle brauchen wir m auf jeden Fall. Wit
wollen deshalb die Funktion m der intendierten Anwendungen einfach
weglassen und bezeichnen die durch diese Operation aus I* entstehende
Menge, deren Elemente nun Tupel der Form <P, {q, h}, 1R+, 1R3, v> sind,
mit dem Zeichen ,,I". (Wir werden auch die Elemente aus dieser Menge
,,intendierte Anwendungen" nennen.) Allerdings wird dann eine empirische
Behauptung der Form ,,I_cM" unm6glich, da die Mengen I u n d M aus rein
formalen Grtinden disjunkt sind.
Die Idee, wie in dieser Situation trotzdem eine empirische Behauptung zu
formulieren sei, geht auf Ramsey zuriick. Er schlug vor, die theoretische
Gr6fte, d. h. in diesem Fall die Gr6ge m, dutch einen Existenzquantor zu
binden Sit tritt dann einmal nicht mehr ,ungeschfitzt' auf, d. h. so, daft man sie
durch Messung bestimmen k6nnte; zum anderen tritt sie aber doch noch auf,
niimlich in Form einer Variablen,. und kann somit zur Formulierung des
Impulserhaltungssatzes verwendet werden. Der dutch Existenzquantifikation
tiber m entstehende sogenannte Ramsey-Satz hat fiir ein einzelnes System
x = < P , {t l, t2}, IR+, ]I(3, v>~I folgende Form:
VX(<P, {tl, t2,}, IR+, ]R3, v, X>eM).
Hier haben wir nun, wiederum aus Grfinden der Verst~indlichkeit, nicht mehr
m als Variable benutzt, sondern einen neutralen Buchstaben: X. Die obige
Formel drfickt aus, daft es zu der intendierten Anwendung <P, {q, t2,}
IR+, g3, v> eine Funktion X gibt, so daft, wenn man diese hinzufiigt, die
entstehende Struktur <P, {h, t2}, g + , g3, v, X> ein Modell ist. Um die
gesamte empirische Behauptung der Theorie in Form eines Ramsey-Satzes
auszudrficken, braucht man .die obige Formel nur fiber alle Systeme <P,
{q, h}, JR+, IR3, v>eI zu quantifizieren. Die empirische Behauptung lautet
dann:
,,Zu jedem <P, {t1, h}, IR+, 1R3, v>eI gibt es ein X, so daft gilt: <P,
{tl, t2}, IR+, ~3, v, X>eM."
Wir wollen diese Modifikation noch etwas pr~iziserfassen. Dazu mfissen wir
zun~ichst eine Menge m6glicher partieller Systeme einffihren, in denen m nicht
auftritt. Diese gewinnen wir, indem wir aus den potentiellen Modellen einfach
die letzte Komponente, die Massenfunktion, weglassen. Die so entstehende
Klasse von Systemen bezeichne wir mit Mpp, und die Elemente von Mpp heigen
,,partielle potentielle Modelle". Die Argumentation von Abschnitt II, nach der
Klasslsche Stogmechanik
35
I*_cM_ gelten soll, l~iflt sich nun wiederholen mit I anstelle von I* und Mpp
anstelfe yon Mp. Da hierbei in den Systemen nur die theoretische Gr6fle m
weggelassen wurde, die man sowieso nicht direkt messen kann, kSnnen wir die
Argumentation yon Abschnitt II iibernehmen, ohne sie hier zu wiederholen.
Das Resultat lautet, dag I eine Teilmenge von Mpv ist, die wir nicht pr~izise,
sondern nur ,paradigmatisch'*bestimmen k6nnen.
Wir fassen all dies in einer Definition zusammen, wobei wir auch den
Begriff der Theorie KSM etwas modifizieren:
36
potentiellen Modells x, wenn x' aus x dadurch entsteht, daft der theoretische
Term m in x weggelassen wird. Fiir eine Menge X potentieller Modelle
bezeichne r(X) die Menge aller Redukte yon Modellen, also die Menge aller
partiellen potentiellen Modelle, die aus Modellen durch Weglassung von m
entstehen. Wir sagen, eine Theorie T der Form T=<M,Mp,M.p,I> habe
keinen empirischen Gehalt, wenn gilt: r(M)= M.., d. h. wenn jeafes partielle
potentielle Modell Redukt eines Modells ist. In ~resem Fall ist die empirische
Behauptung von T logisch wahr, gleichgiiltig, wie die intendierten Anwendungen beschaffen sind. Man braucht dazu nur zu bemerken, daft bei Benutzung
des Reduktbegriffs die empirische Behauptung einfach lautet: Igr(M). Ramsey-Eliminierbarkeit der theoretischen Gr6ge m schliefllich bedeutet, daft es
eme Menge M"_Mpp glbt, die ohne Zuhllfenahme theorettscher Terme formal
charakterisiert werden kann und fiir die gilt: M :'~ = r(M). Wichtig ist hierbei,
daft M* ohne die theoretische Gr6ge m bestimmt wird. Das heiflt bei KSM,
daft man M* durch ein mengentheoretisches Pr~idikat definieren mug, in dem
m weder vorkommt noch benutzt wird. Wiirden wir uns nur auf die
Forderung des Nicht-Vorkommens von m in der Beschreibung yon M*
festlegen, so w~ire dies ungeniigend, denn man k6nnte jam in quantifizierter
Form durch die Hintertiir wieder hineinbringen und benutzen. Man k6nnte
M" als r(M) definieren, wobei natiirlich m in quantifizierter Form benutzt
wird. Die Forderung, dag m auch nicht benutzt wird, l~igt sich pr~izisieren
durch die syntaktische Forderung, dag nur P, {h, t2) und v als freie Variable in
der Formel, die M bestimmt, vorkommen und daft nur iiber ,Objekte der
Grundmengen' in dieser Formel quantifiziert wird. Objekte der Grundmengen sind bei der KSM alle Elemente der Mengen P, {h, t2) , ]m+ und IR~.
"~C
"
"
"
DI3 a) x' ist das Redukt von x (x'=r(x)) gdw x' = <P, (h, t2), IR+, 1R3,
v>eM v. und x = <P, (h, t2), ~ + , IR3, v, m>~Mp.
b) Fiir cX.GM, sel r(X): = {x 6MppJVx(xEX & x = r(x))).
c) KSM hat fieinen empirischen ~ehatt gdw r(M)= Mpp.
d) mist Ramsey-eliminierbar in KSM gdw: es gibt eine Formel ~I(a, b, c)
mit genau drei freien Variablen a, b, c, so daft
1) fiir alle P, {h, h), v: wenn~I~, b, ~(P, {h, t2}, v), dann <P,
{tl, t2), g + , ~3, v>6Mpp;
2) 9.1enth~ilt nur Quantoren fiber Elemente yon P, {h, t2}, F'+, 1R3;
3) {<P, {h, h}, ~-+, IR3, v>lgA(P, {tt, h}, v) } = r(M).
1;'
Die in d.3) durch ~ definierte Menge wird (und wurde oben) M* genannt.
7'5
Natiirlich sind die Definitionen yon D13) und die Aussagen von TS) so
gehalten, dag sie sich auf andere Theorien leicht iibertragen lassen. Damit, daft
wir definiert haben, wann KSM keinen empirischen Gehalt hat, ist natiirlich
Klassische Stomechanik
37
noch nicht gesagt, daft KSM keinen empirischen Gehalt hat. In der Tat trifft
dies fiir KSM nicht zu; mit anderen Worten: KSM hat empirischen Gehalt.
Andererseits ist in KSM die Masse Ramsey-eliminierbar:
T6 a) KSM hat empirischen Gehalt.
b) Die Masse ist Ramsey-eliminierbar in KSM.
IX. QUERVERBINDUNGEN
Die KSM in der bisher vorgestellten Form ist eine ziemlich diirftige Theorie.
Selbst als Theorie der Massenmessung ist sie nur beschr~inkt brauchbar. Im
allgemeinen m6chte man ja auch Massen von Teilchen messen, die sich nicht
zuf~illigin solchen Systemen, wie KSM sie beschreibt, befinden. Um die Masse
solcher Teilchen im Rahmen von KSM zu messen, muff man mit den Teilchen
experimentieren, d. h. mit ihnen und anderen Teilchen MassenmeffmodeUe yon
KSM konstruieren. Die Behauptung, man habe damit die Masse des Teilchens
gemessen, so wie sie dem Teilchen auch aufferhalb des Experimentes in anderen
Situationen zukommt, l~ifftsich aber nur aufrecht erhalten, wenn man explizit
die Systemunabh~ingigkeit der Masse postuliert. Erst dann hat man auch eine
Theorie, in der die Massenmessung beliebiger Teilchen beschrieben wird.
,,Systemunabh~ingigkeit" besagt, dag ein Teilchen stets die gleiche Masse
besitzt, gleichgiiltig, in welchem Gesamtsystem es jeweils betrachtet wird. Wir
wollen KSM um entsprechende Postulate erweitern, wodurch eine wesentliche
Versch~irfung des Gehaltes eintritt. Die formale Komponente, die aus technischen Griinden hinzugefiigt werden muff, nennen wir ,,Querverbindung",
well sie eben Querverbindungen zwischen verschiedenen Modellen oder
potentiellen Modellen beschreibt.
Wir sagen, eine Menge potentMler Modelle X erfiille die Querverbindung
fiir die Masse, wenn in je zwei potentiellen Modellen von X gemeinsam
vorkommende Teilchen auch die gleiche Masse haben. Das heigt, daff die
Massenfunktionen, die in beiden Systemen auftreten, fiir solche Teilchen den
gleichen Wert annehmen. Die Querverbindungen von KSM sind dann gegeben
durch die Menge aller solcher Mengen X, die die soeben beschriebene
Bedingung fiir die Masse erfiillen.
D14 a) X erfiillt die Querverbindung fiir m gdw X_CMp und fiir alle x, yeX
und alle p: wenn peP~nPy, dann m~(p) = m, (p).
b) Die
. Querverbmdung
.
. Q fiir
. KSM wlrd defimert
; durch Q: = {X I x
erfiillt die Querverbindung fiir m}.
Die empirische Behauptung 15Aftsich dann so erweitern, daff die Querverbindung mit einbezogen wird. Sie lautet:
VX(I = r(X) & XeQ & X_GM).
X. PROGNOSEN
38
Die einzig denkbaren Prognosen betr~en hier nur die Geschwindigkeiten nach
dem Stoft; diese sind jedoch, wie schon in III erw~ihnt, in KSM nicht eindeutig
bestimmbar, und das heiftt eben auch, nicht eindeutig vorhersagbar:
77
Wir haben schon weiter vorne darauf hingewiesen, daft die KSM im
Vergleich zur KPM eine ~iufterst magere Theorie ist. Dieses intuitive Urteil l~iftt
sich nun in der Weise pr~izisieren, daft man zumindest die folgenden Punkte
anfiihrt, die zeigen, worin die gr6ftere St~irke und Reichhaltigkeit der KPM
besteht: Erstens ist die KSM auf die KPM - genauer: die Spezialisierung
AKPM - reduzierbar, w~ihrend das Umgekehi'te nicht der Fall ist. Zweitens
erlaubt die KSM allein iiberhaupt keine eindeutigen Prognosen; die KPM
dagegen, mit ihren vieten Spezialisierungen, fiihrt zu vielen und ~iufterst
fruchtbaren Prognosen. Letzteres liegt u.a. daran, daft in die KPM viele
Spezialgesetze eingebaut werden k6nnen, die dann ein ganzes Netz von
Beziehungen schaffen. Dies ist jedoch ein Aspekt, auf den in vorliegender
Arbeit nicht mehr eingegangen werden soil.
APPENDIX
Beweis .,on T I :
l~i~n
v kann dann nicht Null upd (1) folglich nicht positiv 16sbar sein. ,,~"'. Siehe
[4]: Corollary 1A.
B e ~ e i s y o n T2 :
l~j~k
l~j~k
(mj+l~j)vi +
k+ l~j~n
~tjvi=0, ~lj>0
mjvj = ~
l~i~n
mivi
l~j~k
,,b) ---> a)": Angenommen, (1) ist nicht eindeutig positiv 1/Ssbar. Dann gibt es
mi>0, ml'>0 (l~<i~<n) mit ~ mivi = 0, ~ m~'vi = 0 und kein k e g mit
l~i~n
l~i~n
ml'=kmi (l~<i~<n). Es ist klar, daft ein k existiert mit mk/mk'>=.-mi/mi' fiir
i--1 . . . . . n. Hieraus folgt:
0 = (mk/m~) E
m~vi--E
l~<i~n
t
l~i~n
mivi
= ~
((mk/mk)ml--ml)vi--
= ~
((mffm~)m~-ml)vi"
1~1~;n
glassische Stoflmechanik
39
Es ist klar, daf ~ti~0 ist (l~<i~n, i#k), und wegen der Nichtexistenz des
Proportionalit~itsfaktors k ist mindestens ein ~ti>0. Folglich gibt es ein
J ~ { 1 , . . . , n} mit J 4= {1 . . . . . n}, so daft ~tj > 0 fCir alle j~J und i~tjvj= O.
Beweis yon T3 :
(1) ist genau dann eindeutig positiv t6sbar, wenn die Dimension der
Mannigfaltigkeit L, gleich 1 ist: dim L~ = 1. Da I~ eine offene Teilmenge von
ker~p ist, gilt: dim L~ = dim ker q~. D. h. :
(1) ist genau dann eindeutig positiv 16sbar, wenn dim ker q~ -- 1 ist. Dies" ist
wegen der Formel dim ker q~ + rgq~ = n (Lineare Algebra) genau dann der
Fall, wenn rg q~ = n - 1 ist. Wegen 0 ~ r g q ~ 3 und n _>2 folgt die Behauptung.
Beweis yon T4 :
t2
t2
peP
peP
tl
T5 und T6.a) sind trivial. T6.b) ist klar aufgrund yon Satz TI.
Beweis yon T7:
Die Frage ist, ob in der Gleichung ~ m(p)v(p, tl) = ~ m(p)v(p, t2) die Werte
peP
~P
v(p, t2) f/.ir alle peP durch die resthchen Werte emdeutlg bestlmmt sere konnen.
Wie man sich leicht ~iberlegt, fiihrt dies zur Frage, ob in einer Gleichung der
Form mivt+m2v 2 = mlxl+m2x 2 (mi, vi, x i E]R, i=1,2) die Werte von Xl,X2
durch die restlichen Werte eindeutig bestimmt sein ki3nnen. Es ist jedoch klar,
daft dies fiir keine Wahl von ml>0, m2>0 und v~, v2 der Fall ist.
[1] Br6cker, T./J~nich, K. : ,,Einfiihrung in die Differentialtopologie", Berlin-Heidelberg-New
York, 1973.
[2] Sneed, J. D. : ,,The Logical Structure of Mathematical Physics", Dordrecht, 1971.
[3] Stegmiiller, W.: ,,Theorie und Erfahrung", Zweiter Halbband, ,,Theorienstrukturen und
Theoriendynamik", Berlin-Heidelberg-New York, 1973.
[4] Tucker, A. W.: ,,Dual Systems of Homogeneous Linear Relations", Annals of Mathematics
Studies 38 (1956).
Adresse der Autoren:
Dr. Wolfgang Balzer, Dipl. Math. Felix Miihlh61zer, Seminar fiir Philosophie, Logik und
Wissensehaftstheorie der Universit~t, Ludwigstrafle 31, D-8000 M~inchen 22.