Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
Beiläufige Studie über identische Multiplikation und Addition.

Dann folgt nach Def. (3) aus:

x2 a und x''' aa x2 und a x'''
dass
x2 + x''' aa x2 x'''
und analog auch:
x2 + x''' bb x2 x'''
ist. Nennen wir nunmehr
x2 + x''' = x3x2 x''' = x3,
so ist x3 ein solches Gebiet, welchem sich alle bisherigen x "fügen", sogar
das letzte: x''', da wir nach Th. 6) haben:
x''' x3x3 x'''
während a) ja ohnehin von diesem x''' erfüllt wird.

Gibt es jetzt kein x mehr, welches a) erfüllt, ohne auch die Sub-
sumtion:
b3)

x x3x3 x
zu erfüllen, so ist: c = x3 als ein die Anforderungen der Def. (5) er-
füllendes c gefunden.

Gibt es aber noch ein x -- es heisse x''' -- welches sich bei der
Umkehrung dem x3 "nicht fügt", so kann man, ebenso weiter schliessend, ein:

x3 + x'''' = x4x3 x'''' = x4
konstruiren, für welches sich x'''' samt allen früheren Gebieten x "fügt".

In dieser Weise fortfahrend kann man aus jedem angebbaren sich
"nicht fügenden" und dem zuletzt gewonnenen x allemal ein neues x ab-
leiten, bezüglich dessen sich alle bisherigen "fügen"; man kann das sich
nicht fügende sozusagen endgültig beseitigen.

Man könnte sich hienach zu dem Schluss berechtigt glauben, es müsse
ein c existiren, für das sich jedes x "fügt". In der That sieht man sich
vor die Alternative gestellt, entweder diese Existenz zuzugeben, oder un-
begrenzt in der angegebenen Weise fortzuschliessen.

Jener Schluss wäre gleichwol nicht stichhaltig. Beispielsweise können
wir dies aus dem bekannten Paradoxon von Achilles mit der Schildkröte
lernen, wo die Alternative vorliegt, entweder zuzugeben, dass jener diese
nicht einholen könne, oder aber auf den zehntel, hundertel, tausendtel etc.
Schritt, der noch fehlt, ohne Ende fortzuschliessen. Die Abneigung vor
letzterem ist kein zwingender Grund, sich für ersteres zu entscheiden. --

Dass es Gebiete c gibt, die den Forderungen der Def. (5) genügen ist
stichhaltig ja schon in § 6 bewiesen.

Man könnte es nebenher auch so einsehen. Da nach Th. 6+) resp. 6x):

a a + b, b a + ba b a, a b b
sein muss, so ist für jedes die Bedingungen a) erfüllende x auch sicher:
x a + ba b x,

Beiläufige Studie über identische Multiplikation und Addition.

Dann folgt nach Def. (3) aus:

x2a und x''' ⋹ aax2 und ax'''
dass
x2 + x''' ⋹ aax2 x'''
und analog auch:
x2 + x''' ⋹ bbx2 x'''
ist. Nennen wir nunmehr
x2 + x''' = x3x2 x''' = x3,
so ist x3 ein solches Gebiet, welchem sich alle bisherigen x „fügen“, sogar
das letzte: x''', da wir nach Th. 6) haben:
x''' ⋹ x3x3x'''
während α) ja ohnehin von diesem x''' erfüllt wird.

Gibt es jetzt kein x mehr, welches α) erfüllt, ohne auch die Sub-
sumtion:
β3)

xx3x3x
zu erfüllen, so ist: c = x3 als ein die Anforderungen der Def. (5) er-
füllendes c gefunden.

Gibt es aber noch ein x — es heisse x''' — welches sich bei der
Umkehrung dem x3 „nicht fügt“, so kann man, ebenso weiter schliessend, ein:

x3 + x'''' = x4x3 x'''' = x4
konstruiren, für welches sich x'''' samt allen früheren Gebieten x „fügt“.

In dieser Weise fortfahrend kann man aus jedem angebbaren sich
„nicht fügenden“ und dem zuletzt gewonnenen x allemal ein neues x ab-
leiten, bezüglich dessen sich alle bisherigen „fügen“; man kann das sich
nicht fügende sozusagen endgültig beseitigen.

Man könnte sich hienach zu dem Schluss berechtigt glauben, es müsse
ein c existiren, für das sich jedes x „fügt“. In der That sieht man sich
vor die Alternative gestellt, entweder diese Existenz zuzugeben, oder un-
begrenzt in der angegebenen Weise fortzuschliessen.

Jener Schluss wäre gleichwol nicht stichhaltig. Beispielsweise können
wir dies aus dem bekannten Paradoxon von Achilles mit der Schildkröte
lernen, wo die Alternative vorliegt, entweder zuzugeben, dass jener diese
nicht einholen könne, oder aber auf den zehntel, hundertel, tausendtel etc.
Schritt, der noch fehlt, ohne Ende fortzuschliessen. Die Abneigung vor
letzterem ist kein zwingender Grund, sich für ersteres zu entscheiden. —

Dass es Gebiete c gibt, die den Forderungen der Def. (5) genügen ist
stichhaltig ja schon in § 6 bewiesen.

Man könnte es nebenher auch so einsehen. Da nach Th. 6+) resp. 6×):

aa + b, ba + ba ba, a bb
sein muss, so ist für jedes die Bedingungen α) erfüllende x auch sicher:
xa + ba bx,

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0617" n="597"/>
          <fw place="top" type="header">Beiläufige Studie über identische Multiplikation und Addition.</fw><lb/>
          <p>Dann folgt nach Def. (3) aus:<lb/><table><row><cell><hi rendition="#i">x</hi><hi rendition="#sup">2</hi> &#x22F9; <hi rendition="#i">a</hi> und <hi rendition="#i">x</hi>''' &#x22F9; <hi rendition="#i">a</hi></cell><cell><hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">x</hi><hi rendition="#sup">2</hi> und <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">x</hi>'''</cell></row><lb/></table> dass<lb/><table><row><cell><hi rendition="#i">x</hi><hi rendition="#sup">2</hi> + <hi rendition="#i">x</hi>''' &#x22F9; <hi rendition="#i">a</hi></cell><cell><hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">x</hi><hi rendition="#sup">2</hi> <hi rendition="#i">x</hi>'''</cell></row><lb/></table> und analog auch:<lb/><table><row><cell><hi rendition="#i">x</hi><hi rendition="#sup">2</hi> + <hi rendition="#i">x</hi>''' &#x22F9; <hi rendition="#i">b</hi></cell><cell><hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">x</hi><hi rendition="#sup">2</hi> <hi rendition="#i">x</hi>'''</cell></row><lb/></table> ist. Nennen wir nunmehr<lb/><table><row><cell><hi rendition="#i">x</hi><hi rendition="#sup">2</hi> + <hi rendition="#i">x</hi>''' = <hi rendition="#i">x</hi><hi rendition="#sup">3</hi></cell><cell><hi rendition="#i">x</hi><hi rendition="#sup">2</hi><hi rendition="#i">x</hi>''' = <hi rendition="#i">x</hi><hi rendition="#sup">3</hi>,</cell></row><lb/></table> so ist <hi rendition="#i">x</hi><hi rendition="#sup">3</hi> ein solches Gebiet, welchem sich alle bisherigen <hi rendition="#i">x</hi> &#x201E;fügen&#x201C;, sogar<lb/>
das letzte: <hi rendition="#i">x</hi>''', da wir nach Th. 6) haben:<lb/><table><row><cell><hi rendition="#i">x</hi>''' &#x22F9; <hi rendition="#i">x</hi><hi rendition="#sup">3</hi></cell><cell><hi rendition="#i">x</hi><hi rendition="#sup">3</hi> &#x22F9; <hi rendition="#i">x</hi>'''</cell></row><lb/></table> während <hi rendition="#i">&#x03B1;</hi>) ja ohnehin von diesem <hi rendition="#i">x</hi>''' erfüllt wird.</p><lb/>
          <p>Gibt es jetzt kein <hi rendition="#i">x</hi> mehr, welches <hi rendition="#i">&#x03B1;</hi>) erfüllt, ohne auch die Sub-<lb/>
sumtion:<lb/><hi rendition="#i">&#x03B2;</hi><hi rendition="#sup">3</hi>) <table><lb/><row><cell><hi rendition="#i">x</hi> &#x22F9; <hi rendition="#i">x</hi><hi rendition="#sup">3</hi></cell><cell><hi rendition="#i">x</hi><hi rendition="#sup">3</hi> &#x22F9; <hi rendition="#i">x</hi></cell></row><lb/></table> zu erfüllen, so ist: <hi rendition="#i">c</hi> = <hi rendition="#i">x</hi><hi rendition="#sup">3</hi> als ein die Anforderungen der Def. (5) er-<lb/>
füllendes <hi rendition="#i">c</hi> gefunden.</p><lb/>
          <p>Gibt es aber noch ein <hi rendition="#i">x</hi> &#x2014; es heisse <hi rendition="#i">x</hi>''' &#x2014; welches sich bei der<lb/>
Umkehrung dem <hi rendition="#i">x</hi><hi rendition="#sup">3</hi> &#x201E;nicht fügt&#x201C;, so kann man, ebenso weiter schliessend, ein:<lb/><table><row><cell><hi rendition="#i">x</hi><hi rendition="#sup">3</hi> + <hi rendition="#i">x</hi>'''' = <hi rendition="#i">x</hi><hi rendition="#sup">4</hi></cell><cell><hi rendition="#i">x</hi><hi rendition="#sup">3</hi><hi rendition="#i">x</hi>'''' = <hi rendition="#i">x</hi><hi rendition="#sup">4</hi></cell></row><lb/></table> konstruiren, für welches sich <hi rendition="#i">x</hi>'''' samt allen früheren Gebieten <hi rendition="#i">x</hi> &#x201E;fügt&#x201C;.</p><lb/>
          <p>In dieser Weise fortfahrend kann man aus jedem angebbaren sich<lb/>
&#x201E;nicht fügenden&#x201C; und dem zuletzt gewonnenen <hi rendition="#i">x</hi> allemal ein neues <hi rendition="#i">x</hi> ab-<lb/>
leiten, bezüglich dessen sich alle bisherigen &#x201E;fügen&#x201C;; man kann das sich<lb/>
nicht fügende sozusagen endgültig beseitigen.</p><lb/>
          <p>Man könnte sich hienach zu dem Schluss berechtigt glauben, es müsse<lb/>
ein <hi rendition="#i">c</hi> existiren, für das sich jedes <hi rendition="#i">x</hi> &#x201E;fügt&#x201C;. In der That sieht man sich<lb/>
vor die Alternative gestellt, entweder diese Existenz zuzugeben, oder un-<lb/>
begrenzt in der angegebenen Weise fortzuschliessen.</p><lb/>
          <p>Jener Schluss wäre gleichwol <hi rendition="#i">nicht stichhaltig</hi>. Beispielsweise können<lb/>
wir dies aus dem bekannten Paradoxon von Achilles mit der Schildkröte<lb/>
lernen, wo die Alternative vorliegt, entweder zuzugeben, dass jener diese<lb/>
nicht einholen könne, oder aber auf den zehntel, hundertel, tausendtel etc.<lb/>
Schritt, der noch fehlt, ohne Ende fortzuschliessen. Die Abneigung vor<lb/>
letzterem ist kein zwingender Grund, sich für ersteres zu entscheiden. &#x2014;</p><lb/>
          <p>Dass es Gebiete <hi rendition="#i">c</hi> gibt, die den Forderungen der Def. (5) genügen ist<lb/>
stichhaltig ja schon in § 6 bewiesen.</p><lb/>
          <p>Man könnte es nebenher auch so einsehen. Da nach Th. 6<hi rendition="#sub">+</hi>) resp. 6<hi rendition="#sub">×</hi>):<lb/><table><row><cell><hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>, <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi></cell><cell><hi rendition="#i">a b</hi> &#x22F9; <hi rendition="#i">a</hi>, <hi rendition="#i">a b</hi> &#x22F9; <hi rendition="#i">b</hi></cell></row><lb/></table> sein muss, so ist für jedes die Bedingungen <hi rendition="#i">&#x03B1;</hi>) erfüllende <hi rendition="#i">x</hi> auch sicher:<lb/><table><row><cell><hi rendition="#i">x</hi> &#x22F9; <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi></cell><cell><hi rendition="#i">a b</hi> &#x22F9; <hi rendition="#i">x</hi>,</cell></row><lb/></table>
</p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[597/0617] Beiläufige Studie über identische Multiplikation und Addition. Dann folgt nach Def. (3) aus: x2 ⋹ a und x''' ⋹ a a ⋹ x2 und a ⋹ x''' dass x2 + x''' ⋹ a a ⋹ x2 x''' und analog auch: x2 + x''' ⋹ b b ⋹ x2 x''' ist. Nennen wir nunmehr x2 + x''' = x3 x2 x''' = x3, so ist x3 ein solches Gebiet, welchem sich alle bisherigen x „fügen“, sogar das letzte: x''', da wir nach Th. 6) haben: x''' ⋹ x3 x3 ⋹ x''' während α) ja ohnehin von diesem x''' erfüllt wird. Gibt es jetzt kein x mehr, welches α) erfüllt, ohne auch die Sub- sumtion: β3) x ⋹ x3 x3 ⋹ x zu erfüllen, so ist: c = x3 als ein die Anforderungen der Def. (5) er- füllendes c gefunden. Gibt es aber noch ein x — es heisse x''' — welches sich bei der Umkehrung dem x3 „nicht fügt“, so kann man, ebenso weiter schliessend, ein: x3 + x'''' = x4 x3 x'''' = x4 konstruiren, für welches sich x'''' samt allen früheren Gebieten x „fügt“. In dieser Weise fortfahrend kann man aus jedem angebbaren sich „nicht fügenden“ und dem zuletzt gewonnenen x allemal ein neues x ab- leiten, bezüglich dessen sich alle bisherigen „fügen“; man kann das sich nicht fügende sozusagen endgültig beseitigen. Man könnte sich hienach zu dem Schluss berechtigt glauben, es müsse ein c existiren, für das sich jedes x „fügt“. In der That sieht man sich vor die Alternative gestellt, entweder diese Existenz zuzugeben, oder un- begrenzt in der angegebenen Weise fortzuschliessen. Jener Schluss wäre gleichwol nicht stichhaltig. Beispielsweise können wir dies aus dem bekannten Paradoxon von Achilles mit der Schildkröte lernen, wo die Alternative vorliegt, entweder zuzugeben, dass jener diese nicht einholen könne, oder aber auf den zehntel, hundertel, tausendtel etc. Schritt, der noch fehlt, ohne Ende fortzuschliessen. Die Abneigung vor letzterem ist kein zwingender Grund, sich für ersteres zu entscheiden. — Dass es Gebiete c gibt, die den Forderungen der Def. (5) genügen ist stichhaltig ja schon in § 6 bewiesen. Man könnte es nebenher auch so einsehen. Da nach Th. 6+) resp. 6×): a ⋹ a + b, b ⋹ a + b a b ⋹ a, a b ⋹ b sein muss, so ist für jedes die Bedingungen α) erfüllende x auch sicher: x ⋹ a + b a b ⋹ x,

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_logik01_1890
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik01_1890/617
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 597. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/617>, abgerufen am 19.04.2024.