A = Adorno - Arm = Armstrong- AR = Armstrong- Av = Avramides- Avr = Avramides -B = Barrow- Ba = Basieux- BB = Beck-Bornholdt- Brk = Berka Bla= Black- Blu = Blum- Bogh = Boghossian- Bo = Bolz -Bö = Böhm- BR = Wiesing- Braith = Braithwaite-Bra = Brandom -Ber = Breidert/Berkeley Bu = BubnerBX = Baxandall-Bt = Bateson-Ca = Carnap-Car = N.Cartwright-Cav = Cavell-Chi = Chisholm- Cho = Chomsky-Cr = CresswellD = Davidson Da = Dawkins-De = Derrida-Dav = Davidson -Den = Dennett-Deu = D. Deutsch-Dev = Devlin- Disp = Armstrong II - Dt = Danto Du = Dummett -Dub = Dubislav-Duh = Duhem-Dum = Dummett-E = M. Eigen -EMD = Evans/McDowell-Es = Esfeld-F = Frege-Fe = Feyerabend-Fey = Feynman-Fie = H. Field-Fl = Flusser- Fö = von Foerster -Fr = van Fraassen-Fra = M.Frank-Fri = Fritzsch- G = Goodman- Gd = Gould Ge = Gethmann-Siefert-Gea = Geach-Gl = Gleick-GLU = Glossar Luhmann-GM = Gell-Mann-Go = Gombrich-Grae = Graeser -Grice = Meg (= Meggle) Gre = Greene-Gro = Grover-Gs = Groys-Gu = Guth-Gz = Genz-Ha = Habermas-Hack = Hacking-HC = Hughes/Cresswell-HH = Hoyningen-Huene-Hor = Horwich-Hst = Hofstadter- Hü = Hügli/Lübcke- Hum = Hume-Ju = Jung- K = Kripke-Kan = Kanitscheider- Kau = Kauffman-Kri = Kripke-Lei = Leibniz-Lo = Lorenz-Loc = Locke-LW = Lewis-Lu = Luhmann-Ly = Lyons-Ma = Mayr-Mat = Maturana-Mate = Mates-MD = McDowell-McG = McGinn-Me = Menne-Meg = Meggle-Mei = Meixner- Metz = Metzinger- Mo = Moles - Mon = Monod-Mü = Münch-N = Nagel-Nie = Nietzsche-No = Nozick-NS = Newen/Schrenk-Os = Osserman-Pau = Pauen-Pea = Peacocke-Perd = Perdijon-Pi = Pinker- PiS = Sinnreich -Po = Popper-Pri = Prior-Pu = Putnam-Q = Quine- R = Russell -Re = Read- Reu = Reulecke-Ro = Rorty-Rö = Rötzer-Ruc = Rucker-Sau = Saussure-S = Searle-Sai = Sainsbury- Sal = Salmon-Sav = Savigny-Sch = J.Schulte-Schi = Schiffer-Schu = Schurz-Schw = Schwarz- Se = Seel -Sell = Sellars -Si = Simons-SL = Stuhlmann-Laeisz-Sok = Sokal-SpBr = Spencer Brown -Spi = M.Spies- St = Stegmüller-Sta = Stalnaker-Sti = Stierle-Str = Strawson- Strd = Stroud-Stro = Strobach-T = Chr.Thiel-Tau = Taureck-Tu = Tugendhat-V = Vaihinger- Vo = Vollmer-W = Wittgenstein - Wa = Waismann-Wah = Wahrheitstheorien/Skirbekk-We = Wessel-Wi = E.O.Wilson-Wol = Wolf-Wri = Chr. Wright-Zi = Zimmerli-Zo = Zoglauer
Tau Tax Tech Tel Ter Test Tex The Theo Ti Tod Tok Tra Tri Tu
T (System T, Modallogik) HC I 83ff(Vollstktsbeweis/>Kripke(1963)/schwach vollst), 107(alternative Basen(Axiome),310(= Kripke: Syst. M),
Tableau (Logik) siehe semantische Tableaux
Tachyonen Gr 122 ‑‑ Gz I 270
Tapete Fi (Kant) 341
Tarski Pu I 231ff ‑‑Pu IV 84! ‑‑ D II 186 ‑‑ D IV 10 ‑‑ Q III 115! ‑‑ W I (Vs) 133 ‑‑ Pu IV 20 (Vs) ‑‑ Tu I 257,318 ‑‑ S III 223 ‑‑ Wah 280,311,342ff,(QuineVsTarski) 343 ‑‑ Pu V 175 ‑‑ Sai I 178,189,196,197 ‑‑LW II (Vs)208 ‑‑ Gea I 76(beginnt n.m.Satz‑Wahrh.,sond.m.Erfüllung einer Aussagenfunktion,weil komplexe Sätze n.in einfachere zerlegbar! falsch wäre:"komplexe Tatsachen" als Satzwahrheit., k.Wahrh."in rebus") ‑‑ Du II 58!(Probl.:W f.nichtformale klass. Semantik,VsFrege:Ref. n. außersprachl.sond.Objektspr.),59!(Mittel d.Verknüpf.(Metapsr.)/statt Ggst/VsModellth:n.Wahrh. unter belieb Interpretat.sond.beabsicht.festgesetze Int.),59(Hilfsbegr.), 115f(W‑Wätze"Schnee.." usw.formal,n.prop.Wissen,sonst zirkulär) ‑‑ PiS 101ff ‑‑ Pri I 98ff,100(allg.Form:x(Name i.Metaspr.)ist wahr ddann p(Übersetzung)) ‑‑ EMD VII!("Schnee.. "Übersetzung darf n.einf. Identitätsfunkt.sein),X("Schnee.."stellt k.Identitätrel zu sich selbst fest/statt dess:stellt semant. Eig.fest indem sie sie gebraucht),8,9(Untersch.z.Dav:o.Kontext o.Umstände,d.Bedeut.änd./ nur Wahrh.f.best.Spr.uninterpretiertes W‑Präd/Dav:W undef Grundbegr.),34(Tarksi:Übersetzung undef Grundbegr.),51(Erfüll.semant.Hilfsbegriff/dann rechts semant.Vokab.durch Rekursion elim./dann evtl.Hilfsbegr.d.Denotation/für Elim.semant.Vok. Beweisth.nötig),337(VsDav(Kri)), 339(Kri: Konvention W),340(VsDav:evtl.Wahrh.als Grundbegr.:T(f) bik f) ‑‑ Fie I 105, 106(Undeterminierbarkeits‑Theorem),244ff(Zitattilgung platonistisch),217(Zitattilg.n.ohne subst.Quant/>Verstehen>Wahrheits‑def),247(FVs:zu restriktiv),249(Anti‑RalismVs:statt dess sQ) ‑‑ Brk 391(Wahrht:rein semant/n.pragmat,k.Krit zur Feststell.d.WW/n.f.Alltagsspr,nur formale Kunstpr),396ff,398(geht v. Korrth.aus), 399("x": Name v. Aussage,MS) ist wahr, gdw p("p":Aussage d. OS)), 400(TT unverzichtbar), 402ff("deduktive Disziplin":zwei Klassen formaler Sprachen a )endl Typen, b) ueTypen),475(Lemma E:(Klass.Kalk,erkennt Auss.nicht an,daß mind.2 versch.Kl.exist), 484(Lemma A,B,C), 488(LEmma F,G),489(Lemma H,I,K),490(Lemma L:Aussage a: richt,ab.n. beweisb), 485(Lemma E),487(Rtk:richt.i.Bereich m.k El/Rt:richt.i.jed.Ber), 490(Aussage a: jed.nichtl.Kl.enth.Einerkl.als Teil),(491(Auss.a: i.jed.Bereich richt,ab.n.beweisb/ab.w.a zum AxS hinzugefügt,werd.beide Begr.umfangsgleich), 494(Metawissenschaft), 501(def semant.Typ), 507(Meth.d.mehrzeiligen Folge/d.semant.Vereinheitl.d.Var) ‑‑ Fie II 2ff(FVsalle:führt Wahrht n‑.als prim.ein,sond.reduz.sie auf and.sem.Begr).5/6(def1.was es f.Nam.ist, zu denot,2.f.Präd. zuzutreff, 3.f.Funkt,erfüllt.z.werd),26(QuineVsT:Schema T hinr.f.Erklär.d.W) ‑‑ Schi I 275(S.T‑Stil W‑.Def aus Rolle i.Ausdr.i.Kommunikat,dann enth [s ist W] nichts üb.Gebrauch!) ‑‑ Hor I 107ff,122ff(VsT), 146(Bla:d.meist.Kritike.übersahen, daß d.Schema selbst n.Def ist),358(Field 73:Motivation: Physikalism),471(pro moderat.Physkalism),473(FieldVas:k.phys.Redukt.mgl,zeigt n.wie semant Tats üb.Ausdr.auf phys.T.üb Sprecher +Umgeb.superven),475/6f(SoamesVsT),480(PutVs/DumVs: W‑Def hat nichts m.Versteht z.tun),481(FieldVs:semant Eig.v.Sprech.abhg/2.ähnl.Vs:Bedeut.+WB sollten konting‑analyt.verbund.sein),482(Sätze/Field:Äuß!(>Physikalism) ‑‑ Gro I 271(GVs:mögl. doch "(p)('p' ist wahr gdw.p)":weil i.geeign.MS mögl,i.AZ zu quant),272(GVs:W‑Th o.Th.d.WB mögl) ‑‑ Fie III 52f(affine Geometrie) ‑‑ NS I 49ff(WT)
Tarski‑Schema (Zitattilgungsschema, T‑Schema, W‑Schema, DS, diquotational Scheme) Hor I 124("gdw" keine Rel.zw.Sätzen weil keine Kombi v. Namen v. S),160ff(Thomson:sagt uns nicht, daß links Name d.Satzes re steht)
Tatbestand (Faktum) = Relation D II 126
Tatsache Fö I 291 ‑‑ Q I 424 ‑‑ Str (letzte, atomare Tats.) 272 ‑‑ Duh XXIV,196,198,205 ‑‑ R II 144 ‑‑ W II 394,113,229,391, ‑‑ D III 189 ‑‑ D IV ("grosse Tatsache")75, 83 (keine T) 276 ‑‑ Re 242ff ‑‑ Dt V 45,98,168 ‑‑ Pu IV (Tatsachen/Theorien) 66‑69.70 ‑‑ Bra 464f,467,469,508, 841, 862,866 ‑‑ Sell 5,XII,28 ‑‑ Tu I 162,163 ‑‑ S III 218f ‑‑ Wah 97,101,245(Austin),253f, 256,285f,292, ("tatsächlich") 169, (atomare Tatsache) 321 ‑‑ Pu V 10,266,184 ‑‑ Ro III 37 ‑‑ S V 145 (Ggst/ Sachverhalt) ‑‑ Fe I 41,43 ‑‑ Ro VI 52,124,193f ‑‑ Bo I (Baudrillard) 110 ‑‑ MD I 140 ‑‑ SE III 98,149 (Brandom) ‑‑ Metz i(nicht‑physikalische T.) 280,(nichtphysikalisch) 42 ‑‑ Q VI 112(Vs) ‑‑ Sai I 79 (präzise) ‑‑ Sch I 67,69,101 ‑‑ F IV 50 ‑‑ Cav I 236,245 ‑‑ N III 32!,34,35 ‑‑ Meg II 149(HareVs),264,265(T/Ereignis) ‑‑ Lei I 63(unendl.viele) ‑‑ Wol I 86 ‑‑ We I 31(Term) ‑‑ Chi II 30,175(k.falschen T,/Sachverhalte/ Sachlage/Situation) ‑‑ W IV 16(neg.T), 49(unend,l.), 86(Vexierbild) ‑‑ Es I 92!(gibt es nicht, wenn Festlegung selbst zugeschrieben), 188(VsKripkes W: gibt es,wenn soz.Praxis gegeben, aber nur normativ beschreibbar),122(soz. Bedeutungstheorie: verwechselt Recht mit Bedeutung!Willkür d.Gemeinschaft,VsKripke), 187(Frege:wahre Prop./ McDowell:Teile d.Welt),188(Brandom:Inhalt wahrer Behauptungen, aber auch "woraus d.Welt besteht"),188(T unglich Inhalt),269!(Aspect:wenn Messungen getrennt,d.k.T., welche zuerst) ‑‑ Gea I 21f(GVs"Tatsache,daß..",k.Entität!,Ggs.einer T k.T.,Ende 19.Jahrh.),22(einfach unanalys. Satz), 23((vereinigt k.Konjunktion),192(Vs),259(T‑Sätze prod.immer Paar v.Behauptungen: 1.Glauben,2.Inhalt),k.Konjunktion!),259(beh.Kraft auch in Fragen), 324(Wissen, daß..:k.binäre Relation!auch nicht:"ich weiß den Satz..") ‑‑ Hum II 243(n. verbürgt,wie Mathe./Gegenteil immer mögl.o.Widerspr.),253(wenn Gott,dann T.,also empir.,n a priori) ‑‑ Fra I 324(Cast:kann n.Glaubensinh. sein,wg.unendl.Aspekte,Gedanken immer transparent), 337f(Cast:"Akkusativ" (d.Glaubens)statt T.(neutraler) ‑‑ Du II 65f(wissen‑was/w‑daß/ Kenntn.d.Wahrh./d.Proposition) ‑‑ F/L 137ff(Den:Glaub.Wunsch,usw.nur angenomm), 146(Millikan, Dretske VsDen:evol.notw.), 148(VsDen:n.aus Einst),148(v.Th.n.begriffl.abh?)/ Vs:n.v.Interpretat. abh.)195((w.Spektr.vert.dann k.Tats.) ‑‑ Bla I 184/5(beschreibabh.) ‑‑ Pri I VII(log.Konstruktion), 4(distinkt,n.steigerbar, z.B."grüner"/(s)T.d.Steigerung n.m.direkt auf grün bezog),5(=wahre Aussage,aber n.notw. geäußert),7(Meinong=wahre Auss.),11Ramsey: log.Konstr.),15(ungl. Satz:Bsp Arm gebroch. n.durch Rel.z.Satz),17(Untersch.beinh gebr./ Nuklearkrieg: Status,.Rel.z.Gedankenobj.), 19(falsche Klammer: "(fürchtet)(daß)/ richtig:"(fürchtet,daß)..."), 23(Austin:wahrmachen/StraVs:nur Ggst,k. Tats./T:was wahre Sätze konstat.n."worüber sie sind",n.i.d.Welt),24(=Welt(Wittg/Prior), 67(<"für einige p,p" ="Es gibt T" = "etw.i.wahr"),67(w.nichts d.Fall,dann immer noch das d.F.,also unmögl. d.nichts d.Fall),68("für einige p,p:Ramsey),72(alle T immer spezifizierbar, außer Gesamt‑T(wenn die exist)),78(müssen immer spezbar sein) ‑‑ LW V 189!(einfache Wahrheiten, daher meist Zufall, was eine T ist/n.jed.T. entspricht best.Ereign.:Bsp daß Xanthippe Witwe wurde) ‑‑ EMD 69(Dum:z.kennen zu wenig,um Satzbedeut.z,.verstehen), 106(k.disjunkt.T.Disjunkt."wahr.‑kraft" eines v.zwei),121(zeigt,ob Behaupt.korrekt(>Korrektheit unglWahrh.),122(mögl.‑b eschreib.einer T.z.vestehen,o.z. wiss.ob.besteht/Nicht‑Vorkommn.einer T.selbst wieder T.),176!(w.Sprache aus Geräuschen, dann k.T., die nicht auf alle Sätze bezogen wäre),177(dito),212/3(Ev.feinkörnig)/ Identitätsbeding), 263ff(B.Taylor),264(Satzketten/ Ersetzung, Menge v.Entität.Beschreibrel,Präd,Def "Bestehen": w.Beschreib.wahr!),268/9(selbst T:allen wahren Sätzen zugeschr.w.WW‑Lücken ausgeschl/wg Prinz.d.mat.Äqui sollten dennoch versch.T),273 (äqui Sätze:unklar,ob dieselb.Obj. wahrheitsrelevant),274/5(def atomare T/Tayl:log Form),277 (Trad:"negative T":aus mat. Adäquatheits‑Prinzip:intuitiv:selbe El.relevant f.Wahrh.wie Falschh.d. Satzes/Vs:mü.versch. Deskripta hab/Lö:Neg‑Zeich "~"selbst als zusätzl.El. > neg.T.Kategor.sui generis),277(def Gesamttats/G‑Zust.:Menge aller Teilmengen!), 278(dito, >Äquiklasse),280(theoret. Nutzen:für Analyse d.W‑Begriffs überflüss/analyt.Sätze beschr.k.T.), 283(sing Term "Fischer Sieg üb Spasski">Bezeich.einer T(Denotation)/DavVs) ‑‑ AR III 144f(neg),145(>Ausschlußgesetz/Bsp bestimmte Geschwnd.schließt automat.andere aus > abgeleit.Gesetz/aus positiven T (Supervenienz), 146(Lö:pos T. m.neg.Eig),147(def neg T:ED hat neg Eig/neg T:a)verursacht b) verursachend(noch schlimmer) ‑‑ Disp 15(ArmVsPlace:k.kontrafkat T),20(kontraf.T:als Wahrmacher(Pl)/Arm: beschreibt direkt Teil d.relaität:"wenn...worden wäre"/Armvs,PlVs:absurd), 33(Pl:= Situation/ Arm:=ED,hat Eig od.mehrere ED i.rel),102(Russ: "allgemeineT" Fakten d.Totalität,große Ansammlung,Aggregat,v.T,k.Gesetz,Zuständ.1.Ord), 129(dito:GF zw.Univ‑Instant),131(dito,kann auch rein zufällsein:"gemischte Welt"),149(Russ:allg T machen Allquant wahr,Arm pro/Prbl: k.Unterschdbkt NG/Regul/k.Rel zw.U/k.Verbind.v.Typen), 150!(dito/Lew: T.d.Totalität schließen bestimmte zusätzl.T.aus,dann T.niedriger St.ad hoc) ‑‑ No I 129(w.alle Möglkten verwirkl. (i.getrennt.Univ),dann keine T "a statt b"/neg T:w.1 Möglkt/od. mehrere) n.bestehen),196(Rede v."Wahrh" statt "T") ‑‑ Mei I 103(es i.d.Fall.,daß,macht jed.SV zu einem Instantiierungs‑SV),117(daß T besteht,ident.m.T),124(Summe v.Tats.selbst Tats) ‑‑ Tie I 392(Den:was f.eine T.soll das sein,d.nur f.eine Seite einer empir Frage ausschlaggeb.ist?) ‑‑ Fie I 21(Benacerraf (1965) k.T.warum reelle Zahl Dedekind,od Cauchyfolge od geordn Paar usw. sein soll/aber was zeigt das?),22( ob nat.Z.diese od.jene Art Mengen: wie Frage, was Rotkäppchen im Alter tat),40(k.T.aufgrund der Isomorphismen Querweltein‑Id ist(gleiche Geschichte),278(k.T:w. Begriffe versch.Bedeut hab,kö.beide recht hab,k.T.entscheidet) ‑‑ SpBr 111!("es i.n.d.Fall, daß keina ein b ist"vermeidet Exist‑Annahm,zeigt Irrelevanz d.E/statt "einige a sind b") ‑‑ Av I 57(Harman: selbst‑ref.T?(Bsp gegenseit. Wiss.üb.Intention einer Äuss) ‑‑ Schw I 15(Lew:= wahre Sätze),62(Lew:daß Ö1165 = 34 sagt uns nichts üb.die Welt, k.Tt.als Wahrmacher), 133(Def/ Lew:früh:wahre Propos/d.h.Kl.v.MöWe/dann eineindeut.Korr.m.Kl.v.RZ‑Regionen/ Prbl:k.Untersch. "richtig"/falsche Ursachen:Bsp Rotat.d.flieg.Balls zerbr.n.d.Fenster)) ‑‑ Reu I 77(i.Wiss.gelten nur T.d.i.voraus bestimmb.sind Hoyle?)/(s)Bsp Ggst.fällt:hätte auch vorher beschrieb.wer.kö,sonst Ereigns.n.spezifb) ‑‑ Q XII 55(keine T:was prinzipiell unbestimmt ist, keine T‑Frage/(abh.v.Drstell) ‑‑ Fie II 18(notw.f.Russell:"analytVerbind.zw."Cicero" +"Denunzierer v.Cat"),59(nötig,weil BT WB braucht),91,93(d.T. warum"es ist n.d.Fall,daß" d.WW‑Tab.gehorcht, sind T. üb.d.begrifl.Rolle), 180f(k.T.f.Entscheid.ob.Newtons "Masse" RuheM od.relativist.M denotierte/bzw.Gesamtenergie/c² od.nicht‑kinet.E/c²),181(dito:k.T.welche falsch:1.Imp=Mass.x v/2.für irgend zwei Bezugssyst: Masse i.BS1 = M i.BS2"),186(ab.k.Unkenntnis, was Newtons M.bezeichnete!), 200(Gavagai,k.T.), 225!(Sorites/Defla:k.T.worauf "kahl" genau ref/auch bei Wertung,Index‑Sätz,KoKo),238(Tats‑Operator:"es ist eine T,daß"/FVs),271(Bsp Zahl i/‑i:k.T.),278/9(k.T:Bsp Gst auf Mond/schwerer auf Erde/vor‑Newtonscher Gebrauch), 283(k.T:Bizet/Verdi eher F od.eher I),284(F:auch Nicht‑verifizbares ist T),286(epist.Th.d.Vaght:pro T/"Medizin Grenze" statt begrifl.),286(Lücke:zw."p" und "es ist eine präzise T,daß p"),304(Bsp k.T.vor Wahl, ob Begriffe d.Menglehr unbestimmt od.nicht), 370(ff~(Bewertung statt T(z.B. von Induktion,Schlußregeln usw.) ‑‑ Si I 317(bloße:Bsp ein Obj,.ist zufüllig Teil eines and) ‑‑ Schi I XVIII(S.spä:k.T.als Glaub‑Obj!(=Nominalism),51,145(immer sprachabhg!),174(weil.k.Eig.v.Glaub,"daß Harvard nicht in Miami",daher auch k.T.die d.wahren Satz entspr),174(Quadd:w.sicher, daß nicht,mu.es eine T.geb),176(Quadd:k.Tats.weder irreduz,noch reduz),177(S.daß k.T.heißt nicht, daß man nichts "meinen" kann/Lö.f.KriWittg), 190(k.T."macht", daß Gehinrzust=bestimmter Glaub‑Inh/d.h.kein Schema "n ist Glaub daß ‑‑ gdw.__."),195 ("Grammat"/MIT:=kompos.Semantik),247(sem.T:Bsp daß Zeichkett Bedeut,Wahrht, Ref hat/Bsp psych.T:daß Kreaturen Glaub, Intention.usw.hab) ‑‑ Hor I 5(Russ:n.T.sod."Urt‑Obj":Glaub‑Rel zu "Karl starb auf Schafott" od.zu Karl,Sterben, Schafott?letzteres wg.mögl.Falschht),6(daß‑Satz?),45(kann n.v.wahrer Propos.diff/Russ:>dann Wht einfach, unanalysb),46f(VsGleichsetz. m.wahr.Propos:wg.Äqui,dann alle T.m.jed.belieb.Pr.ident/ bzw.jed.w.Pr.m.jed.T ident/ VsBrandom?),48(richtig:einige T besteht i.Besitz v.Wht/durch Propos/fPropos selbst besteht nicht i.Besitz ihrer eig.Wht),54(gibt k.Ding:"die Nichtexist.v"/neg.T(<)),72(Ramsey/w.falsch, dann k.T.),98(HempelVsSchlick:Sit.kö.nur m.S.verglich werd/T nur durch Satz darstellb/T.abhg.v.Syntax d.Spr),111(Tarski:wird gleichzt erfaßt/k.Red.üb.Satz),189(StraVsAustin.falsche A ungl.v.T.+ Ding/damit auch v.Feststell+Ref),191(Stra.k.Ding.i.d.Welt/k.Obj/dennoch etw.v.dem Satz w/f/worüb.Satz ist, worauf ref.wird/worauf Beschreib paßt/auch k.komplexes Obj/StrVsAust:ungl. Ereign/Stra: T = "pseude‑mat‑ Korrelat"),192!(Stra/def:was Auss.auss/nicht "über"/T.sind nicht:laut,unterbroch/übersehen/gesehen/zersört/"verlängert),192(AustVsBra:T ungl.wahrer Satz/Stra dito,ab uas and,.Gründ/wohl überlapp:"das ist wahr+d.i.eine T"),193(Stra:T+Auss.für einand.gemacht/w.Auss.elim,dann auch T/ab.Wht n.ärmer/Aust:lieber "Sit" od."Zust"(state of affairs)/StraVs:vager als "fact"/all:n.sichtb,ab Sit eher sumierbar+"einschätzb"),194(def Sit/st.o.affairs:Menge v.T.n.v.Dingen),196(Stra:k.Entit/n.datierb,n.lokalis),346 (Prosatzth/CGB: Trenn.v.T.+Wht:"daß es 7‑beinige Hunde gibt, ist erstaunl":T.ist erstaunl,n.Wht/T.daß H.7.B.hab. kann n.wahr sein),358(daß Schnee weiß ist/CGB:unbestreitb,daß es s.gibt),350(Physikalism pro,ab.k."semant T"/sem.T.nicht‑physikal),360(Whts‑T:n.außhb v.Phil),360(sem.T:üb.Synonymie, üb.Ref,usw.),396(Put),400(int.Realism:_k.T.jenseits Theorie,worauf Term aus Th.ref/sonst metaphys.R),453(Dav (wie Stra):bloß ad hoc konstrukt) ‑‑ Cr I 53(atom.Wittg,Carnap//hier:Folge/ (od.MöWe als Teilmenge v.grundleg.Sit) ‑‑ Car I 56(Put:nichts rep.T.weder NG(nur ideal) noch Sätze(n.vollst)/CVs:allg.Sätze doch),201(k.T.üb,.Energie entscheidet, ob Unitaritäts‑Op i.Gleichung gebraucht (>Schröding‑Gl kontinuierl)/od.kein U‑Op:(Redukt.d.Wellpaktes,diskont)) ‑‑ W VII 82(Tract:d.Log:d.log.Mglkten),28(T=SV d.besteht)
Tatsachenwahrheit Lei (T/VsVernunftwahrheit)64,65,183
Taufe K I 112,154 ‑‑ BX (KU,3‑Taufenlehre) 185 ‑‑ Pea I 96(noch k.notw.Verbind.vorher)
Täuschung Ry 233! ‑‑ Q I (SD) 404 (auch ohne Sinnesobjekte) ‑‑ S I 259ff ‑‑ Go I (opt.T)339 ‑‑ Str V 126,135 ‑‑ Sch I 177 ‑‑ Bu I (Descartes)139 ‑‑ Ca I 227(ändert n.d.Erlebnis!) ‑‑ Fra I 122f(Kripke:bei Wärme/n.b.Schmerz,auch n.b.Gehirnzust!/dennoch VsIdentitätsth),649(Dav: generelle T. sinnlos zu unterstell, k.Interpretierbarkt) ‑‑ Gea I 305(Illusion/ Veränderung/Zeit) ‑‑ Ber I 228(Aufklär: Mensch kann get.werd./täuscht aber n.selbst) ‑‑ No I 91(Irrtum (üb.eig. Vergang) mu.erklärt werd.,daher Mehrzahl allg korrekt(?)) ‑‑ Tie I 369(Whiten.Korrektur durch Kombination v.Reizen/(s)Hintergrund) ‑‑ Strd I 51(Austin: man kann n. alle immer täu.das ist analyt), 147(KantVsDesc:Wahrnehm.direkt,o.Inferenz/Desc:ständ.Zweif.verlante Inferenz),226(Quine:ihr Begriff kommt aus Wischft.selbst/VsTrad)/Dann kein totaler Skept mögl./T.setzt Annahm.v.physikal.Obj.voraus) ‑‑ Schu I 58(H‑E‑Kopf:kogn.Psych/Fodor/Pylyshyn VsWittg:Wahrn‑ th‑unabhg,täusch auch bei Aufklär),59(Lö:angebor Mech) ‑‑ Sta I 52(sinnlos,ob.MöWe od.Propos/Lö:üb.Satz,d.Propos ausdr/n.üb.Propos/>T.üb notw.Wht,notw.Folg(weil Satz n.verstand))
Tautologie Wa I 51 ‑‑ W I 167,171f,205 ‑‑ Tu I 302! ‑‑ Hü 147 ‑‑ F I 106 (keine T.) ‑‑ SL I 31(Formen=,34(def,zirkulär),39,66(Norm kann taut. folgen),40,106 ‑‑ Zo I 47(Bsp) ‑‑ We I 48(Liste,"Gesetze",n.Regeln),94,135(partielle),144(Wessel:aus nichts),217 ‑‑ W IV 56,57, 63/64,100 ‑‑ Gea I 68(p > p v q,StrawsonVs) ‑‑ Gea I 197(mehrw.Logik),197/8(wenn Messung,dann Mess.:auch wahr ohne Mess!) ‑‑ SpBr 103(kann nur durch andere T. impl.werd) ‑‑ Brk 412(TarskiVsWittg:nicht nichtsagend) 411(Tarski:hängt v. Einteilung i.log/außerlog.Termini ab) ‑‑ Mate I 115ff(Mates/Gültigkt hängt nur v. aussaglog.Verknüpf.ab,nicht v.d.Quantoren), 116(unabh.v.Bedeut.v."alle","einige"/anders bei analyt.Syll),117!(atomare Auss.kö.n .taut.sein/k.allg.Auss.ist taut,weil deren Warhht.v.Quantor,.abhg),118(Entscheid.ob:aus "normaler Beleg."/taut.Folgerung/def),126(Bsp P > (Q > P)),127(T:daselbe wie taut.Folg aus Aussagmenge),131(def:taut.Folgerung aus leerer Menge),146(T:Ableit//gültige Auss:Schlußregeln/W‑Tab nur bei Taut.hinr/n.bei gült.Aussag)
Taxonomie Mü I 155 ‑‑ EMD 210(Bsp fließend. v.zugrundlieg.Strukt aus gesehen)
Taylor,Barry EMD 263ff(Tats),266("rotten":;Kennz:bez.mehr als 1 Ding),273("eng":log. Wahrh.enge Äqui/beweisb.aus Axiomen o.Ident.)
techne Tu II 222
Technik Bo I (1.u.2.T.,Benjamin) 101
technischer Begriff (terminus technicus) Sta I 86(Kim: nach Belieb. defbar)
zurück nach oben
Teil Chi II 170f(unechter Teil (= Gesamtheit?),172(def wesentl.) ‑‑ Es I 16(konstituierend), 18(braucht n.selbst.zu sein),19(nur eigentl.nie v.s.selbst),23(P.Simons:rigide/generische ontol.Abhängigkeit),30(n.transitiv!),41(Summe:bloß kausal arrangiert,k.Syst,Teile selbst k.Eig),219(Holism:nur,wenn es auch andere Teile gibt),231(Ding:räuml.n.zeitl/Ereignis: beides), 301!(Eig.des Ganzen nur signifik.wenn von Teilen!) ‑‑ Gea I 248!(Teilsprache:alle Sätze bleiben wahr) ‑‑ LW IV 39(Galaxie,Planet,Elektron,alles einf.T.v.‑Welt(transitiv)/Welt unechter T.v.s.selbst,40(T/Ganzes‑Rel:f.Indiv.n.Mengen!),77(besetz.Raum n.doppelt),77(hier n.wohldef. Untereinh.,bloß kleiner alsG.) ‑‑ LW V 258(def wesentl.T.v.Ereign.(Mereologie)), 259(Teilereign. n. kausal abh.(n.distinkt) ‑‑ EMD 310(Chi:w.Tisch ein Bein L hat, dann L notw.Teil d.Tischs/ab:w.dieser Tisch notw.aus dem Stamm(?) dann dennoch Stamm n.notw.Teil/Wiggins: Beine kö.auch o.Tisch exist) ‑‑ AR III 79(ED vielleicht k."zeil.T"? >dann Eig m.Index) ‑‑ Disp 123(T.d.Bedeut:Bsp Schärfe T.d.B.v."gutes Messer"/(s)>"Extra"),116 ‑‑ Mei I 25(T‑Eig:rund zu sein, TE v.Eig,Ball z.s.),39(separat/n‑sep:Schwanz(Blutkreislauf/Lächeln), 44ff(k.Kator.TZ), 47(def.wesentl.T),49(n.alle Indiv.zeitl.T),50(Mensch k.zeitl.T!"continuant"!,/ungl. Lebensgeschichte), 126("Teil von" SV:undef.Grundbegrf Bsp A größer" Teil von "B kleiner" u.umgek/auch "n.genauso groß"/T.‑SV,w.Satz log.folgt,sonst nicht),172(geometr.Begr."ist T von" gemeinsam f.Relationalism+Substantivalism) ‑‑ Schw I 33(LewVsEndurantism: mu.n.räuml.sein:Bsp v.Film/d.Mathe/auch o.sprachl.Ausdr/Kind zeitl.T.v.Mensch) ‑‑ Si I 26(der "echter T.od.identisch mit"(unechter),35f,43(def(m.Atomen),104(auch i.extens.Syst.versch.Interpretat mögl.n.zus‑faßbar),106(letztl.k.eindeut.Sum/K.einzelne Th.d.all.and.ausschließt),107(nicht‑transitiv:Bsp Zellkern n.T.d.Organism,Türgriff.n.T.d.Hauses),107(Lö:ein Obj.raumzeitl i.and.inkludiert, dann auch Zellkern T.d.Org/enger:funkt.T),108(unmittelb T)234(nicht bei Pluralterm:Bsp Schnee nicht T.dieser Schneebälle"/statt dess:Besteh.aus),235(einzlene Blaubeere k.T.d.Kuch,wohl ab.die Beeren(Plural‑Term)/Untersch:"Teil von"/"ein T von"(plural)Bsp "Vorderseite:T, nicht "ein T"/dieser braucht zusätzl.Eig),237(eng/weit)263(modale T:n.alle i.einer MöWe),264(SVsmodaler T:unklar,nur i.einer MöWe) 276(wesentl:klarstes Bsp:Proton v.Atom), 281ff(wesentl.v.Ereign),284("normal":zw.wesentl. +.unwesentl),334!("Nordseite":n.geschloss.unter gleicher Rel. wie Ganzes) ‑‑ Hor I 391(Put AG Welt hat ue viele Teile)
Teil/Ganzes Kan II 63 (QM) ‑‑ Wol I 155! ‑‑ Lei 68 ("Übergreif.Allgemeines",Josef König) ‑‑ SL I ("unecht")32 ‑‑ We I 37 ‑‑ Chi II 170ff(Mereologie,Goodman,Tractatus) ‑‑ EMD 12(foster:zweistell.Präd.im W‑Satz>"Teil von"),13("p" trifft auf alle geordn.Paare zu, die in T‑G‑Rel stehen) ‑‑ Disp 126(Eig/Rel),145,166,167(Searle:bottom‑up‑Verurs:Superven.aber n.epiphän), 168(MartVsPlace:zw.Eig.d.Ganzen "zusätzl"/Prbl:w.Dinge, die mit Teilen ident(!) sind, wie kö.sie Wirk auf.Ganzes hab,das sie selbst enthält((s) dann "2 Naturen"d.Teile/"Ebenen d.Sein" mysteriös /Lö/Mart:statt Teilen immer Eig/n.alle Eig d.Teile:versch.Rolle,versch.Dispo bei versch Temp/n.im Ganzen/(s)"Anti‑Emergenz","Demergenz"/Mart"Kompositions‑Modell" hat Platz f.Dinge, die wir nicht kennen) ‑‑ No I 98,99(nN<Schema f.Untersch T/G:d.nN d.Summe = Sum.d.nN d.Teile(DF)/sonst Ent.k.Summe/ab.nN d.Ganzen n.nN d.Summe d.nN d.Teile/(s) weil n.mit Zahlen mögl./Ident.d.G.n.aus I.d.Teile,Bsp Körper n.abgestorb.Zellen sond.sogar künstl.Organe integriert/Körp. = spätere Entität/Su.d.Teile nicht >def Ganzes) ‑‑ Fie I 51(Rel,Logik,SwN), 131(dito/Quantor "es gibt nur endl viele" bei "Teil‑von"‑Rel überflüss/anderswo:dennoch phys. Ggst ue viele Teile mögl:Bsp Lichstrahl),135ff(("Teil‑von"‑Rel,Logik der),138(dito:macht Exist.‑Annahm(Vs)),173(FVsF:w.Mereolog.empir.,(revidierbar), dann k."Logik d."Teil‑von"‑Rel) ‑‑ Schw I 76(Lew:k.nicht‑zirk.Def mögl) ‑‑ Fie III 96(T‑G‑Rel:Log.2.St)
Teileigenschaft Chi II 60,64(log. unabh.),66(bsp),68(Bsp)
Teilhabe Ber I 231(an Platon.Ideen:n.aufweisbar) ‑‑ EMD 308/9(Bradley,Eig./Vs:Iteration T von T unbegrenzt) ‑‑ Mei I 104(da Ggst,d,Schönht verschied),105(Exemplifik.als Verkettung/in re statt ante rem)
Teilhard de Chardin Gd II 243 ‑‑ Den I (445ff) ‑‑ Mon I 44 ‑‑ Kan II 177
Teilidentität Disp 98(mereolg),99(nicht‑mereol:Bsp 3kg"strukt Teil‑Universale v.Univ "5 Kg),99(TI Lö f.fast exakte Ähnlkt,vermeidet Vervielfachung v.Univ:sonst f.kleinste Abweich eigenes U)
Teilmenge We I 295(Bsp) ‑‑ Q IX (<echt:Obermenge größer/< unecht:gleichmächtig,"unechte Inklusion"),57(def <),76("< > "="),89/90("<" reelle Z.Zweck d. klas."<="),92(dito),96(erstmals < echte Inkl.),101(k.Ord.weil n. konnex,es gibt x u.y so, daß weder x e y noch y < x noch x = y),142(Vorgän v. x < x?Nicht "<"?),145(jede Kl.hat mehr Teilkl.als Elemente),165/6(unendl:eindeut. Rel z.unendl.Obermenge mögl./Relationen fallen weg) ‑‑ EMD 404(kann durch einfaches Präd.spez.werd:Bsp D Bereich d.OS(nur Ausdrücke),D' erweiterter B.d.MS(auch Sequenzen):dann D durch Präd.D(y) fixiert)(log Form)) ‑‑ Mate I 232(Bsp M.d.gült.Aussagen(v. Spr L) TMd.M.d. Auss./Pointe:TM n.entscheidb,aber Obermenge!/Lö(s):hier nur Zugehörigkt,n.Gültigkt), 237((s)T‑Rel enstpr."alle a sind b") ‑‑ Schw I 90(disjunktiv:f.Klassen/f.leere Menge) ‑‑ Q V 152("Gesetz d. Einer‑Teilklassen" siehe E) ‑‑ Fie II 352(w.Mächtgkt d.Kont.unbestimmt, dann auch Begr."alle TM"dann unbest, was als "volle Interpretat" zählt)
Teil‑Relation Si I 11(Id‑Rel grundleg(nur hier))89/90(Sharvy:"<" ZTeil‑von‑od‑einer‑von"‑Rel),108(Kausalit:externer Begr.f.TR),107(nicht‑transitiv)
Teilsatz (s.Nebensätze) Du II 7(Frege)
Teilsystem Brk 314 (Def/Gödel:v.Funktion + WW,Erfüllungssyst)
Teleologie Ro VI 440 ‑‑ Tau 40 ‑‑ F/L 148(aus Interpretation?) ‑‑ No I 494ff
Teleologischer Gottesbeweis Hum II 254ff,256(1.Kausalität:einmalig,2.Komplexität unvergleichl. ,n.moral.),258(viele mittelmäß.Götter),259(Ordnung aus Evol.,n.Schöpf),260(Uhrmacher gezeugt, n.v.Uhrmacher konstr.),261(Gott mysteriös wie Ordnung),272!(erfüllt n.Erklär.‑Anspruch, zeigt Existenz,n.Eig)
Telepathie No I 160
Teller,Paul (QM) Es I 293(Th,Quanten‑Holismus o.Supervenienz)
Temperatur Kan II (absoluter Nullpunkt) 58 ‑‑ Spi 345ff("tempered annealing") ‑‑ Fey I 549f(+kinet.E./Druck/Kompression),624ff(T/Wärme!),628f(def,neue def),629(absolute thermodynamische T.),643(< zwei unabh.Definitionen:1.Skala,2.unabh.v.Substanz) ‑‑ AR III 139 (Univ,ED 2.Ord/Ident.m.mittl.kinet.Energ. Entdeck.k.Gesetz, a posteriori) ‑‑ Schu I 771(>Messen,Cels/Fhrht,Nullpkt willkürl.intensive Grö:"doppelt" sinnlos(Gegsatz extens:Masse,Vol,Länge (Nullpkt fix)) ‑‑ Fie III 55f(nominalist,i.d.Zeit,o.willkürl.Koord‑Syst/Bsp Kontinuum v Temp‑Eig),56(FVs:besser RZ‑Regionen/dann Temp‑Zwischenheit,Temp‑Kongruenz, zw.RZ‑Pkten),59(Gesetze f.T. als Abbild v. Z‑Quadrupel (RZ‑Pkte)auf reelle Z(Temp)),118(T‑Kongruenz)
temporale Logik St II 191 ‑‑ We I 365ff, 376 ff
Tempus (Linguistik) Ly I 309ff(n.i.all.Spr./n.immer dreiglied(Präterit/Präs/Fut)
Tensor Fie I 198(bringt k.Skalenunabhängkt) ‑‑ Fie III 49(FVsEarman/VsFriedman (zur Erklär .v absol Beschleun:immer noch willkürl),116(FVs:dito, willkürl.Längenmaß,bzw.‑ skalare Grö)
Termini (Term) (Logik) We I 31(Bsp a v b),311ff,(Subjektterm):311,325,324ff(einf/zus (Erzeugung) ‑‑ EMD 328(def/Kri:Bsp 1.primitive Konstr.+Var,2.w.t1...tn Term,dann auch .)328(Lesniewski:alle Ausdr.,Sätze,Verknüpf.sogar Parenthese),334(Wallace:mu.etw. denot., sonst.Best.d.WB unmögl./KriVs:dann mü.alle Ausdr. jed.Spr.denotieren!),365(Kri:hier: abweich.),381!(T.mü.vor d.OS gegeb.sein (vor L)/das schließt best.Kennz.f.sQ aus) ‑‑ HC I 178!(hier:= Kennz!aus Kennz‑Op:Ausdrücke d.Form (ia)a: i.Systm. wie andere Individuen‑Zeichen/Terme bez. Individ./Term= Kennz/Ausdrücke kö Terme enth) ‑‑ Brk 9(Jungius: = Grenze Bsp T d. Gleichht: wo dreieckige Fläche, einer quadratischen gleich, dann die qu.Flä) ‑‑ Mate I 201ff(202(def/Mates:ent.Indiv‑Symb od. aus IS u.Funktor (Operationszeich)zusgesetzt/def konstanter T:ohne.Var) ‑‑ 161(werd.aus Wörtern gebild) ‑‑ Si I 19(klass.Log:design.genau 12 Ob/freie Log:0 od.1/Ontol:mind.1),20(plurale T:mind 1 Obj.stärk.Ausdrkrft f.Ontol+Mereol),122(Ggsatz. Präd) ‑‑ Hor I 194("nicht‑linguist.T":Aust:soll f. diesen "Sit" sein/StraVs) ‑‑ Gro I 59(geschl:"daß Schnee weiß ist"),66(kann Bindestr‑Wortkette sein(proposit.Term)),236(def/Grov:(hier)/zitierter Satz‑T)
Terminitheorie We I 311ff,324(einf/zusgesetzt) ‑‑ Mate I 201ff(Mates/Spr.L')
Terminologie Q III 211(Schritt‑Konditional: durch ES;EG;UG od, US gewonn, steht in folg. Zeile/kein "Sprung‑Kond") ‑‑ Loc I 44(Extens:Ausdehnung v. Körpern,Expans: Ausd.d.leeren Raums) ‑‑ Fra I 336(Attribut:Cast:Eig.+Rel/Lewis:+Ext),337(Cast:Akkusativ statt "Denkobjekt", neutral) ‑‑ LW IV 94(Carnapsche Intension,Koordinaten) ‑‑ AR III 12(Humesche Gleichförmigkeit :unbegrenzte kosmische Reichw.ohne log Verknüpfung, o.Quantorenk, zeitlos "HG") ‑‑ No I 42(Mono‑Relation:nächster Nachfolger(nN)/Vorgänger(nV)) ‑‑ Fie I 26(weite Auffass.:n.alle log.Wahrheiten wissbar/enge),55(enger Sinn v.physikal.Welt:o.Quantifik.üb math.Entit. ="nominalistisch"), 58(konservative math Th. konsistent m.jed.intern kons.physikal.Th),64(Quine‑Put‑Argument),106(CONNBG:es gibt k.Beweis von ~NBG),134("power set" F4:Menge v.Quadrupeln v.El.einer Menge F),194(NST Newtoschen RZ),258(Präd "math" ="ist eine math Entit"),("O‑Formel": ohne math Ent) ‑‑ HC I 14,21("These":Theorem od.Ax i.Modalsyst), 27(These: abgeleit.ableit: "I‑"), 48(MKNF:modale konjunktive Normalform),50/1("B" Syt.v.Brouwer),140(E‑Eig,E‑Formel,Ersetzen/ "Ersetzungsvariable/"E‑Form": nur versch.i.Bezug auf die ersetzte Var/E':mind 1 Formel aus jeder E‑.Form),142(HC werfen Einsetzen/Ersetzen zusammen), 145(EM‑Formel), 151(Inklusionsforderung: MöWe:Bereich Bj mu. Teilber.v. Bi sein), 162(formale Eig:immer od.nie notw/mat.Ei: immer koningent), 178(Term= Kennz), 178(K1(Ax.f. Kennz),287("decken": indir. Enthaltsein (i.Boolescher Alg)fragl.Bezieh. gilt auch f. Obermenge) ‑‑ Brk 208(Gentzen: Ausdruck: endl.Zeichenreih/Figur:inrgendw.angeordn endl Mengen v. Zeich/Zeich:spez.Ausdrück + Figuren/Ausdrücke: spez Figuren (DF "enthalten")), 214(Gentzen:"UE"Schlußfig, Schema "UE"; "UB" usw "u" und "E" esgibt "F" folgt, "N" nicht "QA" alle "0": oder "B" Beseit.), 215(ditpo, Bsp), 279(Curry(Schönfinkel?)"blinde Variable"), 328("apparent" Var:"scheinbare": = gebund)/"real": freie), 348(Gödel:"Klassenezeich":Formel aus PM m genau 1 Var(v.Typ d,nat Z); 350 (Typenerhöh), 355("Gen"/Gödel:Generalisierung/"nNx":n‑malig "f"(= Nachfolg)vorsetz/ "E(x)":Einklammern/"Pr":Primzahl/R(x) Zahlreih nur aus x/l(x) Länge d. Zahlreih/Z(n):Zahlzeich f. n/Typn(x):x ist Zeich n‑ten Typs/Elf(x): x ist Elementarformel/Op(xyz): x Reihe v. Formeln, die aus Neg od Disj od gen hervorgeht/v Geb n:Var v ist a.Stelle n gebund(entspr "Fr")),388(Russ: statement, sentence: rein sprachl Gebilde),464(Tarski: "ng":Neg,"sm":log.Summe, "al":Allzeich, "in":Inklusion, "vk" k‑te Var."x ^y":Aneinanderfügen),"Wr":Kl.d.wahren Auss),490(Rt: Kl.d.Auss. d.i.jed,. Bereich richtig sind),462(R:2‑stell Rel kann auch Folge sein), 471(R:in nicht‑rek.Def Rel) ‑‑ Mate I 23(Mates/Oberschelp:sentence:=Aussage/statement: Behaupt),129(P: Präm.‑Einführ/MP:mod.pon/MT:tollens/K:Konditionalisierung:(j > y)/kann eingef.werd,w.y in früherer Zeile vorkommt/D:def‑gemäßer Austausch),133(TH:Abkürz‑Regel("eliminierb.Regel"):früher Bewiesenes darf o.Zeilennr. eingef.werd),137(ER:Ersetz.regel(in.Ableit),147(T:tautol. Schluß/BE: Bsp‑Einführ. (Spezialisierung) /G:Generalis/E:Regel f.EQu.),150(T),151(BE), 151(G),153(E), 156(PA: Partikularis), 157(BB), 158(BB:macht v.Zwischenannahme "Fa" unabh(Bsp‑Beseit), 159(dito), 163(QU:Quantor‑Austausch),239(TH) ‑‑ Av I 21(reduktiveAnalyse/Versteh.eines begr.durch V and.B/"reziprok":dito, durch Lokalisation i.Syst.aller Begriffe/symm.Anal:beide seiten d.Bidkond. auf gl.Ebene/ asymm:versch.Eb.>Redukt),52(Grice"sublunary world"(Zirkel weniger schlimm?), 82("ontol.Asymm"/ Av:Spr.o.Denk mögl (DoS)ab.n.umek/"epist.Asym":um zu wiss,was and.denk, brauch.w.kein Verständn.seiner Sätze,ab.um Sätze z,verst.mu.man Annahm.üb prop Einst mach),84(oberflächl. epist.Asym:zw.psych./seman.Begr.:psych.Tats.leichter zugängl.),94(tiefe ep.Asym:BT mögl.u.gleichzeit.akeptieren, daß RI unmögl./untersch:Bedeut.konstituier/ sie"verraten"),95(def tiefe eA:wenn per imposs)Kenntn.d.Blaub.o.Spr.weißb,dann sind diese n.konstitutiv. f. Spr.(s)>KoKo)), 106(Loar:pro tiefe eA:prop Einst v.Marsianer verstehb. o.Spr. w.interne Org erforscht(n.f.Menschen)), 111f(ontol.Asym) ‑‑ Q V 135ff("vice": Eisetzungs‑Operator: "a vice x": a ist ein Ding x derart, daß") ‑‑ Q XII 14(W.Spohn: "phrase":Wendung, Ref:Bezug nicht B‑nahme,"term" = Term),76(def Pythagoreismus: pyth.These. alle Ggst einer Theorie gleich: entw.Zahlen od.Körper od.Mengen usw),(=Redukt)) ‑‑ Fie II 33(Glauben* in einer Spr.),52(ab jetzt glaub immer = Gl.*(k.Propos.sond.Sätze),83(S‑Propos:=Staln‑P:"S"),161(< "linguist.Sicht":"daß‑Satz:d.Referent ist d.beinhaltete Satz selbst statt intent.Entit), 166("concept": fragwürd.Entit wie Propos/unprblmt:notion),287(determiniert"‑Operator ("det","D"), 292(det‑Op(="wahr‑daß‑Op"),337(letztl.Begriff, was es f.Satz ist, bestimmt wahr z.sein),326 ("strukturalist.Einsicht":egal was math.Objekte sind(z.B Zahlen od.Menge) Hauptsache, sie sehen i.richtiger Rel), 329(Put:"Unverzichtbarkeits‑Argum":Exist.math,.Obj.u.f.prakt Nutzen i.Technik usw/Put pro), ~343ff("vollste math.Theorie"), 363("default reasonableness": rechtfertigungslose Vernünfgkt:Bsp Leute sage normalerweise d.Wahrht"/wenn "d.r.", dann wenigstens schwach a priori), 368(naturalist.Reduktionism Vernünftgkt einer Regel besteht i.Wahrheitserhalt/FVs),370 ("egoist.Zugang":unsere eig.Regeln einfach vernünft.andere mü.s.anpass/FVs:o.Berücksicht.d.Eig), 370(Nicht‑Naturalism),371(Evaluationism:epistem.Eig.wie Vernünftkt unreduzb.auf and. Eig) ‑‑ Si I 10(Objekt/S:auch Kl+Massen/Lesn:nur Indiv), 20("Mannigfalt":beinh.sing+pluralen Fall),28(Axiom WSP:schw.Supplement),28(PPP), 29(SSP),31(MEM:minim.extens.Mer:o.ue‑Op),34(BSP binäres Summ‑Prinz/stärkstes)),48ff(Indiv‑Kalk:Syst.ICI,ohne Meng),51,(Syst F),53(Syst LG,T)54(AF), 56(Freie I<‑Kalk:Syst F),65(Syst M(Lesn,Mereol),66(w‑descr.schwach dieskret:v.Dskrtht impliz.ab.n.umgek),77(Syst M':m.Sing Var),80(M'':m.nicht‑plural Var),83(Syst W/Ereign/ Whitehead:K"ausgedehnt üb":Konverse v.Teil‑Rel),84(dissection),85(Injunktion),86(Syst P/ Bostock),88(remainder‑Prinz),93(<o''/Tiles:Teil d.voll i.and.ist)95(Verbindung/Clarke/><:extern verb:= berührt),132(span,spread,spell v.Ereign, Aufspaltung/Phase:verbund.Teil/slice:Dauer 0/segment:verbund/section:0 Ausdehn), 178(CT("continuants +times"),179("Ex" zeitl.modifizb Exist‑Op:"E!"= "(Ex) zu einer Zeit"),181(MC:mereol.Konstanz/MV:m.Variablit),182(PR Produkt/ Pr:"Prod.zu t"),183(SU:Summen ‑Präd,)),184(SU: o.gleichzt. Exit.d.Summanden), 184(SM:m gleichzeit Exist)185(aSUx [A]a ist Su.v.Objekten.so daß A"),185(aSUMxt[Fx]:"a ist eine Summe v.Fs"),188(w sm x,y:"w besteht aus x,y"/x sj y:"strikt verbund"),328(Topol:re‑geschloss.Rel:kein Weg v.auß.nach inn. Bsp niemand schuldet x Geld/re‑eschl.k.W.v.inn.n.auß/immer i.Hinbl.auf etw:z.B. Schulden/beidseit:cl), 340/1(Unterstützer"),349(< occurrents(/ence) Ereign,Prozeß, Zustand) ‑‑ Schi I XIII(IBS:intentions‑basierte Semantik:=Grice:Redukt.v.Sem auf Psych),XV(Not‑Theory‑Th"),23(funkt.Th),27(Bel(p) funkt Ausdr.statt Glaub‑Def(Loar)),28(CSFcommonsense functionalism),34("M‑constraints (Loar:> Bedeut‑ Postul Bsp w.a glaubt,daß x nörld.v.y,+y nördl.v.z...") ,37(unary:ein‑stellig?)Funkt)/Bsp Glaub,daß p),46(FG fuel gauge Benzinuhr‑Bsp/Repräs/Verläßlkt(Dretske)), 63("das P"/Frege/Russ/statt Iota‑Op/braucht "ich"+"jetzt"/als Gegebhtweise),75(SLT:Starke Mentalesisch‑These),96(Def L‑item:Ausdr.d.semant."import"aus Rolle i.Projektionsregel),97(appropriate:w.Rel besteht/"fit":w. "appropriate"),167(Proto‑Mensch),149(def kompwtSem),185("CS":komps Sem),212("Platitüde": Satzbedeut.durch Syntax u.Wortbed),214(vollst.Satz:kann nicht Teil sein (Bsp Schnee ist weiß."(m.Punkt!)/Ausdr‑Potential(saying pot):alls, was m.Satz ausgedr.werd.k.i.Popul), 215(Verarbeitungs‑Rolle (processing r)i.Popul:bestimmt Ausdr.Pot),253(propos. determinate":z.B. Eig, Rel,ED usw). ‑‑ Gro I 49(Satz‑Parameter:Bsp "Schnee i.weiß"),124(Inheritor:Pronom+Posatz als Erbe v. Ihalt aus Antezed,ab.n.m.diesem verknüpftwie Prosatz),,235(Def "Satz‑Paramet": "atomarer Satz", "Satz‑Konstante"(nie gebundenI, "Term‑Param."kurz f. "Ausdrucks‑Term‑P"), 236("Ausdruck": Term od.Satz, A,B,C:Satz, T1,T2:Terme,"V": Menge d.geschl. Ausdrücke/ "Level":umfaßt "Rang", "Grad","Ordn"/Vokabul),238(dito/Abbildung/Zuschreib: bildet n auf n‑1 ab/ Interpretat = Zuschreib.), 239(Tiefe(v.Quantor) = 0,w.nicht extens(=Zitat)/Länge (v.Ausdr:Zahl d.Verknüpf,Präd, Operat: extens.Kontext),245(quote= AZ),252(d‑Variabl:refQ(domain‑and‑value‑Var, = Individvar), 258 ("querible"Belnap 1976:Var.i.Frage),263(Ordn,Grad,Rang) ‑‑ Hor I 316(CGB:"Cousin"‑Fälle: "Schnee.."/Schnee...ist wahr"/Wiederhol‑F:eingebaut:w.Schnee weiß, dann reflektierend/auch i.Konversation:WH statt "das ist wahr"),326(CGB Antezed.(v.Anapher)), 327(anaph.Substituenden w.grammat. Kategor.wechselt),328(Proform:Proverb,Proadj,Pronom), 330("thatt" fiktiv verfügbarer atom.Prosatz/ref nicht),334(Englisch*:ohne W‑Präd/m.Prosatz:"das ist wahr"(atomar)),339("MIT‑lingo":"liked" als "like+PAST")/CGB:PRO+MOD = modifiz.Prosatz:"es war wahr"),350(Proform: zeigt, daß nichts neues eingeführt wird),370(Leeds:R*:Ref‑Schema),372(SI =Standard‑Interpretat/SI‑Th:Annahmne, daß jede.Spr.eine SI hat),374(NI:naturalist.Instrumentalism), 391(GIT:"brains in.a vat"),391(SAT/Put:unintend.Interpretat), 465("Baustein"‑Th:Russ/Husserl/Kri/ Searle:Intentionalit.v. Gedank.>Rel.z.Welt, unabhg.Wht/DavVs,pro Holism),483(clause,Bsp),Teil d.redukriven Def) ‑‑ Schu I 108(PKN:pränexe konj.Normalf)123(I(S):irreduz.Repräs),125(korr(A,K):Korrelation v. Ante u.Konsequ),Kov(A,K):Kovarianz),223(CDN):dedukt‑nomolog.Erklär) ‑‑ Cr I 12(KF:Katz‑Fodor‑Sem:VsWB,VsDav),36(entailm:alltagspsr.Inferenz/dageg:log.Kons":formal),49(Mglkts‑Modell/Aktualits‑M),51(def kanonische intensionale Interpretat/"I"/p: Präd),56(kanon.int.Mod),66 (Barw/Perry:"statement"=sentence i.Kontext(/Sit‑Sem)),67(generation property/Barw/P/Cr),81(l‑kategoriale Sprache/Cr:Kategor.0:Satz, 1:Name),84(hyperintensionale Sem:weil feinere Entit.als Meng.v.MöWe(CrVs)),86(LPC: lower predicat calc),87("quotational":ohne Berücks.d.Bedeut), 104(Inskriptionalism/Cr:=Relth:zu linguist.Entit),119(V:Zuschreib v.Bedeut.an Ausdr),121("0": Aussagenoperator:Namens‑Posit i.Satz Bsp Kennz,"etwas",jeder Herausgeb.v.Soul",entspr."E" in "(Ex)"),126("N"=Nominal/hier:"Nom"),134ff("Griech‑Türk‑Imbroglio":jed.v.2 Griech kämpfte geg.jed.v.2 Türk")158(GTS/Hintikka:spieltheoret.Semant), 160(r.e:rekursiv aufzählb) ‑‑ Fie III 107(N0:nominalist.Formulier d Newtonsch.Grav‑Th),12(Prinz C:Konservativit),11(N* Menge d Behaupt A*, d.nur nicht‑math.Ent.enth/"M":="ist math.Ent"/A:nimonalist. Beh.A*:stärker:weil nur m‑nicht‑math.Ent),11("Ex‑M(x)":"es gibt mind.1 nicht‑math.Ding"),17(ZFU:Zermelo‑F+Urelemente),21("E87":Quant:"!es gibt genau 87"),21(abstr.Gegenstück f. Auf‑u.Abstieg), 25("Bet":zwischen),26(xy cong zw:kongruent = selber Abstand),50("unique up to" Euklid.Transf:"bis zu, ab.n.weiter),117(COll:auf 1 Linie liegend/Coplan: 1 Flä,Cohyp:einer Hyperlinie),118(Par: parallel(def))/Parallelogramm/P‑Cong/t‑cong(zeitl),53(S‑Cong/Simul),118(Simul),118(S‑Kongruenz),56(Temp‑Less:kälter od.gleich),58(AxSyst f. geordn/ungeordn.Skalar‑Felder "Scal‑bet"/"Scal‑cong":für belieb.Skalare(Temp,Grav‑Pot usw.)),59(st.Bet:raumzeitl.zwisch (ungl. skalar)),61(CONT:"sagt, daß T kontinuierl ist"(Satz))59(JAS gemeins.Ax‑Syst f.RZ u Skalar‑Funkt/f:Rep‑Funkt f. RZ/y:Rep‑Funkt f. skalare Grö/Verbind.durch T = y ° f‑1),~58(<Scal‑Bet": im selben Bereich!),62(x ~~scal y":= "x sacl‑Bet yy"(=x y selbe skalaren Wert (z.B.Temp)/R: Region/z.B. Temp‑basiert(++),65(P‑Cong (auf parall.Linien/"equally spaced region":f.RZ od..f.Temp:gl.Abstände, statt willkürl Maß),68((s) df:Raum‑Abst(<59!)),68(E‑Bet (exklusiv)f bezeichn.Präd.v.orientierten Temp‑Zunahme u.Raum‑Geraden, ab .bei belieb.Ri),69(Pos‑Par:Linien‑Segm,parallel u.i.selber Ri/Pos‑Orient:ungl.O.u.selbes Vorzeich(+/‑))/same‑sign:8‑stell Präd: entw.Pos‑Par u.Pos‑Orient od.Pos‑par u Pos‑OR/Opp‑sign),71(strikt Scal‑Bet:vermeidet daß b2 kältester od.heißester Pkt d.Univ/fL: Koordinat‑Funkt f‑.L/L:Raum‑Linie),72((D(x,a1,a2,b1,b2) Abkürz.f.:Ableit,(nominalist),74(D‑bet/2.Ableit)74(f(a1)‑f(a2),77("primed points":"gestrichen") ,81(perpedicular: = Lot),85(separation),87(D‑Vec),93(Quantor F(Schreibschrift):"weniger als"),99(N0:Sub‑Th 1.St),101(N*),101("Inf (x)" "s ist ue"),102(Eq= Äqui‑Rel) ‑‑ Car I 17(D‑N:dedukt‑nomologisch/CVs),22(gebog.Pfeil: Cverurs.E/hier:">>"),25(kausal homogen:alle Kaus‑Fakt bis auf 1 fixiert:Lö.f.Simpsons Par),26(CC;Prinz.,Verbind.v.Kausal‑ u.Assoziations.Ges),70(Super‑Gesetz:m.Beschreib.d.Umstände i.Antezed/CVs:Beschreib.erklärt nichts),196(Charakterisier‑Prbl: was bestimmt., wann ein Syst.d.Schrödinger‑Gl.folgt bzw.d.Redukt.d.Wellpakets/k.realen Prbl) ‑‑ Fr I 39(Put/Fr:"ultimat.Argum"/R.Boyd/Put:(pro Realism):einzige Phil.d.aus Erfolg.d.Wiss.k.Wunder macht/Terme i.reif.Wiss. ref typweise,selber Term kann auf selbe Enti.i.versch.Th ref/n.notw Wht,sond. einzige Erkl.v.Erfolg),45(Beweg/Fr:=Struktu,defin.i.Begr.v.relev.Rel zw.absol. Orten+absol.Zeiten(Newton),64(Erschein/Fr (=Suppes:"empir.Algebra"),68(empir.minimal: w.Kl.empir.äqui zu irgend.stärk.Th),83("Konjunktions‑Einwand":Konf.v.Chemie,Phys usw.statt Einheits‑Wiss/Prbl:jede kann empir.adäqu.sein ohne daß Konj.adäqu.)92(n‑explanation:Erklär. i.Sinn v E.Nagel),121(Salmon:"Knoten(knots,nodes)kausale Interakt.auch "Gabel"(fork)/ Reichenb:gemeins.Ursache),197("Kontrastklasse":"grün‑statt‑and‑Farbe"),145("core" d.Antwort:"weil A"/zentrale Präsupp (v.Frage):Ausschl.aller Alternt),165(statist. Syll),166(sjourn time:Aufenthltzt:i.einem Zust.),183("relf":Funkt.relativer Häufgkt),185(relf),190(chance set‑up) ‑‑ Bla II 30(BRU basic reason using/Proto‑Rationalit(Mensch:Gefahr/Flucht, nachträgl.gründe)/Tier: Quasi‑Rat)107(maximal persönl:Rel.i.denen kein Partner ersetzb(durch Zwilling):Liebe, Freundsch) ‑‑ Sta I 37(prop elements:basic propos. als El.f.Meng.v.Propüs.>dann alle Propos von selber Art) ‑‑ Cr II 14(Komplement‑Satz: Daß‑Satz o.daß),18(propositional account:Rel‑Th/Gl.als rel z.Obj/Gegsatz:de re acc),37(that0: bez.s.auf ganz.Satz "5+7=12"/thats:macht daraus Strukt: <<5,7,+>,=,12>),46(de expressione/Stechow:wie d. Einstell ausgedr.wird/and als d. dicto), 55(Objekt: =Satz/Subjekt= Glaubender /Inh:Bedeut.d.Daß‑Satzes),70(Int/Ext‑Untersch,.innhb d.Ref//Montague:Sinn/Ref eher wie Int/Ext),75(super‑strikte NEg),80(Makorstrukt:ignoriert Zusätze wie "u (p v ~p)),87(that0, that(0/(0/0), that((0/0),(0/1),1)),97("abstract":<l,x,a>=,98("nominals":Kat (0/(0/1) = NP), 179(Prior:connecticate: Funktor, 1. Argum: Name, 2. Satz/Bsp "glaubt, daß"(syntakt Einheit) ‑‑ Ly I 181("Schema"(Klischees),213(IC‑Analyse/immediate constituents/Bloomfield, 1933),218(rewrite‑system:;Ersetz‑Syst),219(Anfangssymb(initial symb):links i.Regel Bsp S >NP+VP/Endsymb:Kl.v.El.d.Lex z.B. "Verb"unterste Schicht i.Stammbaum/Endkette:d.vollst. m. Klammern geordn.Kette),227(Formations‑Reg:PSR(Phr‑Str‑R),239(context‑free unabhg/C‑sensitive: abhg./manche:c‑resistant),241(uneigeschr.Wert),260(Kernkette,kernel string/ungl. Kersatz),261 (analysis = Beschreib/strukt.Anal:SA(SP)strukt.Veränd(change): SV(SE))262(Klammerindex: labelled bracketing >Phrase Marker:Kette,d.durch Kl‑Indices dargest.wird),263(Chom:Subkette, Dominanz),269(verallg.(generalized)Transf.m.mehr als 1 Endkette als Eingabe(double‑based)/a einbett,b)konjunkt/Matrix‑Kette: hier NP+be+A(matrix string)/Konstituenten‑Kette: Bsp NP+V intr/phrase:Wortkomplex),270(clause:Teilsatz)
tertium comparationis We I 362! ‑‑ Q V 36/7(Qu:überflüss.(bei Ähnlkt)/statt dess.vier‑stell Rel)
Tendenz We I 374(Prädikat,Lö bei widerspr.Kräften)
Tensor R II 108,136 ‑‑ Fri 157, (Krümmungstensor) 153,205, (Materietensor) 206 ‑‑ Kan II 200!,70,56
Tesselierung Fö I 179
Test D IV 132 ‑‑ Ba I 106 (beweist nichts!) ‑‑ AR III 45(f.Gesetz "alle Fs sind Gs":weder Antz.noch Kons.pro Hypoth.sprech."~G~F ok/Klasse d.~G hat gewisse log Rel zur Hypoth: "potentieller Falsifizierer">Bestät) ‑‑ No I 12(Phil n.testbar, wg.Existenzsätzen),250f(v.Hypoth:Daten such,d.nicht wahr sind.w.H.wahr) ‑‑ Tie I 381(def Two‑Action‑Test) ‑‑ Fie I 60(f.Th.durch Ableit.v.Konsequenzen f.Beobachtbares, aus Prämissen f.Beobbares) ‑‑ Car I 87(f.Kausalerklär:Experim/nicht bei theoret.Darst/hier Schluß auf Beste Erkl)
Tetens,Holm Te I 46,146 (These),(Schalter )83
Teufelskreis (Russell) Sai I 186 ("Zirkelfehlrprinzip, PT)
zurück nach oben
Text Sok 234 ‑‑ Bla I 31(immer linear, Denken nicht) ‑‑ Grae I 86(Gadamer: Text redet selbst/Gesprächspartn./Welt als Text/Vs:bloß Metapher,falsche Eig./ruinös:w.Teil eines transzend.‑phil.Projekts)
Tharp,Leslie EMD 325(Th.k.Untersch.zw."referentiell" u."substit.Quantifik. >Wallace dito/KriVs)
Theater S IV 91 ‑‑ Cav I 25
Theismus St IV 325/326,342ff(def Gott:Schöpfer und Erhalter),407,464(Vs),481,506(braucht Ggst.) ‑‑ Hum II 273 ‑‑ Fra I 434
Thema Gea I 274(Stoiker:log.Schlußregel,Muster) ‑‑ Ly I (Linguistik):Ggst einer Auss/Kommentar:was ausges.wird/"Rhema":Prager Schule)
themen‑neutral Schi I 5(=physikalist, statt intentionalist)
Theodizee St IV 453ff,465ff ‑‑ Hum II 263ff
Theologie St IV 343(k.Kriterien) ‑‑ Loc I 23(nur aus Einsicht,n."Inspiration"),159ff
Theophrast Mate I 266(Nachfolg.v.Aristot/(Peripat), 267(hypothet.Syll:((A > B) u (B > C) >(A > C)
Theorem SL I 143!,144(Beweisregeln) ‑‑ We I 82 ‑‑ F/L 67(wenn log,.Konsequ.aus and. Th,d.auch Th derselb.Th,wenn i.selb.Vokab.) ‑‑ Q IX 36(ungl Definition, witzlos "a", i.Schema zu gebrauchen,bloß i.Def) ‑‑ HC I ~169(i.einem Syst.zu sein, heißt,ableitb.z.sein) ‑‑ Mate I 130!(AK‑Th/Mates:w.aus d.Gesamt‑Aussagmenge aussaglog.ableitb/nicht ohne Beweis!), 165f(log.Th),166f(Mates:28 Th,d.keine Taut.sind/hier gar nicht auf AK od.Spr.L bezogen), 171ff(Metatheoreme:Substit/Ersetz/Neg/Dualit/Korrektht/WSF/Vollstgkt),178(Gödel:jed.gült.Auss.= log.TH(berühmter Beweis),210(letzte Zeile eines Beweises)
theoretisch Strd I 185/6(Carnap:Frage,deren Ant.Wahrht ist/prakt: Prbl.d.Antw.eine Handlg ist)
theoretische Entität Sell 39,85 ‑‑ Fie III 43(CraigVs:Physik reformieren/FVs:bizarr, umständl/ Elektronen erklären Phänomene/statt dess th.E.zulass,nur math.Ent.leim(Zahlen/Funkt, Meng)/diese erklär k.Phän) ‑‑ Car I 6(C pro:w.ans guter kausaler Darstell),56(FraassenVs), 92(Elektron gehört n.zu einer best.Theorie) ‑‑ Fr I 58(warum intime Verbind zw th.E u.TT?),197!(k.log.Verbind zw. Exist+Beobbkt),204(Fr später pro!)
theoretische Identifikation Zi 172
theoretische Konstruktion PiS 120(Hempel: "absolute Temp","Gravitationspotential", "elektr.Feld", hier Redukt.‑auss.n.hinr!(and.als theoret.Term!),164
theoretische Termini (TT) Sell 91 ‑‑ LW I 23ff,26 ‑‑ Bra II 71,89 ‑‑ Hack I 182,52f,71,89,91,126,281 ‑‑ Kan I 220 ‑‑ Pea I 88,97(Ryle),104(stets letztlich auf BB fundiert),192(hinr:"konform m.best. wiss.Theorie") ‑‑ PiS 119/120(Ca:durch Reduktionsauss.einführ.) ‑‑ LW IV 78ff(n.nur aus alten/Ramsey: elim.zugunst.geb.Var/Carnap:Theorie teilen:a)analyt,b)synthet:elim.),79(mu.n.th.Ent benenn:Bsp "H2O),87(durch best.Kennz.def),91(Kemeny/Oppenheim:Prädikate) ‑‑ Schw I 217!ff(Lew:"Bedeut";"Schmerz";,"MöWe":m.Rollen assoz.,d.festleg,worauf ref/Ramsey‑Satz/Carnap‑Konditional)218(Carnap‑Lewis‑Th:aus Carnap‑Kond:Wahrheiten üb.Schmerz usw analat.aus grundleg.Wahrh.i.den.sie n.erwähnt) ‑‑ Q XII 29(Sprachlern:aus Komparativen Term auf sing term "kleiner als dieser Fleck"/später. aus Relsatz od.Kennz) ‑‑ Fie II 196(Carnap:Einführ.=Inhalt d.Ramsey‑Satzes/bei multipl.Realis.belieb.Ding/LewVs) ‑‑ Strd I 217f(/th.Entit/Quine: nicht sicherer als beobbare) ‑‑ Schi I 28/9(werd.einfach gebraucht +erhalt.Bedeut.aus Rolle i.Theorie(Lewis 1970a),158(sollten physikal.realisiert sein(ab.d.h.n.reduzierb) ‑‑ Schu I 103(strukt.Merkm/dispo‑Begr:funkt Merkm),104(durch mehrere gesetzesart.Regularit.defin,n.auf sie reduzb/Disp‑B:einzige Regularit),167(Zuordn‑Gesetze),188(def/Sneed:setzt bei jedm Mess.Th.voraus/vs), 213f(Craig(Vs)), 219(Ramsey‑Satz),214(Carnap‑S),215(Lewis(verstärkter C‑S):"TT bez.d.i‑te Glied d.n‑Tup v.Entit,d.i.d.WiWe durch Th erfüllt"(kennz!)/Vs),216(Ramsey‑+Carnap‑S:/Lö.f.Zirk (FodorVssemant. Th‑Holism:Bedeut‑bestimm.v.TT zirk) ‑‑ Fr I 11(oft unklar, ob f. konkrete od. mathent),58(warum intime Verbnd ztu th.Entit?82(,moderne Mutterpsr. m. "Mikrowelle"/n.rückübersetzb.i.alte Spr)
Theorie Duh (def)20, (Hertz,def) 115 ‑‑ Ro I 272 ‑‑ Sell XXII,15ff,85!f,92,101 ‑‑ Wah 125 ‑‑ Hü 415,425,486! ‑‑ Fe I(Hume:Th nicht aus Tatsachen) 84 ‑‑ Fe I 357 ‑‑ Mat I (Einstein)218,246 ‑‑Gr II 57(enthalten) ‑‑ Ra I 192!195 ‑‑ Str V 242 ‑‑ McG I 235! (Fodor) ‑‑ McG II 71 ‑‑ Wri I 204ff, 210/11, 218,220(Verschränkung),240 ‑‑ Q VI (Th/Beobachtung)9f ‑‑ Q VI 114,115 (Begriffs‑wandel, semantischer Aufstieg) ‑‑ Bra II 217 ‑‑ Hack I 91,176,179,100,113, 147,196,275, 291,298,348,350ff, 356!(abgeschlossen),393,433 ‑‑ Sch I 133 (WittgVs) ‑‑ Kan I 184,217,233, 244,249,352,379,408 ‑‑ Mü I 375ff,220(Namen!) 194, 195,204/5,(universelle Th.),267,325/6,334 ‑‑ Kan II 15,22,73/74(kein Zirkel),77,80,94,98,126 (Prinzip) ‑‑ Vo I 271,276 ‑‑ Vo II 51!,131f,154 ‑‑ N III 26 ‑‑ Meg II 110,401 ‑‑ Meg II 300(Chomsky),305,314f, ‑‑ Wol I 210(Kripke) ‑‑ Fey I 583(neue Th.beinhaltet alte:QM) ‑‑ Es I 363(Dav:Unterschied:üb.Sätze>Kohärenz/üb.Objekte),379!(n.in Natur‑Teil/Geist‑Teil z.trennen) ‑‑ Fra I 322(Castaneda:"Dia‑Philosophie":mehrere gleichzeitig entwick.),339(Cast:n.Lieblingsstdpkt durchsetz,Vergl), 340(Cast: Th.k.n.widerlegt werden, Thesen wohl) ‑‑ Pea I 79/80(reicher/ ärmer:Bsp Ggst auf Drehtisch/im Raum WB,engere Begriffe reichere expressive Kraft: Erklär.v.Verhalten, auf Tisch bezog.n.Raum /Erweiterung:erst wenn Raum‑Verhalt.n.merh durch Tischverhalt.erklärb. >subsentential),81(Bsp), 92("tomatenartig":gewisse Empfindungsteile auch o.Th./"quadratisch":n.o.Th.),99(k.auch v.Kontrafaktischem mitbestimmt werd.) ‑‑ Du II 9(Bsp Schach m.Ziel Matt:gleiche Th.,gl. Beschreib,gl.Regeln),78!(Quine: neuer Satz,Dispo geänd./ urspr.Grund f.Akzept.d.n.S.n.i. Verhalt.erkennb.gl.Dispo bei versch.Gründ),104("Chemie" k.Begr.d.ch.Th./ statt dess:"welche Wirk.s.ch.?) ‑‑ F/L 44(Bsp hol),189/90(Qui,Netzwerk) ‑‑ LW IV 79ff(neue),83(multipel realisb?),85(Paare v.falschen Beob.Konsequ.hab.k.Interpretat.weil k.Modell "Standard" ist/PutVs:n.sinnlos,sond.falsch,and Begriff v.Interpretat.),86(LVsPut:falsche TT n.sinnlos,sond.denotationslos.),90(Interpretat.bleibt nie lang gleich),95(bei kleinster Korrektur: Original‑Version realisiert) ‑‑ Q IX 10(Grundvokab.an Präd.),181(schwache Th.vermeid. Antinom), 232(Erweiterung/Hinzufg.v.Axiomen ungl Vergröß.(m.Relativier.) V.erzeugt k.Widerspr.),234(jede widespruchsfr.Th. hat ein Modell i.nat.Z),228(Maß f.Stärke:wann Iteration im Transfiniten blockiert) ‑‑ EMD 2(o.Interpretierbkt:erspart Entscheidverf.),253(Woods:darf k.Indexwörter enth.),321(Pea:Th v."notw" hier:nur aus WT, sonst zusätzlnicht‑log.+n‑semant.Axiom nötig) ‑‑ Grae I 29(Arist.:Vorrang v.P.) ‑‑ Fie I 55(Reichheit,Interessantht),120(ue axiomat., Neg, Inkonsistenz), 142(Bsp 2 Th m versch.nominalist Konsequ.),197(Dav:darf n.ue versch.primitive Präd enth/FVs:doch, w.m.endl.Ax rekurs.charakt.),244(ue ax.verständl.aus Schema(Dispo)),244(ue ax schwer z.widerleg/endl.:dann mu.Gesamtheit d.Ax verworf wer/ue: k."Gesamtht"), 280(bessere: ermögl.mehr Folge‑Th) ‑‑ Brk 420(Schröter: = gedeut.Kalkül, zusätzl.Deut.‑Beding), 421(def math/Th/Schröter:gP aus Kalkül + 2‑stell Rel,Axiomen), 529(Teilth.lassen sich (wg.Var.endlicher Ordn)begründ,Gesamtth.(d.Wahrht) nicht(w..Spr.ue semant.Kat (>Typen)/w.Gesamtth wsf,dann auch jed.Fragm/umgekehrt: aus Fragm+ Konvention W > wsf Gesamthth) ‑‑ Mate I 230ff(formalisierte/in.Spr.d.elem.Log:"el.Th"/deduktive TH (>Tarski: ded.Syst):Minimalbeding), 231(def deduklt.Syst(TH):besteht aus Paar v.Mengen <D,G>: D: nicht <‑log.Konst (Vok)/G:Theoreme(Lehrsätze),231(Th.schon durch Menge d.Sätze eindeut. bestimmt,da nicht‑log.Vok vollst.i.d.Sätzen vorkommt),251(erweiterte:alte + 1 neue Def + Folgerungen aus dieser(im weiteren Vok)) ‑‑ Schw I 116(Lew:beste:beschreibt so viele echte Reg wie mögl/ einfach/Mill‑Ramsey‑Lewis‑Th:Komprom.zw.Stärke u.Einfht/Lew:Wschk soll Häufgkt entspr.) MRLT:erkennt unechte Reg/erkl.leere NG:Bsp 1.Newton/FraassenVsLew.erklärt n.mod.Kraft v.NG) ‑‑ Schw I 217!ff, 218(2 Kompon:a)faktische:Ramsey‑Satz,b) definitor/ terminol:Carnap‑Konditional/jed.Th.äqui Konj.aus RS+CK),220f(Th.i.falsch,w.nichts alle Annahm.erfüllt,ab.CK gesichert/CK widerlegt:w.Dinge alles erfüll.ab.z.B.k.Bananen sind: sinnlos/Lew:nichts erfüllt Th.i.allen Annahm),222(Lew:Zust.d.kausal Rolle sp.verdient.Nam,auch w.woanders lokalis) ‑‑ Q X 132(prkt. nicht‑empir.Th. immer noch Ph.wenn Lexikon gemischt/Ordn.d.Daten gilt als empir. Leistung),132(Daten (Empirie) machen n.vor Mathe halt/betreff immer ganze Wiss),133(Logik genauso revidierb wie QM od.RT) ‑‑ Q XII 67(ontol.rel:Ref nur innerhalb/letztl,.Bezug auf Rahmenth,dort Ggst willkürl.angenomm),68(vollst.interpretiert nur i.relSinn/rel zu unseren Wort. +Rahmth) ‑‑ Fie II 47(n.w/f,sond.Behaupt,daß Axiome gelten),187(Quine:ideal wahre Th:d.Zuk würde n.WW unserer jetzig.Sätz.bestimmen, da k.Übersetz.zw.‑Th),352ff(2.Ordn),354(dito, FVs/1.Ord.Fragm.v.2.Ordn/2.St.schließt Nicht‑Standard‑Mod.d.1.St.aus),355ff("volle schemat. Th"/McGee:schemat.Th.stärk.als normale/FVs: stärker:Hinzufüg.v.W‑Präd, Induktion + kompositionale Th.d.Wahrht/McGee dito) ‑‑ Si I 203/4("beste alternative TH") ‑‑ Schi I XV("Keine Th‑Th"(d.Bedeut):alle Fragen d.B.+Intentionalit.hab.falsche Voraussetz),24(Form bei wenig ggst: Exist‑Genelaris),27(m.Ramsey‑Satz Bsp (Ef)(Eg)T(f,g)/T = Theorie),28(dabei Glaub als Funkt.v.Propos auf interne Zust‑Typen schon vorausges),43(bei unformulierter Th.m.Äqui‑Klass.d.Sätze gleichgesetzt, die sie formulieren würden) ‑‑ Hor I 377(Leeds falsche Frage:ob Th.Welt "abbild"= Fr.ob Elektron exist),441(Put:metaphys.R+int.R sind nur Bilder/weil k.Def. idealis.Rechtfert mögl)),481(Soames:besond.W‑Präd(rein mathe)Denotat.Funkt(Paare v.Obj)f.belieb.Spr) ‑‑ Schu I 172(Carnap:gesamt‑Th:Th‑+Zuordn‑gesetze("Korrespondreg")), 179(physikal:Th organisier.s.i.hierarch.Th‑Verbänd:Bsp NewtonMech:freier Fall, Planet‑Bahnen, usw),184ff(Strukt.v.wiss.Th) ‑‑ Cr I 48(Untersch:Sätze,d.Präd.erklär/Sätze, d.empir.Behaupt mach) ‑‑ Fie III 98(Attraktivit),100(nominalist statt platonist:Ax‑Schema statt Ax(m.Exist‑Beh üb.z.B. Mächtigkt) ‑‑ Car I 8(C:Einzel‑Rolle(kausal)d.theoret.Ent.statt Vereinheitl.d.Gesamt‑Vorhersage‑Erfolg untersuch),131f(Th‑Entry,Brücken‑Prinz,),203(Begriffs‑Prbl:w.Th.Annahm.macht, d.metaphys.Annahm.widersprch) ‑‑ Fr I 4(einziger Glaub:daß d.Phän.erhalt.bleib/d.h Observab korrekt beschrieb),36(Put:kö.i.empir,.Inh.übeinstimm+i.WW diff),59(kann n.restlos i. bloß.Beschreib.übersetzt werd),65f(Suppes,allg Form m.Mengenl/n.Meta‑Mathe),66(Bsp Mechanik/Suppes:hier Pkte durch mengtheoret.Präd.repräs), 67(Strukt:1.Tarski‑Suppes: Menglehr/2. Weyl‑Beth:Zustandsraum (modal)/Fr pro 2),67("wenigst.so stark wie"/log.Form/ Abschwäch:Trenn.v.weiteren Hypoth),, 73(Fr:neu.Haupts:Faktor i.Entwurf v.Exp./als: Haupts: Wiss.üb Strukt.d.Welt/alt:Exp.testet Th(83(Konjunkt.v.Th+Exp)202(nie vollst) ‑‑ Sta I 3(Sprache/Prbl:k.Basis f.Untersch.zw.Spr‑Regel+Satz üb.d.Welt) ‑‑ Cr II 162(phys.Th. mu. reich genug s, um defin z. kö. was wäre, w.s.falsch wä.)
Theoriebeladenheit (Theorie‑Geladenheit, der Beobachtung) Hack I 289,301,318 ‑‑ Hor I 493(R.Boyd:n.beob.sond Method. > Erklär.v.Erfolg) ‑‑ Schu I 57/8(v.beob/SchuVs:dann wird konkurr.Th and.Beob.dann jed.Progn.selbst‑erfüll/zirk),58(H‑E‑Kopf:Wittg/Hanso/Kuhn:zeigt Th‑Abhgkt.d.Wahrnehm) ‑‑ Fr I 13f,14(Gr.MaxwellVsLog.Pos/pro TH‑B:Maxw,Sellars, Feyerab,Fr:hier Sprache,n.Beobacht)
Theorieform Q XII 70(def/Qu:nach Abstraktion v.Bedeut.des nicht‑log.Vok+v.Wertebereich d.Var/dann Reinterpretat.i.neuem Ber >Modell/intendiertes n.aus Th‑F ablesb/Intend.durch Ostension)
Theoriesprache EMD 37!(Dav:mu.man n.verstehen,umWahrh.zu kennen, die sie ausdrückt)
Theoriewechsel (>Bedeutungswandel,Begriffswandel) Fie II 177ff(Ref‑Wandel bei ThWechs:keine Tats),191(Menge d.Dinge die nach W partiell denot.werd.ist Teilmeng.d.alten/daher alt/verfeinerte Denotat.)192(dennoch VsInkommens/also vergleichb),195(QuineVsF:übersetz.Grundbegr.statt Ref:dann k.Frage ob Newton richt/falsch,sond nur.,wie wir übersetz/dann eig.Spr.Priorit), 235(Newton:Geschw.,Energ,Imp:schon bezugssyst‑abhg) ‑‑ Hor I 389(Put:daß ref üb.TW bleibt,durch Konvergenz erklärt:späte Th enth.früh.als Grenzfall), 448(Put:n.jed.Satz wechslt WW bei TW zw. 2 akzeptbl.Th)
thermisches Gleichgewicht Gz I 133
thermische Leitfähigkeit Fey I 614f
Thermodynamik Gz I 124 ‑‑ Kan II 177 ‑‑ Vo I (2.Hauptsatz) 264 ‑‑ Fey I 542ff,645(//kinetische Theorie),616ff
Thermometer Duh 172 ‑‑ Bra II 143
Theseus' Schiff Sai I 77f ‑‑ No I 33(Ident.erford.n.I.d.Teile/Bsp Rekonstr.aus alt.Teilen 2.Schiff/"nächster Nachfolg"),659(Graphik) ‑‑ Mei I 48/9(2.Original aus alten Teilen)
Thomason, Richmond Cr I 99/100(selbst‑ref),100(VsMontague:Propos.einfache Entit)
Thomson, J.F Hor I 159ff(Tarski, W‑Def, Black)
Thomsons Lampe ‑Bsp Sai I 27
Thoreau Cav I 30(VsPerice,VsDewey),75,78,86,97,98,100f,106,215
Thrasymachos Tau 71ff,74,75,79
Thukydides Car I 139(Gesch‑Schreibung: Statements nur sinngemäß widergeb)
Tibbles‑Bsp (Wiggins: Katze, Summe::Tib+Tail) Si I ~110(Prbl.Wderspr.w.alle Möglkt gleich),113,191(Katze kann Teile wechsel, Summe nicht),266(modal)
Tichy,Pavel 90(()‑stell.Attribut: = Zustand)
Tiefe Fie I 104(modale ("soundness") wenn Beweis f. "~A" dann ~MA//ungl.Vollst (modale): "wenn kein Beweis f "~A",dann MA)
Tiefenstruktur D IV 104 ‑‑ Dt III 41 ‑‑ S IV 189ff ‑‑ Meg II 271,273(bestimmt Bedeutung) ‑‑ Wol I 233(Krit.= Bedeutung),249 ‑‑ LW IV 206(deep structure, n."base"/kann zweideut.sein) ‑‑ Ly I 250ff(Transf‑Gr/Bsp ".. to small to see"/to much in love to see": versch.TS v."see"/gl.OS),252(T=transformationelle Strkt>Mehrdtgkten),258(aktiv/pass:i.TS ident./Ähnlkt),350(Subj/Präd// dagege OS:Thema/Kommentar)
Tier Q II 154 ‑‑ Du 125 ‑‑ S I 35 ‑‑ Da I ("lügende" T) 117f, (T "rechnen") 461f,166,164 ‑‑ Da II (Taubenversuche) 149ff ‑‑ Bh I 37 ‑‑ De I (Rousseau) 312,314,352 ‑‑ Bra 37,112,165,259,873 ‑‑ S III 50 ‑‑ MD I 88142!ff,148 ‑‑ Pi I 168f,440 ‑‑ Den II 21,58,137,142,145,182,190,195f ‑‑ McG II 79(Bewußtsein) ‑‑ Metz I (Bewußtsein) 547,557 ‑‑ N III 25 ‑‑ Hum I 62f ‑‑ St IV 286f(Ethik) ‑‑ Lo I 71(Descartes),94,187 ‑‑ Fra I 239(CastanedaVsFichte: Bew.o.Selbstbew.) ‑‑ Pea I 55f, 77(B.Williams:k.n.lügen,daher k.Behauptungen,daher k.Glauben) ‑‑ Bla I 90 (H.Read: Hauptuntersch:Syntax) ‑‑ Tie I ~(Montaigne:kompl.Kommunik.),82(Desc:k.propos.Gedanken, daher k.Empfind.),90(Malcolm:drücken k.Gedank.aus),102(Tier,Armstr),119(Dav:T. denken nicht (weil o.Sprache)), 132(SearleVsDav: Netz v.Wahrnehm.+Handl.statt Überz.dann k.Spra. notw.), 149(Verhalt:irrelevant),229f(Begriffe?),232(Premack/Woodruff:"Th.d.Geistes"bei Primaten), 238f(dito,Vs),239(Hund,Katze,viel weniger Vorstell‑Vermög.als Primat),240(Kultur:prakt lokales Wissen/Kartoffel‑Waschen),241(dito:blindes Probieren),241/2(statt "Lügen"bloß wirkvoll.Handl.) ,276(Papineau:k.Zweck‑Mittel‑Denk bei Primaten:k.nicht‑egozentr.kausale OVrst.),277(vielleicht Ratten),288(/Mensch:k.seine Dispo richtig einstellen),313(Dupré: Objektivität k.gutes Meth‑Krit.),336(Sprache.Zeichen öfter i.Anwesenht d.Ggst/Mensch.öfter Abwesenht),385("Th.d.Geistes") ‑‑ Av I 117(Quine:Furcht d.Maus vor d.Katze kann durch engl.Satz dargestellt werd/>prop Einst o.Spr.n.Denk.o.Spr.) ‑‑ Fie II 38(prop Glaub.o.Spr:Fodor,Harman,F:System inn.Repräs/F:Satz‑Analoga syntakt.einfacher/ Quine:"dramat.Idiom") ‑‑ Schi I 119(Klass.Sententialism:pro Zuschreib v. Sätz.als Glaub‑Ob) ‑‑ Bla II 31(Quasi‑Rationalit),33(i.Körp.einer Taube würde Mensch s. genauso verhalt!),36(Reaktion auf Zeich.n.anders als unsere/ab:Mensch hat Gründe,T. nicht)
Tierversuche Du 106 ‑‑ Pi I (Affenhirn,Muster>Anderson) 357 ‑‑ Metz I(Affenversuch, Cortexverfärbung, Anderson) 47
Tiles Si I 93f(Ereignisse/Mereologie),337(Selbst‑Verbundenheit (...))
Tilgung (Linguistik) Ly I 241("Ersetze P durh Null"(T‑Regel) P>0),328("sein"), 346(Bsp Hans tote Paul u.läuft weg),368(Obj‑Tilg.Bsp "früh essen")
Tilgungstheorie (Linguistik) S IV 188ff,190 (Tilgung)
zurück nach oben
Tipler,Frank Kan I 302,333 ‑‑ Kan II 178
Titel Dt II (von KW)184
T‑Modell (>System T) HC I 63f,64(geord.n‑Tupel :W:Menge v.MöWe, R:rel b.El.V.W, V.Bewertung)
t‑Normen Spi I 229f,231f(unscharfe Mengen/fuzzy logic, Mglkts‑Th, t‑co‑Normen, Min/Max, Durchn.Verein.)),
Tod W I 89 ‑‑ Da I (Alter,Tod) 80 ‑‑ McG I 102 ‑‑ Se III 64 (Tugendhat) ‑‑ Q VI 158 ‑‑ Cav I 82 ‑‑ St IV 430/31(Kant) ‑‑ No I 579 ‑‑ W VII 89/90(Tract:endet meine Welt)
Todesstrafe Loc I 58(ja,wenn aus log.Regeln) ‑‑ No I 377(nichtteleologisch)
TOE (Theory of Everything) Gz I (157) Kan II
Token Bra 63f,915 (Tokening),295 (Token‑Reflexivität) 641 ‑‑ S IV (type/token)141 ‑‑ F/L 124((tokening,Verb,Denken,Sprech.k.Handlung) ‑‑ HC I 118!("von" statt Ggst "selbst":wenn zweimal i. versch.Rollen: Bsp x in derselb. Formel frei u.gebunden) ‑‑ Fie II ~5ff(SatzT.statt Typ:Wahrht i.Umständen,Idiolekt,diachrone W‑Th),27,28(dito) ‑‑ Schi I 273(Zust‑T:erfüllt off.Satz "x ist ein Schmerz"/Z‑Typ:wird v.diesem Satz repräs)
Token‑Identität Fra I 629(Davidson pro!,VsTyp‑I.) ‑‑ Disp 59(59(Place:typisch notw(de dicto:n.o.Widersspr.negierb:Bsp Urs+Wirk,ab.linguist.)
token‑reflexiv F/L 69f(demonstrativ),97(Schnee/Schnee, dies/dies),102(immer eher akzept.als and.Sätze) ‑‑ EMD 40(Reichenbach/Dav:t.‑r.Referenz:verlangt oft, da die Ref.bei Übersetz.gewechselt wird) ‑‑ No I 73/4(= indexikalisch:"hier","dies","vor 2 Std")
Toleranz (Wahrnehmung, Beschreibung) EMD 235ff(Wri:Beob.‑Begr.,Präd.Sorites,Kontinuum, Farbe),237(k.Logikd.entscheidet),240(Spr.o.T.),242/3(Farbpräd.o.T.:Wri pro)
Toleranzprinzip Ca 69,85 ‑‑ We I 17f(Carnap),18(Menger),20(Vs)
Tolstoi Wo I 101,115
"tonk" Re 268ff (nicht beliebige Verknüpfung definierbar) ‑‑ Bra 198 ‑‑ Bra II 94(def) ‑‑ Gea I 208(Geach:anderes "Tonk": Name f. and. Namen,intentionale Argumentstelle)
Tönnies Hum I 32(Typen von Gemeinschaft)
Tooley,Michael AR III 32 (1977),WshkG) ‑‑ Disp 44(Th.w.NG Verbind.lv.Eig,dann atomare Tats/Regularität:molek.Tats) ‑‑ Schw I 119(T:Anti‑Redukt/LewVsT:w.NG n.auf lok.Eig.superven,werd.offsichtl.Merkmale unbegreifl)
Topik Bu I (Aristoteles,Gemeinplätze) 38. (Topos) 115
topik‑neutral Gea I 312(Ryle:Gleichzeitigkeit,"oder"(k.Relation)/gehört z.k.Wissenschaft, sond.Logik)
Topologie P I 254!ff ‑‑ Kan I 426 ‑‑ Kan II 55! (Hufeisenmagnet, Henkel!) ‑‑ Ba II 111ff,113 (def),114! (als Menge!),122,(top. Raum) 114, (Umgebung)116, 117,(natürl.T.) 116,117,(abgeschl.) 117,147,(Rand) 118, ‑‑ Si I 43(nächst.Schritt nach Mereol),327(mereo‑topol:Verbundenht,Pfad‑V),357(triviale (iskrete):jed.Teilmeng.d.Bereichs ist off.M,Teilraum:=Teil‑M/diskr.Metrik:Abstand zw.2 belieb Punkten immer= 1)
Torsion Ruc I 186(def)
Torus Os I 130(Schnittpunkte),131(3‑Torus)
total SL I 89,97!(def)
Toulmin BU I 131/32! (Thesen)
Tractatus Wah (Abbildth.) 314f ‑‑ Sch I (Grundgedanke4.0312) 79 ‑‑ W IV 37(Th: log. Konst. vertreten nicht Bsp "~") ‑‑ Du II 186(Phil.d.Wiss.) ‑‑ Disp 54/55(PlVsWitt:Vs Welt d.Tats",weil Handlung beschreibabh.) ‑‑ Sta I 52(St:Inhalt= Unterscheid aller Mglkten(MöWe)/StVs:sinnlos) ‑‑ W VII 148(spät.WittVsTr),150,
Träger F III 10 ‑‑ F IV 65! (Urteil,n.Gedanke) ‑‑ LW II (v.Eigenschaften/Wahrheit) 151 ‑ F I 82 ‑‑ Lei I 102,118 ‑‑ Wol I 344(Bedeutung/Namen),354(n.Bed),353,363 ‑‑ Mei I 43(def Indiv,d.notw.f .Akzidens ist:Spiegelbild:2 T:mich+Sp) ‑‑ Brk 124(log. Form/T v. WW) ‑‑ Si I 241(Eig//ungl.Substrat v. Wechsel),241!(hat slbst k.Eig?/selbst i.Tractatus n."bloße" ED("bare paricular")
Trägheit Gr II 246! ‑ Kan I (Trägheitskompaß) 296 ‑‑ Vo I 199 (o.Ursache!) ‑‑ Fey I 132(auf d.Erde: = Gewicht, num.gleichgesetzt/auf d.Mars: weniger Gewicht, gleiche Trägheit, >Masse),229(RT: T.wird größer),345(Feder:Kraft!),589(T/Masse)
Trägheitsmoment Fey I 266!(geg.Drehung,Entf.v.Achse),273ff(Bestimmung),276(Zus)
Tragödie Ge I 164 (Schiller)
Trajektorie Fie I 195,201 ‑‑ Fie III 85(Bahn i.Newtohscer Grav‑Th(nur Grav‑Kräfte)Def: Menge d.RZ‑Pkte, d.d.Partikel je besetzt (keine Pkte gleichzeit!))
Transfiguration Ho I 378
transfinit Re 248,251 ‑‑ B III (transfinite Induktion) 331 ‑‑ Q IX 238 ‑‑ Fie II 317(Bsp Aleph1,2, usw)
transfinite Induktion Q IX 99ff(Wertverfalsuinduktion)
transfinite Kardinalzahlen Ba II 54
transfinite Ordinalzahlen T I 199,205 ‑‑ Q IX 109f,238 ‑‑ Brk 539!(Erklärung)/kleinste:w,w+1 usw,/w Zeichen ue Ordn,d.Funktoren von AF sind, die nur Argum.endl.Ordn enth),540(w+1:Ordn.v.AF,deren Argum.entw.endl.od.v.Ordn w).
transfinite Odnung Q IX 109(Bsp von 0,1,2,...w) > OZ)
Transformation Vo I 81 ‑‑ Vo II 115f ‑‑ Ba II (Mathe) (hyperbolische T) 134 ‑‑ LW IV 205(Grammatik),206(v.Tiefen‑zur Oberfl.‑Strukt.)
transformationell (Linguistik) Ly I 252(tr.Bezieh.=Tiefen‑Bezieh)
Transformationsgrammatik (Chomsky) Meg II 417 (v.unt.nach ob.) ‑‑ LW IV 193(Wortreihenfolge,Widerholung v.Modalop.beseitigen/Bedeut:nur aus Basis‑Strukt. Transf.irrelev.),206(Basis>Tiefe>Oberfl.) ‑‑ EMD XI ‑‑ Q X 38(Chomsky),44(wird.f.log.Formeln nicht gebraucht) ‑‑ Ly I 250ff,251/2(def trans‑ell:tiefe Bezieh.n.parall.zu Obfl‑St),259ff(Chom:T‑Regeln 2. Kompo,oberhlb v.Basis‑Komp:Konst‑Str),264(T‑Reg uneinhtl)
Transformationsregeln (Linguistik) Ly I 259fChom: oberhlb v. Konstituent‑Str),264(uneinheitl)
Transformator Fey I 323(Elektrizität,def)
Transformierte (in Logik) Mate I 182(einer Aussage/def:ohne Indiv‑Symbole, o.Quant,o.obere Indices v.Präd.(einfachweglassen)/Ableit.bleibt erhalten,w.alle Auss.durch Tr.ersetzt)
transitiv Me (nicht drittengleich) 32 ‑‑ Wo I (Wittg,trans/intrans) 94 ‑‑ B III (trans/intrans) ‑‑ Sal 145,148,149,(intransitiv,nicht‑transitiv) 145 ‑‑ Mü I 128(Bsp Nähe n.Tr.) 150(Gesetze?) ‑‑ We I 230(Ununterscheidbarkeit),232(abgeschwächt),285(Konditional),288,292(Konditional,Gesetze),294
(nur von Allaussagen aus) ‑‑ Ca I 111(Gleichheit t.,Teilgl.nicht,Ähnlichkeit n.t.) ‑‑ Gea I 184(Entailment n.t.,Fitch,Mengenlehre),185(Lewy's Paradox) ‑‑ Fra I 446ff(Perry) ‑‑ LW V 167(Ursache:ja, kausale Abhgkt:nein) ‑‑ No I 42(nächster Nachfolg./Vorgäng:nicht‑t!) ‑‑ Ly I 357(linguist)
Transitivität EMD ,233ff(wri:Nicht‑T,Sorites),236/7(NT Folge d.Kontinuität Farbe(Warhn.),240(NT einzige Möglk.ununterscheib.Situationen unterschiedl.z.beschreib.) ‑‑ AR III 155!(Notwkt n.t),156(Wschk n.t.bei P = 1,nur w.k.Zusatzfakt./bei Gesetzen müßte 2. Ges.aeleitet sein, und das mu.n.exist.(f.WschkG dito)) ‑ Brk 36(Peirce: = Primz.d.Syll Barbara) ‑‑ Car I (Einzelsatz üb.Ursache t./Kausalges:nicht t!)
transparent Du II 72(Bedeut.t: man muß wiss.,ob 2 Bedeut.gleich sind/Vs:Odysseus,Hund) ‑‑ 48/9(referentiell),54(def.ref.t.:beschreibunabh.?)/WW bleibt gleich w.Denot.bleibt,aber Sinn wchsel),54(k.Fehlschl.i.MöWe)
Transparenz (Bewußtsein) Metz I 25
Transparenztheorie Dt II (Medium soll verschwind.) 237
Transposition Brk 50(De Morgan/neu: Syll.d.transponierten Quantität)
Transsubstantation Fra I 160(Castaneda:Selbigkeit diachron existierender Mengen v.Eigenschaften)
transzendent T I 238 ‑‑ Wa I 14 ‑‑ EMD 200(Ev:Bsp "wie Theorie sein sollte") ‑‑ Fie I 103(t.Zuschreib:"Bsp "Schnee ist weiß" würe n.wahr, w."weiß" grün bedeutete(modal)/Qui:üb.eig. Spr.hinausgehend/Ggsatz:immanent wahr)
transzendental D II 131 ‑‑ Dt I 212 ‑‑ MD I 66,68 ‑‑ Es I 66(Stroud:t.Argum. impl. Verifikationism), 66(Kant:Beding.d.Zuschreib. v.Überzeug.zugl. Beding. v.Überz.überhpt),191(Bsp t.Argument:wir beginn. m.Regelfolg) ‑‑ Fra I 170(Castaneda), 171(weil immer ein Token v."ich denke" mögl., exist.ein Ich,d.h.eine Art nicht‑sing.Bezugnahme auf transz.Realität), 171(t.Subjekt!) ,699(Burge:t. Argum. immer nur allg.,Put pro) ‑‑ Loc I 31(Ausweg aus Paradoxien) ‑‑ F/L 59,76(Bsp Gleichsetz.v.RI m.realer Übersetz.),79/80(Bsp Dav Sprecher mu.meist wahr sein,sonst Lernen unmögl.),88(Bsp PdN),105(Bsp Annahme:RI wäre metaphys.unmögl.o.Hol) ‑‑ EMD 103(Dum:Bsp bivalente WW auf unentscheidb.Sätze angewandt: jenseits unseres Wiss./letztl.falsch. Gebrauch/Prbl.Manifestation d.Wissens) ‑‑ Strd I 148ff(Kant:tr.Idealism+empir. Realism), 153(dito/aber verlangt kein jenseit.Reich/n."übersinnl"/ def: t..Behaupt.hat m.allg.Beding. f.Wiss.z.tun/sofern dies.W.a prior mögl),155(zeigt a prior Wiss,nötig f.KdR),162
transzendentale Ästhetik Strd I 165(Ort d.tr.Idealis(DF))/>a priori Wiss.v.Geometr/Arithm)
transzendentale Deduktion Camp Ka 95 ‑‑ Bu I 109,133
transzendentaler Idealismus Hor I 440(Kant/Put: quasi pro: Wht: = idealis.rationale Akzptbkt)
Transzendentalie (TZ) Mei I 22ff(Def kategorienübergreifender ontol.Begriff,charakteris.statt einteilend/Bsp "Entität",Wahrh.Einheit,Gutheit),83(Wirklkt,(Aktualität); Existenz), 24(Möglkt), 25(relationale TZ:Teil/Ganzels‑Rel),26(re.TZ:Konstituente(kategorien‑verschieden), Identität),28(Abstraktht,Konkrethtunklar ob TZ)
Transzendenz (Mathematik) Ba I 259 ‑‑ Hum I 12(HumeVs),139(Kant)
zurück nach oben
Traum Dt V (Nietzsche) 156 ‑‑ Wo I (T‑Deutung) 121f ‑‑ Gea I 153ff(Existenz,imagin.Objekte, Ontologie),324(Platon:k.Individuum,k.Satz.k.Tats.k.Situation>Wissen dito) ‑‑ Ber I 220f(Wirklk. intensiver(also von Gott)!,sonst Probl.f.B.) ‑‑ No I 660(Astralleib führ T‑Handl.aus/Prbl:die and.Personen i.T. mü.zur selb.Zeit t?) ‑‑ Strd I 14ff(Skept/Moore: Duke of Devonshire, Oberhaus, = realer Inh),15(Str:Umwelt hat Einfl),16(Erwachs+Kind tr.beide Rechenaufgabe,Kind zu jung), 24(liefert nie Wissen/Desc:n.z.wiss.daß m.tr.(stärker)),47(Austin:v.Wachsein unterschbar/sonst k.Sprachgebr."wach"/"schl"/StrVs:sonst müßte jede wache Episod.wie Tr.sein), 121(MooreVsDesc,Aufstehen), 221(Quine: schließt T‑Mglkt nie aus),266(Clarke:T‑Mglkt mu.alltägl.verstand.werd,n.phil),267(w.keine Mglkt,T.u.entdeck,dann k.Tr(iterierter Tr.nur phil,n.alltägl/dann Vsphil.Skept),269(Dämon:soll n.selbst tr:daher Positionsbestimm.d.Träumenden mögl/dann k.univ.Tr),273(damit T‑Mgölkt.Wiss. unterminier.kann, mu.Mglkt v.Wiss. vorausges. werd/ daher trad Skept n.kohärent
Trennung AR III 86!(ArmVsPlaton:log.Notw.n.zw.getrennten Ent/aber Hume:Kausalrel nur zw.getrennten)
Triangulation (Davidson) D I 81f, 116 ‑‑ Tie I 131(Dav: >Intersubjektiviät(2 Geschöpfe interag.versch. m.Ggst.,Grundlinie:wie Dinge objektiv sind:v.d.Individ.durch Sprache gebildet) ‑‑ NS I 65(Dav)
Triangulierung (Geometrie) Os I 41(Landvermessung,Gauß)
Tribunal (der Sinne, der Erfahrung) MD I 16
Trichotomiegesetz Q IX 150(G.d.Vergleichbarkeit: "x < y < x")
Trieb Tie I 249(motiviert/Ggsatz:Bedrüfnis:informiert/Papineau),253ff,279(Untersch:a)direkt wirks T,b)erworbene Dispo z.Verhalt.w.Trieb aktiv!/dann Erwerb neuer Triebe mögl,>Kognition)
Trivialität LW II 71 ‑‑ Pea I 200ff,211(Erklär.muß mehr sein als jeweils erhaltene geordnete Paare/(s)(a,b) erklärt n.(F,G) ‑‑ Q IX 75(Nachfolgerrel. > unendl.w.n.trivial)
Trope Man 181 ‑‑ Disp 71(Martin:pro,statt Univ),98!(Def Eig+ rel als ED/(Nominalism, Konzeptualism) (eigentl"bildhafter Ausdr") ‑‑ Mei I 43f(Eig.,als Grundbaustein d.Wirklkt,also trad."Substanzen":Bündel v.Eig‑Indiv./Vorläufer:Hume:perceptions,aus Kontiguität,Ähnlkt, Kausalit),43/4(n.auf Eig.als U angewiesen/T sprachl.Individuation (BenennenOirrelev.weil sonst Eig‑Indiv.v.,U hergeleitet),88(T‑Ontologie:spez,Nominalism), 95(nominalistisch),96(Vs"Farbigtrope Teil von Rot")
Tropenontologie Mei I 43 (spez.Nominalismm,Eig als Grundbaust.d.Wirklkt,Hauptvertreter Donald C. Williams, Keith Campbell, Vorläufer: Hume)
Trugschluss T I (arithm.) 321 ‑‑ Dt I (deskriptiver T) 99
T‑Satz (W‑Satz, Instanz des T‑Schemas, Tarski) Hor I 163(Iexemplifiz.Regel (d.bezeichn. d.Satzes durch seinen Namen)macht sie ab.n.explizi/weil dazu MS nötig um auszdr.daß Symb‑.Name v.Satz ist) ‑ Gro I 226(Sellars, 1963):sagt uns nichts üb.die Logik d.W‑Präd,weil v.allen akzeptiert, auch v.Pragmatisten usw.)
Tugend St IV (natürliche/künstl T.,Hume) 238ff, 302, 281f,283(Mackie)
Tugendhat Tu I (Quasi‑Prädikate) 208, (ZUS) 246,328, (situationsunabhängig) 284f (Ausweisungsspiel)304,317,490 (Konditionalregel) 304, (Quasi‑Prädikate) 208,443, 444, (Spezifikation) 369, (Identifizierg) 417 ‑‑ Pau I 253(VsHenrich),254ff ‑‑ Wol I 19ff,22
Tunnelprozess Gu 274,276 ‑‑ Fri (Tunneleffekt) 278 ‑‑ Gr II 145,147 ‑‑ Fey I 597 (Aktivierungsenergie ungleich Überschußenergie)
Turing‑Maschine St II 402 ‑‑ S I (Vs) 36 ‑‑ Deu 281 ‑‑ Dev 160 ‑‑ E I 215f ‑‑ Hst II (universell) 523,526 ‑‑ Mü I 163!(VsIdentitätsth), 165ff,175ff ‑‑ Vo I (universelle) 230 ‑‑ Ruc I (univ.)345, ‑‑ Pau I 145(maschinentafel),147(Geist unabh.v.Gehirn) ‑‑ Tie I 145(Searle:daß Neurophysiologie f.Geist irrelevant, ist trad.Dualismus>"starke KI")
Turing‑These S I 227 ‑‑ Ruc I 291,292ff,295! (Voraussag)
Turing‑Test Hst II 538f,548! ‑‑ Den I 610 ‑‑ McG II (Vs) 211ff,213
Tverski,Amos No I 660(Ähnlichkt,Kategorie/dieselb.2 Dinge kö.ähnlichste+gleichzeit.unähnlichste sein/DF auch Unähn.innerhalb Kategor.mu.erwähnt werd)
Twardowski Disp 91("abnorme" Relationen: fehlendes Glied(auch alle kö fehlen)
"Twistor‑Theorie" Gr II 275
Two Dogmas (TD) DII 195 ‑‑ Bra 156,203,665,673,814 ‑‑ Meg II 111! ‑‑ Es I 42(nur ganze Theorie Bedeutung),49(Vs log.Empirismus,VsCarnap),54,55,61,271!(Wissenschaft + Metaphysik verwoben) ‑‑ F/L 37,40ff(Frege:blo.Bestät.‑H,bl.Wiedhol.d.QDT?),44(vermeidet z.sag.was Satz ist),46(Prbl: "Satz" mu.i.QDT eigntl.Formel heiß.aber Bestät.v.F.durch F.sinnlos) ‑‑ EMD 111!(Dum:Zus: verifikationist.Ansatz, ab.n.bloß Sinnesempf./Peripherie/rest Inferenzen) ‑‑ Grae I 146(VsCarnap: k.Red.auf Erf.weil Th.nur als ganze) ‑‑ NS I 68ff
Typ G III 129 ‑‑ Dt III (token/type) 174f ‑‑ Wo I (type/token) 77 ‑‑ Bra (Type/Token) 63f ‑‑ Fra I 603(Rorty:w/f‑Unterscheidung:gleicht Satz als Typ d.Gedanken an,n.als Entität/Phys/ment/Leib‑Seele‑P/Typ‑Ident.) ‑‑ Pri I 159(Lesniewski),165(Lesni:niedriegste:auch Bsp "genau 43..") ‑‑ Q IX 184,185(ungl.Ordnung!),192(moderne TT: Typ 0:L,Typ :L u.{L} nichts sonst)/Typ:umfaßt die 2n Mengen vom Typ n‑1),195((Übereinstimm,log.Form/1 Typ niedriger),198ff(kumulative Typen),203(k.T.machen Verbot heterogener Relo überfl./Prbl:n.mehr eindeut."der"T.einer Kl./kum.T umfaßt alle niedrigeren,damit gehö‑ein Ding z.allen höh.Typen!),204(>heterog.Kl), 204(niedrigster T f.Zahlen:2) ‑‑ EMD 172!("prima facie":Rel.zw.T.) ‑‑ AR III 97(Notw als Rel zw.Univ(F‑sein macht G‑sein notw):zw.Typen u.Zust/könnte auch zw.Tokens besteh.) ‑‑ No I 662!("genau dieser Satz‑Typ":reflexiv,aber Sinn:"genau dieses S‑Token"!) ‑‑ Fie I 215(w.Eig.i.Typ‑Hierarchie,dann k."Eig eine Eig z.sein") ‑‑ Brk 350(Gödel:1.Typ:Zeichenkombi d.Form, a, fa, ffa, fffa,...wo a entw. 0 od.Var d.ersten Typs ist/wenn 0,dann = Zahlzeichen), 372(Russ: = Bedeutbereich einer AF = Wertebereich ihrer Argum) ‑‑ Fie II 123(w.ohne Index+Demonstr.dann Wahrht an Satz‑Typ zuschreib) ‑‑ Schi I 273(Zust‑Typ:repräs.v.off Stz "x ist eine Schmerz/Z‑Token: erfüllt ihn)
typenlos Mei I 76(Identität Eig,auch alle ont.Eig,"eine Entität zu sein","eine Eig z.s"),83(t.Rel:"x hat die Eig.y"/t.Rel:Rel m.flexibler Stellenzahl,Bsp Exemplifik.)
Typ‑Typ‑Identität (Philosophie des Geistes) Fra I 65(jed.Typ psych.Ereign.,läßt s.durch Selbigkeit d.kaus.Ro.in phys.Typ übers.aber n.token/token/Marsmenschenschmerz),632(DavVs Typ‑Ident.:in versch.Umgeb.k.derselbe Gehirnzust. versch.ment.Z.realisier.) ‑‑ Fie II 57(def:w.es physikal.Rel zw.d.Tokens gibt,gemäß Realisation d.Theorie/d.Rel kan disj.sein) ‑‑ Schi I 20(Vs:Prbl.d.multip.Realis/Chauvinism),21(Realisat.v.Schmerz i.Tier +Mensch sollte versch sein(?))
Typentheorie Fö I 287 ‑‑ St I 437 ‑‑ Q III 300, 315f ‑‑ T I 324 ‑‑ W II 439 ‑‑ Dub 91f ‑‑ Bt 363 ‑‑ Wah 81! ‑‑ Q VI 125 ‑‑ Sai I 167,194 (verzweigt) ‑‑ Sch I 79 ‑‑ W IV 28(Vs),68,98(Vs) ‑‑ Ca I 38(Bsp),40(sphärenfremd) ‑‑ Q VII 90f(erklärt),91(Vs:"~x" enthält dann nicht alle von ~x,sond.nur jede der niederen Typen!),92(Nullklasse:unendl.Serie v.NK),92(Vs:Zahlen n.mehr einheitl:jeder Typ neue 0,neue1,usw.),92ff(Alternative),125(verzweigte TT) ‑‑ Pri I 39f(verzw.),40(def:verzw.TT: unterscheidet zw.Präd,die Quantifik.auf gleicher /versch.Ebene involv: a)."alle Eig.großen Feldherrn",oder "hat die eine od.and.Eig"/b)einfache Eig:n.nur Typen sond.auch Ordnungen durch versch.Symbole), 41(VsQuine:Präd.+ Pro.höherer Ordn.erhalten),42(Ramsey) ‑‑ Q IX 1275ff, 178(Russ:Ordn.0:Individ.,1.AF/höh.Ord. aus Zahl d.Var.^x usw.),181(Pointe: Prinz. d.Konkretisier: (F ^x)y <> Fy,(F ^x^y)(z,w) <> Fzw),186(verzweigte:Untersch.v.Ord.v.AF,deren Werte v.einer einzigen Ord.sind/RamseyVs:"ramsifizierte TT"),189ff(moderne TT: extensionale Rel:Kl.geordn.Paare(Wiener) > "E" einziger Grundbegr.neben Quant.Var,Verknüpf), 190(Abstraktion n.mehr Grundbegr./statt dess:Komprehensionsaxiom),192(endliche Fälle mechanisch prüfb)208(k.selbst zweielementige Kl.verbiet.w.El.v.versch.Typ/aber erlaubt unendl.Kl.i.einem Typ/unverträgl.m. Zermelo‑Fraenkel) ‑‑ pBr XXX(schließt Boolsche Gleich,.höh.Grades aus/Vs:diese in Comp‑Schalt.verwirkl/Selbstbezüglkt) ‑‑ Brk 372(unterhalb d. Typen:Ordnungen! 1. Ord:Aussage,nur m.gebund Var, 2.Ord:Aussage i., denen d.gebund Var v. Auss.1.Ordn vorkomm/Typ: betrifft Obj/Ordn:betr.Aussag), 373(einf. TT(Chwistek,Ramsey) ohne Reduzibilitäts‑Ax) ‑‑ Q V 169,170(jed.abstr.Klassenterm gilt als Kl‑Name/damit Übergang v.d.sQ zur refQ) ‑‑ Gro I 263(einfach,verzweigt, Zitate)
"typisch" Fie II 343(Bsp auch w. "finit" n. immer bestimmt, s doch f. "typische" Sätze, die es enthalten/Bsp f.Sätze aus weniger als 1020 Zeichen)
Typ‑Unterscheidung Gea I 81ff(ausgeschl.Drittes),82(Russells Par.),84(Bsp) 85(³Ö k."Funktion einer Funkt"),85(setzt ausgeschl.Drittes außer Kraft!)
zurück nach oben