0) a = a j 0 = a ; 1, b = b j 0 = b ; 1 ist (stets) die Existenz, die Möglichkeit einer "ähnlichen (sive deutlichen) Abbildung" x resp. x dieser beiden Systeme aufeinander, d. i. einer gegenseitig eindeutigen Zuordnung zwischen den sämtlichen Elementen des einen und denen des andern Systems -- was nun aber begrifflich noch eingehender zu erläutern bleibt.
Man kann diese Anforderung zunächst "rigoros" formuliren als eine minimale, so nämlich, dass nicht mehr, als unbedingt erforderlich, verlangt wird, m. a. W. dass der Sachverhalt lediglich als eine "interne Angelegen- heit" der Systeme a und b in's Auge gefasst und über das externe Ver- halten des Abbildungsprinzips x nichts stipulirt wird, es also gänzlich offen gelassen wird, welche x-Bilder die Elemente von nicht-a oder an noch innerhalb oder ausserhalb b besitzen mögen, sowie von welchen Elementen ausserhalb b (also von bn) die Elemente sei es von a, sei es von an auch sonst noch x-Bilder sein mögen. Vollends: ob es in a Elemente gibt, die keine x-Bilder von andern sind, sowie ob es in b Elemente gibt, von denen kein x-Bild existirt, soll ebenfalls offen, gleichgültig bleiben.
Was verlangt wird, ist (dann) folgendes:
Zu jedem Element h von a soll es innerhalb b ein und nur ein Element k geben, welches ein x-Bild desselben ist, und umgekehrt: zu jedem Element k von b soll es innerhalb a ein und nur ein Element h geben, von welchem jenes k ein x-Bild ist.
Bei der Formulirung werden wir indess das bestimmte Zahlwort "ein (und nur ein)" vermeiden müssen und die darauf zielende Forde- rung zu ersetzen haben durch eine andere als die an ihrer Statt zu- grund zu legende, welche wesentlich stipulirt, dass zu Andrem (sive Verschiedenem) Andres (Verschiedenes) gehören solle.
Es liegt also wesentlich die Auflage vor:
Zu jedem ha gibt es (ein) kb und zu jedem kb gibt es (ein) ha derart dass kx ; h (somit hx ; k) ist, während zugleich die Doppelforderung erfüllt ist, die wir ad hoc -- um ihren Ausdruck nicht wiederholt anschreiben zu müssen -- mit Xk h bezeichnen wollen, dass nämlich
[Formel 1]
In Zeichen drückt sich dies so aus:
[Formel 2]
Dies vereinfacht sich nun für die Koeffizienten unsrer Relative zu
Zwölfte Vorlesung.
0) a = a ɟ 0 = a ; 1, b = b ɟ 0 = b ; 1 ist (stets) die Existenz, die Möglichkeit einer „ähnlichen (sive deutlichen) Abbildung“ x resp. x̆ dieser beiden Systeme aufeinander, d. i. einer gegenseitig eindeutigen Zuordnung zwischen den sämtlichen Elementen des einen und denen des andern Systems — was nun aber begrifflich noch eingehender zu erläutern bleibt.
Man kann diese Anforderung zunächst „rigoros“ formuliren als eine minimale, so nämlich, dass nicht mehr, als unbedingt erforderlich, verlangt wird, m. a. W. dass der Sachverhalt lediglich als eine „interne Angelegen- heit“ der Systeme a und b in’s Auge gefasst und über das externe Ver- halten des Abbildungsprinzips x nichts stipulirt wird, es also gänzlich offen gelassen wird, welche x-Bilder die Elemente von nicht-a oder ā noch innerhalb oder ausserhalb b besitzen mögen, sowie von welchen Elementen ausserhalb b (also von b̄) die Elemente sei es von a, sei es von ā auch sonst noch x-Bilder sein mögen. Vollends: ob es in a Elemente gibt, die keine x-Bilder von andern sind, sowie ob es in b Elemente gibt, von denen kein x-Bild existirt, soll ebenfalls offen, gleichgültig bleiben.
Was verlangt wird, ist (dann) folgendes:
Zu jedem Element h von a soll es innerhalb b ein und nur ein Element k geben, welches ein x-Bild desselben ist, und umgekehrt: zu jedem Element k von b soll es innerhalb a ein und nur ein Element h geben, von welchem jenes k ein x-Bild ist.
Bei der Formulirung werden wir indess das bestimmte Zahlwort „ein (und nur ein)“ vermeiden müssen und die darauf zielende Forde- rung zu ersetzen haben durch eine andere als die an ihrer Statt zu- grund zu legende, welche wesentlich stipulirt, dass zu Andrem (sive Verschiedenem) Andres (Verschiedenes) gehören solle.
Es liegt also wesentlich die Auflage vor:
Zu jedem h ⋹ a gibt es (ein) k ⋹ b und zu jedem k ⋹ b gibt es (ein) h ⋹ a derart dass k⋹x ; h (somit h ⋹ x̆ ; k) ist, während zugleich die Doppelforderung erfüllt ist, die wir ad hoc — um ihren Ausdruck nicht wiederholt anschreiben zu müssen — mit Xk h bezeichnen wollen, dass nämlich
[Formel 1]
In Zeichen drückt sich dies so aus:
[Formel 2]
Dies vereinfacht sich nun für die Koeffizienten unsrer Relative zu
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0614"n="600"/><fwplace="top"type="header">Zwölfte Vorlesung.</fw><lb/>
0) <hirendition="#et"><hirendition="#i">a</hi> = <hirendition="#i">a</hi>ɟ 0 = <hirendition="#i">a</hi> ; 1, <hirendition="#i">b</hi> = <hirendition="#i">b</hi>ɟ 0 = <hirendition="#i">b</hi> ; 1</hi><lb/>
ist (stets) die <hirendition="#i">Existenz</hi>, die Möglichkeit einer „<hirendition="#i">ähnlichen</hi> (sive <hirendition="#i">deutlichen</hi>)<lb/><hirendition="#i">Abbildung</hi>“<hirendition="#i">x</hi> resp. <hirendition="#i">x̆</hi> dieser beiden Systeme aufeinander, d. i. einer<lb/><hirendition="#i">gegenseitig eindeutigen Zuordnung</hi> zwischen den sämtlichen <hirendition="#i">Elementen</hi><lb/>
des einen und denen des andern Systems — was nun aber begrifflich<lb/>
noch eingehender zu erläutern bleibt.</p><lb/><p>Man kann diese Anforderung zunächst „rigoros“ formuliren als eine<lb/><hirendition="#i">minimale</hi>, so nämlich, dass <hirendition="#i">nicht mehr</hi>, als unbedingt erforderlich, verlangt<lb/>
wird, m. a. W. dass der Sachverhalt lediglich als eine „<hirendition="#i">interne</hi> Angelegen-<lb/>
heit“ der Systeme <hirendition="#i">a</hi> und <hirendition="#i">b</hi> in’s Auge gefasst und über das externe Ver-<lb/>
halten des Abbildungsprinzips <hirendition="#i">x nichts</hi> stipulirt wird, es also gänzlich offen<lb/>
gelassen wird, <hirendition="#i">welche x</hi>-Bilder die Elemente von nicht-<hirendition="#i">a</hi> oder <hirendition="#i">ā</hi> noch<lb/><hirendition="#i">innerhalb oder ausserhalb b</hi> besitzen mögen, sowie <hirendition="#i">von</hi> welchen Elementen<lb/>
ausserhalb <hirendition="#i">b</hi> (also von <hirendition="#i">b̄</hi>) die Elemente <hirendition="#i">sei es von a</hi>, <hirendition="#i">sei es von ā</hi> auch<lb/>
sonst noch <hirendition="#i">x</hi>-Bilder sein mögen. Vollends: ob es in <hirendition="#i">a</hi> Elemente gibt, die<lb/>
keine <hirendition="#i">x</hi>-Bilder von andern sind, sowie ob es in <hirendition="#i">b</hi> Elemente gibt, von denen<lb/>
kein <hirendition="#i">x</hi>-Bild existirt, soll ebenfalls offen, gleichgültig bleiben.</p><lb/><p>Was verlangt wird, ist (dann) folgendes:</p><lb/><p><hirendition="#i">Zu jedem Element h von a soll es innerhalb b ein und nur ein<lb/>
Element k geben, welches ein x-Bild desselben ist, und umgekehrt: zu<lb/>
jedem Element k von b soll es innerhalb a ein und nur ein Element h<lb/>
geben, von welchem jenes k ein x-Bild ist.</hi></p><lb/><p>Bei der Formulirung werden wir indess das bestimmte Zahlwort<lb/>„ein (und nur ein)“ vermeiden müssen und die darauf zielende Forde-<lb/>
rung zu ersetzen haben durch eine andere als die an ihrer Statt zu-<lb/>
grund zu legende, welche wesentlich stipulirt, dass zu Andrem (sive<lb/>
Verschiedenem) Andres (Verschiedenes) gehören solle.</p><lb/><p>Es liegt also wesentlich die Auflage vor:</p><lb/><p>Zu jedem <hirendition="#i">h</hi>⋹<hirendition="#i">a</hi> gibt es (ein) <hirendition="#i">k</hi>⋹<hirendition="#i">b</hi> und zu jedem <hirendition="#i">k</hi>⋹<hirendition="#i">b</hi> gibt es<lb/>
(ein) <hirendition="#i">h</hi>⋹<hirendition="#i">a</hi> derart dass<lb/><hirendition="#c"><hirendition="#i">k</hi>⋹<hirendition="#i">x</hi> ; <hirendition="#i">h</hi> (somit <hirendition="#i">h</hi>⋹<hirendition="#i">x̆</hi> ; <hirendition="#i">k</hi>)</hi><lb/>
ist, während zugleich die Doppelforderung erfüllt ist, die wir ad hoc<lb/>— um ihren Ausdruck nicht wiederholt anschreiben zu müssen —<lb/>
mit <hirendition="#i">X<hirendition="#sub">k h</hi></hi> bezeichnen wollen, dass nämlich<lb/><formula/></p><lb/><p>In Zeichen drückt sich dies so aus:<lb/><formula/></p><lb/><p>Dies vereinfacht sich nun für die Koeffizienten unsrer Relative zu<lb/></p></div></div></body></text></TEI>
[600/0614]
Zwölfte Vorlesung.
0) a = a ɟ 0 = a ; 1, b = b ɟ 0 = b ; 1
ist (stets) die Existenz, die Möglichkeit einer „ähnlichen (sive deutlichen)
Abbildung“ x resp. x̆ dieser beiden Systeme aufeinander, d. i. einer
gegenseitig eindeutigen Zuordnung zwischen den sämtlichen Elementen
des einen und denen des andern Systems — was nun aber begrifflich
noch eingehender zu erläutern bleibt.
Man kann diese Anforderung zunächst „rigoros“ formuliren als eine
minimale, so nämlich, dass nicht mehr, als unbedingt erforderlich, verlangt
wird, m. a. W. dass der Sachverhalt lediglich als eine „interne Angelegen-
heit“ der Systeme a und b in’s Auge gefasst und über das externe Ver-
halten des Abbildungsprinzips x nichts stipulirt wird, es also gänzlich offen
gelassen wird, welche x-Bilder die Elemente von nicht-a oder ā noch
innerhalb oder ausserhalb b besitzen mögen, sowie von welchen Elementen
ausserhalb b (also von b̄) die Elemente sei es von a, sei es von ā auch
sonst noch x-Bilder sein mögen. Vollends: ob es in a Elemente gibt, die
keine x-Bilder von andern sind, sowie ob es in b Elemente gibt, von denen
kein x-Bild existirt, soll ebenfalls offen, gleichgültig bleiben.
Was verlangt wird, ist (dann) folgendes:
Zu jedem Element h von a soll es innerhalb b ein und nur ein
Element k geben, welches ein x-Bild desselben ist, und umgekehrt: zu
jedem Element k von b soll es innerhalb a ein und nur ein Element h
geben, von welchem jenes k ein x-Bild ist.
Bei der Formulirung werden wir indess das bestimmte Zahlwort
„ein (und nur ein)“ vermeiden müssen und die darauf zielende Forde-
rung zu ersetzen haben durch eine andere als die an ihrer Statt zu-
grund zu legende, welche wesentlich stipulirt, dass zu Andrem (sive
Verschiedenem) Andres (Verschiedenes) gehören solle.
Es liegt also wesentlich die Auflage vor:
Zu jedem h ⋹ a gibt es (ein) k ⋹ b und zu jedem k ⋹ b gibt es
(ein) h ⋹ a derart dass
k⋹x ; h (somit h ⋹ x̆ ; k)
ist, während zugleich die Doppelforderung erfüllt ist, die wir ad hoc
— um ihren Ausdruck nicht wiederholt anschreiben zu müssen —
mit Xk h bezeichnen wollen, dass nämlich
[FORMEL]
In Zeichen drückt sich dies so aus:
[FORMEL]
Dies vereinfacht sich nun für die Koeffizienten unsrer Relative zu
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 600. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/614>, abgerufen am 04.09.2024.
Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer
Creative-Commons-Lizenz.
Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken.
Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf
diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken
dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder
nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der
Herabwürdigung der Menschenwürde gezeigt werden.
Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des
§ 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen
Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung
der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu
vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.