Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

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

Zweite Vorlesung.
cher Symbole getroffene Übereinkunft soll ja immer den Sinn haben, dass
sie zu gelten habe, was immer für besondre (sogenannte "Werte") oder
wiederum allgemeine Symbole für die Buchstaben in ihr substituirt wer-
den, und dasselbe gilt auch in Betreff solcher Sätze oder Behauptungen,
die man übereinkommt, ohne jeden Beweis als allgemeingültige schlechtweg
zu adoptiren.

Dagegen für die aus solchen Grundlagen als Folgerungen abgeleiteten
Theoreme die gleiche Erlaubniss in Anspruch zu nehmen ist nicht mehr
blos durch den Sinn der Worte verbürgt, sondern erscheint als ein wirk-
liches Prinzip, wenn auch zunächst nicht als ein dem Gebietekalkul eigen-
tümliches.

Auch die Berechtigung zu diesem Verfahren wird aber sich nicht als
Ausfluss, Wirkung eines ganz neuen Prinzipes, sondern lediglich als eine
Bethätigung unsres Prinzips II selber, und zwar auf dem Anwendungsfelde
e) des § 3 späterhin erkennen lassen.

Nunmehr verleiben wir auch das Gleichheitszeichen dem Lehr-
gebäude der Algebra der Logik ein, indem wir auf den als allein be-
kannt vorausgesetzten Begriff der Subsumtion eine Begriffserklärung
der durch jenes Zeichen auszudrückenden Beziehung gründen.

Definition (1) der identischen Gleichheit (Identität).

(1)'.
Wenn a b und zugleich b a ist, so werde gesagt, es sei:
a = b (gelesen a gleich b).

Dass ein Ausspruch von dieser Form a = b eine Gleichung, a die
linke, b die rechte Seite derselben genannt wird, haben wir schon
S. 128 angeführt.

Da Vorstehendes eine Definition ist, so muss (wie schon auf
S. 134 hervorgehoben wurde) die Festsetzung auch umgekehrt gelten:
Es kann die Gleichung a = b nichts anderes aussagen, als dass die
vorerwähnten Subsumtionen gleichzeitig bestehen, m. a. W.:
(1)''. { Wenn a = b gilt, so muss a b und b a sein.
Wollten wir die beiden Teile (1)' und (1)'' der Definition (1) aus-
drücklich auf einmal aussprechen, so wäre in (1)' die Partikel "so"
durch "immer dann und nur dann" zu ersetzen gewesen.

Zusatz zu Def. (1). Weil alsdann (nach I, für Aussagen in An-
spruch genommen -- vergl. die Anmerkung zu Prinzip I)
b a und zugleich a b
sein wird, so folgt nach Def. (1), dass auch:
b = a
zu gelten habe. Dies heisst:
Jede Gleichung darf auch rückwärts wiederum als solche gelesen wer-
den, m. a. W.: Die beiden Seiten einer Gleichung dürfen (in derselben)

Zweite Vorlesung.
cher Symbole getroffene Übereinkunft soll ja immer den Sinn haben, dass
sie zu gelten habe, was immer für besondre (sogenannte „Werte“) oder
wiederum allgemeine Symbole für die Buchstaben in ihr substituirt wer-
den, und dasselbe gilt auch in Betreff solcher Sätze oder Behauptungen,
die man übereinkommt, ohne jeden Beweis als allgemeingültige schlechtweg
zu adoptiren.

Dagegen für die aus solchen Grundlagen als Folgerungen abgeleiteten
Theoreme die gleiche Erlaubniss in Anspruch zu nehmen ist nicht mehr
blos durch den Sinn der Worte verbürgt, sondern erscheint als ein wirk-
liches Prinzip, wenn auch zunächst nicht als ein dem Gebietekalkul eigen-
tümliches.

Auch die Berechtigung zu diesem Verfahren wird aber sich nicht als
Ausfluss, Wirkung eines ganz neuen Prinzipes, sondern lediglich als eine
Bethätigung unsres Prinzips II selber, und zwar auf dem Anwendungsfelde
ε) des § 3 späterhin erkennen lassen.

Nunmehr verleiben wir auch das Gleichheitszeichen dem Lehr-
gebäude der Algebra der Logik ein, indem wir auf den als allein be-
kannt vorausgesetzten Begriff der Subsumtion eine Begriffserklärung
der durch jenes Zeichen auszudrückenden Beziehung gründen.

Definition (1) der identischen Gleichheit (Identität).

(1)'.
Wenn a ⋹ b und zugleich b ⋹ a ist, so werde gesagt, es sei:
a = b (gelesen a gleich b).

Dass ein Ausspruch von dieser Form a = b eine Gleichung, a die
linke, b die rechte Seite derselben genannt wird, haben wir schon
S. 128 angeführt.

Da Vorstehendes eine Definition ist, so muss (wie schon auf
S. 134 hervorgehoben wurde) die Festsetzung auch umgekehrt gelten:
Es kann die Gleichung a = b nichts anderes aussagen, als dass die
vorerwähnten Subsumtionen gleichzeitig bestehen, m. a. W.:
(1)''. { Wenn a = b gilt, so muss a ⋹ b und b ⋹ a sein.
Wollten wir die beiden Teile (1)' und (1)'' der Definition (1) aus-
drücklich auf einmal aussprechen, so wäre in (1)' die Partikel „so“
durch „immer dann und nur dann“ zu ersetzen gewesen.

Zusatz zu Def. (1). Weil alsdann (nach I, für Aussagen in An-
spruch genommen — vergl. die Anmerkung zu Prinzip I)
b ⋹ a und zugleich a ⋹ b
sein wird, so folgt nach Def. (1), dass auch:
b = a
zu gelten habe. Dies heisst:
Jede Gleichung darf auch rückwärts wiederum als solche gelesen wer-
den, m. a. W.: Die beiden Seiten einer Gleichung dürfen (in derselben)

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0204" n="184"/><fw place="top" type="header">Zweite Vorlesung.</fw><lb/>
cher Symbole getroffene <hi rendition="#i">Übereinkunft</hi> soll ja immer den Sinn haben, dass<lb/>
sie zu gelten habe, was immer für besondre (sogenannte &#x201E;Werte&#x201C;) oder<lb/>
wiederum allgemeine Symbole für die Buchstaben in ihr substituirt wer-<lb/>
den, und dasselbe gilt auch in Betreff solcher Sätze oder Behauptungen,<lb/>
die man <hi rendition="#i">übereinkommt,</hi> ohne jeden Beweis als allgemeingültige schlechtweg<lb/>
zu adoptiren.</p><lb/>
          <p>Dagegen für die aus solchen Grundlagen als Folgerungen <hi rendition="#i">abgeleiteten</hi><lb/>
Theoreme die gleiche Erlaubniss in Anspruch zu nehmen ist nicht mehr<lb/>
blos durch den Sinn der Worte verbürgt, sondern erscheint als ein wirk-<lb/>
liches Prinzip, wenn auch zunächst nicht als ein dem Gebietekalkul eigen-<lb/>
tümliches.</p><lb/>
          <p>Auch die Berechtigung zu diesem Verfahren wird aber sich nicht als<lb/>
Ausfluss, Wirkung eines ganz neuen Prinzipes, sondern lediglich als eine<lb/>
Bethätigung unsres Prinzips II selber, und zwar auf dem Anwendungsfelde<lb/><hi rendition="#i">&#x03B5;</hi>) des § 3 späterhin erkennen lassen.</p><lb/>
          <p>Nunmehr verleiben wir auch das <hi rendition="#i">Gleichheitszeichen</hi> dem Lehr-<lb/>
gebäude der Algebra der Logik ein, indem wir auf den als allein be-<lb/>
kannt vorausgesetzten Begriff der Subsumtion eine Begriffserklärung<lb/>
der durch jenes Zeichen auszudrückenden Beziehung gründen.</p><lb/>
          <p><hi rendition="#g">Definition</hi> (1) <hi rendition="#i">der identischen Gleichheit</hi> (<hi rendition="#i">Identität</hi>).</p><lb/>
          <list>
            <item>(1)'.<list rendition="#leftBraced"><item><hi rendition="#i">Wenn a</hi> &#x22F9; <hi rendition="#i">b und zugleich b</hi> &#x22F9; <hi rendition="#i">a ist</hi>, <hi rendition="#i">so werde gesagt</hi>, <hi rendition="#i">es sei:</hi></item><lb/><item><hi rendition="#et"><hi rendition="#i">a</hi> = <hi rendition="#i">b</hi> (gelesen <hi rendition="#i">a gleich b</hi>).</hi></item></list></item>
          </list><lb/>
          <p>Dass ein Ausspruch von dieser Form <hi rendition="#i">a</hi> = <hi rendition="#i">b</hi> eine <hi rendition="#i">Gleichung</hi>, <hi rendition="#i">a</hi> die<lb/>
linke, <hi rendition="#i">b</hi> die rechte <hi rendition="#i">Seite</hi> derselben genannt wird, haben wir schon<lb/>
S. 128 angeführt.</p><lb/>
          <p>Da Vorstehendes eine Definition ist, so muss (wie schon auf<lb/>
S. 134 hervorgehoben wurde) die Festsetzung auch umgekehrt gelten:<lb/>
Es kann die Gleichung <hi rendition="#i">a</hi> = <hi rendition="#i">b</hi> nichts anderes aussagen, als dass die<lb/>
vorerwähnten Subsumtionen gleichzeitig bestehen, m. a. W.:<lb/>
(1)''. { <hi rendition="#i">Wenn a</hi> = <hi rendition="#i">b gilt</hi>, <hi rendition="#i">so muss a</hi> &#x22F9; <hi rendition="#i">b und b</hi> &#x22F9; <hi rendition="#i">a sein</hi>.<lb/>
Wollten wir die beiden Teile (1)' und (1)'' der Definition (1) aus-<lb/>
drücklich auf einmal aussprechen, so wäre in (1)' die Partikel <hi rendition="#i">&#x201E;so&#x201C;</hi><lb/>
durch <hi rendition="#i">&#x201E;immer dann und nur dann&#x201C;</hi> zu ersetzen gewesen.</p><lb/>
          <p><hi rendition="#g">Zusatz zu Def.</hi> (1). Weil alsdann (nach I, für Aussagen in An-<lb/>
spruch genommen &#x2014; vergl. die Anmerkung zu Prinzip I)<lb/><hi rendition="#c"><hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">a</hi> und zugleich <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi></hi><lb/>
sein wird, so folgt nach Def. (1), dass auch:<lb/><hi rendition="#c"><hi rendition="#i">b</hi> = <hi rendition="#i">a</hi></hi><lb/>
zu gelten habe. Dies heisst:<lb/><hi rendition="#i">Jede Gleichung darf auch rückwärts</hi> wiederum als solche <hi rendition="#i">gelesen wer-<lb/>
den</hi>, m. a. W.: <hi rendition="#i">Die beiden Seiten einer Gleichung dürfen</hi> (in derselben)<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[184/0204] Zweite Vorlesung. cher Symbole getroffene Übereinkunft soll ja immer den Sinn haben, dass sie zu gelten habe, was immer für besondre (sogenannte „Werte“) oder wiederum allgemeine Symbole für die Buchstaben in ihr substituirt wer- den, und dasselbe gilt auch in Betreff solcher Sätze oder Behauptungen, die man übereinkommt, ohne jeden Beweis als allgemeingültige schlechtweg zu adoptiren. Dagegen für die aus solchen Grundlagen als Folgerungen abgeleiteten Theoreme die gleiche Erlaubniss in Anspruch zu nehmen ist nicht mehr blos durch den Sinn der Worte verbürgt, sondern erscheint als ein wirk- liches Prinzip, wenn auch zunächst nicht als ein dem Gebietekalkul eigen- tümliches. Auch die Berechtigung zu diesem Verfahren wird aber sich nicht als Ausfluss, Wirkung eines ganz neuen Prinzipes, sondern lediglich als eine Bethätigung unsres Prinzips II selber, und zwar auf dem Anwendungsfelde ε) des § 3 späterhin erkennen lassen. Nunmehr verleiben wir auch das Gleichheitszeichen dem Lehr- gebäude der Algebra der Logik ein, indem wir auf den als allein be- kannt vorausgesetzten Begriff der Subsumtion eine Begriffserklärung der durch jenes Zeichen auszudrückenden Beziehung gründen. Definition (1) der identischen Gleichheit (Identität). (1)'.Wenn a ⋹ b und zugleich b ⋹ a ist, so werde gesagt, es sei: a = b (gelesen a gleich b). Dass ein Ausspruch von dieser Form a = b eine Gleichung, a die linke, b die rechte Seite derselben genannt wird, haben wir schon S. 128 angeführt. Da Vorstehendes eine Definition ist, so muss (wie schon auf S. 134 hervorgehoben wurde) die Festsetzung auch umgekehrt gelten: Es kann die Gleichung a = b nichts anderes aussagen, als dass die vorerwähnten Subsumtionen gleichzeitig bestehen, m. a. W.: (1)''. { Wenn a = b gilt, so muss a ⋹ b und b ⋹ a sein. Wollten wir die beiden Teile (1)' und (1)'' der Definition (1) aus- drücklich auf einmal aussprechen, so wäre in (1)' die Partikel „so“ durch „immer dann und nur dann“ zu ersetzen gewesen. Zusatz zu Def. (1). Weil alsdann (nach I, für Aussagen in An- spruch genommen — vergl. die Anmerkung zu Prinzip I) b ⋹ a und zugleich a ⋹ b sein wird, so folgt nach Def. (1), dass auch: b = a zu gelten habe. Dies heisst: Jede Gleichung darf auch rückwärts wiederum als solche gelesen wer- den, m. a. W.: Die beiden Seiten einer Gleichung dürfen (in derselben)

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