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.

Was in logischer Beziehung davon zu halten sei, dass bei vorstehen-
der Beweisführung im Grunde der Schluss der "vollständigen Induktion",
"Schluss von n auf n + 1" angewendet werden musste, darüber sei auf
Anhang 3 und auf § 51 verwiesen.

Ist nun irgend ein System von Gleichungen als zwischen Gebieten
bestehend gegeben, so werden diese Gebiete unter sich gleich sein
müssen, wenn es gelingt, die gegebenen Gleichungen so in einer Reihe
anzuordnen, dass beim Durchgehen derselben in einem bestimmten
Sinne -- etwa von links nach rechts fortschreitend -- man in jeder
neu ins Auge gefassten Gleichung auf ein Gebiet stösst, welches be-
reits in wenigstens einer der vorhergehenden Gleichungen als linke
oder rechte Seite vorgekommen war. Um dies zu entscheiden, kann
man eine beliebige von den Gleichungen als erste herausschreiben,
darauf als zweite eine solche folgen lassen, welche eines der in der
ersten stehenden Gebiete enthält, als dritte dann aus dem Reste eine
solche Gleichung herauslesen, welche abermals die Forderung erfüllt
mindestens eines der bisher schon vorgekommenen Gebiete zu ent-
halten, und so weiter bis zu Ende. Ist es auf eine Art möglich, in
dieser Weise mit den Gleichungen zu Ende zu kommen, so würde sich
nachweisen lassen, dass dies auf jede Art eintreffen muss, mit welcher
Gleichung des Systems man auch beginnen und wie man auch mit
der Auslese der immer mindestens ein früheres Symbol enthaltenden
Gleichungen fortfahren mag. --

Es sollen jetzt noch zwei spezielle Gebiete in die Algebra der Logik
eingeführt werden, für welche als Namen, wie unter Th. 22) dargelegt
wird, die Zahlzeichen 0 und 1 sich empfehlen. Auch diese wollen wir
vermittelst des Beziehungszeichens der Einordnung erklären, und zwar
erfolge die

Definition (2x) der "identischen
Null"		Definition (2+) der "identischen
Eins"
dadurch, dass wir die Subsumtion
0 aa 1
als eine allgemeingültige, nämlich für jedes Gebiet a unsrer Mannigfal-
tigkeit anzuerkennende hinstellen. Dies will sagen:
0 nennen wir ein Gebiet, welches
zu jedem Gebiete a in der Be-
ziehung der Einordnung steht,
welches in jedem Gebiete der Man-
nigfaltigkeit enthalten ist.		1 nennen wir ein Gebiet, zu wel-
chem jedes Gebiet a in der Be-
ziehung der Einordnung steht, in
welchem jedes Gebiet der Mannig-
faltigkeit enthalten ist.

Die Symbole 0 und 1, denen wir diese Eigenschaft zuschreiben,

Zweite Vorlesung.

Was in logischer Beziehung davon zu halten sei, dass bei vorstehen-
der Beweisführung im Grunde der Schluss der „vollständigen Induktion“,
„Schluss von n auf n + 1“ angewendet werden musste, darüber sei auf
Anhang 3 und auf § 51 verwiesen.

Ist nun irgend ein System von Gleichungen als zwischen Gebieten
bestehend gegeben, so werden diese Gebiete unter sich gleich sein
müssen, wenn es gelingt, die gegebenen Gleichungen so in einer Reihe
anzuordnen, dass beim Durchgehen derselben in einem bestimmten
Sinne — etwa von links nach rechts fortschreitend — man in jeder
neu ins Auge gefassten Gleichung auf ein Gebiet stösst, welches be-
reits in wenigstens einer der vorhergehenden Gleichungen als linke
oder rechte Seite vorgekommen war. Um dies zu entscheiden, kann
man eine beliebige von den Gleichungen als erste herausschreiben,
darauf als zweite eine solche folgen lassen, welche eines der in der
ersten stehenden Gebiete enthält, als dritte dann aus dem Reste eine
solche Gleichung herauslesen, welche abermals die Forderung erfüllt
mindestens eines der bisher schon vorgekommenen Gebiete zu ent-
halten, und so weiter bis zu Ende. Ist es auf eine Art möglich, in
dieser Weise mit den Gleichungen zu Ende zu kommen, so würde sich
nachweisen lassen, dass dies auf jede Art eintreffen muss, mit welcher
Gleichung des Systems man auch beginnen und wie man auch mit
der Auslese der immer mindestens ein früheres Symbol enthaltenden
Gleichungen fortfahren mag. —

Es sollen jetzt noch zwei spezielle Gebiete in die Algebra der Logik
eingeführt werden, für welche als Namen, wie unter Th. 22) dargelegt
wird, die Zahlzeichen 0 und 1 sich empfehlen. Auch diese wollen wir
vermittelst des Beziehungszeichens der Einordnung erklären, und zwar
erfolge die

Definition (2×) der „identischen
Null“		Definition (2+) der „identischen
Eins“
dadurch, dass wir die Subsumtion
0 ⋹ aa ⋹ 1
als eine allgemeingültige, nämlich für jedes Gebiet a unsrer Mannigfal-
tigkeit anzuerkennende hinstellen. Dies will sagen:
0 nennen wir ein Gebiet, welches
zu jedem Gebiete a in der Be-
ziehung der Einordnung steht,
welches in jedem Gebiete der Man-
nigfaltigkeit enthalten ist.		1 nennen wir ein Gebiet, zu wel-
chem jedes Gebiet a in der Be-
ziehung der Einordnung steht, in
welchem jedes Gebiet der Mannig-
faltigkeit enthalten ist.

Die Symbole 0 und 1, denen wir diese Eigenschaft zuschreiben,

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0208" n="188"/>
          <fw place="top" type="header">Zweite Vorlesung.</fw><lb/>
          <p>Was in logischer Beziehung davon zu halten sei, dass bei vorstehen-<lb/>
der Beweisführung im Grunde der Schluss der &#x201E;vollständigen Induktion&#x201C;,<lb/>
&#x201E;Schluss von <hi rendition="#i">n</hi> auf <hi rendition="#i">n</hi> + 1&#x201C; angewendet werden musste, darüber sei auf<lb/>
Anhang 3 und auf § 51 verwiesen.</p><lb/>
          <p>Ist nun irgend ein System von Gleichungen als zwischen Gebieten<lb/>
bestehend gegeben, so werden diese Gebiete unter sich gleich sein<lb/>
müssen, wenn es gelingt, die gegebenen Gleichungen so in einer Reihe<lb/>
anzuordnen, dass beim Durchgehen derselben in einem bestimmten<lb/>
Sinne &#x2014; etwa von links nach rechts fortschreitend &#x2014; man in jeder<lb/>
neu ins Auge gefassten Gleichung auf ein Gebiet stösst, welches be-<lb/>
reits in wenigstens einer der vorhergehenden Gleichungen als linke<lb/>
oder rechte Seite vorgekommen war. Um dies zu entscheiden, kann<lb/>
man eine beliebige von den Gleichungen als erste herausschreiben,<lb/>
darauf als zweite eine solche folgen lassen, welche eines der in der<lb/>
ersten stehenden Gebiete enthält, als dritte dann aus dem Reste eine<lb/>
solche Gleichung herauslesen, welche abermals die Forderung erfüllt<lb/>
mindestens eines der bisher schon vorgekommenen Gebiete zu ent-<lb/>
halten, und so weiter bis zu Ende. Ist es auf <hi rendition="#i">eine</hi> Art möglich, in<lb/>
dieser Weise mit den Gleichungen zu Ende zu kommen, so würde sich<lb/>
nachweisen lassen, dass dies auf jede Art eintreffen muss, mit welcher<lb/>
Gleichung des Systems man auch beginnen und wie man auch mit<lb/>
der Auslese der immer mindestens ein früheres Symbol enthaltenden<lb/>
Gleichungen fortfahren mag. &#x2014;</p><lb/>
          <p>Es sollen jetzt noch <hi rendition="#i">zwei spezielle Gebiete</hi> in die Algebra der Logik<lb/>
eingeführt werden, für welche als Namen, wie unter Th. 22) dargelegt<lb/>
wird, die Zahlzeichen 0 und 1 sich empfehlen. Auch diese wollen wir<lb/>
vermittelst des Beziehungszeichens der Einordnung erklären, und zwar<lb/>
erfolge die<lb/><table><row><cell><hi rendition="#g">Definition</hi> (2<hi rendition="#sub">×</hi>) <hi rendition="#i">der</hi> &#x201E;<hi rendition="#i">identischen<lb/>
Null</hi>&#x201C;</cell><cell><hi rendition="#g">Definition</hi> (2<hi rendition="#sub">+</hi>) <hi rendition="#i">der</hi> &#x201E;<hi rendition="#i">identischen<lb/>
Eins</hi>&#x201C;</cell></row><lb/><row><cell>dadurch, dass wir die Subsumtion</cell><cell/></row><lb/><row><cell>0 &#x22F9; <hi rendition="#i">a</hi></cell><cell><hi rendition="#i">a</hi> &#x22F9; 1</cell></row><lb/></table> als eine <hi rendition="#i">allgemeingültige</hi>, nämlich für <hi rendition="#i">jedes</hi> Gebiet <hi rendition="#i">a</hi> unsrer Mannigfal-<lb/>
tigkeit anzuerkennende hinstellen. Dies will sagen:<lb/><table><row><cell>0 <hi rendition="#i">nennen wir ein Gebiet</hi>, welches<lb/>
zu jedem Gebiete <hi rendition="#i">a</hi> in der Be-<lb/>
ziehung der Einordnung steht,<lb/><hi rendition="#i">welches in jedem Gebiete der Man-<lb/>
nigfaltigkeit enthalten ist</hi>.</cell><cell>1 <hi rendition="#i">nennen wir ein Gebiet</hi>, zu wel-<lb/>
chem jedes Gebiet <hi rendition="#i">a</hi> in der Be-<lb/>
ziehung der Einordnung steht, <hi rendition="#i">in<lb/>
welchem jedes Gebiet der Mannig-<lb/>
faltigkeit enthalten ist</hi>.</cell></row><lb/></table></p>
          <p>Die Symbole 0 und 1, denen wir diese Eigenschaft zuschreiben,<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[188/0208] Zweite Vorlesung. Was in logischer Beziehung davon zu halten sei, dass bei vorstehen- der Beweisführung im Grunde der Schluss der „vollständigen Induktion“, „Schluss von n auf n + 1“ angewendet werden musste, darüber sei auf Anhang 3 und auf § 51 verwiesen. Ist nun irgend ein System von Gleichungen als zwischen Gebieten bestehend gegeben, so werden diese Gebiete unter sich gleich sein müssen, wenn es gelingt, die gegebenen Gleichungen so in einer Reihe anzuordnen, dass beim Durchgehen derselben in einem bestimmten Sinne — etwa von links nach rechts fortschreitend — man in jeder neu ins Auge gefassten Gleichung auf ein Gebiet stösst, welches be- reits in wenigstens einer der vorhergehenden Gleichungen als linke oder rechte Seite vorgekommen war. Um dies zu entscheiden, kann man eine beliebige von den Gleichungen als erste herausschreiben, darauf als zweite eine solche folgen lassen, welche eines der in der ersten stehenden Gebiete enthält, als dritte dann aus dem Reste eine solche Gleichung herauslesen, welche abermals die Forderung erfüllt mindestens eines der bisher schon vorgekommenen Gebiete zu ent- halten, und so weiter bis zu Ende. Ist es auf eine Art möglich, in dieser Weise mit den Gleichungen zu Ende zu kommen, so würde sich nachweisen lassen, dass dies auf jede Art eintreffen muss, mit welcher Gleichung des Systems man auch beginnen und wie man auch mit der Auslese der immer mindestens ein früheres Symbol enthaltenden Gleichungen fortfahren mag. — Es sollen jetzt noch zwei spezielle Gebiete in die Algebra der Logik eingeführt werden, für welche als Namen, wie unter Th. 22) dargelegt wird, die Zahlzeichen 0 und 1 sich empfehlen. Auch diese wollen wir vermittelst des Beziehungszeichens der Einordnung erklären, und zwar erfolge die Definition (2×) der „identischen Null“ Definition (2+) der „identischen Eins“ dadurch, dass wir die Subsumtion 0 ⋹ a a ⋹ 1 als eine allgemeingültige, nämlich für jedes Gebiet a unsrer Mannigfal- tigkeit anzuerkennende hinstellen. Dies will sagen: 0 nennen wir ein Gebiet, welches zu jedem Gebiete a in der Be- ziehung der Einordnung steht, welches in jedem Gebiete der Man- nigfaltigkeit enthalten ist. 1 nennen wir ein Gebiet, zu wel- chem jedes Gebiet a in der Be- ziehung der Einordnung steht, in welchem jedes Gebiet der Mannig- faltigkeit enthalten ist. Die Symbole 0 und 1, denen wir diese Eigenschaft zuschreiben,

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/208
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 188. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/208>, abgerufen am 27.04.2024.