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 >>
Fünfte Vorlesung.

Der Anfänger kann hier noch nicht in der Lage sein, die unter d)
rubrizirten Bemerkungen ganz zu verstehen, mithin die angeführten Gründe
voll zu würdigen. Anders Derjenige, der schon das Buch durchgearbeitet
haben wird. Für diesen müssen wir der Vollständigkeit wegen noch eines
bemerken:

Im Aussagenkalkul werden ja auch Aussagen in Rechnung gezogen,
die gemeinhin zu reden miteinander "unverträglich" sind, die mit ihrem
Sinne einander "widersprechen". Es scheint demnach kraft des von mir
unter d) Gesagten das Verfahren des Herrn Peirce, die ganze Mannig-
faltigkeit der Aussagen mit infinity zu bezeichnen, auf den ersten Blick gerade
gerechtfertigt zu sein. Und doch bestreite ich eben letzteres! Und dies
mein Grund: Der Aussagenkalkul wird -- wesentlich ganz in Überein-
stimmung mit Peirce -- von uns so angelegt werden, dass man die Aus-
sagen (teilweise absehend von deren Sinne) jeweils in Gebiete umschreibt:
in Gebiete von Zeitpunkten. Von einer Unverträglichkeit der letzteren
miteinander (und in diesem Sinne also auch der zugehörigen Aussagen)
kann dann so wenig die Rede sein, wie von einer Unverträglichkeit, einem
"Widerspruch zwischen den Punkten einer geraden Linie".

In der That wird dieser Aussagenkalkul auch nur ein Unterfall sein
des identischen Kalkuls mit Gebieten einer Mannigfaltigkeit von unter sich
verträglichen Elementen.

Ein Beispiel dagegen des "logischen" Kalkuls, der einen wesentlich
andern Anblick darbieten wird, liefert erstmals der logische Kalkul mit
Funktionalgleichungen, Algorithmen und Kalkuln, auf den wir in Anhang 4
und 5 eingehen.

Aus diesen Gründen sei die Beibehaltung der (Boole'schen) 1 empfohlen
und hier bethätigt.

23x) Theorem. Stets ist:23+) Theorem. Stets ist:
a (a + b) = a.a + a b = a.
Beweis 1. Nach I ist a a,
zugleich nach 6+): a a + b.
Aus diesen beiden Subsumtionen
folgt nach Def. (3x)':		Beweis 1. Nach I ist a a,
zugleich nach 6x): a b a,
woraus nach Def. (3+)' folgt:
a a (a + b).a + a b a.
Umgekehrt ist aber auch nach 6x):Dazu ist nach 6+) direkt:
a (a + b) a.a a + a b.

Hiemit ist denn nach Def. (1) die Gleichheit erwiesen.

Beweis 2. Nach 6) ist: a b a a + b und die erste dieser
beiden Subsumtionen lässt sich nach dem einen Teil des Th. 20) um-
schreiben in die Gleichung 23+), die zweite Subsumtion, nach dem
andern Teil von 20), in die Gleichung 23x). --

Fünfte Vorlesung.

Der Anfänger kann hier noch nicht in der Lage sein, die unter δ)
rubrizirten Bemerkungen ganz zu verstehen, mithin die angeführten Gründe
voll zu würdigen. Anders Derjenige, der schon das Buch durchgearbeitet
haben wird. Für diesen müssen wir der Vollständigkeit wegen noch eines
bemerken:

Im Aussagenkalkul werden ja auch Aussagen in Rechnung gezogen,
die gemeinhin zu reden miteinander „unverträglich“ sind, die mit ihrem
Sinne einander „widersprechen“. Es scheint demnach kraft des von mir
unter δ) Gesagten das Verfahren des Herrn Peirce, die ganze Mannig-
faltigkeit der Aussagen mit ∞ zu bezeichnen, auf den ersten Blick gerade
gerechtfertigt zu sein. Und doch bestreite ich eben letzteres! Und dies
mein Grund: Der Aussagenkalkul wird — wesentlich ganz in Überein-
stimmung mit Peirce — von uns so angelegt werden, dass man die Aus-
sagen (teilweise absehend von deren Sinne) jeweils in Gebiete umschreibt:
in Gebiete von Zeitpunkten. Von einer Unverträglichkeit der letzteren
miteinander (und in diesem Sinne also auch der zugehörigen Aussagen)
kann dann so wenig die Rede sein, wie von einer Unverträglichkeit, einem
„Widerspruch zwischen den Punkten einer geraden Linie“.

In der That wird dieser Aussagenkalkul auch nur ein Unterfall sein
des identischen Kalkuls mit Gebieten einer Mannigfaltigkeit von unter sich
verträglichen Elementen.

Ein Beispiel dagegen des „logischen“ Kalkuls, der einen wesentlich
andern Anblick darbieten wird, liefert erstmals der logische Kalkul mit
Funktionalgleichungen, Algorithmen und Kalkuln, auf den wir in Anhang 4
und 5 eingehen.

Aus diesen Gründen sei die Beibehaltung der (Boole'schen) 1 empfohlen
und hier bethätigt.

23×) Theorem. Stets ist:23+) Theorem. Stets ist:
a (a + b) = a.a + a b = a.
Beweis 1. Nach I ist a ⋹ a,
zugleich nach 6+): a ⋹ a + b.
Aus diesen beiden Subsumtionen
folgt nach Def. (3×)':		Beweis 1. Nach I ist a ⋹ a,
zugleich nach 6×): a b ⋹ a,
woraus nach Def. (3+)' folgt:
a ⋹ a (a + b).a + a b ⋹ a.
Umgekehrt ist aber auch nach 6×):Dazu ist nach 6+) direkt:
a (a + b) ⋹ a.a ⋹ a + a b.

Hiemit ist denn nach Def. (1) die Gleichheit erwiesen.

Beweis 2. Nach 6) ist: a b ⋹ a ⋹ a + b und die erste dieser
beiden Subsumtionen lässt sich nach dem einen Teil des Th. 20) um-
schreiben in die Gleichung 23+), die zweite Subsumtion, nach dem
andern Teil von 20), in die Gleichung 23×). —

<TEI>
  <text>
    <body>
      <div n="1">
        <pb facs="#f0296" n="276"/>
        <fw place="top" type="header">Fünfte Vorlesung.</fw><lb/>
        <p>Der Anfänger kann hier noch nicht in der Lage sein, die unter <hi rendition="#i">&#x03B4;</hi>)<lb/>
rubrizirten Bemerkungen ganz zu verstehen, mithin die angeführten Gründe<lb/>
voll zu würdigen. Anders Derjenige, der schon das Buch durchgearbeitet<lb/>
haben wird. Für diesen müssen wir der Vollständigkeit wegen noch eines<lb/>
bemerken:</p><lb/>
        <p>Im Aussagenkalkul werden ja auch Aussagen in Rechnung gezogen,<lb/>
die gemeinhin zu reden miteinander &#x201E;unverträglich&#x201C; sind, die <hi rendition="#i">mit ihrem<lb/>
Sinne</hi> einander &#x201E;widersprechen&#x201C;. Es scheint demnach kraft des von mir<lb/>
unter <hi rendition="#i">&#x03B4;</hi>) Gesagten das Verfahren des Herrn <hi rendition="#g">Peirce</hi>, die ganze Mannig-<lb/>
faltigkeit der Aussagen mit &#x221E; zu bezeichnen, auf den ersten Blick gerade<lb/>
gerechtfertigt zu sein. Und doch bestreite ich eben letzteres! Und dies<lb/>
mein Grund: Der Aussagenkalkul wird &#x2014; wesentlich ganz in Überein-<lb/>
stimmung mit <hi rendition="#g">Peirce</hi> &#x2014; von uns so angelegt werden, dass man die Aus-<lb/>
sagen (teilweise absehend von deren Sinne) jeweils in <hi rendition="#i">Gebiete</hi> umschreibt:<lb/>
in Gebiete von Zeitpunkten. Von einer Unverträglichkeit der letzteren<lb/>
miteinander (und in <hi rendition="#i">diesem</hi> Sinne also auch der zugehörigen Aussagen)<lb/>
kann dann so wenig die Rede sein, wie von einer Unverträglichkeit, einem<lb/>
&#x201E;Widerspruch zwischen den Punkten einer geraden Linie&#x201C;.</p><lb/>
        <p>In der That wird dieser Aussagenkalkul auch nur ein Unterfall sein<lb/>
des identischen Kalkuls mit Gebieten einer Mannigfaltigkeit <hi rendition="#i">von unter sich<lb/>
verträglichen</hi> Elementen.</p><lb/>
        <p>Ein Beispiel dagegen des &#x201E;logischen&#x201C; Kalkuls, der einen wesentlich<lb/>
andern Anblick darbieten wird, liefert erstmals der logische Kalkul mit<lb/>
Funktionalgleichungen, Algorithmen und Kalkuln, auf den wir in Anhang 4<lb/>
und 5 eingehen.</p><lb/>
        <p><hi rendition="#i">Aus diesen Gründen sei die Beibehaltung der</hi> (<hi rendition="#g">Boole</hi>'schen) 1 <hi rendition="#i">empfohlen<lb/>
und hier bethätigt</hi>.</p><lb/>
        <table>
          <row>
            <cell>23<hi rendition="#sub">×</hi>) <hi rendition="#g">Theorem</hi>. <hi rendition="#i">Stets ist:</hi></cell>
            <cell>23<hi rendition="#sub">+</hi>) <hi rendition="#g">Theorem</hi>. <hi rendition="#i">Stets ist:</hi></cell>
          </row><lb/>
          <row>
            <cell><hi rendition="#i">a</hi> (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) = <hi rendition="#i">a</hi>.</cell>
            <cell><hi rendition="#i">a</hi> + <hi rendition="#i">a b</hi> = <hi rendition="#i">a</hi>.</cell>
          </row><lb/>
          <row>
            <cell><hi rendition="#g">Beweis</hi> 1. Nach I ist <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi>,<lb/>
zugleich nach 6<hi rendition="#sub">+</hi>): <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>.<lb/>
Aus diesen beiden Subsumtionen<lb/>
folgt nach Def. (3<hi rendition="#sub">×</hi>)':</cell>
            <cell><hi rendition="#g">Beweis</hi> 1. Nach I ist <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi>,<lb/>
zugleich nach 6<hi rendition="#sub">×</hi>): <hi rendition="#i">a b</hi> &#x22F9; <hi rendition="#i">a</hi>,<lb/>
woraus nach Def. (3<hi rendition="#sub">+</hi>)' folgt:</cell>
          </row><lb/>
          <row>
            <cell><hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi> (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>).</cell>
            <cell><hi rendition="#i">a</hi> + <hi rendition="#i">a b</hi> &#x22F9; <hi rendition="#i">a</hi>.</cell>
          </row><lb/>
          <row>
            <cell>Umgekehrt ist aber auch nach 6<hi rendition="#sub">×</hi>):</cell>
            <cell>Dazu ist nach 6<hi rendition="#sub">+</hi>) direkt:</cell>
          </row><lb/>
          <row>
            <cell><hi rendition="#i">a</hi> (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) &#x22F9; <hi rendition="#i">a</hi>.</cell>
            <cell><hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi> + <hi rendition="#i">a b</hi>.</cell>
          </row><lb/>
        </table>
        <p>Hiemit ist denn nach Def. (1) die Gleichheit erwiesen.</p><lb/>
        <p><hi rendition="#g">Beweis</hi> 2. Nach 6) ist: <hi rendition="#i">a b</hi> &#x22F9; <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> und die erste dieser<lb/>
beiden Subsumtionen lässt sich nach dem einen Teil des Th. 20) um-<lb/>
schreiben in die Gleichung 23<hi rendition="#sub">+</hi>), die zweite Subsumtion, nach dem<lb/>
andern Teil von 20), in die Gleichung 23<hi rendition="#sub">×</hi>). &#x2014;</p><lb/>
      </div>
    </body>
  </text>
</TEI>
[276/0296] Fünfte Vorlesung. Der Anfänger kann hier noch nicht in der Lage sein, die unter δ) rubrizirten Bemerkungen ganz zu verstehen, mithin die angeführten Gründe voll zu würdigen. Anders Derjenige, der schon das Buch durchgearbeitet haben wird. Für diesen müssen wir der Vollständigkeit wegen noch eines bemerken: Im Aussagenkalkul werden ja auch Aussagen in Rechnung gezogen, die gemeinhin zu reden miteinander „unverträglich“ sind, die mit ihrem Sinne einander „widersprechen“. Es scheint demnach kraft des von mir unter δ) Gesagten das Verfahren des Herrn Peirce, die ganze Mannig- faltigkeit der Aussagen mit ∞ zu bezeichnen, auf den ersten Blick gerade gerechtfertigt zu sein. Und doch bestreite ich eben letzteres! Und dies mein Grund: Der Aussagenkalkul wird — wesentlich ganz in Überein- stimmung mit Peirce — von uns so angelegt werden, dass man die Aus- sagen (teilweise absehend von deren Sinne) jeweils in Gebiete umschreibt: in Gebiete von Zeitpunkten. Von einer Unverträglichkeit der letzteren miteinander (und in diesem Sinne also auch der zugehörigen Aussagen) kann dann so wenig die Rede sein, wie von einer Unverträglichkeit, einem „Widerspruch zwischen den Punkten einer geraden Linie“. In der That wird dieser Aussagenkalkul auch nur ein Unterfall sein des identischen Kalkuls mit Gebieten einer Mannigfaltigkeit von unter sich verträglichen Elementen. Ein Beispiel dagegen des „logischen“ Kalkuls, der einen wesentlich andern Anblick darbieten wird, liefert erstmals der logische Kalkul mit Funktionalgleichungen, Algorithmen und Kalkuln, auf den wir in Anhang 4 und 5 eingehen. Aus diesen Gründen sei die Beibehaltung der (Boole'schen) 1 empfohlen und hier bethätigt. 23×) Theorem. Stets ist: 23+) Theorem. Stets ist: a (a + b) = a. a + a b = a. Beweis 1. Nach I ist a ⋹ a, zugleich nach 6+): a ⋹ a + b. Aus diesen beiden Subsumtionen folgt nach Def. (3×)': Beweis 1. Nach I ist a ⋹ a, zugleich nach 6×): a b ⋹ a, woraus nach Def. (3+)' folgt: a ⋹ a (a + b). a + a b ⋹ a. Umgekehrt ist aber auch nach 6×): Dazu ist nach 6+) direkt: a (a + b) ⋹ a. a ⋹ a + a b. Hiemit ist denn nach Def. (1) die Gleichheit erwiesen. Beweis 2. Nach 6) ist: a b ⋹ a ⋹ a + b und die erste dieser beiden Subsumtionen lässt sich nach dem einen Teil des Th. 20) um- schreiben in die Gleichung 23+), die zweite Subsumtion, nach dem andern Teil von 20), in die Gleichung 23×). —

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