§ 31. Engste Fassung (Normalform) der Ähnlichkeitsbedingung.
16) zab oder z = abz, und z ; an = 0, z ; bn = 0 -- sintemal letztres nach dem ersten Inversionstheoreme auf z 0 j a = a, z 0 j b = b, zb hinausläuft. Noch einfacher kann aber mit za, anz = 0 auch geschlossen werden z ; an = anz ; 1 = 0 ; 1 = 0, etc.
Diese Relationen 16) lassen zwar keineswegs schon aus der rechten Seite von (10) sich ableiten Ein unsrer dritten Fassung (10) ge- nügendes z braucht sie nicht zu erfüllen. Allein, wenn es ein ihr genügendes z überhaupt gibt, so gibt es auch in Gestalt von abz ein solches Relativ welches, wenn einfach z genannt, neben (10) die Re- lation 16) noch obendrein erfüllt. Wir können daher diese Relation 16) in die Ähnlichkeitsbedingung (10) als eine adventive Forderung noch mit aufnehmen, und gelangen zur folgenden "fünften Fassung" der Ähnlichkeitsdefinition D 32: (17)
[Formel 1]
, in der durch die weitestgehenden, maximalen Anforderungen das Ab- bildungsprinzip am meisten eingeschränkt, am engsten gefasst erscheint: als ein solches, welches populär zu reden die Elemente von a und b, und nur diese, einander (irgendwie gegenseitig eindeutig) zuordnet. [Aus dieser Zuordnung müssen alle erdenklichen der gleichen Ein- schränkung unterworfnen Zuordnungen zwischen den Elementen der beiden Systeme durch blosse Permutation der Elemente des einen von ihnen hervorgehn.]
Die Fassung (17) wollen wir die Normalform der Ähnlichkeitsdefini- tion nennen. Man unterscheidet in ihr vier Teilbedingungen, deren erste als die "Charakteristik" des Abbildungsprinzips bezeichnet werden kann, während die letzte eine "Adventivbedingung" dazu vorstellt; die beiden andern mögen die "Hauptbedingungen" heissen.
Aus unsrer Normalform (17) erhellt zugleich: dass dem Begriff der Ähnlichkeit zwischen zwei Systemen a, b keine "Relativität" (im Sinne Hoppe's) zufolge der Bezugnahme auf einen bestimmten, näm- lich den zugrunde gelegten Denkbereich anhaftet. Denn jedem Denk- bereiche 11, in welchem die Ähnlichkeit von a und b auch immer statuirt werden möge, müssen doch die Elemente von a und b selbst zum allerwenigsten angehören, und dem zugehörigen 12 gehören also auch die Systeme a, b sowie deren Konverse an. Da nun unser z in (17) ganz und gar eingeordnet dem Augenquaderrelativ ab ist, so wird es, wenn in irgend einem, so auch in jedem solchen Denkbereiche 12 ein Relativ z geben, das die Bedingungen (17) erfüllt.
Die Bevorzugung der Normalform -- oder manchmal auch schon der
§ 31. Engste Fassung (Normalform) der Ähnlichkeitsbedingung.
16) z⋹ăb oder z = ăbz, und z ; ā = 0, z̆ ; b̄ = 0 — sintemal letztres nach dem ersten Inversionstheoreme auf z ⋹ 0 ɟ ă = ă, z̆ ⋹ 0 ɟ b̆ = b̆, z ⋹ b hinausläuft. Noch einfacher kann aber mit z ⋹ ă, ā̆z = 0 auch geschlossen werden z ; ā = ā̆z ; 1 = 0 ; 1 = 0, etc.
Diese Relationen 16) lassen zwar keineswegs schon aus der rechten Seite von (10) sich ableiten Ein unsrer dritten Fassung (10) ge- nügendes z braucht sie nicht zu erfüllen. Allein, wenn es ein ihr genügendes z überhaupt gibt, so gibt es auch in Gestalt von ăbz ein solches Relativ welches, wenn einfach z genannt, neben (10) die Re- lation 16) noch obendrein erfüllt. Wir können daher diese Relation 16) in die Ähnlichkeitsbedingung (10) als eine adventive Forderung noch mit aufnehmen, und gelangen zur folgenden „fünften Fassung“ der Ähnlichkeitsdefinition D 32: (17)
[Formel 1]
, in der durch die weitestgehenden, maximalen Anforderungen das Ab- bildungsprinzip am meisten eingeschränkt, am engsten gefasst erscheint: als ein solches, welches populär zu reden die Elemente von a und b, und nur diese, einander (irgendwie gegenseitig eindeutig) zuordnet. [Aus dieser Zuordnung müssen alle erdenklichen der gleichen Ein- schränkung unterworfnen Zuordnungen zwischen den Elementen der beiden Systeme durch blosse Permutation der Elemente des einen von ihnen hervorgehn.]
Die Fassung (17) wollen wir die Normalform der Ähnlichkeitsdefini- tion nennen. Man unterscheidet in ihr vier Teilbedingungen, deren erste als die „Charakteristik“ des Abbildungsprinzips bezeichnet werden kann, während die letzte eine „Adventivbedingung“ dazu vorstellt; die beiden andern mögen die „Hauptbedingungen“ heissen.
Aus unsrer Normalform (17) erhellt zugleich: dass dem Begriff der Ähnlichkeit zwischen zwei Systemen a, b keine „Relativität“ (im Sinne Hoppe’s) zufolge der Bezugnahme auf einen bestimmten, näm- lich den zugrunde gelegten Denkbereich anhaftet. Denn jedem Denk- bereiche 11, in welchem die Ähnlichkeit von a und b auch immer statuirt werden möge, müssen doch die Elemente von a und b selbst zum allerwenigsten angehören, und dem zugehörigen 12 gehören also auch die Systeme a, b sowie deren Konverse an. Da nun unser z in (17) ganz und gar eingeordnet dem Augenquaderrelativ ăb ist, so wird es, wenn in irgend einem, so auch in jedem solchen Denkbereiche 12 ein Relativ z geben, das die Bedingungen (17) erfüllt.
Die Bevorzugung der Normalform — oder manchmal auch schon der
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0621"n="607"/><fwplace="top"type="header">§ 31. Engste Fassung (Normalform) der Ähnlichkeitsbedingung.</fw><lb/>
16) <hirendition="#et"><hirendition="#i">z</hi>⋹<hirendition="#i">ăb</hi> oder <hirendition="#i">z</hi> = <hirendition="#i">ăbz</hi>, und <hirendition="#i">z</hi> ; <hirendition="#i">ā</hi> = 0, <hirendition="#i">z̆</hi> ; <hirendition="#i">b̄</hi> = 0</hi><lb/>— sintemal letztres nach dem ersten Inversionstheoreme auf <hirendition="#i">z</hi>⋹ 0 ɟ<hirendition="#i">ă</hi> = <hirendition="#i">ă</hi>,<lb/><hirendition="#i">z̆</hi>⋹ 0 ɟ<hirendition="#i">b̆</hi> = <hirendition="#i">b̆</hi>, <hirendition="#i">z</hi>⋹<hirendition="#i">b</hi> hinausläuft. Noch einfacher kann aber mit <hirendition="#i">z</hi>⋹<hirendition="#i">ă</hi>,<lb/><hirendition="#i">ā̆z</hi> = 0 auch geschlossen werden <hirendition="#i">z</hi> ; <hirendition="#i">ā</hi> = <hirendition="#i">ā̆z</hi> ; 1 = 0 ; 1 = 0, etc.</p><lb/><p>Diese Relationen 16) lassen zwar keineswegs schon aus der rechten<lb/>
Seite von (10) sich ableiten Ein unsrer dritten Fassung (10) ge-<lb/>
nügendes <hirendition="#i">z</hi> braucht sie nicht zu erfüllen. Allein, wenn es ein ihr<lb/>
genügendes <hirendition="#i">z</hi> überhaupt gibt, so gibt es auch in Gestalt von <hirendition="#i">ăbz</hi> ein<lb/>
solches Relativ welches, wenn einfach <hirendition="#i">z</hi> genannt, neben (10) die Re-<lb/>
lation 16) noch obendrein erfüllt. Wir können daher diese Relation 16)<lb/>
in die Ähnlichkeitsbedingung (10) als eine <hirendition="#i">adventive Forderung</hi> noch<lb/>
mit aufnehmen, und gelangen zur folgenden „<hirendition="#g">fünften Fassung</hi>“ der<lb/>
Ähnlichkeitsdefinition <hirendition="#fr">D</hi> 32:<lb/>
(17) <formula/>,<lb/>
in der durch die weitestgehenden, <hirendition="#i">maximalen</hi> Anforderungen das Ab-<lb/>
bildungsprinzip am meisten eingeschränkt, am <hirendition="#i">engsten</hi> gefasst erscheint:<lb/>
als ein solches, welches populär zu reden die Elemente von <hirendition="#i">a</hi> und <hirendition="#i">b</hi>,<lb/><hirendition="#i">und nur diese</hi>, einander (irgendwie gegenseitig eindeutig) zuordnet.<lb/>
[Aus dieser Zuordnung müssen alle erdenklichen der gleichen Ein-<lb/>
schränkung unterworfnen Zuordnungen zwischen den Elementen der<lb/>
beiden Systeme durch blosse Permutation der Elemente des einen von<lb/>
ihnen hervorgehn.]</p><lb/><p>Die Fassung (17) wollen wir die <hirendition="#i">Normalform</hi> der Ähnlichkeitsdefini-<lb/>
tion nennen. Man unterscheidet in ihr vier Teilbedingungen, deren erste<lb/>
als die „Charakteristik“ des Abbildungsprinzips bezeichnet werden kann,<lb/>
während die letzte eine „Adventivbedingung“ dazu vorstellt; die beiden<lb/>
andern mögen die „Hauptbedingungen“ heissen.</p><lb/><p>Aus unsrer Normalform (17) erhellt zugleich: dass <hirendition="#i">dem Begriff<lb/>
der Ähnlichkeit</hi> zwischen zwei Systemen <hirendition="#i">a</hi>, <hirendition="#i">b keine</hi>„<hirendition="#i">Relativität</hi>“ (im<lb/>
Sinne <hirendition="#g">Hoppe’</hi>s) <hirendition="#i">zufolge der Bezugnahme auf</hi> einen bestimmten, näm-<lb/>
lich <hirendition="#i">den zugrunde gelegten Denkbereich anhaftet</hi>. Denn jedem Denk-<lb/>
bereiche 1<hirendition="#sup">1</hi>, in welchem die Ähnlichkeit von <hirendition="#i">a</hi> und <hirendition="#i">b</hi> auch immer<lb/>
statuirt werden möge, müssen doch die Elemente von <hirendition="#i">a</hi> und <hirendition="#i">b</hi> selbst<lb/>
zum allerwenigsten angehören, und dem zugehörigen 1<hirendition="#sup">2</hi> gehören also<lb/>
auch die Systeme <hirendition="#i">a</hi>, <hirendition="#i">b</hi> sowie deren Konverse an. Da nun unser <hirendition="#i">z</hi> in<lb/>
(17) ganz und gar eingeordnet dem Augenquaderrelativ <hirendition="#i">ăb</hi> ist, so wird<lb/>
es, <hirendition="#i">wenn in irgend einem</hi>, <hirendition="#i">so auch in jedem</hi> solchen Denkbereiche 1<hirendition="#sup">2</hi> ein<lb/>
Relativ <hirendition="#i">z geben</hi>, das die Bedingungen (17) erfüllt.</p><lb/><p>Die Bevorzugung der Normalform — oder manchmal auch schon der<lb/></p></div></div></body></text></TEI>
[607/0621]
§ 31. Engste Fassung (Normalform) der Ähnlichkeitsbedingung.
16) z⋹ăb oder z = ăbz, und z ; ā = 0, z̆ ; b̄ = 0
— sintemal letztres nach dem ersten Inversionstheoreme auf z ⋹ 0 ɟ ă = ă,
z̆ ⋹ 0 ɟ b̆ = b̆, z ⋹ b hinausläuft. Noch einfacher kann aber mit z ⋹ ă,
ā̆z = 0 auch geschlossen werden z ; ā = ā̆z ; 1 = 0 ; 1 = 0, etc.
Diese Relationen 16) lassen zwar keineswegs schon aus der rechten
Seite von (10) sich ableiten Ein unsrer dritten Fassung (10) ge-
nügendes z braucht sie nicht zu erfüllen. Allein, wenn es ein ihr
genügendes z überhaupt gibt, so gibt es auch in Gestalt von ăbz ein
solches Relativ welches, wenn einfach z genannt, neben (10) die Re-
lation 16) noch obendrein erfüllt. Wir können daher diese Relation 16)
in die Ähnlichkeitsbedingung (10) als eine adventive Forderung noch
mit aufnehmen, und gelangen zur folgenden „fünften Fassung“ der
Ähnlichkeitsdefinition D 32:
(17) [FORMEL],
in der durch die weitestgehenden, maximalen Anforderungen das Ab-
bildungsprinzip am meisten eingeschränkt, am engsten gefasst erscheint:
als ein solches, welches populär zu reden die Elemente von a und b,
und nur diese, einander (irgendwie gegenseitig eindeutig) zuordnet.
[Aus dieser Zuordnung müssen alle erdenklichen der gleichen Ein-
schränkung unterworfnen Zuordnungen zwischen den Elementen der
beiden Systeme durch blosse Permutation der Elemente des einen von
ihnen hervorgehn.]
Die Fassung (17) wollen wir die Normalform der Ähnlichkeitsdefini-
tion nennen. Man unterscheidet in ihr vier Teilbedingungen, deren erste
als die „Charakteristik“ des Abbildungsprinzips bezeichnet werden kann,
während die letzte eine „Adventivbedingung“ dazu vorstellt; die beiden
andern mögen die „Hauptbedingungen“ heissen.
Aus unsrer Normalform (17) erhellt zugleich: dass dem Begriff
der Ähnlichkeit zwischen zwei Systemen a, b keine „Relativität“ (im
Sinne Hoppe’s) zufolge der Bezugnahme auf einen bestimmten, näm-
lich den zugrunde gelegten Denkbereich anhaftet. Denn jedem Denk-
bereiche 11, in welchem die Ähnlichkeit von a und b auch immer
statuirt werden möge, müssen doch die Elemente von a und b selbst
zum allerwenigsten angehören, und dem zugehörigen 12 gehören also
auch die Systeme a, b sowie deren Konverse an. Da nun unser z in
(17) ganz und gar eingeordnet dem Augenquaderrelativ ăb ist, so wird
es, wenn in irgend einem, so auch in jedem solchen Denkbereiche 12 ein
Relativ z geben, das die Bedingungen (17) erfüllt.
Die Bevorzugung der Normalform — oder manchmal auch schon der
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. 607. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/621>, abgerufen am 03.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/.