Abkiirzungs- und Symbolverzeichnisse 16 Abh. Abt. ahd. amerik. Anh. Anm. art. Aufl. Ausg. ausgew. Bd., Bde Bearb., bearb. Beih. Beitr. Ber. bes. BL, Bil. baw. ¢ ca. Chap. chines. ders. dh. dies. Diss. dist. ds. dt. durchges. ebd. Ed. ed. Einf. eingel. Einl, engl. Erg.Bd. Erg.heft(e) rl, erw. ev. F. Fasc. fol. franz, Abhandlung(en) Abteilung althochdeutsch amerikanisch Anhang Anmerkung articulus Auflage Ausgabe ausgewahit(e) Band, Bande Bearbeiter, Bearbeitung, bearbeitet Beiheft Beitrag, Beitrage Bericht(e) besondere, besonders Blatt, Blitter beziehungsweise caput, corpus, contra cirea Chapter chinesisch derselbe das heiBt das ist dieselbe(n). Dissertation distinctio das sind deutsch durchgesehen ebenda Editio, Edition edidit, ediderunt, edited, ediert Einfihrung eingeleitet Binleitung englisch Erginzungsband Erginzungsheft(e) erldutert erweitert evangelisch Folge Fasciculus, Fascicle, Fascicule, Fasciculo Folio franzésisch gedruckt Gesellschaft gesammelt(e) griechisch Heft(c) Handbuch hebraisch Heilig-, Heilige(s), heilig hollndisch id est insbesondere international italienisch Jahrhundert(e), Jahrhunderts jiidisch Kapitel katholisch lateinisch liber mittelhochdeutsch mittellateinisch Manuskript(c) Nachdruck Nachrichten, nach Christus Neudruck Neue Folge neuhochdeutsch niederlandisch ohne Jahr ohne Ort Ssterreichisch polnisch Praefatio Préface, Preface Professor Prooemium quaestio redigiert Register reprinted revidiert, revised russisch siche schottisch schweizerisch siehe oben sogenanit17 Abkiirzungs- und Symbolverzeichnisse Sp. Spalte(n) Zeichen Name in Worten span. spanisch spatlat, spatlateinisch x Wirklichkeits- es ist wirklich, daB Su. siehe unten operator Suppl. Supplement x Kontingenz- es ist kontingent, Tab. Tabelle(n) operator daB Taf. Tafel(a) ° Gebotsoperator es ist geboten, daB teil teilweise : v Verbotsoperator es ist verboten, da trans. Trans. translated; Teamslation E Erlaubnisoperator es ist erlaubt, daB my nud I Indifferenzoperator es ist freigestellt, ua, und andere ad Ubers., tibers. Ubersetzung, Ubersetzer, A naaedi fiir alle x gilt dheneee 2 jquantor fir alle x gil fibertr. ibertragen Vv, Einsquantor, fiir manche [einige] a ungarisch Manchquantor, x gilt ad. und Sfter Existenzquantor usw. und so weiter kennzeichnender fiir genau ein x gilt v von z Eins- (Manch-, v. Chr, vor Christus Existenz-)quantor verb. verbessert A, — indefiniter All fir alle x gilt vel. vergleiche quantor (bei indefinitem vollst. volistindig Variabilitats- Vorw. Vorwort bereich von x) zB, zum Beispiel Vv. indefiniter Eins- _filr manche [einige] (Manch-, Exi- x gilt (bei inde- : stenz-)quantor _finitem Variabili- 7. Logische und mathematische tdtsbereich von x) Symbole YY — Wahheitssymbol das Wahre (verum) Zeichen Name in Worten A Falschheitssymbol “das Falsche (falsum) Reece [logisches] Impli-_impliziert (aus... ‘ atismative opula is kationszeichen _folgt...) e negative Kopula ist nicht Be flogisches] Aqui- gleichwertig mit a Definitionszeichen nach Definition valenzzeichen ichbedeutend mi i Bleichbedeutend mit semantisches aus...folgt... 5 Kennzeichnungs- dasjenige x, fir Folgerungszeichen operator welches gilt e a a = Regelpfeil man darf von... foun nicht ‘ibergehen zu 7 ee ud <= doppelter Regel--_ man darf von... v Adjunktor oder (nicht aus- pfeil fibergehen zu.. schlicBend) und umgekehrt ia Deuakior entweder...oder... § -, —Ableitbarkeits- ist ableitbar (in ee Subjunktor wenn... dann... zeichen (insbeson- einem Kalkiil K), + Bisubjunktor genau dann, wenn dere zwischen aus... ist... 3 strikter Implikator es ist notwendig: Aussagen und ableitbar (in wenn... dann. Aussageformen: einem Kalkiil K) A Notwendigkeits- es ist notwendig, syntaktisches operator Folgerungszeichen) v Méglichkeits- ~ Aquivalenzztichen Aquivalent operator = Gleichheitszeichen gleich 2. Enzyklopidie Philosophie IIAbkiirzungs- und Symbolverzeichnisse 18 Zeichen Name in Worten Zeichen Name in Worten + Ungleichheits- ungleich U Vereinigungszei- _- Vereinigung von zeichen chen (fiir beliebig Identitatszeichen _identisch viele Mengen) * Nicht-Identitats- nicht identisch q Durchschnitts- geschnitten mit zeichen zeichen ei Kieiner-Zeichen _kileiner als n Durchschnittszei- Durchschnitt von < Kleiner-gleich- kleiner als oder chen (fir beliebig Zeichen gleich viele Mengen) > Gréfer-Zeichen _grGer als Ct. Komplement- Komplement von ich a = GrdBer-gieich- _grBer als oder et meaty Paka! sleich % Potenzmengen- Potenzmenge von zeichen € (mengentheoreti- ist Element von aches) Hleniadh: 1 Funktions- (die Funktion...) zeichen applikator angewandt auf... z Aras eee Pine re pian 1 Funktions- die Funktion von x, zeichea een abstraktor abstrahiert aus... 6 Mengenabstraktor die Menge der- a Abbildungszsichen ... wird abgebildet (x } jenigen x, fiir die gilt acs S _Teilmengenrelator ist Teilmenge von < _echter Teilmengen- ist echte Teil- relate peer Klammerung: Es werden die iblichen Klamme- 9 Zeichen der leeren leere Menge rungsregeln angewendet. Zur Klammerersparnis Menge bei logischen Formeln gilt, da —1 stirker bindet LU Vereinigungs-_vereinigt mit als alle anderen Junktoren, ferner A, v,>~« stirker zeichen als +, +.