Lexikon der Argumente

Philosophische Themen und wissenschaftliche Debatten
 

Helfen Sie uns, Lexika für weitere Fachgebiete aufzubauen: Psychologie, Geschichtswissenschaft, Wirtschaftswissenschaften, Rechtswissenschaften, Kunsttheorie, Politikwissenschaft, andere
Finden Sie Kontroversen, indem Sie "VsName" oder "NameVs" eingeben.

Autorenübergreifendes Register

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  XY  Z  Autorenkürzel 

 

L

 

 

Le     Lei       Ler      Lex      Lib     Lit      Lo    Log      Lok       Lu       Ly

 

 

LL F III 169 ‑‑ D III 340 ‑‑ Bra 71,200,329f  ‑‑ Fey I 419!,415(Spirale:i.kompl. Zhlnebene (411),399(Graphik)

 

Labyrinth  P I 252ff (NP)

 

Lacan  Jun Lac ("klein a/großA") 52(> Boe)

 

Lachenmann  La (Caudwell‑Text) 155

 

Ladung Kan II 55,56,57  ‑‑ Fey I 183(Formeln),434(Kraft auf einzelne L)

 

Lager   Es I 63f( Erfahr:begriffl:Hanson,Kuhn,Qu spät,aber VsHanson,VsKuhn, VsInkommens)  ‑‑ Ber I 14(Mach v.Lenin fälschl.mit Berkeley zus.wg.beider Anti‑Materialism),216(common sense,Schottl,18.Jahrh.Th.Reid) ‑‑ Fra I 333(Bew immer SB:Fichte,Chi,Vs:Cast),460(Frege pro Rep:Sinn:Vermittl/Cast + PerryVs), 462(FregeVsKant:Ggst transzendent, unendl.Eig./Kant:nur i.Erfahr.), 462(CastVsFrege: Ödip' Vater/Vorgäng;Jokastes Glaube: gleiche Bedeut!VsUntersch. Bezug/Bedeut/Cast mit Kant:Gestaltg:Ggst aus Erfahr/Spr),484(Evans,Peacocke,McD:Oxf. Neo‑Frege,),629(DavVsDesc,dennoch nomolog.Irreduzibilit.Ment/Phys.),627(Dav pro Token‑PhysVsTyp‑Ph.),630(NagelVsDav:Flederm/3.Pers.‑Persp.),632(DavVs Untersch. eng/weit Inh.Cartes.),638 (RyleVs alle:k.Autorit.d.1.Pers.), 650(Ryle:eig.Denk.erst durch Selbstbeob./DavVs:),658 (FodVsPut:prop Einst i.Kopf,weiter Inh.nicht),659(w.dito,dannProbl.d.Skeptizism./DavVs:Mehrzahl d.Gedank.richtig),StichVs alle:VsVolkspsych./Vs prop Einst,VsPsych.Zust.,VsÜberzeug.),662 (Externalism:Put,Burge,Den;Fod,Stich, Dav:Gedank.n. ganz bekannt),674(BurgeVs Identitätsth.), 686(BurgeVs Untersch.eng/weit:auch enge extern individuiert)"Antiindividualism", auch Millikan, Dretske),607(Individualism(VsBurge): Searle,Fod, (auch Kaplan,Perry: bei index‑best.enge Inh.aber n.b.prop.Inhalt),702/3 (Burge VsDonnellan: Inh.unberührt) ‑‑Pea I (Wahrnehmsth) 31f(Anti‑WT: Arm, Smart) ‑‑ Du II 200/1(Wittg Sprachsp./Frege:BT:Sprache auton.Instit.), 203(WittgVsFrege: n.Klärung d.WB f.Bedeut.sond.Verbind.m.Handlg), 207(WittgVsSprechakth:k.Typen feststellb/ WittgVsFrege: VsUntersch. Kraft/Sinn) ‑‑ Pri I 62(Prior: Kl.,.Eig.k.Entit) ‑‑ EMD 401/2(Dav: vielleicht pro Korr‑Th:Wht.Rel zw.Sprach + etw.‑and/pro Kohär‑Th:o.Erfüll‑Schema nur Satzwhten untereinand /KriVs Koh‑Th) ‑‑ Fie I 249(Realism VsTarski:W‑Def),250(Anti‑Real:Vssemant Aufstieg/Sätze k.Eig./statt dess Op"es ist konsist, daß") ‑‑ Brk 262ff(LorenzenVsMengl, VsRekursivität,VsChurch:Vs"imprädikativ", Vs"überabzählb"), 273(Curry:kombinator.Log:nur Syntax, rein formalist/ Vorläuf: Peano,Burali‑Forti/Schönfinkel), 86(Cl.LewVsFormalism: nichtssagd ‑ pro Konventionalism:Wahl d.Kalk.subj) ‑‑ Av I 16(Griceaner: Arm,Stra, Grandy, Warner ‑ Vs:Dum,Dav, Evans,McD:keine Inferenz in Komm/Wigg:Davidsonianer) ‑‑ Schw I 34 (Endurantism: Inwagen, Wigg,Chi (Zeit‑Relativier.aller Präd: „wach‑zu‑t1“ /Haslanger/Johnston –  ‑ Perdurantism:Lew: Vierdimensionalism, raumzeitl.Teile, immer Präsenz – Lö:„ganzes Ding“/(s) > Hegel – Unterscheid.„es gibt“ /aber existiert n.),43 (MöWe/Teleskopth: pro:Kapl „Verneoskop“ – LewVsTeleskopth:MöWe n.f.uns erreichb(u.auch n.konting), 62: Lew:math.Platonist – FieldVsLewis),104 (MöWe/Lew: m.geänderten NG möglich, 106: NG: sind notw.:Shoem, Swoyer), 106: (Black/Heller: MöWe als log‑math.Strukt)I 118 (NG: bloße Regularit: Lew („RegTh")– Vs: Arm//Dretske/Tooley: NG s. fund. Rel.zw.Universal),148(n.‑analyt.Funktionalisten VsLew, VsAlltagspsych.), 149(Zuschreib. ment. Zust: Lew: Ro.entscheid.– Ref.abhg.v.Ro – Put/Kri:Ref mu erst geklärt werd.– Ref unabhg.v. Ro), 158(Physikalism: reduktiv: Lew/Jackson (1998c) – n.‑redukt: Loar (1990)/Horgan (1984)/Tye (1986)/Lycan (1995): m.neu erworb.Begriff.kö.wahre Sätze formuliert werd.d.n. analyt.aus Whten i.alten Vok.folg.),197(Spr/Bedeut/Dum/Dav: echte Meinungen kö.nur üb. sprachl.Bedeut.charakteris.werd./LewVs), 209(Nam//Lew: mu.man durch Kennz.ersetz.kö. (>Deskriptivism/Rast), 218  th.Termini/Ramsey‑Carnap‑Lewis‑Th: Ramsey‑S., Carnap‑Kond., Vs Brückprinz/Ro.reicht zur Identifik ‑ Vs: pro Brückprinz), 227(LewVsTeleskopth, LewVsChalm LewVsStaln, LewVsBlock, LewisVsvan Inwagen, LewVsstarke Notw (die empir. unerkennb.sein soll Bsp Kri.sei notw.Mensch) ‑‑ Q V 60(QuVsMentalism ("innere Ggst")/ QuVs Supranaturalism) ‑‑ Fie II 30(F pro Materialsm, pro Physikalism),45(F pro Rep),71(Horwich pro Defla),84(Staln VsGedankspr),104(WB zentral:Frege,Russ,früh.Wittg,Ramsey/ Ggsatz:Verifik‑Beding zentral),256(StalnVsNonfaktualism),284(F/(s).pro extremer Realism) ‑‑ Si I (Vierdim: pro: Qui,Russ,McTaggart,Carnap,Smart ‑Vs:Prior,Geach,Chi,Broad, Hacker,Simons),177( mereol. variabel: Substanz:kö.Teile gewinn+verlier:pro:Arist,Locke ‑Vs:Leibniz,Abaelard, Hume,Reid, Chi),212(versch Ggst selbe Zeit/Ort:pro:Wigg,Simons ‑Vs:Doepke) ‑‑ Schi I 4(Foster: Davidsonianer:pro Verbind.zw.Bedeut+Versteh ‑Plats dito ‑SVs,VsKompositionalit),XV (Kompos: pro:Dav,Dum,Foster,Platts,(alle) ‑Vs:SchifferVsalle:"Keine‑Th‑Th"),152 (Epiphän:MatVs ‑Jackson pro E(i.Bezug auf ment Eig(nur Qualia)), 156(S:VsPhysikalism, VsFunkitionalism, pro ontol. Phys:Entit.ab.n.Eig),pro sententialist. Dualism(wahre Sätze m.irreduz.ment.Vok,ab.n. Entit >substQu) ‑‑ Hor I XVI(DeflaVsNonfakt:auch eth.u.vage Sätze immer WW,immer Tats),68 (RamseyVsPropos ‑ Russ/Moore:spät:Vs (früh pro), 190(StraVsAustin, StraVs Ggst.als Wahrmach), 191(wohl ab.Tats!(diese ab.k.Teil d.Welt), 196(StraVsKorrth),203 (AustinVsRedundth/ Stra dito (aus and.Gründen)), 213(StraVsTarski) 354(CGBVsRelationsth (VsGlaub‑Obj), 426(Harman pro metaphys.Realism/pro moral. Relativism‑PutVsbeides),431(Rorty Wht = Eig),455 (PutVsDisquotat: "behaviorist", "positivist"),457(Dewey/ JamesVsGottesstdpkt,n.glztg. innen/auß v.SpSp), 450(DavVsRepräs:übflüss. Zwischinstanz(?)),460(Sprache/Dum/Qui:Schleier/DavVs) ,461(DavVsUntersch.Anti‑R/R), 462(Holism/Dav:Umstände n. isolierb,daher VsBehauptbkt), 499(Kausalth.d.Ref(Put) VsNachsicht(Dav)) ‑‑ Gro I 215f(Disquotationalism: Leeds, Soames, Williams (evtl.Quine)  ‑‑ Cr I 12(Semant:Katz/FodorVsWB als Satzbedeut(VsDav)/ CrVsFod: unvollst/ CrVsSprechaktth:diese Th.d.Perform statt Kompetenz),64(Lycan pro Relth(v.prop Einst zu Glaub‑Obj/CrVs), 148(HintikkaVsKompositionalit/HVsFrege), 161(HintikkavsChomsky:Syntax hängt v.Semant. ab(Cr.teils dito)) ‑‑ Car I 2(C pro Anti‑Real,Cvs covering law, (statt dess Modelle zw.Th+realit), 44(covering law:Vs:C <‑pro:Hempel, Suppes, W.Salmon,Bengt Hanson),74 (C:Ursach.statt Gesetze ‑ Empirism(Hume)Vs:umgekehrt),76(VsRealism:Duhem, Put,pro Mglkt alternativer. Erklär),157(Sellars:wiss.Realism ‑ FraassenVs) ‑‑ Fr I 14(Theorebeladht: Gr.MaxwellVsCarnap/ Trenn Th/Beob.falsch,Vs Log.Pos/pro:Th‑Bel:Sellars/Feyerab/Fr), 36(RutherfordVsVaihinger,wie PutVsDuhem:Frage ob Elektron a priori plausibel),86(Duhem:pro Anti‑Realism),197(Fr.pro Korr‑Th"1 Modell soll m.Realit.exakt übereinstimm"),202(Sprache/Fr:v.Th geprägt (>Qui)/Fr pro Begriffs‑Wandel(VsPut)) ‑‑ Bla II 81(Bsl pro Kognitivism:BlVsHume, BlVsnat Fehlschl) ‑‑ Sta I 173 (KriVsFreg:sem Wert v.Nam=ref(k."Sinn" zw‑geschalt)),221(Vs.Phän: n."wie es ist",sond.wie es erscheint(Dretske,Harman,Lycan, Michael Tye("Repräsentationism") ‑‑ Cr II 47(Cr.pro Beschreib‑Th:Name syn.m.Kennz),163(Cr.VsRdukt.v.Sem auf PHys. od. Psych) ‑‑ W VII 134(ideale Spr.pro Frege/Russ/Tract)

 

Lakatos Fe I 120ff,379 ‑‑ Fe II 18,93  ‑‑ Hack I 35/36,286f,191ff,193,4185ff ‑‑ Schu I 196ff(Theorien‑Revision: 1.Kern durch Anpass.an Periph.rettbar(immunisier),/2. jed.Th.braucht Hilfsphyp(cet.par) um empir.Prognos.z.erhalt/diese bild."Schutzgürtel"/bei Konflikt m.erfhar,Elim.d.CP‑Hypo/"progressiv",198("Forsch‑Prgr")

 

Lakoff,George  Meg II 422(Schüler,VsChomsky)

 

Lamarck Den I 447,494 (Kultur)

 

Lambda‑Abstraktion   Gro I 264  ‑‑ Cr II 97f(Bsp w Var x i.sem Kat.s, a i.Kat t, dann <l,x,a> ("abstract") ein Ausdr.i Kat (s/t)/Bsp "ist ein x, so daß x nicht pfeift")

 

Lambda‑Kalkül  Cr I  129(Gesetz:w."t" für irgendein Term ((lx)F(x))(t) bik F(t)":ein x sein, so daß F(x) ist wahr v.t gdw.F(t)/Prbl:bei Eig "i.and.MöWe wahr daß i.and.MöWe f")

 

Lambda‑kategoriale Sprache  Cr I 81ff(Cr:Kat 0:Satz, Kat 1:Name, komplex:<t,s1,...sn>/ Log.1.St: <0,0>, <0,0,0>,<0,<,1>,<0,1,...1>F<0,0> = {~}, F<0,0,0>= {v}, F<0,<0,1>>= {"}), 83(<l,x,a>"ist ein x, so daß a")/Interpretat),132(Quantoren+Nomen‑Ausdr =Op, d.Sätze aus Präd macht),163ff(best/unbest Kennz),169(Bind.v.Var.allein durch l‑Abstr/dann Quantor reiner Op/<lxy <ein Mann,x>:2‑stell Präd,def Kl.aller Paare<a,b>wo a ein Mann, "hat":Kl.aller Paare<a,b>wo a b hat),169(...<a,b>kann nur i.all.drei Rel exist, w.a ein Mann, d.1 Esel hat(weiter Sinn v.Quantifik)), 193 ‑‑ Cr II 97ff, 101(nur Ref (Intens)/k.Sinn, k.strukt.Bedeut),112(Zeiten‑Gebr:propos.Op. "ed")

 

Lambda‑Notation  Fra I 374,563("Ich erfülle lx(x bezieht s.auf x)" log. = "ich bezieh.m.auf mich")  ‑‑ Pri I 43f,44(Kalk,Regel),45,46

 

Lambda‑Operator  LW III210,211,212(i.Grammat:Verknüpf.("binder"),x^: "ist ein x, so daß "(something x such that) ‑‑ Q IX 52f(Funktabstr.,"lx"/erzeugt Terme aus Termen (bei Frege/Church auch von Auss./"lx(x²)"Quadr.v.","lx(...x...): "{<x,y>: y = ...x...}"),54("lxx" (= D)/Ident/"lxz(={z} X J)),98,126(bei Rekurs),127(alltagssprchl:ly(x*y) = x‑mal‑Funkt." lv(x + x):"x + Funkt,ly(xy):"x‑hoch‑Funkt),129(ly(x + y):Folge a deren y‑ter Wert a'y für jed.y = x + y ist) ‑‑ EMD 292(Rel.d.Ident/ Wigg:(lx)(ly)(x = y)),296,297,298(Äqui.zw.Formeln m+ o.LO),300(äuß.Negat:"nicht(lxi)Sokrat. i.kahl)(L)" wobei L irgendein fix.Term, weil xi n.frei/inn.Neg:"(lxi)(xi ist kahl)(Sokrat)"/einheitl. Interpretat.+Funktor v.Präd.>Präd), 305(dient d.Aufnahme belieb.kompl.wffs zw.d.Klamm), 311(falsch:(notw(lx)(ly)(x ist Teil v.Tisch)(Bein)/falsch:(notw(lx)(ly)(x ist Teil v.y)(Bein,Tisch) ‑richtig:"(notw(ly)(Bein Teil v.y)(Tisch)"/Chi pro,KriVs) ‑‑ Mei I 90(Name d.d.off.Stllen bindet,Name f.präd.Univ), 91(Selbstident:zweideut:a=a,a=b),92(Prädikation, allgem.:"A(b) ist wahr gdw.b. exemplifiz":l01[A(01)]")

 

laminar Hst II 396

 

Landkarte Dev (def) 179 ‑‑ Bt (Territor.) 245 ‑‑ Wah 322 ‑‑Pri I 146(Peirce mind.2.Pkte vorher benenn/CarnapVs?) ‑‑ LW IV 138(Bsp WanderK:braucht index"Sie sindj etzt hier"/sonst nur log.Raum,n.MöWe) ‑‑ Hor I 195(Aust/Stra)

 

Landschaft Pi I (Evol.) 465

 

Länge  (Linguistik)  Ly I (syntagmatische L)82(Bsp binär.Syst braucht drei El.,um Einhten aus 8‑er‑Syst zu kodier,000,001,010,.../8‑er‑Syst:8 ein‑stell.El,0‑7)diese phonolog)

 

Längenkontraktion Gz I 91

 

"Längen‑Quantum" Gr II 276

 

Langer, Suzanne K.  Bla I 214!(Symbol n.Stellvertr.sond.Instr.z.Erfass.v.Ggst./Vorst: v.Symb., n.v.Ggst) ‑‑ Grae I 138(Symb.Vehik.v.Vorst./allg.Th.d.Geist,Fühlen zentral ‑‑ No I 428(Musik ref auf Emotion durch Isomorphie/Vs:n.hinr:Iso:symmetr.Rel/Referenz:asymm.Rel)

 

Langeweile  W VII  145(Heidegg:rückt alles i.Gleichgltgkt zusamm/offbart d.Seiende i.Ganzen)

 

Langford Q VII 162,163(Fa u ~Fa k.Kontradikt! QVs)

 

langue/parole   Fra I 346,347  ‑‑ Ly I 52(Sauss/Chom:entspr.Kompetenz/parole: Perform/L:Gemeinsames d.Spr‑Beherrsch/par:Manifest.Äuß)

 

Laplace  St III 80 (Weltgeist) ‑‑ St IV 516

 

Laplace‑Gleichung   Fie III 76ff,78("Laplacean">Poisson‑GL),80(L‑G invariant u.Vorzeich‑Wechsel,PG nicht)

 

Latour,Bruno  Reu I 37(FÄ/"faitiche"soziale Konstr.heit.v.Beweisen,(k.FÄ)/Vs:sieht n.Besondht v. gefä.Beweis),255f(techn.Spr.als rethor.Werkzg/faitiche(Def))

 

Laudan, Larry   Car I 94(VsC),97(VsBeste Erkl)

 

Laut  (Linguistik)  Ly I 102(menschl.Artikul.prakt ue viele/k.natürl.Grenze d Teilbkt.d.Bereichs),104Einht d.Phonetik(physikal/n.bedeut‑mäß//Phonol:Phonem,n.Laut!Schreibw:[a]/Phon:"/a/")

 

Lautverschiebung  (Linguistik)  Ly I 276(zw.Spr:"p" >"b"/"d">"t")

 

Lautzeichen  Mo I 171

 

Lavine   Fie II 353f(Th.2.Ordn)

 

Leben Da I 308 ‑‑ Mat I (def)183 ‑‑ Den I (def Schrödinger) 91, (Entsteh.) 212ff(Eigen),276 (Spiel des L") 228ff ‑‑ Kan I (Kosmol) 286 ‑‑ Mon I 28,30 ‑‑ Vo II 75(def!),97, 188!(Urspr nur physikal. erklärb.) ‑‑ Cav I 82 ‑‑ N III (Sinn d.L) 100ff  ‑‑ W IV 113 ‑‑ Loc I 54(Substanz d.Trias Substanz/Mensch/Pers) ‑‑ No I 570ff(Sinn d.L.),579(Frankl:w.ue.,alles ue aufschiebbar, k.Sinn),596(Älterwerden:erkenn, daß nur 1 Weg gewählt wurde/Jungsein:viele Wege) ‑  611(Bedeut:Ort i.weiteren Kontext v.Werten)

 

Lebensform St IV  100, 106 ‑‑ Sch I 146

 

Lebensphilosophie Ha I (Simmel,Dilthey) 335

 

Lebewesen  Mei I 48(größter Einheitsgrad),48(kann Verlust aller Teile überleb)

 

Lebhaftigkeit  Q V 178(Hume:Maßstab f.Vorst:erinn:abgeschw.Empfind/Fantasie:abgeschw.Erinn)

 

Leeds, Stephen  Fie II 162("bedeutet" ungl."means":andere Extension:"bed" bildet "Hund" u."dog" auf "Hund"ab,"means" beides auf "dog"), 305(Williamsons Rätsel) ‑‑ Hor I 369ff(Th.d.Ref+d.Wht), 372(Th:entscheid.Frag:welche besond.Rolle spielt Wht im Ref‑Schema)

 

leer  Fie III 114(leere Region/F:ohne RZ‑Pkte/F:gibts nicht (Goodman dito)

 

Leere  Disp 184(MartVsLew:ungl.Abwesenht:L n.überall,A überall,L schließt alles aus,A n.alles)  ‑‑  Si I 16(w.Univers.leer, dann kein U/U.nicht Behälter)

 

leere Menge Ba II 18 ‑‑ F IV 108 ‑‑ We I 359(exist.als abstr.Obj.),361 ‑‑ Q VII 95(i.all.Mengen enth.) ‑‑ Gea I 58(ungeeign.f. Einhorn,FregeVs"quantifizier.Denk"), 201(i.jed.M.eingeschl. besser:"exist.immer u.überall"(n.G.)) ‑‑ Q IX 22(Prbl:w.nur 1 l.M,dann Individ.n.elementlos), 48(Funkt!),65(Beweis:"L e J": Funk L > L ' ' {,,,x} e J),218!(Frege: 0 ungl L!,0 = {L}),219("L e N" in TT n.beweisb) ‑‑ Brk 53(SchröderVsBoole: i.jed.Menge/Grund: diese umfaßt "außerdem nichts" = 0) ‑‑ Mate I 86(Mates: jede gült.Auss.i.Folg.aus lM),88(dito,Beweis:alle Aussag.d. lM wahr, weil es k.gibt!),130(Mates:Theorem:aussag.log.ableitb aus l.M/Bsp) ‑‑ Schw I 80(Lew:weder Kl.noch Indiv./Prbl.weil Teil d.Einerkl.(lM k.Kl.da k.EinerM als Teil),85(Realität/Lew:Th.zerfällt i.2 Teile:a) "leere M":(besteht aus Indiv),b) Klassen) ‑‑ Q X 78(hier: l.AllM)

 

Lehrer,Keith  LW V 294(Determinism.Handlungsfrht,Gesetze)

 

Leib  Ca I 171f(eigener),183

 

Leibniz Dub 23 ‑‑ Bra 45f  ‑‑ Bo I 123  ‑‑ Str V (KantVsLeibniz)230  ‑‑ Hack I 162  ‑‑ Lei I (univ.Harm): 97f,(Kette d.Beweise): 48ff,50,69,(Konstrukt): 59ff,101(anti‑idealist./ antimaterlialist), 124(Th.Mögl.strebt n. Existenz),(Fensterlsgkt): 109f,112,113,(perceptio): 112,115(Aufnahme d.Welt)  ‑‑ Wol I 73(RussVs),117(StraVs) ‑‑ St IV 388(Kosmol), 391(Welt als ganze)  ‑‑ We I 221(Vs,Ident), 228.(Id.Vs) ‑‑ Es I 211 ‑‑ Loc I 169(VsLocke: Verstand vor d.Sinnen i.Verst.)  ‑‑ Disp 85(ShoemVs:n.Eig.v.Ding,daß Ford Präsident i.Sit:Wchsel änd.n.kaus.Eig/Eig bestimmt durch Totalit. d.mögl.Wirk) ‑‑ Mei I 145!(MöWe: Adam, and.Nachkomm,KoKo/Lö:Gott hätte and.Adam geschaff(GS),dann n.beste Welt) ‑‑ Fie I 179/80(Identt/Substativalism/Monadizism) ‑‑ Brk 7(1.characteristica universalis:Zeichensyst:Grundbegrf,2.calculus ratiocinator:rechner.Behandl.aller Auss,3. ars iudicani:Entscheid.‑Verfahr w/f)/GödelVs:sem.Frag.n.rein rechn. lösb(n.f.umfass.Log, höchst.Teilgebiet),8(z.B.AK),84(FregeVs:Projekt n.z.verwirkl, z.groß/Illusion:aus Bezeichn f Sach.selbst noch k.Lö,aber i.Schritten doch/Bsp Chemie, Geometrie, Arithm:Verwirkl. i.best.Gebieten) ‑‑ Sta I 72(alle Eig notw/nur Exist.konting.)/=Anti‑Essentlism),18(Th.alle Eig immer wesentl)

 

Leibniz‑Bedingung Schu I 234(def:Wschk.i.indukt‑statist.Erklär.mu.nur > 1/2 sein, /StegmVsHempel:n.nahe 1)

 

Leibniz‑Prinzip (Ident:alle Eig. geteilt) St II 52 ‑‑ Gea I 39(Euthyphron)  ‑‑ LW IV 257(extensional/intens.) ‑‑ Cr I 118(n.für konting.Id(intens), 127(Prbl:"ref.Ausdr")

 

Leib‑Seele‑Problem  (LSP) Q I 455f ‑‑ K I 153  ‑‑ Zi 18f ‑‑ Mat I 289 ‑‑ Metz I 47! ‑‑ Sch I (WittgVs) ‑‑ N III 107ff  ‑‑ Chi II 188(Chi:P.existiert n.,Geist‑Körper,Person) ‑‑ Ca I (Psychophysisches P.)28,78(Regel muß log.existier!),223f,225(Russ,Mach),231(Vsdu Bois‑Reymond),232f(Hirn‑o‑skop)  ‑‑ Fra I 120(Kri;notw.Ident),135(Nagel:Prbl:Bewußts), 589(Rorty:nur bei Empfind+ Gedanke, n.b.Absicht/Wunsch/Handl) ‑‑ Schw I 145ff ‑‑ Schi I 20(3 Arten)

 

zurück nach oben

 

Leistung  (Physik)  Fey I 178(geht b.Reib. verlor),193(F,v,Skalarprodt),287(durch Drehmom), 330f(Oszillator),433(Antenne),434(Feld(Vol))

 

Lemmon  EMD 312(Syst.S O.5/Modallog,1959)/ohne "notw(notw p)>p")

 

Lenk, Hans Grae I 140 (Hauptvertr.Interpretphil.,"Int‑ismus":(>Lenk) Realität abh.v.Annahmen/ Perspektivism/<Nietzsche: Tats.=Deutg,Handl/Werte/Motive Prod v.Deut.), 141(Vs:auf welch. Ebene eig.Th.?)

 

Lenzen, Wolfgang  Stro I 122(epist.Log), 125(dito)

 

Lernen Fö I  175, 320 ‑‑ Ry 195,198 ‑‑ W I 220 ‑‑ D IV (lernb)31 ‑‑ Cho I (Spr, Beding) 47f ‑‑ Bt (S‑R‑Sequenzen) 468 ‑‑ Bra 195 ‑‑ Sell ("Thermom‑Auffass")56 ‑‑ Hü (Qui) 422 ‑‑ Mat I 38,63, 76,119, 279f,367 ‑‑ Mo I 93,135 ‑‑ Den I 691 ‑‑ Pi I 224ff ‑‑ McG I 212 ‑‑ LW II 108,205 ‑‑ Sch I 227 ‑‑ Mü I 369 ‑‑ Meg II 285ff (Spr,Goodm,Chom), 298(Put.Th.ChomVsPut), 303(Chomsky), 310(Qui), 313 (Hume:tabula rasa),318(Qui), 321(Skinner),322(Qui), 334(ChomskyVsQui) ‑‑ Wol I 156,163 ‑‑ Spi 348ff(neuron.Netze) ‑‑ Ca I 191 ‑‑ Es I 83ff(Spr) ‑‑ Bla I 59ff,76(nur ganze Sätze) ‑‑ LW V 307 (Konditionalisier auf Totalit.d.Belege) ‑‑ EMD  78(Spr/Dum:erweiterte Th(+"wahr") wird n. zuerst gelernt) ‑‑ Disp 160(unüberwacht: Netzwrk nur klass.Assoziat‑Prinz:Nähe,Kontiguität,k.Feedb. üb.Qual.d.Outputs/Gesamtresult k.völl.falsch s./überwacht:Outputkontrolle,stärker disjunkt.Kat) ‑‑ Tie I 236(diskriminierendes) ‑‑ Av I 123(braucht Begriff, was korrekt/unkorr i.) ‑‑ Schw I 159(Mary‑Bsp:kann n.neues l.,n.neue konjunktive Eig "phys+phän") ‑‑ Q V 37!(braucht unterschiedl Ähnlkts‑Grade), 49(heißt lernen,s.Lust zu verschaff),52(Stra:gute Anfänge ausbauen),97(WB sind.d.erste u.letzte was wir l(Dav dito)) ‑‑ Fie II 80(Stich.v.and:o.W‑Begr/FVs:unvorstellb),137f(VsDefla)

 

Lesniewski  Pri I  49(pro Extensionalit),159!ff,(VsRuss:Epsilon "e"zw. Ggst.gleicher St)166 (extreme Ext.) ‑‑ Brk 387(moderner Nominalism nur "Welt v.Individ"),493/4(Tarski:"wachsendes Syst":Regeln/"beweisb","Folgerung","wahr" usw. k.absol.Bedeut) ‑‑ Si I 18ff,19(Namen: =Substantive/SVs),61(quant.nicht üb.Ausdr,daher keine sQ/VsQui)

 

Lessing  Wo I 55 ‑‑ Sti 118,121ff  ‑‑ Ge I 138

 

Letztbegründung  Bra 303f  ‑‑ Sch I 227 (Wittg:Handlg)  ‑‑ Lei I 50,51,93,120(n.mögl.),123/124  ‑‑  Fie II 366!(Prbl.w.Regeln s.selbst begr,werd s.vernünft!/Lö/F:default reasonable:glaubhaft o.Rechtfert.)

 

"letzte Dinge" ‑ Ho I 131

 

Lévy‑Bruhl   Grae I 171(QuiVs: k."prälog.Mentalität" bei Naturvölk.)

 

Levi‑Strauss  Gs III 138  ‑‑ Den I 311

 

Levine,Robert  Pau I 110(Geist/Gehirn;Erklärlücke),190

 

Levine, Sherrie Fi 68

 

Lewis, Clarence   We I ("strikte Impl")131(Vs) ‑‑ HC I 190,(1912):VsRuss: Par.d.mat.Implik), 203("Prinzipien") ‑‑ Brk 166(BeckerVs)

 

Lewis, David Pu III 174ff ‑‑ Re 101f ‑‑ Deu 324 ‑‑ B III 303 ‑‑ Metz I (Vs)(Wiss. wie) 274,276 ‑‑ LW II (These)204 ‑‑ Mü I 213,214,215 ‑‑ Pau I 131,132(VsTokenid),133f(Vs),159 ‑‑ Chi I 56 ‑‑ Es I 296(humesche Superven) ‑‑ Fra I 16(Th),121(KriVs:Schmerz starr,kaus.Ro n‑starr), 326f/ Th.d.Selbstzuschr),329(CastVs),355((Th:Propos.nichts Intersubjektives),356(2 Götter: Originalstelle),358(2 Götter/CastVs) ‑‑ Pea I 23(reine Farbwahrn: Mosaik) ‑‑ F/L XI f,105(Th Primat d.Glaub.vor Inh),127(F/LVs:Untersch.sem/kaus.Rolle) ‑‑ LW IV XI(Th modaler Realist, Physikalist, Funktionalist,pro Volkspsych.),24/5(Th.gibt mehr als WiWe),47(Materialist:Person+ Körp.ident.), 218("Charakt."v.Ding:Menge d.Eig.) ‑‑ LW V XIII (Th ment Zust.= Träg.kausaler Ro."was immer::"),12(Sphäre,Ähnlk.),111(pro Hume:Welt besteht aus Einzeltats.+Kombi/eher Superven.als Analysierbkt.),112(Humescher Ansatz:Vorgesch ‑Chancen‑Konditionale notw(?)) ‑‑ EMD 160(Gramm.nach willkürl.Bewertsyst.ausgewählt/LoarVs:n.mehr nach Zuschreib.v.prop Einst) ‑‑ Mei I 138(Vs "absol.Aktualität"/M:"Akt.‑Relativist") ‑‑ Av I 28/9(BT), 30,149! (Funktionalism (erklär!,Av,+) ‑‑ Schw I 9 (Th. Welt i.so wie Physik sagt(Realist)),13f(Mosaik:qualitativ, n.MiSt) 39(modaler Realism:f.jede Möglkt gibt es neb.WiWe and.Univers,ue),49(mögl.m.40.000km/h z.reisen, aber n.dabei nur 1 Km/h zurückzuleg),75(Philos.mu.Mathe u.Physik akzept),91(Ontol: ED,mögl.ED, deren Su.u.Teile,+Eig),91ff(Eig:natürlich,perfekt‑n. (=fundam),intrins,extrins,qual, strukt),145(pro Physikalism,aber dieser selbst kontingent:es kö.Geister geben),228ff(Ont) ‑‑ Hor I 437(Natur liefert Ref:"Elite‑Kl") ‑‑ Schu I 215(1970):verstärkt.Carnap‑Satz/1.Vs zweifelhft,daß Th.m.Eindeutkts‑+Exist‑Behaupt.einhergeht/ 2.nur realist.n. instrum.haltb/3.Defin per best.Kennz ("TT bezeichn.d.i‑te Glied d.n‑Tupels d.i.WiWe d.Th erfüllt") n.vollwert,nur partiell) ‑‑ Cr I 24(CrVs:Konv.d.Whftgkt +Vertrau:n.i.Th.d.Spr. voraussetz),162ff(Adverb d.Quant":("ein Esel"),164(unspezif.Quantor.bindet alle fr.Var i.Bereich:Bsp "immer" temporal, w.üb.Zeiten,sonst n.) ‑‑ Fr I 115f(FrVs,VsKoKo: det.par. Sprech‑.abhg, kontext‑abhg) ‑‑ Sta I 26ff(MöWe),27(MöWe exist,ab.n.aktual, denn n.i.WiWe) ‑‑ Cr II 77(Gen.Sem:Th.Sinn:besteht aus Bedeut.d.Teile/Ref:Ergebn.aus Op.d.Teile i.Funkt‑Argum‑Weise)

 

Lewy's Paradox  Gea I 178(1.P.),184(Lö),185(2.P.)

 

Lexem St II 45  ‑‑  Ly I 201(def abstr.Form v."Wort" Bsp "does","did" Formen v. "do")

 

lexikalische Dekomposition  (siehe Dekomposition)  Cr II 81, 146 (/Katz pro),l 176(McCawley, Lakoff, Dowty/FodorVs)

 

lexikographische Ordnung  Q IX 153/4(Aufzählg,Bezeichng ue.OZ)

 

Lexikon  Meg II 190 (schon Vorwiss),368ff,375,376,377/378,391,396f  ‑‑ Q VII 24(empir,post festum,k.Def.),49(Erstellg) ‑‑ LW IV ~193(f.Grammat),206(f.Gramm/Sem) ‑‑ Q X 50(enth. Präd‑Var. usw. (in gramm. Kat)n.d. log. Partikel (Tilde, Strich, Punkt, Klamm. usw)/diese hab.k. gramm.Kat), 126(spricht b.Welt/ab.gramm.Strukt auch),135(zw.Sprech.verschied/ Gramm: gleich)  ‑‑ Schi I 214(Bedeut‑Gleichht statt Bedeut/kein Versteh! (Erwähn statt Gebr)/kein propos.Wiss (daß das+ das wahr i.von...) ‑‑ NS I 71(Wörterb/Qui: empir.Hypoth.üb.synon.Sprgebr/setzt Synon. voraus) ‑‑ Cr II 81(lex.Dekompos: Bsp töten:"Ursache sein dafür, n.mehr z.leben"/CrVs),146(Katz pro lex. Dekomp) ‑‑ Ly I 161ff(geordn nach Distrib‑Kl(mögl.Kontexte/auf diese bez.s.d.gramm. Regln),164 (lexikal.Substit),169(n.mehr Menge v.Einzel‑Regln)170(mu.gramm.+sem.Reg.enth)

 

Liberalismus  (Automaten: Bewußtsein) Mü I 161,204f

 

Libet,Benjamin  (Hirnforsch)  Pau I 61(Th.Rückdatier),293

 

Licht  Gz I 44 (Frequenz/Energie) ‑‑ Fey I 117(hat Masse durch Beweg),475f(Impuls, Rückstoß) 710(Oberschwing.,Laser),

 

Lichtbrechung  Fey I 419

 

Lichtgeschwindigkeit Gre (grö.als c) 474 ‑‑ Gu 296 ‑‑ Gr II (Info) 244 ‑‑ Ra I 205/6 ‑‑ Hack I 390 ‑‑ Kan I 194,245,390 ‑‑ Gz I 269!(><),226ff,228,244 ‑‑ Fey I 219(wie Schall(?) unabh.v. Geschw. d. Quelle),249(als Einht),419(Brech:Geschw.‑Änd), 425(Brech:scheinb.geändert!Lö:Phasverschieb), 356(im Wasser <c,AG,wg.Brech),357(Fermats Prinz.d.kürzesten Zeit),361(i.Wasser <c!)678ff(>c: nur Knot.,Gruppengeschw, Modulati, Phasengeschw > c)712(Vakuum/Glas:>c) ‑‑ Es I 268(Bell)

 

Lichtkegel (Minkowski‑Raum,Ereign,Kausalit) Kan I 166,301ff  ‑‑ Kan II 40 ‑‑ Fey I 249  ‑‑ Fie II 239(partiell geordn.n.‑lineare Zeit,n.bezugs‑syst‑abhg)

 

L.H.O.O.Q. BR 47

 

Likelihood  LW V 106(def Glaub.an Belege, Konditional unz.Hypoth.rel.unabh.v.Vorgesch) ‑‑ No I 259 ‑‑ Schu I 160(def (L‑Intuition:d.inverse Wschk p(E : H) ist Kriter.f.Beurteil d.Plausib.v.E(H: Hypoth.,E:Ergebn)/Terminol: manche umgek:"L.v.E gegeb.H"/grundleg. Prinz.d.schließ. Statistik ungl L‑Methode)

 

Likelihood‑Schluss  St III 206 ‑‑ Pi I 305 (Bayes) ‑‑ Spi 51ff(n. Wahrsch.,sond.Bestätgrad),52(= diagnostWschk.),55(Kombi),56

 

zurück nach oben

 

Limes  Q IX 130(kleinste obere Schranke, koS,"U",Vereinigung!?)

 

Limeskardinalzahl  Q IX 155(h.k.unmittelb.Vorgäng:Bsp Aleph0,A1w/,"unerreichb. Zahl")

 

Limeszahl  Q IX 111(ungl OZ),126(w.a k.größtes El.besitzt,Bsp = w,wenn a = Kl.d.ungeraden endl.OZ)

 

Linie R II ("gerade L") 148 ‑‑ Pi I (gerade L.,Natur) 306  ‑‑ Fey I 273(vorstell.als sehr dünne Fläche)

 

lineare Gleichungen Sok 164

 

lineares System  Fey I 339f(def)

 

"lingua mentis" (>Mentalesisch)  Pu II 111,54ff

 

Linguistik  Gea I 98 (GVs)  ‑‑ F/L 74(stützt s.auf Intuit.d.Sprech.(n.zirk),74(ungl.RI:viel mehr Vermut.d.Zahl d.mögl.Sprach.beschränk)

 

"linguistisches Argument" Re 277

 

Linguistizismus  Disp 71(MartinVsPlace:Eig.bloß Bedeut.v.Präd),195(PlVsM),106(Vs: Exist.=Wert gebund.Var/Variante: daß prop Einst=Propos,d.wahr sein sollen/Vs:überspringt Wahrmach),107/8(Lö.f.Prbl.Quantifik.üb.Nichtexist:w.Satz wahr(bei Wunsch)/Pl pro,VsMart:Schärfe d.Mess.+Schneidefähgkt n.dasselbe)

 

Linse  Fey I 359f,366ff,370(zwei Oberfläch),373f(Abbildg,Vergrößg)

 

Linseneffekt (Gravitation) Kan I 153

 

Liste D II 146 ‑‑ Pu v 247,(Vs) 249 ‑‑ FE I (arch.Stil) 309 (303) ‑‑ EMD 141,142(LoarVsDav:durch extens.BT,n.empir. > BT mu.intens.sein) ‑‑ Hor I 145(Bla:Prbl.unmgl, "usw" zu formalis)

 

Literatur (weiterführ.L., L‑Angab)  Se II 204ff (Hegel), (Rauschen/KU) 241! ‑‑ Pi I 668,670  ‑‑ S IV 81  ‑‑ F/L 145(StichVsEvolth,Whtsthese,VsDen)  ‑‑ Cr II 161(Menglehr/Einführ: Halmos, 1960,wenig formal),178(Montague‑Einführ:Dowty).

 

Lizenz, lizensieren  Fie I 259(Bsp daß A d.Schluß v.B auf C liz, heißt, daß C aus A+B folgt/(s)dann genausogut B liz.Schl.v.A auf C?)

 

L‑Kriterium  (Logik) We 134(Dunn),135(Vs)

 

Loar, Brian  EMD XVII(Th Wht.n.hinr.f.BT:Subj. kö.falsches glaub.),138f(Th BT,Inbegr.prop Einst/pro intens.BT, VsFost,VsDav),140(VsDav:MöWe‑Semantik macht uninfo.ext.Schema informativ),146(Th sem..Eig.v.Sätzen,Funkt d.prop Einst d.Sprech),150(PragmatVsSem, LVsTarksi:n."bedeutet‑in‑L" sond.bedeut.i.Sprgemeinsch.P"/n.log.syntakt.reduzb.) ‑‑ Av I 18(VsBennett:pro Intent i.Komm),29(Th Sem.n.o.psych.Begr.mögl),31(Th Sprachphil Teil d. Geistphil,daher Untersch Sem/Pragm,wicht/Semant:Begr.durch psych.Begr.versteh(redukt)), 35(Inh.v.prop Einst wichtiger als Bedeut!),105(vielleicht später Red.f.Wiss.mögl./aber nur f. Super‑Wiss,v.Mars (wg.unserer Komplexit),107(VsDav:prinz.mögl.Intent.vor Sprache z.versteh) 110 (Physikalism:sprachl.Gedank.n.sprachl.erklär(sonst Zirk)),136(prop Einst:n.vollst o.Spr.aber Th. v.pE o.Spr/Av: >oberflächl.Sym,tiefe Asym.zw.Sem+Psych),137 (VsPhänomenalism, VsPositivism:Zuschreib.v.Erklär.trenn!),154(Funktionalism,zuk.Wiss) ‑‑ Schi I 15(1981:Glaub.= Rel z.öff.Sätzen (wie Dav)+Taski‑Th‑f semant.Eig(nichtöff)/Gl.individuiert durch funkt.Zust),19(dito, Glaub.durch funkt.Ro.erklärt),25(Props:völl.extern z.inn.Syst.d.Zuschreib v.funkt.Rollen),27(Loar, Pseudo‑"Defin" durch funkt.Ausdr,ersetzen),34("M‑constraints":VsCarnaps Bedeut‑Postul.),45f(SVs 1.nur f.normale Erwachs,2.falsche Kennz.Th.f.ZE)

 

Lobatschewski  (Geometrie) Os I 56

 

Löcher (Lew, Leere, Loch) Disp 180ff,183(Lück,Mangel,Lit:Don Gunner:Krit:Manipulierbkt (>Hacking)/ MartVs: n.f.L.nur f.Ggst/Lew:kö.nichts wie Dinge sein/Mart:Zustände >als Wahrmach),184 (MartVsLew:ungl.Abwesenht:diese schließt n.alles aus),186(MartVsL:fleckenloses Hemd k."reine Nichtsht")

 

Locke  Hack I 238 ‑‑ Meg II 283f  ‑‑ Lei I 45(Vs),87(Vs),95 ‑‑ Wol I 120(StraVs) ‑‑ St IV 346 (Theolog.braucht Vernunft),426(denk.Steine),382(Wahrnehm),421(Entsteh v.Bewußts) ‑‑ Gea I 246(pers.Ident) ‑‑ Loc I 25(Vsangebor.Ideen),17(Monarch Stellvertr.Gottes),19(alle Erkenntn .sinnl.),27(gesund.Menschenverstd),32/3(Nominalist:Gattg n.real),42(Vs: "Sensualism": fehlt Vernunft),52(religiös‑praxisorientiert:Erkenntngrzen Gottes Absicht),66(Moral m.Lust/Unlust/ Streben begründet),81(pro.konstitut.Monarch,mod.Verfass.),169(Th "nichts i.Verstand, was n.vorher i.d.Sinnen"/LeibnizVs:eben Verstand!),170 (heute Vs:auch Allgemeinbegr. empir) ‑‑ Loc II 187(L.legt k.S.vor) ‑‑ Ber I 234 (BerkeleyVs: VsLust/Unlust als Begründ.f. Willen:auch Gott hat W.) ‑‑ Grae I 221/2(Pers) ‑‑ AR III 97(kompl.Idee >Arm:Gesamt‑Universale:F‑sein macht G‑sein notw. (Rel zw.U: Gesamt‑U) ‑‑ Av I 2(Wörter Zeich.f.Ideen),3(Vs: welche Bedeut.hab. dann Ideen?), 139 (Av:w.Wört.Zeich v.Id,dann (Sprach‑)Verhalt nur konting.m.Gedank.verkn/ Telepath.mögl), 140 (Verhalt.dann zum Versteh.v.gedank.n. Bedeut!/BerkeleyVsL),140(FregeVs Wörter f.Ideen: Untersch.Sinn/Bedeut),141(Wittg.Vs:k.privaten Ideen/(VsFrege)) ‑‑ Si I 207(2 Personen i.Körp:S pro:Bsp nach OP m.Gedächstn‑Verlust +unbegrzt.Lernfähgkt), 295(Abhgkt,allg Form: Fa > Gb) ‑‑ Hor I 409f(prim/sek.Qual/PutVs)

 

zurück nach oben

 

logarithmisch  Fie III 79(L‑Skala wen.willkürl als and.Sk/Prbl:mehr G rundbegr.zur Axiomat), 124 (logarithm.Strkt.ermögl.Beweis, daßf.2.Pkte a,b exist 4 Pkte c,d,e,f sodaß Masse‑Verhältn.zw. a,b = Verhältn.d.Mass‑Diff zw.c u d zu Diff zw.e u f).

 

Logarithmus  Mo I 39 ‑‑ Kau I (Def)255 ‑‑ Gen I 26 ‑‑ Ruc I  58f,61,63,100,113,180,331 ‑‑ F I 127  ‑‑ Fey I 306,307(alle L.m.versch.Basen äqui),310(nat.L.:Basis e)

 

Logik  Q III (Aufgabe d.L) 62 ‑‑ Q IV (einstuf. L) 41 ‑‑ T I 97(klass/eff.Aussagelogik) 254,(eff =handelnd) 238f,258 251 (Bsp~(x)A(x)>(Ex)~A(x) ungült!)‑‑Wa I 51,154! ‑‑ W I (Erfahrg) 200, 205,,265,303,306  ‑‑ F III (temp. L) 164ff ‑‑ D III (L+Alltagsspr) 179 Z) ‑‑ HH (Begründ. d. L aus Bsp)157 ‑‑ R I 126 ‑‑ Me (mehrwert.) 99 ‑‑ Gu 468 ‑‑ Deu 211ff ‑‑ Kü (Hegel)314 ‑‑ Blu (360°) 20 ‑‑ Ca (RelationenL,Russl) 52 ‑‑ Ca (L‑1,L‑2)86, (S4,S5,Cl.Lew) 98 ‑‑ Bt (Spiel) 244,248 ‑‑ Bra 24, (freie Log) 609 (Kond u.Neg als Grndbaust),540 ‑‑ Fe I 331,337,338 ‑‑ Fe II 74 ‑‑  Eco I 46,48 ‑‑ Ro VI (WittgVs) 478  St III 242 (L,Gesetz, Zufall) ‑‑ Str V (Kant) 63,68 ‑‑ Wri I (Revis.d.L.) 62ff,87f,49 ‑‑ Q VI 48,129 (dreiwert.,Vs) ‑‑ Bra II 47,57,65,97,196,201 ‑‑ Hack I (1.St)182/83 (Löwhm),176 ‑‑ Sai I (modifiz) 201 ‑‑ Sch I 89,91 ‑‑ Mü I 125 (Minsky) ‑‑ Ruc I 256 (de Morgan)  ‑‑ Meg II 108(Spr, Carnap),177,367,368 ‑‑ Lei I 59,86,91 ‑‑ Wol I 117(StraVsRuss)  ‑‑ SL I  15(Klammern), 33(assoz), (Anfangsregeln):31,34, (Transfsregeln):31, 35,71 (deont), 35("sub"),33(Grndbaust) ‑‑ Zo I 8(Kalk d.nat.Schließ/Gentzen) 47,48(Verschmelz),48(Bindkräfte), 54f(Junktorenbasis), 56(NOR: Rejektion),56 (NAND;Sheffer‑Strich),51(KNF: konj.Normalform),51, 142(DNF, Umkehr. n.gült?), 92(Subalternation(alle>einige), (Äquipollenz, umfangsgl):74, 92,97,;106(Prämissen‑Vorschaltg), 67(raa‑Form,reductio), (nat. Schließ):68, 82(PL), 86(Rel);77, 78(identitiv), 77(Platzhalter), 93(Inversion: Neg.d.Präd. SfP>~Sf~P);81 (Existquanteinführ, "Existeinführ"), 81(Allquantbeseit, "Allbeseit"),86 (Quantorenvertausc h: (Ex)y)Rxy >(y)(Ex), n.umgekt!)),92(Sokrat‑Bsp:Allbeseit.),157 (Reduzier: Aufgab) ‑‑ Sav I (vorläuf. Name a*,muß verschwind, Indiv‑Name),113("weil"), 150(wed.noch: ~(p v q)), 156("nur w."),171 (Verknüpf.zw.Sätzen/Präd.), 172(NegEinf.),179 (Implik‑Einf.), 184(log.gültig n.gleich log. wahr!),184 (Allschließ),181(aussagenlog wahr,def (aus Verknüpf.) n.gleich log.wahr: Untersch: (Ex)/(x)),199 (Gehalt:Zweck d.log.Schließ) ‑‑ We I  7(prakt.Erfindg), 8(Regeln empir),17 (Carnap),20(n.phil begr.),32,38(braucht (Alltagsspr.),237 (BrouwerVs), (Klammern):38, 40(elimin, Lukasiewicz, Schreibw)175, 105(klassisch),106 (Prämissbelastg), 107(Variante), 189ff(Syst P,QL),269f (Mikrophysik (QM),371(L/Phil) ‑‑ W IV 32,48/49, 73(k. Nebeneinand k.Hierarch),87,8  ‑‑ Ca I 58(Trad.:Umfangs‑/Inhalts‑L. Vs:k.Krit), 207 (Allgemgültigkt: i.Sachgebiet, daher empir.),207 (Fundier.( i.Empirie) mögl.Grdbegr), 215(log. Eig. d.Gleichortigkeit ermögl. Erkenntnsysnth) ‑‑ Fey I 150(expl.Def), 626f(liefert Gesetze),627ff  ‑‑ Q VII 146(exist Gerealisier, Bestandteil,wg.Var/ Eliminierbark.v.sing Term (Substituierbkt),k.Teil d.QL!) ‑‑ Gea I 298(n.empir.)  ‑‑ Loc I 26(n.nur Schlüsse,sond.Untersch.v.Zeich,Wört.,Begriff. als Repr. v.Bewußtsinh,>Ideen)  ‑‑ Fra I 608(RortyVs:log.unmögl.,daß i.glaube p u.~p:falscher Anschein,es liege an Bedeut.v."Glaub"), 660(EvansVsFrege:Gedank n.vollst.erfaßt) ‑‑ Du II 50 (beginnt mAristot: Gütligk.als Spezfall v.gült.Schema/vor Frege:nur Ersetz.v.Schemabuchst./n.sem/ Frege:k.Gedanke o.Ausdr) ‑‑ F/L 81(Anwend.log.garantiert Prinz.führt n.notw.z.Entdeck.v.Gesetzen) ‑‑ Bla I 72 (spieglt n.d.Realit(vgl.Foto),108ff(,128("n.genug":/k.auch v.irg.etw.gesagt werd.) ‑‑ Pri I 80(kennt Überrasch)  ‑‑ LW IV 218(MA:existentiell generisch: gleichzeit.männl/weibl, univers.gen:n.mal farblos,weil nur,was allen gemeins./mafor.gen:(Eig.d.Mehrh.) ‑‑ Q IX 187/8 (ungl.Mengl),195(dito) ‑‑ EMD 103(Dum:klass.L k.Begr.d.Wahrh.n.generier/k.selbst ab.m.BA d.WW + and.Sem. gerechtf. werd/ Prbl.:jede Sem.setzt Bival.voraus),126(Dum: verifik.BT,Ax(weder intuit.noch klass)(n.sicher ob korrekt)), 323(1.St.m.Ident:Bikond.beweisb.m.li/re versch.ontol.Verpfl./modellth..ok,darf ab.n.auf schon interpret.Spr.angewend.werd(m.off.Sätzen m."notw")) ‑‑ No I 10(Beweis soll n.Glaub.zwing) ‑‑ Fie I 37(S5),73(auch o.Mathe),74(a)"Meta‑L n.wahr"(k.math.Ent),75(b): Glaub m.MO "es i.log. mögl.daß"(McG dito:sobar "physikal mögl")),76(def Wiss.d.Möglichen/ VsPlatonism: vermeidet das), 81(Beweis, daß Primzhl >1000 exist,n.log.),83(L. kann k.Exist‑beh.aufstll,daher auch k.v. Modellen od.Ableit),97(Standard‑Technik:schließt leeren Ber.aus),126(2.St: mu.sem.konstr. werd, weil k.vollst syntakt.Beweisverf),217(S5: Aktualit‑Op"es ist aktual,d.Fall daß es mögl.ist, daß A" ist stark äqui zu "es ist mögl,daß A") ‑‑ Brk 2 (wichtig: mitteilbare Gedank),29(Peirce:muß alle 3 Art.v. Zeich.enth:1.Symbole (Allgemeinht,konventionell)2. Index(Anzeich, nat Zeich),3. Icon (Ähnlkt), 31ff(Peirce:non‑relative L),129ff(mehrwert), 287(disussive L/parakonsist/relevante L) 315 (def/ Henkin:Mittel um die Strukt.v. Sprach.z.analysier), 385/6(Konventionalism/subj.Wahr d.Kalküls (Cl.Lewis) >VsFormalism:nichtssagd) 390(Berka: hat Widerspieglchar(marxist)) ‑‑ Mate I 258ff (Mates/Gesch/Antike/Def/Mates:Th.d. Folgbezieh), 267(Stoiker/Megariker:erfanden AK), 281 (HumanistenVs:schlimmer als nutzl. f.W‑schft,barbar.Stil) ‑‑ Q X  36(n.üb.Sprache/gebraucht Begriffe,um Verallg.auszdrück), 73(<Aufgabe:bestimm,welche zus‑ges.Sätze wahr od.welche n‑Tupel s.erfüll),87(Resultante von Grammat+ Wht), 88(Grenze: sem.Aufstg statt Quant.i.OS/ Identit: außhb log.W.n.mehr formal,wg.Beschränk.f.Einsezt/Vs: innhb),110(festgel.durch Gesmtht. d.log. Wht),129(so stark an Übersetz.gebund.weil sie evident ist: lg.W.hängt n. tiefer m.Ü.zusamm. als m."es regnet" (Umstände)),133(L.revidierb,wie QM od. RT),133(gelernt, indem Spr.gelernt w.) ‑‑ Car I 177f(QM)  ‑‑  Fr I 84(Def/Fr:Stud.d.Funkt.v.Aussag.zu Aussag,die Wht erhalt) ‑‑ W VII 123(Tract/ handelt v allen (empir)Mglkten u.kann k.ausschließ/daher Tract 6.3:erforsch d.L=E.aller Gesetzmßgkt/Rest:Zufall)

 

Logik zweiter Stufe  Q III 287ff  ‑‑ Pu I 195 ‑‑ Re 63,153  ‑‑ We I 228(Ununterscheidbkt, Ident, AP(P(x)),"alle Eig von") ‑‑ Fra I 380(Cast:Quant.üb.eig.Fortschr.d.Denkfähgkt) ‑‑ Fie I 37(Quantor hat k.rekurs.Beweisverf,Vaght d.Quantifik), 48f,131(wg.Überabzhlbkt v.Modellen/weil Löwhm das f 1.St.ausschließt),131(starke/F:der "Teil‑v"‑Rel d.Goodmanschen (mereol.)Su), 132(k.Stärk.d.Mengl 2.St.prod.and.nominalist.Konsequ. i.Gravitationsth), 136!(Nominalism: Eig statt Meng, daher 2.St (gleichzeit.Löwhm vermeid),166/7(Wht.i.Sätz.hö.St statt Existannahm.v. Zhln(>Gleichzhlgkt/ Frege/WrightVs) ‑‑ Q X 51(Quant.üb.Eig:besond.Var ungl.Präd(F usw)), 94(QVs:normale Quant."x" F: Name v. Ggst/N.geht n. spaz/2.St:behandlt. "F" als N.v. Präd/"EF": Ggst, der v.Präd.bezeich. wird, ist so+so,n.d.Präd.sei so/dann Eig.als Ggst), 96(Hilbert‑Nachf:Meng.als Werte) ‑‑ Fie II 237,351ff(Lö.f.Unbestht d.Mengl:Prbl.unerreichb. KardinZ), 352(Quant. 2.St.als plurale Qu:schließt Unbestht n.aus), 352(n.Teil d.Log,sond.verkleid.Menglehr/ FVs), 372(Qui:bewertb.innhb "Th.v. allem") ‑‑ Cr I 138("einige Kritiker bewund.nur einand"),138("2 Fs sind G"(auch 1.St.mögl)/nicht mögl:"2 Krit.bewund. einander"),144(Rede v.Kl),145(dito),160(n.immer axiomatisb/log.Partik), 22(Katz:willkürl. Untersch.zu "normalen" Wört/Cr. pro) ‑‑ Fie III 33(notw.f.Th.d.reell.Z/1.St: f.Add.u. Multip, 2.St:f.Quant.üb Funkt u.Meng höh.St,zur Defin v. Kontinuit,Diffenrezbkt dieser Funkt), 38(n.rekurs.axiomatb/auch Folgbez. 2.St.n.rek.ax.)39(auch intuitive ZF 2.St:wg.Separations‑Prinz: (P(x)(Ey)(z)(z e y <> z e x u P(z))/2.St:zu 1.St.abschwäch:durch Ax‑Schema 1.St.statt Ax.2.St. (Ersetzbkts‑Ax od.Separ‑Ax)),40(F:alle Argum.auch bei L:2.St.gült),92f(,93(Teil‑Ganz‑rel/ Goodmansch.Su.(Indiv‑Kalk),93(Präd:"weniger als"),98(uninteress.Lö:nur 1.‑St.‑Sätze als Ax v.Sub‑Th,d.aus 2.St.‑Ax d.Th.folg),27("ist Teil‑Region v":1.St.aber aus Quant.2.St.defin)

 

logisch  Bra 165,185 ‑‑Sell (log/real) XXVI,XLIf ‑‑ Lei I (log/ontol):123,136! ‑‑ Disp 128!(l.Rel n.zw. getrennt.Ent/kaus.Rel nur zw.getr),(95(dito),133(dito(Hume)Arm pro,weil Notwkt nur aus Ident/ MartVs),143(Mart:k.log.Verbind zw.Urs/Wirk(Hume),alle pro/>ontolog. unabh.),154 (log.Eig: z.B Notw/kont:nur f.Propos.),185(aktuale Ent(1.Stufe)k.log Ausschl.and.Ggst z.selb Zeit/Ort (Bsp Flüsse/andere sogar Menschen/BspTaubh.neg.Zust/ab k.pos.Zust log.,Ausschl.v. Hören) ‑‑ No I 145(N:jed.Verbind.mu.interpret.werd > Wittg >Regelfolg/ungl NG) ‑‑ Fie I 124(l.Wiss:daß "w.Geg‑Beweis mögl.,dann wahrsch.schon gefund.wäre"(induktiv)) ‑‑ Bk 410(Taski/Prbl.Trenn.log/außerlog Termini n.scharf(i.d.OS)/Grenzfall: AG alle Term log)

 

logische Algebra   We I 32,95

 

logische Eigennamen (Russ) Pu I 133 ‑‑ Tu I 381f,387f ‑‑ Wol I 99(StraVsRuss),205! (k.Eig.), 259,276,284 ‑‑ Pri I ,149(Russ:n.mögl."dies existiert"/Lö:"x mu.bezeich.dann "exist.n." falsch ungl.Kennz!)149(macht komplexe Präd.überflüss/gebund.Var.steht f.E.), 150(def), 152(ungl.Kennz: Sekt‑Bsp),153(Russ:nur selten anwendb) ‑‑ Fie II 19(Russ:um Zirk.z.vermeid:Erklär. v.Kennz.letzl. durch Nam.(>Bekanntsch)

 

logische Folge  Fie I 165(Bsp Inflationism:Exist.v.Richt.l.F.aus Exist.v.Linien/innhb v.Th.d.Ri:pro. ab.n.hinr.) ‑‑ Cr I 37(def/PK/Cr:Rel zw.Satzmenge X u Satz A,d.gilt:k.Zuschreib v.WW zu den El. macht alle i.X wahr u. A falsch),38f(Bsp//entailm:l.K.hängt v. Art d.Log.ab)

 

logische Form Q III 101(nirgends/irgendwo/wer auch imm./überall/nie/überall/bevor/während) ‑‑ W I 143,158,164 ‑‑ D III 199ff  ‑‑ Meg II 370(def), (DF "wahre l.F.";Russ),326! ‑‑ Wol I 263f,261,313  ‑‑ Zo I 80(Bsp k.größte Zahl),107(ausgeschl.Dritt)  ‑‑ We I 223("alle and","genau ein","mindestens ein", "höchstens ein","genau zwei"), 328("daß"),291("immer,wenn",Gesetzesauss),292(m.Indices), 332 (W‑Def), 330(Artbild, Defin) 337(Ident/Verschiedht), 352("sagt,daß"),370(Prädterm, Subjterm)  ‑‑ W IV 62(Sheffer‑Str),92(W‑Funkt, Zählen),93(ganze Zhln) ‑‑ Gea I 246!(Ident:jed.Mensch i.Pers >jed. M.i.dieselb.P.wie einer od.ein and.!),263!(Korrth./Aquin/Gilson) ‑‑ Fra I 378(Selbst‑Identifik), 380 (dito),384!(Zuschr v.Eig/Rel) ‑‑ Pri I 40,(Bsp "alle Eig.e.groß.Feldh":"hat die eine od.andere Eig"), 61(Elementbezieh.:"x ft"),61(nur ein Indiv.:x 0 y/zwei I:x,y,z),164(Selbstidentität/Russ)  ‑‑ LW IV 12,13,14(alltgsspr. Übers.),17("(x)(Fx>...)":"für jed.x gibt es.."),27("nichts, außer es.."),31 (alles notw.exist.auch), 85!(alltgsspr.Ü.,Zuordn.Ey1...yn(x)x1...xn:"für jed. eins"),87/8((TT,Benenn, Enti), 92(iy1,Ey2...yn(x)x1..(?)),135(Verschiedht)  ‑‑ LW V 165f(Abhängkt,Ereign, Propos),166 (kaus. Abh.Einzelfall/Famil),329(Partition:w. X wä>wä Y od Y'.. in irgend.Welt gilt, dann wird X wä>wäY, Y'... immer eine Partition) ‑‑ EMD 322(Übers: [neclx1. ..lxn[A(x1..xn)]](t1..tn):"i.jed. MöWe,i.d.alle t1..tn exist,hab.diese d.Rel A in w.) 357(Kri:n."wahre Struktur":immer Hilfsbhypoth. mögl.),360(Bsp (x1)(x2)(a1(a2)(Q(x1a1)uQ(x2a2)> Q(x1x2,a1‑a2)):"irgend zw. versch?),395((a)Term (a)>(Ex) Den(x,a):Frage/(s):"w.alles ein Term ist..." Quatsch?) ‑‑ Fie I 55("2 Äpfel":"x+y sind versch.+jeder Apfel ist entw.ident m.x od.m.y"),187(etw.x ist Teil von oder = y:od.umgek:"entw (Ez)(z < x u zRy(=) v(EW)(w < y u xRw)"(Drittes,Viertes), 234("genau 2") ‑‑ HC I 163( Na = a:/(s)Notwkt.d.Auss = Auss?/N. gehört zur A = dicto?/Elim.de re?/"b . ~b/(s):D.Unmögle?/Na = a v Na = (b . ~b)/Elim .v.Ntwkt de re?N gh.zur Aussag.od.sie exist.nicht"?)181(Kennz.alltgsspr.Übers)  ‑‑  Brk 31! (Bivalenz/Peirce:/w‑f)(w‑x) = 0=,32(Bsp entwed.x .falsch od. y wahr = "w.x wahr, dann x wahr" = (x‑f)(w‑y) = 0/Pointe:noch n. festgelegt, ob w = 1, f = 0),37(SaD/Peirce:((x > y) > x)),47 (Ident:was immer v i wahr, ist auch v j wahr:PiPj{~1if + ~xi + xj}),48(Einerkl),48(KomplMeng), 48(Durchschn), 49("entw.alles für i wahr od.für j falsch"(?)) ‑‑ Q X 64((Übereinstimm.od.Abweich. höchst an i‑ter Stelle/Erfüll./Erklär),66(rekurs.Def Erfüll: f.alle i und x: x erfüllt "A"gefolgt v.Var(i) gdw.Ax),74(mögl. daß ein Satz d.l.F.des and.hat. aber n.umgek),88(mit Identit:log.Wahrh.n.mehr rein auf grammat. Strukt. bezog/wg:Beschränk. d.Einsetz.v. Id‑Präd durch an Präd),120("(x)(Ey)" =" f.l jede Wahl v. x kann ein y gefund.werd. so daß d.flg.Satz wahr") ‑‑ Q V 105(Bsp "orangefarb": i.Mitte zw.2 O:d.h jed.d.beiden ähnlicher als diese untereinand),107(dito bei "eiförmig") ‑‑ Si I 258 (alltagspsr.Ü:"N(E!a > Fa)":"a kann n.exist.ohne F z.sein","a mu.F sein"/N(x)N(Fx >(E!x > Fx)":"was immer 1 Mann i., mu.Mann sein"),273!((...(E!c > (t)(Ext c > ...)":zu all.Zeit, zu denen..") ,260("a mu.F sein", "a i. wesentl.F":"N(E!a >Fa)"),340(bestimmt/unbest:Rel zu best.Obj:"N(E!s > sRs')u ~NE!s u s ungl s' "/zu irgend unbest.Obj:N(E!s > (Ex)(sRx u s ungl x u ~NE!x) (zusätzl EQu.zusätzl x,Indiv‑Var statt Indiv‑Konstante ("s")) ‑‑ Hor I 207(Stra: v."übertrieb"),216(Bsp f(x.p)": d.Auss.daß _ geäuß.v._"), 317("d.Goldb.Verm.i.wahr": "Ep(Gb.verm.daß p +(q)(Gb.verm.daß q >("p" = "q")) +p"),318 (w.Gb. Vewrm.aus mehr.Sätzen,dann statt ("p" = "q"): (p <>q) (Pfeile über‑einand., o.AZ!,(p,q, verschied) ‑‑ Gro I 50(propos.Quant:(Er)(r > (Schnee../a)"Es gibt etw.so daß,w.es wahr i.Schnee weiß i"/b) "etw impliz, daß Schn w. i"/Prbl:dann Pfeil k.Verknüpf mehr!/statt "w..d..": "impliz":dieses braucht an 1.Pos.Daß‑Satz od.Name v.Satz) ‑‑ Cr I 59(kontingent:"(Ex)(yx u ~Nyx)",138(einige Kritiker bewund.nur einand/Prbl:plurale Quant),141(jed.bewund 1 and"(1.St. mögl),152("d.meisten":mehr As sind Bs als Nicht‑Bs(2.St.Quant.üb.Kl)),15&(Boolos,verzweigte Quant:"(x)(Ey)/(z)(Ew): (x,y,z,w)"/analys.als "((x = z  bik y = w) u (Ax > By))" ‑‑ Sta I 179(prop. Wiss/Dum:v. x wiss, daß Fx u Gx/(Identifik)) ‑‑ Cr II 97(<l,x,<nicht,<pfeift,x>>>: ist ein x, so daß x nicht pfeift")/ kompl. Präd),98(8t/s1,..sn):Funkt.m.1 od. mehr Argum/1.Stell:Ergebn(imm. 1 Wert)),155(Starrht:"notw a". i. wahr i. <w1,w2> gdw. a i <w1,w> wahr i.f.jed.Welt w) ‑‑ W VII 133(a) Kupfer i.Regisseur/ b)Ku.i.dehnb/selbst syntakt.F, versch.l.F.:a)(Ex)(Fx)/b)(x)Fx>Gx)/l.F:best.aus welch Sätz d.S.folgt,+ welch.aus ihm folg),137(Prädikation:Fa/Exist‑Satz:(Ex)(Fx u Gx)>KöKa)

 

logische Konstanten ("nicht","und","oder","wenn,dann") Sch I 96 ‑‑ W IV 37(Th: l.K.vertret.n!) 70(VsFrege),71(Bsp "~": nur scheinb.l.K.)) ‑‑ Mate I 40(Konv: Nam.f. s.selbst/dann zusges. Ausdr. einf.durch Anhäng) ‑‑ Q X 112(Übersetz/RI:w.jem. zus.ges.Satz, ab.n.Teil zustimmt, dann k. Konj./Konstanzd.log.K) ‑‑ Fie II 261(wodurch ref.sie?(Frege.auf d.WaFu),262(w.über begrfl. Ro.verstand dann unbest) ‑‑ Hor I 468(Tarski:Bedeut.n.aus.W‑Def),477!(w.bloß Symb, dann Grundbegr,(primitiv)/sonst durch Wht erklärt),477(Qui(Wurzeln):Unbestht zw.klass.+intuit. unvermeidb)

 

logische Konstruktion  Pri I 5(Tats,Propos:l.K.dann dieselbe, sonst zu viele)

 

logische Prozedur  Gea I 108ff(>Funkt,Bsp Neg),k194(pJq unbest.,Tabelle,Interpret,0/1)

 

logischer Empirismus  (siehe auch Empirism) Q XII 10(Th:k.synthet.Auss.a priori/Grund: nach Verifik‑Th.nur analyt.Auss.a prior/QuVs:pro noch radikaleren Emp:auch BT nur empir) ‑‑ Schu I 13ff

 

logischer Positivismus   Fr I 13(Carnap 1960 "Method.u.Status von TT": Höhepkt:Rel zu Beob‑Spr/Gr.Maxwell(1962)Vs:VsTrenn.Th/Beobacht/LP: Sprachabhgkt d. Wiss/FrVs).

 

logisches Produkt W II (def) 150 ‑‑ Dub 43 ‑‑ Chi II 170 ‑‑ Pri I 163(Russ. der a's u. b's:Klasse d.x, so daß x = a u.x = b)

 

logisches Quadrat Me 42  ‑‑ Zo I 39(d.Gegens.),141(deont.Log),122(Modallogik) ‑‑ We I 168f,169(log.Hexagon)

 

logischer Raum  Sta I 75ff(Dim:z.B. Farbe,Form,Temp,Masse),82(strukturiert), 82(Pkt.i.l.R. sem/syntakt/Q‑Präd/Carnap) ‑‑ W VII 49(Tract.=Meng.d.log.mögl.MöWe/=Substanz/Ggst.bleib erhalt/),124(=alle mögl.Verteil.v.WW auf El‑Sätze)

 

logische Sprachen "T" "S4"; "S5" St II 154

 

logische Summe  Q VII 87(log.Form)

 

logische Wahrheit   F/L 67/8,69(Probl.d.angehängt.l.W an W‑Satz,od.Axiome) ‑‑ Fie I 36(Platonism:weite Auffass:n.alle wissb//=log.wissbares(+)/enge Aufass),37(eng.Sinn:"absol. beweisb"),86("mögl.daß 2 Obj i.Univers" log.wahr?/KriVs)  ‑‑ Q X  72ff(a)def durch Einsetz.v.Sätz. /b)Erfüll. v. Modell.durch Sätze),83(c)o.Wht + Erfüll durch vollst. Beweisverf),85(durch Ersetz.durch and.LexAusdr.(derselb.Kat) n. falsch werd),87(l.W.hgt v.Reichhaltgkt d.OS ab(wg.Einsetz)/u. v. Grammat, weil selbe Spr.durch versch.Gr gebild werd kann),88(m.Identit:n.mehr rein auf grammat. Strukt.bezog.(Schema)/w."=" Präd:dieses kann n.durch belieb.Präd ersetzt werd)110(Gesamtht d. l.W. legt Logik fest),127(Carnap:rein sprachl/QVs)129(VsCarnap:zwar v.Übersetz.abh.ab.stärk.v. Evidenz/diese als Grundlg),135(geh.zur Grammat/n.z.Lex)

 

logische Typen von Begriffen Fö I  237f

 

logisch möglich  Fie I 86(Kri:M ExEy(x ungl.y)" n.log.wahr weil n.i.allen Modell. wahr?/FVs:M(Raute) eben "log mögl",n."metaphys.m"),87(dito>Bedeutpostul),101(anti‑essentialist:dann beweisth.Übersetz v."er äußerte eine unableitb.Aussage" immer falsch(naiv)), 252(Begr.in Phil.ntw, w.Untersch.zw.Charakterist, d.nichts haben kann(rot‑u‑n‑r) und Char.die nichts aktual hat)

 

logisch notwendig  St I  286 (2<4 n.l.notw.) ‑‑ W I 161,348,357 ‑‑ Ca 99  ‑‑ Gz I 45  ‑‑ Fie I 255(Laplace‑Gl n.n., auch n.wenn korrekt, nur"math.notw":aus Gesetz.d.Mathe) ‑‑ W VII 122(Tract/Atomism einz.N/aus WaFu aus Elem‑Sätzen,d.d.Welt beschreib/k.kausale N)

 

logisch unmöglich Pu IV 45 ‑‑ Ry  284

 

logische Verknüpfung  Cr I 172,173("wenn" kann Bedeut.v. "und" annehm,ab.nur i.Tiefstrukt (>Geachs Esel)dadurch Kond nicht =Konj/Bsp "noch 1 Bier und ich gehe")

 

logisch wahr  Q VII 160(Q:(Ex)(Fx v ~Fx),(x)(Fx >(Ex)Fx):entspr.Sätze n.l.w wg. Exist‑Abhängkt) ‑‑ Loc I 28(n.angebor.deshalb spont.Zustimm),29(aus Sinneseindr) ‑‑ PiS 18f(Formel),19(log. Form/Qui:engl.Gramm.) ‑‑ LW IV 205(stärk.als anal.) ‑‑ Fie I 86(Kri:k.Satz d.Form "MA" l.w.außer wenn A selbst l.w./viele Vs),118(Ramsey:abh.v.tatsächl. Welt(e.B.10 10 hoch 10 Dinge i.Welt, dann l.w.daß mögl.sonst n/Cocchiarello dito/FVs >Aktualism?)

 

Logistik  Ca I (3(formalisierte Logik),64(Zeichen)

 

logistisch  Brk 217(< Gentzen: Kalküle v.Russ,Hilbert,usw:"nicht‑natürl"/logist: Grundformel (Axiom) statt "Annahme"/diese taucht dann mehrmals auf)

 

logistische Gleichung Sok 197  ‑‑ Spi 345,346(l.Funktion)

 

Logizismus Fie I 79(Th daß Mathe Teil d.Logik(KantVs:Mathe n.analyt),166(Frege/Wri:üb. Zhln,n.Richt/Th:k.n. log.Axiome f.Mathe notw)

 

Logos Kü 331 ‑‑ Tau 26ff,91,93f(Gorgias) ‑‑ We I 22(Weltgesetze) ‑‑ Bla I 161(inn.Gedanke/ Ausdr.v.G.)

 

zurück nach oben

 

lokal Den I 261 ‑‑ Ra I (def) 205,210 ‑‑ Kan I 157,367 (Hoyle) ‑‑ Spi 112(Wissensrep), 156 ‑‑ Es I 246/247(Eig.v.Teilch), 254(l.Wirk.ungl.Separabilit),263(Parametewr‑Unabhängkt/Ergebnis‑Unabh.),264(l.Beobachter: Ergebn.gleichwahrscheinl.), 269(l.Wirk.),285(Bohm) ‑‑ F/L 182(determiniert: Bsp i.Lex > Kompositionalt/n.hol.:H.global det:ges.Wiss.(QDT))  ‑‑  Ly I (Linguist)299(l.Funkt.ungl.gramm.F),303(Lokalis)

 

lokale Gruppe Gu (u.Umgebung) 344

 

Lokalisierung  Fra I 327(Lew.Bsp 2 Götter),343(Cast:n.d.Propos),549f((B.Williams: Palmen‑Vorst.n.hinr.f.Vorst."man ist i.Westindien"/Evans pro/Untersch:Innen‑Vorst/man‑V.),572 (n.unpersönl.) ‑‑ LW IV X(Selbst‑L.Population d.log.Raums,Welt),138(Perry: Gedächtnverlust: Bio.hilft n.:nur log.Raum, n.MöWe) ‑‑ LW V 249(wesentl.v.Ereign. ‑‑ Fie I 19(Maddy:Meng.lok:Bsp {Reagan},Zahl 3: i.jed.Raumregion:li/re,mittleres Drittel),25(Platonism.VsLok)

 

Lokalität (QM)  Es I 229(AR lok.Th),255(ontolog.ungl.Umwelt/Separabilit),285(Bohm, Lew),336(Nicht‑L:Zustandsredukt)

 

Lorentz‑Transformation  R II 71 ‑‑ Fri 174 ‑‑ Kan II 40 ‑‑ Fey I 219,220,222/223 (Längenkontrakt), 226f,236f,245f(RZ),252/253(Impuls u.Energie)

 

Lorenz, Konrad  Lo I 47(Vogelrufe),82(Enten), 247 Lachen),36f(Mobbing i.Tierreich), 87(Phänokopie), 120(Finalism)

 

Lorenzen,Paul We I 260ff(Dialogische Log),312(Präd) ‑‑Chi II 73 ‑‑ Brk 187(dialog. Log), 266ff(dialog.Log/Konstruktivitätskrit), 267("dialogisch‑definit":w.entscheidb,ob Propon(konstr) Beweis vorgelegt/Th: vagen Begr.d."Konstrktvtt" durch dialog.Defht ersetzen)

 

Lösungen (Kripkes Wittgentstein/gradlinig/skeptisch) St IV 79f

 

Löwen‑Bsp Q I 304

 

Löwenheim‑Paradox (>Satz v.L‑Skolem)  Pu I 101ff, 127! ‑‑ T I 321 ‑‑ Q IV 144,146 ‑‑ Q V 159f ‑‑ Zi 111,95! ‑‑ Pu V 65,98 ‑‑ Q VI 44! ‑‑ Hack I 176,179,182 ‑‑Fra I 327(Lew.Bsp 2 Götter/ höchster/ kältester/Blitze/Manna:n.LH!) ‑‑ Du II 83ff(Tisch/Adler vertauscht, merkbar,w.Sätze o.beide Wörter vorhanden) ‑‑ LW IV 118(k.überzeug.Bsp) ‑‑ Q IX 232!(def jede wsf Menge v.Quantifikschemata erweist s.unter Interpret.i.Univers.der nat Z als wahr/Bsp) ‑‑ Fie I 31f(131(abwärts:konsist. Th.1.St. kö.k.überabzhlb.Modelle hab/aufwärts:= Kompaktheitsth:"jede RZ‑Th1.St.hat Modelle i.denen d.Menge d.RZ‑Punkte >Menge d.reellen Z) ‑‑ Brk 289(Def/SvL:ein Ausdr.d.PL m Id. ist entw. unerfüllb,od bereits i.endl bzw. abzählb.ue Indiv‑Bereich erfüllb),290(Tarski:Erweit:besitzt auch überabzählb Modell),314(was i.jed.Bereich allggltg i.,i. im abzählb.B.allggltg), 321,340,517(Tarski) ‑‑ Mate I 184(Vorbereit, Herleit) 189!,190(>k.wsf Aussagmeng.kann nur i.überabzälb.Ber.erfüllb sein) ‑‑ Q X 79(el. ZT),80(Verschärf/Hilbert/Bernays) ‑‑ Q V 159(Qu:jed.wsf Th.hat ein Modell innhb d. nat.Z),160(ohne Modelle:Menge wahrer Sätze üb.überabzählb.Bereich kann i.abzb.Ber.neu gedeut. werd/"Neudeuten":aber nicht die Zeichen!(sonst beliebig)/Quantoren u.WaFu bleib/Pointe: Unterschied.i.n.groß u.läßt s.allein m.1 weiteren Term angeben: z.B."e" oder "abzählbar"/Quantor + WaFu:gleichgült.gegüb.endl/unendl,aber n.abzählb/überabzb)/Lö:geht nur darum, welcher Begr. grundleg.i.(Überabzlbkt n.blieb) ‑‑ Q XII 75(früh,stark(Skolem) mit AA), 76(1.abzählb.viele Äqui‑Kl. m.ununterscheidb Ggst/Probl: Löw.erlaubt keine Formulier.m.Stellvertret.Funkt/weil Redukt.v.überabzb auf abzb. n. umkehrb.eindeut) ‑‑ Hor I 386(Leeds: zeigt n.daß math. Prax.falsch)

 

Lovibond  Ro VI 301

 

Lowe,Jonathan  Grae I 226(Th Perosn=psycholog.Substanzen,ps.Gesetze,ab.n,immat.)

 

Lucas   LW V 351Vs"Mechanismus"(>Gödel),LVsLucas)

 

Lücke  Duh 8  ‑‑ F I 31(Leibniz)  ‑‑ Du II 19(bei bedingter Wette),23(Bsp bedingter Befehl:a)w.Regen,Mantel/b)"Geh n.o.Mantel/Lücke zw.Gehorsam+Verweig./n.bei Auss.zw.w/f) ‑‑ Fie II 286(Bsp zw. "p"u."es ist eine präzise Tats,daß p") ‑‑ Strd I 217(< Quine: zw."mageren" Daten u.reichhalt.("überfließ")Output) ‑‑ Fr I  75(beobachtb!/missing link/(Bio))

 

Lüge   Bla II 132(Kant:absol.Verbot,auch w.man dem Mörder d.Weg weist/BlVs),133(Kant:schadet d.ganz.Menschht/Montaigne:Kind kö.Sprache n.lern),134(Adrienne Rich:alles Makeup L.),135(G.Steiner:"kreativ"/BlVs),140f(Bazelon:gewaltfr.Macht)

 

Lügner‑Paradox Pu I 251 ‑‑ R I 81,87,89 ‑‑ Sai I 168ff,190,(verstärkt.L) 175f  ‑‑ Q VII (133: sem.P.(Untersch.z.Barbier,Lö:Sprecher lügt,sonst 3 Prämiss) ‑‑ EMD 367/8(Kri:bloß angebl.aus Zitat+Quant) ‑‑ Brk 452(Tarski/log.Form/Erklär),455(Tarski.Form o."wahre Auss":f.beliebiges p ‑ ist c m.Auss."p" ident ‑ so n.p (+)) ‑‑ Hor I 113f(Tarski),137(Variante, Erfüll) ‑‑ Gro I 121(Quelle: Wht als Eig),123(Stra (1949) dito),130(Verallg:"Alles was m.diesem Satz ident.ist, ist falsch), 133ff(verstärkt),134(dito),202(verstärkt/Burge:keine Bedeut‑Änd, daher mu.Index‑El.impliz. sein/Burge:pathol.daher wed.wahr noch f),203(Vs:kann path.sein ohne daß er n.wahr sein darf),242 (Version: M = "Ep(("p" = M) u ~p)") ‑‑ Cr II 110(Prior:mu.mind.2. Dinge sagen), ~185(dito, log. Form)

 

Luhmann Lu I (Vs) 180, (crossing) 456 ‑‑ GLU (operat.Schließ) 29,(Kondensation) 184f,(Element) 184,(Eigenwert) 101,(blinder Fleck) 102

 

Lukasiewicz   We I (Logik,klammerfreie Schreibw) ‑‑ Pri I 49(pro Extensionalit)  ‑‑ HC 1 273f(L‑Modalsystem), 275(dito, N,M/Luk:hier wafu Operator i.vierwert.Log) ‑‑ Brk 135ff(mehrwert.Log.(3‑wert,1.Syst d.Gesch./Zuk/>ML), 303f(WSF) ‑‑ Stro I 138(dreiwert.L. AL3)

 

Lukrez  Kan II 36

 

Lycan,William  Fra I 378ff  ‑‑ Cr I 64(pro Rel‑Th f. prop Einst (zu glaub‑Obj),104ff(prop Einst i.indir.Rede),112(Glaub‑Rel:Gehirn‑Zust,dann sinnlos daß Wort i.and.Spr.and.Bedeut!),113 (CrVs: Prbl:WW‑Zuschreib)

 

Lykophron  Tau 82f

 

Lyotard Ju 222ff ‑‑ BR 198 ‑‑ Sok 155ff

 

 

 

zurück nach oben

 



 
Zusätzliche Informationen: Ausgewählte Universitäten und ihre Philosophischen Institute   Sapienza Università di Roma www.uniroma1.it   Dipartimento de Filosofia - http://dfilosofia.uniroma1.it/filosofia/   Università degli Studi Firenze www.unifi.it   Dipartimento di Lettere e Filosofia - http://www.letterefilosofia.unifi.it/mdswitch.html   Università degli Studi di Napoli www.unina.it   Dipartimento di Studi Umanistica - http://www.filosofia.unina.it/   Università di Bologna www.unibo.it   Dipartimento Filosofia e Coomunicazione - http://www.dfc.unibo.it/it   Università degli Studi di Bari www.uniba.it   Facoltà di Lettere e Filosofia - http://www.uniba.it/ateneo/facolta/lettere/