§ 3. Einordnung und Gleichheit zwischen Relativen.
Korollar zu (14) (a = b) = Pi j(ai j = bi j) -- wonach denn zwei Relative dann und nur dann einander gleich zu nennen sein werden, wenn sie in den gleichstelligen Koeffizienten über- einstimmen, d. h. identisch die nämlichen Elementepaare ausschliesslich umfassen.
Damit findet auch unsre oben noch verbal geführte Überlegung, dass ein binäres Relativ durch seine Koeffizienten bestimmt sei, ihre rechnerische Bestätigung, und es wird den bereits in Gleichungenform gegebenen Festsetzungen (5) bis (13) durch (14) und (1) ihr voller Inhalt gesichert.
Wenn gelegentlich auch von Beziehungen der Unterordnung wie ab (wo a "echter" Teil von b zu nennen), vielleicht der Sekanz a @ b, etc. wird gesprochen werden, so können wir diese gleichwie die Beziehungen ab (a ungleich b), ab (a nicht eingeordnet b), gemäss Bd. 2 nun auch als auf der Grundlage von (14) definirt erachten.
Zum Schlusse noch ein Wort der Rechtfertigung über die Ab- weichungen meines Bezeichnungssystems von den Peirce'schen, resp. dem uns am nächsten kommenden von diesen:
Wegen des nicht kommutativen Charakters der relativen Addition habe ich das Piu-Zeichen unsymmetrisch gestaltet, während Peirce9c sich noch mit dem steifen bei Todesanzeigen üblichen Kreuze behalf. Aus ähnlichem Grunde ist für die relative Multiplikation der Strichpunkt, das Semikolon, als ein unsymmetrisches Knüpfungszeichen von mir gewählt, während ich die identische Multiplikation als eine kommutative Knüpfung auch sym- metrisch ausdrücke, sei es vermittelst des Punktes als Malzeichens, sei es -- wie zumeist -- durch einfaches Nebeneinanderstellen der Faktoren (ohne ausdrückliches Verbindungszeichen). In letztrer Hinsicht weiche ich wesent- lich von Peirce ab.
Peirce bezeichnet das identische Produkt mit "a,b". Ganz abgesehen davon, dass dieses Komma als Malzeichen für eine kommutative Knüpfung wegen seiner Unsymmetrie hinsichtlich rechts und links als weniger geeignet erscheint, muss ich solche Verwendung eines so häufig als Interpunktions- zeichen gebrauchten Trennungszeichens nach wie vor für gänzlich unan- nehmbar erklären wegen der Verwirrung die sie anzurichten nicht verfehlen kann sowohl und vor allem im Texte, als auch in den Formeln, wo Funk- tionen von mehreren Argumenten in Betracht kommen, die ja auch durch Kommata zu trennen wären. Vergl. Bd. 1, S. 193 sq.
Die relative Multiplikation sodann drückt Peirce sozusagen symme- trisch mittelst einfachen Nebeneinanderstellens der Faktoren aus. Hiezu konnte ich mich schon darum, weil letztres Verfahren anderweitig vergeben war, nicht mehr bequemen.
Allerdings lassen sich zwei Umstände zugunsten dieses Peirce'schen Verfahrens anführen. Der eine ist geringfügiger Art: wird ein Relativ a
Schröder, Algebra der Relative. 3
§ 3. Einordnung und Gleichheit zwischen Relativen.
Korollar zu (14) (a = b) = Πi j(ai j = bi j) — wonach denn zwei Relative dann und nur dann einander gleich zu nennen sein werden, wenn sie in den gleichstelligen Koeffizienten über- einstimmen, d. h. identisch die nämlichen Elementepaare ausschliesslich umfassen.
Damit findet auch unsre oben noch verbal geführte Überlegung, dass ein binäres Relativ durch seine Koeffizienten bestimmt sei, ihre rechnerische Bestätigung, und es wird den bereits in Gleichungenform gegebenen Festsetzungen (5) bis (13) durch (14) und (1) ihr voller Inhalt gesichert.
Wenn gelegentlich auch von Beziehungen der Unterordnung wie a ⊂ b (wo a „echter“ Teil von b zu nennen), vielleicht der Sekanz a  b, etc. wird gesprochen werden, so können wir diese gleichwie die Beziehungen a ≠ b (a ungleich b), a ⋹ b (a nicht eingeordnet b), gemäss Bd. 2 nun auch als auf der Grundlage von (14) definirt erachten.
Zum Schlusse noch ein Wort der Rechtfertigung über die Ab- weichungen meines Bezeichnungssystems von den Peirce’schen, resp. dem uns am nächsten kommenden von diesen:
Wegen des nicht kommutativen Charakters der relativen Addition habe ich das Piu-Zeichen unsymmetrisch gestaltet, während Peirce9c sich noch mit dem steifen bei Todesanzeigen üblichen Kreuze behalf. Aus ähnlichem Grunde ist für die relative Multiplikation der Strichpunkt, das Semikolon, als ein unsymmetrisches Knüpfungszeichen von mir gewählt, während ich die identische Multiplikation als eine kommutative Knüpfung auch sym- metrisch ausdrücke, sei es vermittelst des Punktes als Malzeichens, sei es — wie zumeist — durch einfaches Nebeneinanderstellen der Faktoren (ohne ausdrückliches Verbindungszeichen). In letztrer Hinsicht weiche ich wesent- lich von Peirce ab.
Peirce bezeichnet das identische Produkt mit „a,b“. Ganz abgesehen davon, dass dieses Komma als Malzeichen für eine kommutative Knüpfung wegen seiner Unsymmetrie hinsichtlich rechts und links als weniger geeignet erscheint, muss ich solche Verwendung eines so häufig als Interpunktions- zeichen gebrauchten Trennungszeichens nach wie vor für gänzlich unan- nehmbar erklären wegen der Verwirrung die sie anzurichten nicht verfehlen kann sowohl und vor allem im Texte, als auch in den Formeln, wo Funk- tionen von mehreren Argumenten in Betracht kommen, die ja auch durch Kommata zu trennen wären. Vergl. Bd. 1, S. 193 sq.
Die relative Multiplikation sodann drückt Peirce sozusagen symme- trisch mittelst einfachen Nebeneinanderstellens der Faktoren aus. Hiezu konnte ich mich schon darum, weil letztres Verfahren anderweitig vergeben war, nicht mehr bequemen.
Allerdings lassen sich zwei Umstände zugunsten dieses Peirce’schen Verfahrens anführen. Der eine ist geringfügiger Art: wird ein Relativ a
Schröder, Algebra der Relative. 3
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0047"n="33"/><fwplace="top"type="header">§ 3. Einordnung und Gleichheit zwischen Relativen.</fw><lb/><hirendition="#g">Korollar</hi> zu (14) (<hirendition="#i">a</hi> = <hirendition="#i">b</hi>) = <hirendition="#i">Π<hirendition="#sub">i j</hi></hi>(<hirendition="#i">a<hirendition="#sub">i j</hi></hi> = <hirendition="#i">b<hirendition="#sub">i j</hi></hi>)<lb/>— wonach denn zwei Relative dann und nur dann einander gleich zu<lb/>
nennen sein werden, wenn sie in den gleichstelligen Koeffizienten über-<lb/>
einstimmen, d. h. identisch die nämlichen Elementepaare ausschliesslich<lb/>
umfassen.</p><lb/><p>Damit findet auch unsre oben noch verbal geführte Überlegung,<lb/>
dass ein binäres Relativ durch seine Koeffizienten bestimmt sei, ihre<lb/>
rechnerische Bestätigung, und es wird den bereits in Gleichungenform<lb/>
gegebenen Festsetzungen (5) bis (13) durch (14) und (1) ihr voller<lb/>
Inhalt gesichert.</p><lb/><p>Wenn gelegentlich auch von Beziehungen der <hirendition="#i">Unterordnung</hi> wie <hirendition="#i">a</hi>⊂<hirendition="#i">b</hi><lb/>
(wo <hirendition="#i">a</hi>„<hirendition="#i">echter</hi>“ Teil von <hirendition="#i">b</hi> zu nennen), vielleicht der Sekanz <hirendition="#i">a</hi><hirendition="#i">b</hi>, etc.<lb/>
wird gesprochen werden, so können wir diese gleichwie die Beziehungen<lb/><hirendition="#i">a</hi>≠<hirendition="#i">b</hi> (<hirendition="#i">a ungleich b</hi>), <hirendition="#i">a</hi>⋹<hirendition="#i">b</hi> (<hirendition="#i">a nicht eingeordnet b</hi>), gemäss Bd. 2 nun auch<lb/>
als auf der Grundlage von (14) definirt erachten.</p><lb/><p>Zum Schlusse noch ein Wort der Rechtfertigung über die Ab-<lb/>
weichungen meines Bezeichnungssystems von den <hirendition="#g">Peirce’</hi>schen, resp.<lb/>
dem uns am nächsten kommenden von diesen:</p><lb/><p>Wegen des nicht kommutativen Charakters der relativen Addition habe<lb/>
ich das Piu-Zeichen unsymmetrisch gestaltet, während <hirendition="#g">Peirce</hi><hirendition="#sup">9c</hi> sich noch<lb/>
mit dem steifen bei Todesanzeigen üblichen Kreuze behalf. Aus ähnlichem<lb/>
Grunde ist für die relative Multiplikation der <hirendition="#i">Strichpunkt,</hi> das <hirendition="#i">Semikolon</hi>,<lb/>
als ein unsymmetrisches Knüpfungszeichen von mir gewählt, während ich<lb/>
die identische Multiplikation als eine kommutative Knüpfung auch sym-<lb/>
metrisch ausdrücke, sei es vermittelst des Punktes als Malzeichens, sei es<lb/>— wie zumeist — durch einfaches Nebeneinanderstellen der Faktoren (<hirendition="#i">ohne</hi><lb/>
ausdrückliches Verbindungszeichen). In letztrer Hinsicht weiche ich wesent-<lb/>
lich von <hirendition="#g">Peirce</hi> ab.</p><lb/><p><hirendition="#g">Peirce</hi> bezeichnet das identische Produkt mit „<hirendition="#i">a</hi>,<hirendition="#i">b</hi>“. Ganz abgesehen<lb/>
davon, dass dieses <hirendition="#i">Komma</hi> als Malzeichen für eine kommutative Knüpfung<lb/>
wegen seiner Unsymmetrie hinsichtlich rechts und links als weniger geeignet<lb/>
erscheint, muss ich solche Verwendung eines so häufig als Interpunktions-<lb/>
zeichen gebrauchten Trennungszeichens nach wie vor für <hirendition="#i">gänzlich unan-<lb/>
nehmbar</hi> erklären wegen der Verwirrung die sie anzurichten nicht verfehlen<lb/>
kann sowohl und vor allem <hirendition="#i">im Texte,</hi> als auch in den Formeln, wo Funk-<lb/>
tionen von mehreren Argumenten in Betracht kommen, die ja auch durch<lb/>
Kommata zu trennen wären. Vergl. Bd. 1, S. 193 sq.</p><lb/><p>Die <hirendition="#i">relative</hi> Multiplikation sodann drückt <hirendition="#g">Peirce</hi> sozusagen symme-<lb/>
trisch mittelst einfachen Nebeneinanderstellens der Faktoren aus. Hiezu<lb/>
konnte ich mich schon darum, weil letztres Verfahren anderweitig vergeben<lb/>
war, nicht mehr bequemen.</p><lb/><p>Allerdings lassen sich zwei Umstände zugunsten dieses <hirendition="#g">Peirce’</hi>schen<lb/>
Verfahrens anführen. Der eine ist geringfügiger Art: wird ein Relativ <hirendition="#i">a</hi><lb/><fwplace="bottom"type="sig"><hirendition="#k">Schröder</hi>, Algebra der Relative. 3</fw><lb/></p></div></div></body></text></TEI>
[33/0047]
§ 3. Einordnung und Gleichheit zwischen Relativen.
Korollar zu (14) (a = b) = Πi j(ai j = bi j)
— wonach denn zwei Relative dann und nur dann einander gleich zu
nennen sein werden, wenn sie in den gleichstelligen Koeffizienten über-
einstimmen, d. h. identisch die nämlichen Elementepaare ausschliesslich
umfassen.
Damit findet auch unsre oben noch verbal geführte Überlegung,
dass ein binäres Relativ durch seine Koeffizienten bestimmt sei, ihre
rechnerische Bestätigung, und es wird den bereits in Gleichungenform
gegebenen Festsetzungen (5) bis (13) durch (14) und (1) ihr voller
Inhalt gesichert.
Wenn gelegentlich auch von Beziehungen der Unterordnung wie a ⊂ b
(wo a „echter“ Teil von b zu nennen), vielleicht der Sekanz a  b, etc.
wird gesprochen werden, so können wir diese gleichwie die Beziehungen
a ≠ b (a ungleich b), a ⋹ b (a nicht eingeordnet b), gemäss Bd. 2 nun auch
als auf der Grundlage von (14) definirt erachten.
Zum Schlusse noch ein Wort der Rechtfertigung über die Ab-
weichungen meines Bezeichnungssystems von den Peirce’schen, resp.
dem uns am nächsten kommenden von diesen:
Wegen des nicht kommutativen Charakters der relativen Addition habe
ich das Piu-Zeichen unsymmetrisch gestaltet, während Peirce 9c sich noch
mit dem steifen bei Todesanzeigen üblichen Kreuze behalf. Aus ähnlichem
Grunde ist für die relative Multiplikation der Strichpunkt, das Semikolon,
als ein unsymmetrisches Knüpfungszeichen von mir gewählt, während ich
die identische Multiplikation als eine kommutative Knüpfung auch sym-
metrisch ausdrücke, sei es vermittelst des Punktes als Malzeichens, sei es
— wie zumeist — durch einfaches Nebeneinanderstellen der Faktoren (ohne
ausdrückliches Verbindungszeichen). In letztrer Hinsicht weiche ich wesent-
lich von Peirce ab.
Peirce bezeichnet das identische Produkt mit „a,b“. Ganz abgesehen
davon, dass dieses Komma als Malzeichen für eine kommutative Knüpfung
wegen seiner Unsymmetrie hinsichtlich rechts und links als weniger geeignet
erscheint, muss ich solche Verwendung eines so häufig als Interpunktions-
zeichen gebrauchten Trennungszeichens nach wie vor für gänzlich unan-
nehmbar erklären wegen der Verwirrung die sie anzurichten nicht verfehlen
kann sowohl und vor allem im Texte, als auch in den Formeln, wo Funk-
tionen von mehreren Argumenten in Betracht kommen, die ja auch durch
Kommata zu trennen wären. Vergl. Bd. 1, S. 193 sq.
Die relative Multiplikation sodann drückt Peirce sozusagen symme-
trisch mittelst einfachen Nebeneinanderstellens der Faktoren aus. Hiezu
konnte ich mich schon darum, weil letztres Verfahren anderweitig vergeben
war, nicht mehr bequemen.
Allerdings lassen sich zwei Umstände zugunsten dieses Peirce’schen
Verfahrens anführen. Der eine ist geringfügiger Art: wird ein Relativ a
Schröder, Algebra der Relative. 3
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. 33. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/47>, abgerufen am 24.11.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/.
