Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

Zehnte Vorlesung.
auch als identische sowol wie relative Produkte von i und j darstellbar
nachgewiesen sind, so erhellt, dass in unsrer Disziplin wesentlich keine
andern Symbole und Operationen als wie: binäre Relative und die
sechs Spezies (inclusive P- und S-bildung) vorkommen. Die Disziplin
würde sich rein als eine solche darstellen lassen, die sich blos auf
diesem Gebiete und in diesem Operationskreise bewegt.

§ 26. Das Einauge, dessen Charakteristik und Knüpfungen.

Das "Elementepaar" oder "individuelle binäre Relativ" i ; j entspricht
dem "Punkt" in der Geometrie der Ebene und könnte auch schlecht-
weg als ein solcher, als "Individuum des zweiten Denkbereichs" be-
zeichnet werden. Die Matrix dieses Relativs besitzt nämlich stets und
nur ein Auge, und zwar an der Schnittstelle der iten Zeile mit der
jten Kolonne -- oder, wie wir jetzt auch sagen dürfen: mit der "Ko-
lonne j". Darum nennen wir solches Relativ auch ein "Einauge". Es
möge i ; j vorerst z heissen.

Wir wollen uns nunmehr mit der Charakteristik und den funda-
mentalen Eigenschaften des Einauges beschäftigen.

Die Charakteristik des binären individuellen Relativs, Elementepaars,
Punktes oder Einauges muss sich ergeben, indem man aus den drei
Gleichungen:
1) [Formel 1]
die beiden Symbole i und j (welches, wenn man will, nur als j vor-
kommt) regelrecht eliminirt. Leider aber haben wir dafür noch keine
bequeme Regel von allgemeiner Anwendbarkeit. Für i etwa x und y
für j sagend mag man auch schreiben:
2) z = xy, 1' j xn ; 1 = x, 1 ; yn j 1' = y,
woraus x und y zu eliminiren.

Ich gewinne die gesuchte Resultante, indem ich aus diesen drei
Gleichungen durch besondre Kunstgriffe eine Reihe von Schlüssen --
z betreffend -- ziehe, hernach zeige, dass die Vereinigung dieser Kon-
klusionen oder partiellen Resultanten die volle Resultante ausmacht.

Zur Aufstellung partieller Resultanten, für die dann nur noch die
rechnerische Begründung beizubringen ist, wird man leicht heuristisch durch
die geometrische Evidenz geführt.

Zur Resultante gehört jedenfalls, dass z ; 1 · 1 ; z oder z ; 1 ; z = z ist,
und ferner dass z (zn j 1')(1' j zn) sein muss -- letztres, weil das Einauge

Zehnte Vorlesung.
auch als identische sowol wie relative Produkte von i und darstellbar
nachgewiesen sind, so erhellt, dass in unsrer Disziplin wesentlich keine
andern Symbole und Operationen als wie: binäre Relative und die
sechs Spezies (inclusive Π- und Σ-bildung) vorkommen. Die Disziplin
würde sich rein als eine solche darstellen lassen, die sich blos auf
diesem Gebiete und in diesem Operationskreise bewegt.

§ 26. Das Einauge, dessen Charakteristik und Knüpfungen.

Das „Elementepaar“ oder „individuelle binäre Relativi ; j entspricht
dem „Punkt“ in der Geometrie der Ebene und könnte auch schlecht-
weg als ein solcher, als „Individuum des zweiten Denkbereichs“ be-
zeichnet werden. Die Matrix dieses Relativs besitzt nämlich stets und
nur ein Auge, und zwar an der Schnittstelle der iten Zeile mit der
jten Kolonne — oder, wie wir jetzt auch sagen dürfen: mit der „Ko-
lonne “. Darum nennen wir solches Relativ auch ein „Einauge“. Es
möge i ; j vorerst z heissen.

Wir wollen uns nunmehr mit der Charakteristik und den funda-
mentalen Eigenschaften des Einauges beschäftigen.

Die Charakteristik des binären individuellen Relativs, Elementepaars,
Punktes oder Einauges muss sich ergeben, indem man aus den drei
Gleichungen:
1) [Formel 1]
die beiden Symbole i und j (welches, wenn man will, nur als vor-
kommt) regelrecht eliminirt. Leider aber haben wir dafür noch keine
bequeme Regel von allgemeiner Anwendbarkeit. Für i etwa x und y
für sagend mag man auch schreiben:
2) z = xy, 1' ɟ ; 1 = x, 1 ; ɟ 1' = y,
woraus x und y zu eliminiren.

Ich gewinne die gesuchte Resultante, indem ich aus diesen drei
Gleichungen durch besondre Kunstgriffe eine Reihe von Schlüssen —
z betreffend — ziehe, hernach zeige, dass die Vereinigung dieser Kon-
klusionen oder partiellen Resultanten die volle Resultante ausmacht.

Zur Aufstellung partieller Resultanten, für die dann nur noch die
rechnerische Begründung beizubringen ist, wird man leicht heuristisch durch
die geometrische Evidenz geführt.

Zur Resultante gehört jedenfalls, dass z ; 1 · 1 ; z oder z ; 1 ; z = z ist,
und ferner dass z ⋹ ( ɟ 1')(1' ɟ ) sein muss — letztres, weil das Einauge

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0438" n="424"/><fw place="top" type="header">Zehnte Vorlesung.</fw><lb/>
auch als identische sowol wie relative Produkte von <hi rendition="#i">i</hi> und <hi rendition="#i">j&#x0306;</hi> darstellbar<lb/>
nachgewiesen sind, so erhellt, dass in unsrer Disziplin <hi rendition="#i">wesentlich</hi> keine<lb/>
andern Symbole und Operationen als wie: binäre Relative und die<lb/>
sechs Spezies (inclusive <hi rendition="#i">&#x03A0;</hi>- und <hi rendition="#i">&#x03A3;</hi>-bildung) vorkommen. Die Disziplin<lb/>
würde sich <hi rendition="#i">rein</hi> als eine solche darstellen lassen, die sich blos auf<lb/>
diesem Gebiete und in diesem Operationskreise bewegt.</p>
        </div><lb/>
        <div n="2">
          <head>§ 26. <hi rendition="#b">Das Einauge, dessen Charakteristik und Knüpfungen.</hi></head><lb/>
          <p>Das &#x201E;<hi rendition="#i">Elementepaar</hi>&#x201C; oder &#x201E;<hi rendition="#i">individuelle binäre Relativ</hi>&#x201C; <hi rendition="#i">i</hi> ; <hi rendition="#i">j</hi> entspricht<lb/>
dem &#x201E;<hi rendition="#i">Punkt</hi>&#x201C; in der Geometrie der Ebene und könnte auch schlecht-<lb/>
weg als ein solcher, als &#x201E;<hi rendition="#i">Individuum</hi> des zweiten Denkbereichs&#x201C; be-<lb/>
zeichnet werden. Die Matrix dieses Relativs besitzt nämlich stets und<lb/>
nur <hi rendition="#i">ein</hi> Auge, und zwar an der Schnittstelle der <hi rendition="#i">i</hi><hi rendition="#sup">ten</hi> Zeile mit der<lb/><hi rendition="#i">j</hi><hi rendition="#sup">ten</hi> Kolonne &#x2014; oder, wie wir jetzt auch sagen dürfen: mit der &#x201E;Ko-<lb/>
lonne <hi rendition="#i">j&#x0306;</hi>&#x201C;. Darum nennen wir solches Relativ auch ein &#x201E;<hi rendition="#i">Einauge</hi>&#x201C;. Es<lb/>
möge <hi rendition="#i">i</hi> ; <hi rendition="#i">j</hi> vorerst <hi rendition="#i">z</hi> heissen.</p><lb/>
          <p>Wir wollen uns nunmehr mit der Charakteristik und den funda-<lb/>
mentalen Eigenschaften des Einauges beschäftigen.</p><lb/>
          <p>Die <hi rendition="#i">Charakteristik des binären individuellen Relativs</hi>, <hi rendition="#i">Elementepaars</hi>,<lb/><hi rendition="#i">Punktes oder Einauges</hi> muss sich ergeben, indem man aus den drei<lb/>
Gleichungen:<lb/>
1) <formula/><lb/>
die beiden Symbole <hi rendition="#i">i</hi> und <hi rendition="#i">j</hi> (welches, wenn man will, nur als <hi rendition="#i">j&#x0306;</hi> vor-<lb/>
kommt) regelrecht <hi rendition="#i">eliminirt</hi>. Leider aber haben wir dafür noch keine<lb/><hi rendition="#i">bequeme</hi> Regel von allgemeiner Anwendbarkeit. Für <hi rendition="#i">i</hi> etwa <hi rendition="#i">x</hi> und <hi rendition="#i">y</hi><lb/>
für <hi rendition="#i">j&#x0306;</hi> sagend mag man auch schreiben:<lb/>
2) <hi rendition="#et"><hi rendition="#i">z</hi> = <hi rendition="#i">xy</hi>, 1' &#x025F; <hi rendition="#i">x&#x0304;</hi> ; 1 = <hi rendition="#i">x</hi>, 1 ; <hi rendition="#i">y&#x0304;</hi> &#x025F; 1' = <hi rendition="#i">y</hi>,</hi><lb/>
woraus <hi rendition="#i">x</hi> und <hi rendition="#i">y</hi> zu eliminiren.</p><lb/>
          <p>Ich gewinne die gesuchte Resultante, indem ich aus diesen drei<lb/>
Gleichungen durch besondre Kunstgriffe eine Reihe von Schlüssen &#x2014;<lb/><hi rendition="#i">z</hi> betreffend &#x2014; ziehe, hernach zeige, dass die Vereinigung dieser Kon-<lb/>
klusionen oder partiellen Resultanten die volle Resultante ausmacht.</p><lb/>
          <p>Zur Aufstellung partieller Resultanten, für die dann nur noch die<lb/>
rechnerische Begründung beizubringen ist, wird man leicht heuristisch durch<lb/>
die geometrische Evidenz geführt.</p><lb/>
          <p>Zur Resultante gehört jedenfalls, dass <hi rendition="#i">z</hi> ; 1 · 1 ; <hi rendition="#i">z</hi> oder <hi rendition="#i">z</hi> ; 1 ; <hi rendition="#i">z</hi> = <hi rendition="#i">z</hi> ist,<lb/>
und ferner dass <hi rendition="#i">z</hi> &#x22F9; (<hi rendition="#i">z&#x0304;</hi> &#x025F; 1')(1' &#x025F; <hi rendition="#i">z&#x0304;</hi>) sein muss &#x2014; letztres, weil das Einauge<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[424/0438] Zehnte Vorlesung. auch als identische sowol wie relative Produkte von i und j̆ darstellbar nachgewiesen sind, so erhellt, dass in unsrer Disziplin wesentlich keine andern Symbole und Operationen als wie: binäre Relative und die sechs Spezies (inclusive Π- und Σ-bildung) vorkommen. Die Disziplin würde sich rein als eine solche darstellen lassen, die sich blos auf diesem Gebiete und in diesem Operationskreise bewegt. § 26. Das Einauge, dessen Charakteristik und Knüpfungen. Das „Elementepaar“ oder „individuelle binäre Relativ“ i ; j entspricht dem „Punkt“ in der Geometrie der Ebene und könnte auch schlecht- weg als ein solcher, als „Individuum des zweiten Denkbereichs“ be- zeichnet werden. Die Matrix dieses Relativs besitzt nämlich stets und nur ein Auge, und zwar an der Schnittstelle der iten Zeile mit der jten Kolonne — oder, wie wir jetzt auch sagen dürfen: mit der „Ko- lonne j̆“. Darum nennen wir solches Relativ auch ein „Einauge“. Es möge i ; j vorerst z heissen. Wir wollen uns nunmehr mit der Charakteristik und den funda- mentalen Eigenschaften des Einauges beschäftigen. Die Charakteristik des binären individuellen Relativs, Elementepaars, Punktes oder Einauges muss sich ergeben, indem man aus den drei Gleichungen: 1) [FORMEL] die beiden Symbole i und j (welches, wenn man will, nur als j̆ vor- kommt) regelrecht eliminirt. Leider aber haben wir dafür noch keine bequeme Regel von allgemeiner Anwendbarkeit. Für i etwa x und y für j̆ sagend mag man auch schreiben: 2) z = xy, 1' ɟ x̄ ; 1 = x, 1 ; ȳ ɟ 1' = y, woraus x und y zu eliminiren. Ich gewinne die gesuchte Resultante, indem ich aus diesen drei Gleichungen durch besondre Kunstgriffe eine Reihe von Schlüssen — z betreffend — ziehe, hernach zeige, dass die Vereinigung dieser Kon- klusionen oder partiellen Resultanten die volle Resultante ausmacht. Zur Aufstellung partieller Resultanten, für die dann nur noch die rechnerische Begründung beizubringen ist, wird man leicht heuristisch durch die geometrische Evidenz geführt. Zur Resultante gehört jedenfalls, dass z ; 1 · 1 ; z oder z ; 1 ; z = z ist, und ferner dass z ⋹ (z̄ ɟ 1')(1' ɟ z̄) sein muss — letztres, weil das Einauge

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
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/438
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 424. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/438>, abgerufen am 18.04.2024.