Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

Neunte Vorlesung.
hängig vom Zahlbegriffe und selbst vor Einführung der Zahlenreihe dar-
stellen und einsehen lässt.

Nicht minder aber darf Herr Dedekind auch das Verdienst bean-
spruchen, diesen Satz dann auch korrekt, auf den (oben betonten) An-
forderungen der Strenge in der That genügende Art, erstmals bewiesen zu
haben -- und zwar in einer überaus kunstvollen Weise.

Es dürfte dieser Beweis seinen Wert nicht verlieren, selbst wenn es
uns hernach gelingen wird, solchen Beweis wesentlich vereinfacht zu liefern.

Der Satz schreibt sich, wie man sieht, mittelst Aufwandes von
nur neun Buchstaben.*) Ausser den Zeichen, welche schon geläufig
sind aus der allgemeinen Theorie der Relative, kommt darin blos ein
apartes Zeichen vor: a0, und zwar durchweg in der Verbindung: a0 ; b
-- ein Zeichen, welches einem besondern Zweig jener Disziplin, näm-
lich der "Kettentheorie" eigentümlich ist.

Der Etablirung des Satzes D 59 wird daher eine Definition von
sei es a0, sei es sogleich a0 ; b, voraufzugehen haben, und diese Definition
-- von Dedekind mit D 44 (oder auch in Gestalt von D 48) geliefert --
wird das punctum saliens, den Ausgangspunkt der ganzen Theorie vor-
stellen. Von ihrer Wahl wird die Gestaltung der Kettentheorie
wesentlich abhängen.

Ehe ich auf die bei dieser Definition zu überkommenden Schwierig-
keiten eingehe, welche lediglich durch die Rücksichtnahme auf unsern
"Hauptzweck" bedingt sein werden, will ich einige Bemerkungen ein-
flechten, die -- sozusagen rein äusserlich -- auf eine Verringerung (um
mehr als die Hälfte) des noch fernerhin in Betracht zu ziehenden
Systems von Sätzen abzielen:

Mit der Erklärung D 36 wird eine Redensart eingeführt, von der
Dedekind in der Kettentheorie selbst gar keinen Gebrauch macht, obzwar
sie in den späteren Teilen seiner Schrift ausgiebig verwendet wird.

Es dürfte ohnehin in Frage zu ziehen sein, ob diese Redensart, wenn
unter b nicht notwendig ein "System", sondern ein Relativ überhaupt,
ebenso unter a nicht blos eine "eindeutige Abbildung", sondern ein all-
gemeines Relativ verstanden wird, noch als hinreichend zutreffend beizu-
behalten wäre -- ob man nicht vielleicht besser thäte zu sagen: "a be-
zieht b in sich ein
", oder "bildet es in sich ein" (statt "ab"), und
dergleichen.

Jedenfalls können auch wir uns der Anwendung solcher Redensart
enthalten und die Def. D 36 für das Folgende ignoriren.

Wenn wir ebenso die unter D 60 zu gebende Erläuterung vorerst
zurückstellen, so verbleiben uns von den 30 noch 28 Sätze.


*) Das ist mehr, als -- beiläufig bemerkt -- das "Volapük" zu leisten ver-
mag und jemals imstande sein wird zu leisten!

Neunte Vorlesung.
hängig vom Zahlbegriffe und selbst vor Einführung der Zahlenreihe dar-
stellen und einsehen lässt.

Nicht minder aber darf Herr Dedekind auch das Verdienst bean-
spruchen, diesen Satz dann auch korrekt, auf den (oben betonten) An-
forderungen der Strenge in der That genügende Art, erstmals bewiesen zu
haben — und zwar in einer überaus kunstvollen Weise.

Es dürfte dieser Beweis seinen Wert nicht verlieren, selbst wenn es
uns hernach gelingen wird, solchen Beweis wesentlich vereinfacht zu liefern.

Der Satz schreibt sich, wie man sieht, mittelst Aufwandes von
nur neun Buchstaben.*) Ausser den Zeichen, welche schon geläufig
sind aus der allgemeinen Theorie der Relative, kommt darin blos ein
apartes Zeichen vor: a0, und zwar durchweg in der Verbindung: a0 ; b
— ein Zeichen, welches einem besondern Zweig jener Disziplin, näm-
lich der „Kettentheorie“ eigentümlich ist.

Der Etablirung des Satzes D 59 wird daher eine Definition von
sei es a0, sei es sogleich a0 ; b, voraufzugehen haben, und diese Definition
— von Dedekind mit D 44 (oder auch in Gestalt von D 48) geliefert —
wird das punctum saliens, den Ausgangspunkt der ganzen Theorie vor-
stellen. Von ihrer Wahl wird die Gestaltung der Kettentheorie
wesentlich abhängen.

Ehe ich auf die bei dieser Definition zu überkommenden Schwierig-
keiten eingehe, welche lediglich durch die Rücksichtnahme auf unsern
„Hauptzweck“ bedingt sein werden, will ich einige Bemerkungen ein-
flechten, die — sozusagen rein äusserlich — auf eine Verringerung (um
mehr als die Hälfte) des noch fernerhin in Betracht zu ziehenden
Systems von Sätzen abzielen:

Mit der Erklärung D 36 wird eine Redensart eingeführt, von der
Dedekind in der Kettentheorie selbst gar keinen Gebrauch macht, obzwar
sie in den späteren Teilen seiner Schrift ausgiebig verwendet wird.

Es dürfte ohnehin in Frage zu ziehen sein, ob diese Redensart, wenn
unter b nicht notwendig ein „System“, sondern ein Relativ überhaupt,
ebenso unter a nicht blos eine „eindeutige Abbildung“, sondern ein all-
gemeines Relativ verstanden wird, noch als hinreichend zutreffend beizu-
behalten wäre — ob man nicht vielleicht besser thäte zu sagen: „a be-
zieht b in sich ein
“, oder „bildet es in sich ein“ (statt „ab“), und
dergleichen.

Jedenfalls können auch wir uns der Anwendung solcher Redensart
enthalten und die Def. D 36 für das Folgende ignoriren.

Wenn wir ebenso die unter D 60 zu gebende Erläuterung vorerst
zurückstellen, so verbleiben uns von den 30 noch 28 Sätze.


*) Das ist mehr, als — beiläufig bemerkt — das „Volapük“ zu leisten ver-
mag und jemals imstande sein wird zu leisten!
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0370" n="356"/><fw place="top" type="header">Neunte Vorlesung.</fw><lb/>
hängig vom Zahl<hi rendition="#i">begriffe</hi> und selbst vor Einführung der Zahlen<hi rendition="#i">reihe</hi> dar-<lb/>
stellen und einsehen lässt.</p><lb/>
          <p>Nicht minder aber darf Herr <hi rendition="#g">Dedekind</hi> auch das Verdienst bean-<lb/>
spruchen, diesen Satz dann auch korrekt, auf den (oben betonten) An-<lb/>
forderungen der Strenge in der That genügende Art, erstmals <hi rendition="#i">bewiesen</hi> zu<lb/>
haben &#x2014; und zwar in einer überaus kunstvollen Weise.</p><lb/>
          <p>Es dürfte dieser Beweis seinen Wert nicht verlieren, selbst wenn es<lb/>
uns hernach gelingen wird, solchen Beweis wesentlich vereinfacht zu liefern.</p><lb/>
          <p>Der Satz schreibt sich, wie man sieht, mittelst Aufwandes von<lb/><hi rendition="#i">nur neun</hi> Buchstaben.<note place="foot" n="*)">Das ist mehr, als &#x2014; beiläufig bemerkt &#x2014; das &#x201E;Volapük&#x201C; zu leisten ver-<lb/>
mag und jemals imstande sein wird zu leisten!</note> Ausser den Zeichen, welche schon geläufig<lb/>
sind aus der allgemeinen Theorie der Relative, kommt darin blos <hi rendition="#i">ein</hi><lb/>
apartes Zeichen vor: <hi rendition="#i">a</hi><hi rendition="#sub">0</hi>, und zwar durchweg in der Verbindung: <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">b</hi><lb/>
&#x2014; ein Zeichen, welches einem besondern Zweig jener Disziplin, näm-<lb/>
lich der &#x201E;Kettentheorie&#x201C; eigentümlich ist.</p><lb/>
          <p>Der Etablirung des Satzes <hi rendition="#fr">D</hi> 59 wird daher eine Definition von<lb/>
sei es <hi rendition="#i">a</hi><hi rendition="#sub">0</hi>, sei es sogleich <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">b</hi>, voraufzugehen haben, und diese Definition<lb/>
&#x2014; von <hi rendition="#g">Dedekind</hi> mit <hi rendition="#fr">D</hi> 44 (oder auch in Gestalt von <hi rendition="#fr">D</hi> 48) geliefert &#x2014;<lb/>
wird das <hi rendition="#i">punctum saliens</hi>, den Ausgangspunkt der ganzen Theorie vor-<lb/>
stellen. Von ihrer Wahl wird die Gestaltung der Kettentheorie<lb/>
wesentlich abhängen.</p><lb/>
          <p>Ehe ich auf die bei dieser Definition zu überkommenden Schwierig-<lb/>
keiten eingehe, welche lediglich durch die Rücksichtnahme auf unsern<lb/>
&#x201E;Hauptzweck&#x201C; bedingt sein werden, will ich einige Bemerkungen ein-<lb/>
flechten, die &#x2014; sozusagen rein äusserlich &#x2014; auf eine Verringerung (um<lb/>
mehr als die Hälfte) des noch fernerhin in Betracht zu ziehenden<lb/>
Systems von Sätzen abzielen:</p><lb/>
          <p>Mit der Erklärung <hi rendition="#fr">D</hi> 36 wird eine <hi rendition="#i">Redensart</hi> eingeführt, von der<lb/><hi rendition="#g">Dedekind</hi> in der Kettentheorie selbst gar keinen Gebrauch macht, obzwar<lb/>
sie in den späteren Teilen seiner Schrift ausgiebig verwendet wird.</p><lb/>
          <p>Es dürfte ohnehin in Frage zu ziehen sein, ob diese Redensart, wenn<lb/>
unter <hi rendition="#i">b</hi> nicht notwendig ein &#x201E;System&#x201C;, sondern ein Relativ überhaupt,<lb/>
ebenso unter <hi rendition="#i">a</hi> nicht blos eine &#x201E;eindeutige Abbildung&#x201C;, sondern ein all-<lb/>
gemeines Relativ verstanden wird, noch als hinreichend zutreffend beizu-<lb/>
behalten wäre &#x2014; ob man nicht vielleicht besser thäte zu sagen: &#x201E;<hi rendition="#i">a be-<lb/>
zieht b in sich ein</hi>&#x201C;, oder &#x201E;bildet es in sich <hi rendition="#i">ein</hi>&#x201C; (statt &#x201E;ab&#x201C;), und<lb/>
dergleichen.</p><lb/>
          <p>Jedenfalls können auch wir uns der Anwendung solcher Redensart<lb/>
enthalten und die Def. <hi rendition="#fr">D</hi> 36 für das Folgende ignoriren.</p><lb/>
          <p>Wenn wir ebenso die unter <hi rendition="#fr">D</hi> 60 zu gebende Erläuterung vorerst<lb/>
zurückstellen, so verbleiben uns von den 30 noch 28 Sätze.</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[356/0370] Neunte Vorlesung. hängig vom Zahlbegriffe und selbst vor Einführung der Zahlenreihe dar- stellen und einsehen lässt. Nicht minder aber darf Herr Dedekind auch das Verdienst bean- spruchen, diesen Satz dann auch korrekt, auf den (oben betonten) An- forderungen der Strenge in der That genügende Art, erstmals bewiesen zu haben — und zwar in einer überaus kunstvollen Weise. Es dürfte dieser Beweis seinen Wert nicht verlieren, selbst wenn es uns hernach gelingen wird, solchen Beweis wesentlich vereinfacht zu liefern. Der Satz schreibt sich, wie man sieht, mittelst Aufwandes von nur neun Buchstaben. *) Ausser den Zeichen, welche schon geläufig sind aus der allgemeinen Theorie der Relative, kommt darin blos ein apartes Zeichen vor: a0, und zwar durchweg in der Verbindung: a0 ; b — ein Zeichen, welches einem besondern Zweig jener Disziplin, näm- lich der „Kettentheorie“ eigentümlich ist. Der Etablirung des Satzes D 59 wird daher eine Definition von sei es a0, sei es sogleich a0 ; b, voraufzugehen haben, und diese Definition — von Dedekind mit D 44 (oder auch in Gestalt von D 48) geliefert — wird das punctum saliens, den Ausgangspunkt der ganzen Theorie vor- stellen. Von ihrer Wahl wird die Gestaltung der Kettentheorie wesentlich abhängen. Ehe ich auf die bei dieser Definition zu überkommenden Schwierig- keiten eingehe, welche lediglich durch die Rücksichtnahme auf unsern „Hauptzweck“ bedingt sein werden, will ich einige Bemerkungen ein- flechten, die — sozusagen rein äusserlich — auf eine Verringerung (um mehr als die Hälfte) des noch fernerhin in Betracht zu ziehenden Systems von Sätzen abzielen: Mit der Erklärung D 36 wird eine Redensart eingeführt, von der Dedekind in der Kettentheorie selbst gar keinen Gebrauch macht, obzwar sie in den späteren Teilen seiner Schrift ausgiebig verwendet wird. Es dürfte ohnehin in Frage zu ziehen sein, ob diese Redensart, wenn unter b nicht notwendig ein „System“, sondern ein Relativ überhaupt, ebenso unter a nicht blos eine „eindeutige Abbildung“, sondern ein all- gemeines Relativ verstanden wird, noch als hinreichend zutreffend beizu- behalten wäre — ob man nicht vielleicht besser thäte zu sagen: „a be- zieht b in sich ein“, oder „bildet es in sich ein“ (statt „ab“), und dergleichen. Jedenfalls können auch wir uns der Anwendung solcher Redensart enthalten und die Def. D 36 für das Folgende ignoriren. Wenn wir ebenso die unter D 60 zu gebende Erläuterung vorerst zurückstellen, so verbleiben uns von den 30 noch 28 Sätze. *) Das ist mehr, als — beiläufig bemerkt — das „Volapük“ zu leisten ver- mag und jemals imstande sein wird zu leisten!

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