Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.

Bild:
<< vorherige Seite
nächste Seite >>

Zweite Vorlesung.
enten i : j als eines Gliedes der a zu nennenden Summe gefordert wird --
ansonst wir streng genommen genötigt sein würden auch noch den Satz
a + 0 = a für Relative a von vornherein zu postuliren, und zu dem kleinen
(übrigens in der That nicht sehr bedenklichen) Zirkel kämen, dass dieses
vorweg als eine Konvention stipulirte Postulat sich später doch aus den
noch hinzutretenden Konventionen beweisen lassen würde.

Einmal gesagt muss auch noch sein, dass bei mehrfachen Indizes,
wie ij, ijh, ..., sei es im Suffixe von S oder P Zeichen, sei es im
Suffixe eines Relativ-Symbols, wie a, an, a + b, etc., die Elementbuchstaben
eigentlich durch Kommata getrennt zu denken sind -- was wir ausdrück-
lich zu thun blos der Druck- und Raumersparniss halber unterlassen: im
Suffixe ist i j stets als Repräsentant von i,j und nicht etwa als "Produkt"
von i und j (welches ja allerdings korrekt mit i j darzustellen wäre) auf-
zufassen!

Da die Bezeichnung der Summationsvariabeln von vornherein
gleichgültig ist, nämlich dazu uns jeder nicht schon anderweitig ver-
gebene Name zur Verfügung steht, so konnten wir natürlich (5) auch
schreiben:
[Formel 1] ,
und zu solcher Abänderung der Indizesbenennung müssten wir behufs
Anwendung des Schema's (5) jedenfalls schreiten in solchen Fällen,
wo etwa einer der Namen i und j (vielleicht zur Darstellung eines be-
stimmten Elementes) bereits anderweitig vergeben, nicht mehr dispo-
nibel wäre.

Für a kann aber auch b oder c, und so weiter, in (5) durchweg
gesetzt werden, kurzum ein jedes Symbol, sei es einfach oder zusammen-
gesetzt, welches uns ein binäres Relativ vorzustellen bestimmt ist oder
das wir unter die binären Relative aufnehmen. Die Konvention (5)
sollte als eine allgemeine hingestellt sein und das "Schema" für alle
binären Relative abgeben.

Soferne also in den nachstehenden Gleichungen die Symbole linker-
hand uns als binäre Relative zu gelten haben werden, ist implicite mit
(5) zugleich schon folgendes festgesetzt:
[Formel 2] -- was zur Erleichterung des Verständnisses von allem Nachfolgenden
hiermit ausdrücklich statuirt sei. --


Zweite Vorlesung.
enten i : j als eines Gliedes der a zu nennenden Summe gefordert wird —
ansonst wir streng genommen genötigt sein würden auch noch den Satz
a + 0 = a für Relative a von vornherein zu postuliren, und zu dem kleinen
(übrigens in der That nicht sehr bedenklichen) Zirkel kämen, dass dieses
vorweg als eine Konvention stipulirte Postulat sich später doch aus den
noch hinzutretenden Konventionen beweisen lassen würde.

Einmal gesagt muss auch noch sein, dass bei mehrfachen Indizes,
wie ij, ijh, …, sei es im Suffixe von Σ oder Π Zeichen, sei es im
Suffixe eines Relativ-Symbols, wie a, ā, a + b, etc., die Elementbuchstaben
eigentlich durch Kommata getrennt zu denken sind — was wir ausdrück-
lich zu thun blos der Druck- und Raumersparniss halber unterlassen: im
Suffixe ist i j stets als Repräsentant von i,j und nicht etwa als „Produkt“
von i und j (welches ja allerdings korrekt mit i j darzustellen wäre) auf-
zufassen!

Da die Bezeichnung der Summationsvariabeln von vornherein
gleichgültig ist, nämlich dazu uns jeder nicht schon anderweitig ver-
gebene Name zur Verfügung steht, so konnten wir natürlich (5) auch
schreiben:
[Formel 1] ,
und zu solcher Abänderung der Indizesbenennung müssten wir behufs
Anwendung des Schema’s (5) jedenfalls schreiten in solchen Fällen,
wo etwa einer der Namen i und j (vielleicht zur Darstellung eines be-
stimmten Elementes) bereits anderweitig vergeben, nicht mehr dispo-
nibel wäre.

Für a kann aber auch b oder c, und so weiter, in (5) durchweg
gesetzt werden, kurzum ein jedes Symbol, sei es einfach oder zusammen-
gesetzt, welches uns ein binäres Relativ vorzustellen bestimmt ist oder
das wir unter die binären Relative aufnehmen. Die Konvention (5)
sollte als eine allgemeine hingestellt sein und das „Schema“ für alle
binären Relative abgeben.

Soferne also in den nachstehenden Gleichungen die Symbole linker-
hand uns als binäre Relative zu gelten haben werden, ist implicite mit
(5) zugleich schon folgendes festgesetzt:
[Formel 2] — was zur Erleichterung des Verständnisses von allem Nachfolgenden
hiermit ausdrücklich statuirt sei. —


<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0038" n="24"/><fw place="top" type="header">Zweite Vorlesung.</fw><lb/>
enten <hi rendition="#i">i</hi> : <hi rendition="#i">j</hi> als eines Gliedes der <hi rendition="#i">a</hi> zu nennenden Summe gefordert wird &#x2014;<lb/>
ansonst wir streng genommen genötigt sein würden auch noch den Satz<lb/><hi rendition="#i">a</hi> + 0 = <hi rendition="#i">a</hi> für Relative <hi rendition="#i">a</hi> von vornherein zu postuliren, und zu dem kleinen<lb/>
(übrigens in der That nicht sehr bedenklichen) Zirkel kämen, dass dieses<lb/>
vorweg als eine Konvention stipulirte Postulat sich später doch aus den<lb/>
noch hinzutretenden Konventionen <hi rendition="#i">beweisen</hi> lassen würde.</p><lb/>
          <p>Einmal gesagt muss auch noch sein, dass bei mehrfachen Indizes,<lb/>
wie <hi rendition="#i">ij</hi>, <hi rendition="#i">ijh</hi>, &#x2026;, sei es im Suffixe von <hi rendition="#i">&#x03A3;</hi> oder <hi rendition="#i">&#x03A0;</hi> Zeichen, sei es im<lb/>
Suffixe eines Relativ-Symbols, wie <hi rendition="#i">a</hi>, <hi rendition="#i">a&#x0304;</hi>, <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>, etc., die Elementbuchstaben<lb/>
eigentlich <hi rendition="#i">durch Kommata getrennt</hi> zu denken sind &#x2014; was wir ausdrück-<lb/>
lich zu thun blos der Druck- und Raumersparniss halber unterlassen: <hi rendition="#i">im<lb/>
Suffixe</hi> ist <hi rendition="#i">i j</hi> stets als Repräsentant von <hi rendition="#i">i,j</hi> und nicht etwa als &#x201E;Produkt&#x201C;<lb/>
von <hi rendition="#i">i</hi> und <hi rendition="#i">j</hi> (welches ja allerdings korrekt mit <hi rendition="#i">i j</hi> darzustellen wäre) auf-<lb/>
zufassen!</p><lb/>
          <p>Da die Bezeichnung der Summationsvariabeln von vornherein<lb/>
gleichgültig ist, nämlich dazu uns jeder nicht schon anderweitig ver-<lb/>
gebene Name zur Verfügung steht, so konnten wir natürlich (5) auch<lb/>
schreiben:<lb/><hi rendition="#c"><formula/>,</hi><lb/>
und zu solcher Abänderung der Indizesbenennung <hi rendition="#i">müssten</hi> wir behufs<lb/>
Anwendung des Schema&#x2019;s (5) jedenfalls schreiten in solchen Fällen,<lb/>
wo etwa einer der Namen <hi rendition="#i">i</hi> und <hi rendition="#i">j</hi> (vielleicht zur Darstellung <hi rendition="#i">eines be-<lb/>
stimmten</hi> Elementes) bereits anderweitig vergeben, nicht mehr dispo-<lb/>
nibel wäre.</p><lb/>
          <p>Für <hi rendition="#i">a</hi> kann aber auch <hi rendition="#i">b</hi> oder <hi rendition="#i">c</hi>, und so weiter, in (5) durchweg<lb/>
gesetzt werden, kurzum ein jedes Symbol, sei es einfach oder zusammen-<lb/>
gesetzt, welches uns ein binäres Relativ vorzustellen bestimmt ist oder<lb/>
das wir unter die binären Relative aufnehmen. Die Konvention (5)<lb/>
sollte als eine <hi rendition="#i">allgemeine</hi> hingestellt sein und das &#x201E;<hi rendition="#i">Schema</hi>&#x201C; für <hi rendition="#i">alle</hi><lb/>
binären Relative abgeben.</p><lb/>
          <p>Soferne also in den nachstehenden Gleichungen die Symbole linker-<lb/>
hand uns als binäre Relative zu gelten haben werden, ist implicite mit<lb/>
(5) zugleich schon folgendes festgesetzt:<lb/><formula/> &#x2014; was zur Erleichterung des Verständnisses von allem Nachfolgenden<lb/>
hiermit ausdrücklich statuirt sei. &#x2014;</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[24/0038] Zweite Vorlesung. enten i : j als eines Gliedes der a zu nennenden Summe gefordert wird — ansonst wir streng genommen genötigt sein würden auch noch den Satz a + 0 = a für Relative a von vornherein zu postuliren, und zu dem kleinen (übrigens in der That nicht sehr bedenklichen) Zirkel kämen, dass dieses vorweg als eine Konvention stipulirte Postulat sich später doch aus den noch hinzutretenden Konventionen beweisen lassen würde. Einmal gesagt muss auch noch sein, dass bei mehrfachen Indizes, wie ij, ijh, …, sei es im Suffixe von Σ oder Π Zeichen, sei es im Suffixe eines Relativ-Symbols, wie a, ā, a + b, etc., die Elementbuchstaben eigentlich durch Kommata getrennt zu denken sind — was wir ausdrück- lich zu thun blos der Druck- und Raumersparniss halber unterlassen: im Suffixe ist i j stets als Repräsentant von i,j und nicht etwa als „Produkt“ von i und j (welches ja allerdings korrekt mit i j darzustellen wäre) auf- zufassen! Da die Bezeichnung der Summationsvariabeln von vornherein gleichgültig ist, nämlich dazu uns jeder nicht schon anderweitig ver- gebene Name zur Verfügung steht, so konnten wir natürlich (5) auch schreiben: [FORMEL], und zu solcher Abänderung der Indizesbenennung müssten wir behufs Anwendung des Schema’s (5) jedenfalls schreiten in solchen Fällen, wo etwa einer der Namen i und j (vielleicht zur Darstellung eines be- stimmten Elementes) bereits anderweitig vergeben, nicht mehr dispo- nibel wäre. Für a kann aber auch b oder c, und so weiter, in (5) durchweg gesetzt werden, kurzum ein jedes Symbol, sei es einfach oder zusammen- gesetzt, welches uns ein binäres Relativ vorzustellen bestimmt ist oder das wir unter die binären Relative aufnehmen. Die Konvention (5) sollte als eine allgemeine hingestellt sein und das „Schema“ für alle binären Relative abgeben. Soferne also in den nachstehenden Gleichungen die Symbole linker- hand uns als binäre Relative zu gelten haben werden, ist implicite mit (5) zugleich schon folgendes festgesetzt: [FORMEL] — was zur Erleichterung des Verständnisses von allem Nachfolgenden hiermit ausdrücklich statuirt sei. —

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ?

Language Resource Switchboard?

Feedback

Sie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden.

Kommentar zur DTA-Ausgabe

Dieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.




Ansicht auf Standard zurückstellen

URL zu diesem Werk: https://www.deutschestextarchiv.de/schroeder_logik03_1895
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik03_1895/38
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 24. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/38>, abgerufen am 27.11.2024.