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 >>
§ 31. Erste bei der Ähnlichkeit involvirte Partialresultante.

Anders die beiden letzten Bedingungen sub 1 1/4 in 43).

Die letzte 0 j a = 0 j b von diesen, äquivalent mit 0 j a j 0 = 0 j b j 0
läuft hinaus auf
(a = 1) = (b = 1), also auch (a 1) = (b 1)
und besagt, dass, wenn von zwei ähnlichen Systemen das eine die sämt-
lichen Elemente des Denkbereiches umfasst, dies auch beim andern der
Fall sein müsse, und wenn dort nicht, so auch hier nicht.

In Verbindung mit dieser letzten sagt die vorletzte Bedingung 1 ; (1' j a) =
= 1 ; (1' j b) oder 0 j 0' ; an = 0 j 0' ; bn aus, dass ferner, wenn a sämtliche
Elemente des Denkbereiches bis auf eines enthält, dann auch b sämtliche
Elemente mit Ausnahme von irgend einem enthalten müsse, und andern-
falles nicht -- sowie umgekehrt.

Diese beiden Bedingungen werden aber in der That nur für einen
"endlichen" Denkbereich, und für jeden solchen, gültig sein. Sie können
für einen unbegrenzten Denkbereich unmöglich Geltung haben, weil von
solchem bekannt ist, dass er auch in echte Teile seinerselbst eineindeutig
oder ähnlich abgebildet werden kann (S. 596). Ebensowenig also werden
diese beiden "letzten" Bedingungen für den voraussetzungslosen Denkbereich
Geltung beanspruchen dürfen; sie können durchaus nicht etwa zwingende
Konklusionen aus unsrer Ähnlichkeitsdefinition sein und lassen sich als
solche in der That auch nicht beweisen.

Allgemein hat man sich etwa in der Mitte der zu 1 1/4 gemachten An-
gabe 43) eine Cäsur, einen Einschnitt angebracht und in die Öffnung
Punkte "..." hineingesetzt zu denken, welche bei den höhern Denkbereichen
durch immer mehr noch weiter einzuschaltende bislang noch unbekannte
Bedingungen ersetzt zu denken sind, während die beiden ersten Bedingungen
(als partielle Resultanten) für jeden Denkbereich bestehen und sich fort-
erhalten müssen.

Überspringen wir nun die Punkte ..., so wird auch die vorletzte und
die letzte von den vier sub 1 1/4 angeführten Bedingungen in jedem begrenzten
Denkbereiche noch Geltung behalten und die Reihe der Partialresultanten
abschliessen.

Dagegen wird man sich vorzustellen haben, dass, wenn bei ev. un-
begrenztem Denkbereiche auf dem hier betretnen Wege die explizite Ähn-
lichkeitsdefinition mittelst Hinzufügung von immer weitren Bedingungen
(als Partialresultanten) zu den beiden ersten sub 1 1/4 in 43) angeführten
jemals ihre Ergänzung (zur vollen Resultante), deren sie noch bedarf, finden
sollte: alsdann die beiden "letzten" Bedingungen von ebenda "niemals
kommen" werden. --

Die erste Bedingung und Partialresultante:
45) (a b) (1 ; a = 1 ; b) = (a ; a = b ; b) = etc.
-- deren noch andere Formen wir bereits in den zwei ersten Zeilen
unter dem Strich in 31) S. 617 aufgeführt -- statuirt, wie gesagt:
Ähnliche Systeme können nur gleichzeitig verschwinden, und müssen andern-

40*
§ 31. Erste bei der Ähnlichkeit involvirte Partialresultante.

Anders die beiden letzten Bedingungen sub 1 ¼ in 43).

Die letzte 0 ɟ a = 0 ɟ b von diesen, äquivalent mit 0 ɟ a ɟ 0 = 0 ɟ b ɟ 0
läuft hinaus auf
(a = 1) = (b = 1), also auch (a ≠ 1) = (b ≠ 1)
und besagt, dass, wenn von zwei ähnlichen Systemen das eine die sämt-
lichen Elemente des Denkbereiches umfasst, dies auch beim andern der
Fall sein müsse, und wenn dort nicht, so auch hier nicht.

In Verbindung mit dieser letzten sagt die vorletzte Bedingung 1 ; (1' ɟ a) =
= 1 ; (1' ɟ b) oder 0 ɟ 0' ; ā = 0 ɟ 0' ; b̄ aus, dass ferner, wenn a sämtliche
Elemente des Denkbereiches bis auf eines enthält, dann auch b sämtliche
Elemente mit Ausnahme von irgend einem enthalten müsse, und andern-
falles nicht — sowie umgekehrt.

Diese beiden Bedingungen werden aber in der That nur für einen
„endlichen“ Denkbereich, und für jeden solchen, gültig sein. Sie können
für einen unbegrenzten Denkbereich unmöglich Geltung haben, weil von
solchem bekannt ist, dass er auch in echte Teile seinerselbst eineindeutig
oder ähnlich abgebildet werden kann (S. 596). Ebensowenig also werden
diese beiden „letzten“ Bedingungen für den voraussetzungslosen Denkbereich
Geltung beanspruchen dürfen; sie können durchaus nicht etwa zwingende
Konklusionen aus unsrer Ähnlichkeitsdefinition sein und lassen sich als
solche in der That auch nicht beweisen.

Allgemein hat man sich etwa in der Mitte der zu 1 ¼ gemachten An-
gabe 43) eine Cäsur, einen Einschnitt angebracht und in die Öffnung
Punkte „…“ hineingesetzt zu denken, welche bei den höhern Denkbereichen
durch immer mehr noch weiter einzuschaltende bislang noch unbekannte
Bedingungen ersetzt zu denken sind, während die beiden ersten Bedingungen
(als partielle Resultanten) für jeden Denkbereich bestehen und sich fort-
erhalten müssen.

Überspringen wir nun die Punkte …, so wird auch die vorletzte und
die letzte von den vier sub 1 ¼ angeführten Bedingungen in jedem begrenzten
Denkbereiche noch Geltung behalten und die Reihe der Partialresultanten
abschliessen.

Dagegen wird man sich vorzustellen haben, dass, wenn bei ev. un-
begrenztem Denkbereiche auf dem hier betretnen Wege die explizite Ähn-
lichkeitsdefinition mittelst Hinzufügung von immer weitren Bedingungen
(als Partialresultanten) zu den beiden ersten sub 1 ¼ in 43) angeführten
jemals ihre Ergänzung (zur vollen Resultante), deren sie noch bedarf, finden
sollte: alsdann die beiden „letzten“ Bedingungen von ebenda „niemals
kommen“ werden. —

Die erste Bedingung und Partialresultante:
45) (a ∽ b) ⋹ (1 ; a = 1 ; b) = (ă ; a = b̆ ; b) = etc.
— deren noch andere Formen wir bereits in den zwei ersten Zeilen
unter dem Strich in 31) S. 617 aufgeführt — statuirt, wie gesagt:
Ähnliche Systeme können nur gleichzeitig verschwinden, und müssen andern-

40*
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0641" n="627"/>
          <fw place="top" type="header">§ 31. Erste bei der Ähnlichkeit involvirte Partialresultante.</fw><lb/>
          <p>Anders die beiden letzten Bedingungen sub 1 ¼ in 43).</p><lb/>
          <p>Die letzte 0 &#x025F; <hi rendition="#i">a</hi> = 0 &#x025F; <hi rendition="#i">b</hi> von diesen, äquivalent mit 0 &#x025F; <hi rendition="#i">a</hi> &#x025F; 0 = 0 &#x025F; <hi rendition="#i">b</hi> &#x025F; 0<lb/>
läuft hinaus auf<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> = 1) = (<hi rendition="#i">b</hi> = 1), also auch (<hi rendition="#i">a</hi> &#x2260; 1) = (<hi rendition="#i">b</hi> &#x2260; 1)</hi><lb/>
und besagt, dass, wenn von zwei ähnlichen Systemen das eine die sämt-<lb/>
lichen Elemente des Denkbereiches umfasst, dies auch beim andern der<lb/>
Fall sein müsse, und wenn dort nicht, so auch hier nicht.</p><lb/>
          <p><hi rendition="#i">In Verbindung mit</hi> dieser letzten sagt die vorletzte Bedingung 1 ; (1' &#x025F; <hi rendition="#i">a</hi>) =<lb/>
= 1 ; (1' &#x025F; <hi rendition="#i">b</hi>) oder 0 &#x025F; 0' ; <hi rendition="#i">a&#x0304;</hi> = 0 &#x025F; 0' ; <hi rendition="#i">b&#x0304;</hi> aus, dass ferner, wenn <hi rendition="#i">a sämtliche</hi><lb/>
Elemente des Denkbereiches <hi rendition="#i">bis auf eines</hi> enthält, dann auch <hi rendition="#i">b sämtliche</hi><lb/>
Elemente <hi rendition="#i">mit Ausnahme von irgend einem</hi> enthalten müsse, und andern-<lb/>
falles nicht &#x2014; sowie umgekehrt.</p><lb/>
          <p>Diese beiden Bedingungen werden aber in der That nur für einen<lb/>
&#x201E;<hi rendition="#i">endlichen</hi>&#x201C; Denkbereich, und für jeden solchen, gültig sein. Sie können<lb/>
für einen unbegrenzten Denkbereich unmöglich Geltung haben, weil von<lb/>
solchem bekannt ist, dass er auch in echte Teile seinerselbst eineindeutig<lb/>
oder ähnlich abgebildet werden kann (S. 596). Ebensowenig also werden<lb/>
diese beiden &#x201E;letzten&#x201C; Bedingungen für den <hi rendition="#i">voraussetzungslosen</hi> Denkbereich<lb/>
Geltung beanspruchen dürfen; sie können durchaus nicht etwa zwingende<lb/>
Konklusionen aus unsrer Ähnlichkeitsdefinition sein und lassen sich als<lb/>
solche in der That auch nicht beweisen.</p><lb/>
          <p>Allgemein hat man sich etwa in der Mitte der zu 1 ¼ gemachten An-<lb/>
gabe 43) eine Cäsur, einen Einschnitt angebracht und in die Öffnung<lb/>
Punkte &#x201E;&#x2026;&#x201C; hineingesetzt zu denken, welche <hi rendition="#i">bei den höhern Denkbereichen</hi><lb/>
durch immer mehr noch weiter einzuschaltende bislang noch unbekannte<lb/>
Bedingungen ersetzt zu denken sind, während <hi rendition="#i">die beiden ersten Bedingungen</hi><lb/>
(als partielle Resultanten) <hi rendition="#i">für jeden Denkbereich</hi> bestehen und <hi rendition="#i">sich fort-<lb/>
erhalten</hi> müssen.</p><lb/>
          <p>Überspringen wir nun die Punkte &#x2026;, so wird auch die <hi rendition="#i">vorletzte</hi> und<lb/>
die <hi rendition="#i">letzte</hi> von den vier sub 1 ¼ angeführten Bedingungen <hi rendition="#i">in jedem begrenzten<lb/>
Denkbereiche</hi> noch Geltung behalten und die Reihe der Partialresultanten<lb/>
abschliessen.</p><lb/>
          <p>Dagegen wird man sich vorzustellen haben, dass, wenn bei ev. un-<lb/>
begrenztem Denkbereiche <hi rendition="#i">auf dem hier betretnen Wege</hi> die explizite Ähn-<lb/>
lichkeitsdefinition mittelst Hinzufügung von immer weitren Bedingungen<lb/>
(als Partialresultanten) zu den beiden ersten sub 1 ¼ in 43) angeführten<lb/>
jemals ihre Ergänzung (zur vollen Resultante), deren sie noch bedarf, finden<lb/>
sollte: alsdann die beiden &#x201E;letzten&#x201C; Bedingungen von ebenda &#x201E;<hi rendition="#i">niemals<lb/>
kommen</hi>&#x201C; werden. &#x2014;</p><lb/>
          <p>Die <hi rendition="#i">erste</hi> Bedingung und <hi rendition="#i">Partialresultante</hi>:<lb/>
45) <hi rendition="#et">(<hi rendition="#i">a</hi> &#x223D; <hi rendition="#i">b</hi>) &#x22F9; (1 ; <hi rendition="#i">a</hi> = 1 ; <hi rendition="#i">b</hi>) = (<hi rendition="#i">a&#x0306;</hi> ; <hi rendition="#i">a</hi> = <hi rendition="#i">b&#x0306;</hi> ; <hi rendition="#i">b</hi>) = etc.</hi><lb/>
&#x2014; deren noch andere Formen wir bereits in den zwei ersten Zeilen<lb/>
unter dem Strich in 31) S. 617 aufgeführt &#x2014; statuirt, wie gesagt:<lb/><hi rendition="#i">Ähnliche Systeme können nur gleichzeitig verschwinden, und müssen andern-</hi><lb/>
<fw place="bottom" type="sig">40*</fw><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[627/0641] § 31. Erste bei der Ähnlichkeit involvirte Partialresultante. Anders die beiden letzten Bedingungen sub 1 ¼ in 43). Die letzte 0 ɟ a = 0 ɟ b von diesen, äquivalent mit 0 ɟ a ɟ 0 = 0 ɟ b ɟ 0 läuft hinaus auf (a = 1) = (b = 1), also auch (a ≠ 1) = (b ≠ 1) und besagt, dass, wenn von zwei ähnlichen Systemen das eine die sämt- lichen Elemente des Denkbereiches umfasst, dies auch beim andern der Fall sein müsse, und wenn dort nicht, so auch hier nicht. In Verbindung mit dieser letzten sagt die vorletzte Bedingung 1 ; (1' ɟ a) = = 1 ; (1' ɟ b) oder 0 ɟ 0' ; ā = 0 ɟ 0' ; b̄ aus, dass ferner, wenn a sämtliche Elemente des Denkbereiches bis auf eines enthält, dann auch b sämtliche Elemente mit Ausnahme von irgend einem enthalten müsse, und andern- falles nicht — sowie umgekehrt. Diese beiden Bedingungen werden aber in der That nur für einen „endlichen“ Denkbereich, und für jeden solchen, gültig sein. Sie können für einen unbegrenzten Denkbereich unmöglich Geltung haben, weil von solchem bekannt ist, dass er auch in echte Teile seinerselbst eineindeutig oder ähnlich abgebildet werden kann (S. 596). Ebensowenig also werden diese beiden „letzten“ Bedingungen für den voraussetzungslosen Denkbereich Geltung beanspruchen dürfen; sie können durchaus nicht etwa zwingende Konklusionen aus unsrer Ähnlichkeitsdefinition sein und lassen sich als solche in der That auch nicht beweisen. Allgemein hat man sich etwa in der Mitte der zu 1 ¼ gemachten An- gabe 43) eine Cäsur, einen Einschnitt angebracht und in die Öffnung Punkte „…“ hineingesetzt zu denken, welche bei den höhern Denkbereichen durch immer mehr noch weiter einzuschaltende bislang noch unbekannte Bedingungen ersetzt zu denken sind, während die beiden ersten Bedingungen (als partielle Resultanten) für jeden Denkbereich bestehen und sich fort- erhalten müssen. Überspringen wir nun die Punkte …, so wird auch die vorletzte und die letzte von den vier sub 1 ¼ angeführten Bedingungen in jedem begrenzten Denkbereiche noch Geltung behalten und die Reihe der Partialresultanten abschliessen. Dagegen wird man sich vorzustellen haben, dass, wenn bei ev. un- begrenztem Denkbereiche auf dem hier betretnen Wege die explizite Ähn- lichkeitsdefinition mittelst Hinzufügung von immer weitren Bedingungen (als Partialresultanten) zu den beiden ersten sub 1 ¼ in 43) angeführten jemals ihre Ergänzung (zur vollen Resultante), deren sie noch bedarf, finden sollte: alsdann die beiden „letzten“ Bedingungen von ebenda „niemals kommen“ werden. — Die erste Bedingung und Partialresultante: 45) (a ∽ b) ⋹ (1 ; a = 1 ; b) = (ă ; a = b̆ ; b) = etc. — deren noch andere Formen wir bereits in den zwei ersten Zeilen unter dem Strich in 31) S. 617 aufgeführt — statuirt, wie gesagt: Ähnliche Systeme können nur gleichzeitig verschwinden, und müssen andern- 40*

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/641
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 627. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/641>, abgerufen am 18.05.2024.