Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

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

§ 30. Fortsetzung über S, P.
brauchen sie dann nach dem Tautologiegesetze nicht wiederholt zu
werden]. Etc. (den Rest sich noch einfacher zu schreiben überlassen
wir dem Leser).

Jedenfalls tritt durch solches Preisgeben des Beiwerks der Kern
der Sätze besser hervor. Da es für die Geltung dieser Sätze gleich-
gültig ist, wie viele es der von a oder b beiderseits zu durchlaufenden
Werte sein und wie diese Werte heissen sollen, so braucht letzteres in
den Sätzen auch nicht gesagt, nicht zum Ausdruck gebracht zu werden.

Wird zu einem Zeichen [Formel 1] , [Formel 2] keine Wertenreihe als die von dem
x zu durchlaufende ausdrücklich angeführt, so findet gewöhnlich einer
von den folgenden beiden Fällen statt:

Entweder diese Wertenreihe ist in unser Belieben gestellt; für
den ersten, zweiten, dritten, etc. Wert derselben können wir jedesmal
ein individuelles Gebiet nach Gutdünken nehmen, auch ist es gleich-
gültig ob die Reihe unbegrenzt fortgesetzt oder irgendwo abgebrochen
wird; auch die Anzahl der Werte steht dahin. Solches war in der
That bei den allgemeinen Sätzen der Fall, welche wir vorhin zu-
sammengestellt haben.

Oder diese Wertenreihe ist eine bestimmte, die Werte sind (wenn
auch ihre Reihenfolge als belanglos offen gelassen sein mag) in ihrer
Gesamtheit gegeben, durch eine allgemeine Abmachung ein für allemal
festgesetzt.

Bei den von Anfang als Rekapitulation der Sätze des identischen
Kalkuls in diesem Paragraphen gegebenen Formeln (welche überhaupt
Zeichen S oder P enthalten -- vergl. (2), 7) .. 11), 43), 47), 48) Zus.,
50) und 51) -- war das letztere der Fall, und zwar sollte die von
der Variabeln x zu durchlaufende Wertenreihe bestehen aus allen denk-
baren Gebieten, die Variable sollte sämtliche Gebiete oder Klassen der
Mannigfaltigkeit hier stets als Bedeutung nacheinander untergelegt be-
kommen (wobei Wiederholungen nicht einmal ausgeschlossen, aber be-
langlos).

Stellt nun Fx eine das Gebiet x betreffende Aussage vor, so wird
die Aussage
[Formel 3] als ein identisches Produkt von Aussagen der Def. gemäss aussagen,
dass die Aussagen Fa, Fb, Fc, ... gleichzeitig wahr seien, m. a. W. dass
die Aussage Fx sowol für x = a, als auch für x = b, x = c, etc. gelte.
Und das Urteil

§ 30. Fortsetzung über Σ, Π.
brauchen sie dann nach dem Tautologiegesetze nicht wiederholt zu
werden]. Etc. (den Rest sich noch einfacher zu schreiben überlassen
wir dem Leser).

Jedenfalls tritt durch solches Preisgeben des Beiwerks der Kern
der Sätze besser hervor. Da es für die Geltung dieser Sätze gleich-
gültig ist, wie viele es der von a oder b beiderseits zu durchlaufenden
Werte sein und wie diese Werte heissen sollen, so braucht letzteres in
den Sätzen auch nicht gesagt, nicht zum Ausdruck gebracht zu werden.

Wird zu einem Zeichen [Formel 1] , [Formel 2] keine Wertenreihe als die von dem
x zu durchlaufende ausdrücklich angeführt, so findet gewöhnlich einer
von den folgenden beiden Fällen statt:

Entweder diese Wertenreihe ist in unser Belieben gestellt; für
den ersten, zweiten, dritten, etc. Wert derselben können wir jedesmal
ein individuelles Gebiet nach Gutdünken nehmen, auch ist es gleich-
gültig ob die Reihe unbegrenzt fortgesetzt oder irgendwo abgebrochen
wird; auch die Anzahl der Werte steht dahin. Solches war in der
That bei den allgemeinen Sätzen der Fall, welche wir vorhin zu-
sammengestellt haben.

Oder diese Wertenreihe ist eine bestimmte, die Werte sind (wenn
auch ihre Reihenfolge als belanglos offen gelassen sein mag) in ihrer
Gesamtheit gegeben, durch eine allgemeine Abmachung ein für allemal
festgesetzt.

Bei den von Anfang als Rekapitulation der Sätze des identischen
Kalkuls in diesem Paragraphen gegebenen Formeln (welche überhaupt
Zeichen Σ oder Π enthalten — vergl. (2), 7) ‥ 11), 43), 47), 48) Zus.,
50) und 51) — war das letztere der Fall, und zwar sollte die von
der Variabeln x zu durchlaufende Wertenreihe bestehen aus allen denk-
baren Gebieten, die Variable sollte sämtliche Gebiete oder Klassen der
Mannigfaltigkeit hier stets als Bedeutung nacheinander untergelegt be-
kommen (wobei Wiederholungen nicht einmal ausgeschlossen, aber be-
langlos).

Stellt nun Fx eine das Gebiet x betreffende Aussage vor, so wird
die Aussage
[Formel 3] als ein identisches Produkt von Aussagen der Def. gemäss aussagen,
dass die Aussagen Fa, Fb, Fc, … gleichzeitig wahr seien, m. a. W. dass
die Aussage Fx sowol für x = a, als auch für x = b, x = c, etc. gelte.
Und das Urteil

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0065" n="41"/><fw place="top" type="header">§ 30. Fortsetzung über <hi rendition="#i">&#x03A3;</hi>, <hi rendition="#i">&#x03A0;</hi>.</fw><lb/>
brauchen sie dann nach dem Tautologiegesetze nicht wiederholt zu<lb/>
werden]. Etc. (den Rest sich noch einfacher zu schreiben überlassen<lb/>
wir dem Leser).</p><lb/>
            <p>Jedenfalls tritt durch solches Preisgeben des Beiwerks der Kern<lb/>
der Sätze besser hervor. Da es für die Geltung dieser Sätze gleich-<lb/>
gültig ist, wie viele es der von <hi rendition="#i">a</hi> oder <hi rendition="#i">b</hi> beiderseits zu durchlaufenden<lb/>
Werte sein und wie diese Werte heissen sollen, so braucht letzteres in<lb/>
den Sätzen auch nicht gesagt, nicht zum Ausdruck gebracht zu werden.</p><lb/>
            <p>Wird zu einem Zeichen <formula/>, <formula/> keine Wertenreihe als die von dem<lb/><hi rendition="#i">x</hi> zu durchlaufende ausdrücklich angeführt, so findet gewöhnlich einer<lb/>
von den folgenden beiden Fällen statt:</p><lb/>
            <p>Entweder diese Wertenreihe ist in unser Belieben gestellt; für<lb/>
den ersten, zweiten, dritten, etc. Wert derselben können wir jedesmal<lb/>
ein individuelles Gebiet nach Gutdünken nehmen, auch ist es gleich-<lb/>
gültig ob die Reihe unbegrenzt fortgesetzt oder irgendwo abgebrochen<lb/>
wird; auch die Anzahl der Werte steht dahin. Solches war in der<lb/>
That bei den allgemeinen Sätzen der Fall, welche wir vorhin zu-<lb/>
sammengestellt haben.</p><lb/>
            <p>Oder diese Wertenreihe ist eine bestimmte, die Werte sind (wenn<lb/>
auch ihre Reihenfolge als belanglos offen gelassen sein mag) in ihrer<lb/>
Gesamtheit gegeben, durch eine allgemeine Abmachung ein für allemal<lb/>
festgesetzt.</p><lb/>
            <p>Bei den von Anfang als Rekapitulation der Sätze des identischen<lb/>
Kalkuls in diesem Paragraphen gegebenen Formeln (welche überhaupt<lb/>
Zeichen <hi rendition="#i">&#x03A3;</hi> oder <hi rendition="#i">&#x03A0;</hi> enthalten &#x2014; vergl. (2), 7) &#x2025; 11), 43), 47), 48) Zus.,<lb/>
50) und 51) &#x2014; war das letztere der Fall, und zwar sollte die von<lb/>
der Variabeln <hi rendition="#i">x</hi> zu durchlaufende <hi rendition="#i">Wertenreihe bestehen aus allen denk-<lb/>
baren Gebieten</hi>, die Variable sollte <hi rendition="#i">sämtliche</hi> Gebiete oder Klassen der<lb/>
Mannigfaltigkeit hier stets als Bedeutung nacheinander untergelegt be-<lb/>
kommen (wobei Wiederholungen nicht einmal ausgeschlossen, aber be-<lb/>
langlos).</p><lb/>
            <p>Stellt nun <hi rendition="#i">F<hi rendition="#sub">x</hi></hi> eine das Gebiet <hi rendition="#i">x</hi> betreffende Aussage vor, so wird<lb/>
die Aussage<lb/><hi rendition="#c"><formula/></hi> als ein identisches Produkt von Aussagen der Def. gemäss aussagen,<lb/>
dass die Aussagen <hi rendition="#i">F<hi rendition="#sub">a</hi></hi>, <hi rendition="#i">F<hi rendition="#sub">b</hi></hi>, <hi rendition="#i">F<hi rendition="#sub">c</hi></hi>, &#x2026; <hi rendition="#i">gleichzeitig</hi> wahr seien, m. a. W. dass<lb/>
die Aussage <hi rendition="#i">F<hi rendition="#sub">x</hi></hi> sowol für <hi rendition="#i">x</hi> = <hi rendition="#i">a</hi>, als auch für <hi rendition="#i">x</hi> = <hi rendition="#i">b</hi>, <hi rendition="#i">x</hi> = <hi rendition="#i">c</hi>, etc. gelte.<lb/>
Und das Urteil<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[41/0065] § 30. Fortsetzung über Σ, Π. brauchen sie dann nach dem Tautologiegesetze nicht wiederholt zu werden]. Etc. (den Rest sich noch einfacher zu schreiben überlassen wir dem Leser). Jedenfalls tritt durch solches Preisgeben des Beiwerks der Kern der Sätze besser hervor. Da es für die Geltung dieser Sätze gleich- gültig ist, wie viele es der von a oder b beiderseits zu durchlaufenden Werte sein und wie diese Werte heissen sollen, so braucht letzteres in den Sätzen auch nicht gesagt, nicht zum Ausdruck gebracht zu werden. Wird zu einem Zeichen [FORMEL], [FORMEL] keine Wertenreihe als die von dem x zu durchlaufende ausdrücklich angeführt, so findet gewöhnlich einer von den folgenden beiden Fällen statt: Entweder diese Wertenreihe ist in unser Belieben gestellt; für den ersten, zweiten, dritten, etc. Wert derselben können wir jedesmal ein individuelles Gebiet nach Gutdünken nehmen, auch ist es gleich- gültig ob die Reihe unbegrenzt fortgesetzt oder irgendwo abgebrochen wird; auch die Anzahl der Werte steht dahin. Solches war in der That bei den allgemeinen Sätzen der Fall, welche wir vorhin zu- sammengestellt haben. Oder diese Wertenreihe ist eine bestimmte, die Werte sind (wenn auch ihre Reihenfolge als belanglos offen gelassen sein mag) in ihrer Gesamtheit gegeben, durch eine allgemeine Abmachung ein für allemal festgesetzt. Bei den von Anfang als Rekapitulation der Sätze des identischen Kalkuls in diesem Paragraphen gegebenen Formeln (welche überhaupt Zeichen Σ oder Π enthalten — vergl. (2), 7) ‥ 11), 43), 47), 48) Zus., 50) und 51) — war das letztere der Fall, und zwar sollte die von der Variabeln x zu durchlaufende Wertenreihe bestehen aus allen denk- baren Gebieten, die Variable sollte sämtliche Gebiete oder Klassen der Mannigfaltigkeit hier stets als Bedeutung nacheinander untergelegt be- kommen (wobei Wiederholungen nicht einmal ausgeschlossen, aber be- langlos). Stellt nun Fx eine das Gebiet x betreffende Aussage vor, so wird die Aussage [FORMEL] als ein identisches Produkt von Aussagen der Def. gemäss aussagen, dass die Aussagen Fa, Fb, Fc, … gleichzeitig wahr seien, m. a. W. dass die Aussage Fx sowol für x = a, als auch für x = b, x = c, etc. gelte. Und das Urteil

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_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/65
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 41. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/65>, abgerufen am 24.11.2024.