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 >>

§ 31. Grundsätze der Logik im Aussagenkalkul gedeutet.
Definitionen und Prinzipien (sei es unmittelbar, sei es mittelbar unter Zu-
zug von noch andern, indess schon ebenso bewiesenen Sätzen).

Wesentlich wird es darnach auf die Reihenfolge ankommen, in welcher
die Sätze untergebracht werden: je nachdem man sich für die eine oder
andere Ordnung entscheidet kann ein und derselbe Satz als Theorem oder
als Prinzip zu gelten haben. Die Reihenfolge ist naturgemäss eingeschränkt
durch die Anforderung, dass Begriffe und ihre Zeichen nicht angewendet
werden dürfen bevor sie, sei es definitionsweise, sei es als Urbegriffe, ein-
geführt worden sind.

Hierbei ist es nun aber noch fraglich, ob es möglich sein wird, auch
die ersten Grundlagen unsrer Erkenntniss im Aussagenkalkul in eine Kette
von logisch in bestimmter Weise sich auseinander entwickelnden Sätzen
aufzulösen, ob nicht vielmehr bei dem Versuche einer solchen Entwickelung
gewisse Zirkel unvermeidlich bleiben und die letzten Grundlagen sich uns
darstellen werden als ein gegebenes Flechtwerk oder Netz von miteinander
konsistenten Begriffen und Grundsätzen, bei dem man zwar von Knoten zu
Knoten die kreuz und die quere entlang zu wandern vermag, ohne jedoch
das Ganze in eine einfache Perlenschnur je auflösen zu können.

Glücklicherweise jedoch liegt in Gestalt des als Klassenkalkul errich-
teten identischen Kalkuls das gedachte Flechtwerk dermalen wenigstens
schon fertig vor unsern Augen.

Nehmen wir nach dem Gesagten nun das gleichzeitige Adoptiren
von (zwei) Voraussetzungen, imgleichen wie das Statuiren von (zwei)
Behauptungen als simultan geltender, in Anspruch als eine logische
Kategorie nach Art der Urbegriffe, so konnte auch die Aussagen-
gleichheit, wie in § 29 erläutert, definirt werden und wir verfügen
nächst dem Begriffe der Aussagensubsumtion, dem Prinzip In und dem
Begriff der 0 und i als der falschen und der wahren Aussage auch
über den Begriff der Äquivalenz, nach welchem, wie gezeigt, das Prin-
zip InIn angereiht werden konnte.

Auf Grund der Erklärung des Aussagenproduktes erscheinen
jetzt auch die Formeln A B A und A B B des Theorems 6x) als
reiner Ausfluss des Prinzips In: wenn A und B zugleich gelten, so
gilt A.

Ebenso die beiden Subsumtionen:
(C A B) (C A) (C B) und (C A) (C B) (C A B)
welche sich zu unsrer frühern Def. (3nx) zusammensetzten: Wenn A B
(d. h. eben A nebst B) gilt, wann C gilt, so gilt auch A wann C gilt,
und zugleich gilt B wann C gilt, sowie umgekehrt.

Was die Aussagensumme A + B betrifft, so hat man, scheint mir,
die Wahl, ob man sie mittelst der für jede Aussage C in Anspruch
zu nehmenden beiden Subsumtionen (3n+):
(A C) (B C) (A + B C), (A + B C) (A C) (B C)

§ 31. Grundsätze der Logik im Aussagenkalkul gedeutet.
Definitionen und Prinzipien (sei es unmittelbar, sei es mittelbar unter Zu-
zug von noch andern, indess schon ebenso bewiesenen Sätzen).

Wesentlich wird es darnach auf die Reihenfolge ankommen, in welcher
die Sätze untergebracht werden: je nachdem man sich für die eine oder
andere Ordnung entscheidet kann ein und derselbe Satz als Theorem oder
als Prinzip zu gelten haben. Die Reihenfolge ist naturgemäss eingeschränkt
durch die Anforderung, dass Begriffe und ihre Zeichen nicht angewendet
werden dürfen bevor sie, sei es definitionsweise, sei es als Urbegriffe, ein-
geführt worden sind.

Hierbei ist es nun aber noch fraglich, ob es möglich sein wird, auch
die ersten Grundlagen unsrer Erkenntniss im Aussagenkalkul in eine Kette
von logisch in bestimmter Weise sich auseinander entwickelnden Sätzen
aufzulösen, ob nicht vielmehr bei dem Versuche einer solchen Entwickelung
gewisse Zirkel unvermeidlich bleiben und die letzten Grundlagen sich uns
darstellen werden als ein gegebenes Flechtwerk oder Netz von miteinander
konsistenten Begriffen und Grundsätzen, bei dem man zwar von Knoten zu
Knoten die kreuz und die quere entlang zu wandern vermag, ohne jedoch
das Ganze in eine einfache Perlenschnur je auflösen zu können.

Glücklicherweise jedoch liegt in Gestalt des als Klassenkalkul errich-
teten identischen Kalkuls das gedachte Flechtwerk dermalen wenigstens
schon fertig vor unsern Augen.

Nehmen wir nach dem Gesagten nun das gleichzeitige Adoptiren
von (zwei) Voraussetzungen, imgleichen wie das Statuiren von (zwei)
Behauptungen als simultan geltender, in Anspruch als eine logische
Kategorie nach Art der Urbegriffe, so konnte auch die Aussagen-
gleichheit, wie in § 29 erläutert, definirt werden und wir verfügen
nächst dem Begriffe der Aussagensubsumtion, dem Prinzip Ī und dem
Begriff der 0 und i als der falschen und der wahren Aussage auch
über den Begriff der Äquivalenz, nach welchem, wie gezeigt, das Prin-
zip ĪĪ angereiht werden konnte.

Auf Grund der Erklärung des Aussagenproduktes erscheinen
jetzt auch die Formeln A B ⊆ A und A B ⊆ B des Theorems 6̅×) als
reiner Ausfluss des Prinzips Ī: wenn A und B zugleich gelten, so
gilt A.

Ebenso die beiden Subsumtionen:
(C ⊆ A B) ⊆ (C ⊆ A) (C ⊆ B) und (C ⊆ A) (C ⊆ B) ⊆ (C ⊆ A B)
welche sich zu unsrer frühern Def. (3̄×) zusammensetzten: Wenn A B
(d. h. eben A nebst B) gilt, wann C gilt, so gilt auch A wann C gilt,
und zugleich gilt B wann C gilt, sowie umgekehrt.

Was die Aussagensumme A + B betrifft, so hat man, scheint mir,
die Wahl, ob man sie mittelst der für jede Aussage C in Anspruch
zu nehmenden beiden Subsumtionen (3̄+):
(A ⊆ C) (B ⊆ C) ⊆ (A + B ⊆ C), (A + B ⊆ C) ⊆ (A ⊆ C) (B ⊆ C)

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0079" n="55"/><fw place="top" type="header">§ 31. Grundsätze der Logik im Aussagenkalkul gedeutet.</fw><lb/>
Definitionen und Prinzipien (sei es unmittelbar, sei es mittelbar unter Zu-<lb/>
zug von noch andern, indess schon ebenso bewiesenen Sätzen).</p><lb/>
            <p>Wesentlich wird es darnach auf die Reihenfolge ankommen, in welcher<lb/>
die Sätze untergebracht werden: je nachdem man sich für die eine oder<lb/>
andere Ordnung entscheidet kann ein und derselbe Satz als Theorem oder<lb/>
als Prinzip zu gelten haben. Die Reihenfolge ist naturgemäss eingeschränkt<lb/>
durch die Anforderung, dass Begriffe und ihre Zeichen nicht angewendet<lb/>
werden dürfen bevor sie, sei es definitionsweise, sei es als Urbegriffe, ein-<lb/>
geführt worden sind.</p><lb/>
            <p>Hierbei ist es nun aber noch fraglich, ob es möglich sein wird, auch<lb/>
die ersten <hi rendition="#i">Grundlagen</hi> unsrer Erkenntniss <hi rendition="#i">im Aussagenkalkul</hi> in eine Kette<lb/>
von logisch in bestimmter Weise sich auseinander entwickelnden Sätzen<lb/>
aufzulösen, ob nicht vielmehr bei dem Versuche einer solchen Entwickelung<lb/>
gewisse Zirkel unvermeidlich bleiben und die letzten Grundlagen sich uns<lb/>
darstellen werden als ein <hi rendition="#i">gegebenes</hi> Flechtwerk oder Netz von miteinander<lb/>
konsistenten Begriffen und Grundsätzen, bei dem man zwar von Knoten zu<lb/>
Knoten die kreuz und die quere entlang zu wandern vermag, ohne jedoch<lb/>
das Ganze in eine einfache Perlenschnur je auflösen zu können.</p><lb/>
            <p>Glücklicherweise jedoch liegt in Gestalt des als Klassenkalkul errich-<lb/>
teten identischen Kalkuls das gedachte Flechtwerk dermalen wenigstens<lb/>
schon fertig vor unsern Augen.</p><lb/>
            <p>Nehmen wir nach dem Gesagten nun das gleichzeitige Adoptiren<lb/>
von (zwei) Voraussetzungen, imgleichen wie das Statuiren von (zwei)<lb/>
Behauptungen als simultan geltender, in Anspruch als eine logische<lb/>
Kategorie nach Art der Urbegriffe, so konnte auch die Aussagen-<lb/>
gleichheit, wie in § 29 erläutert, definirt werden und wir verfügen<lb/>
nächst dem Begriffe der Aussagensubsumtion, dem Prinzip I&#x0304; und dem<lb/>
Begriff der 0 und i als der falschen und der wahren Aussage auch<lb/>
über den Begriff der Äquivalenz, nach welchem, wie gezeigt, das Prin-<lb/>
zip I&#x0304;I&#x0304; angereiht werden konnte.</p><lb/>
            <p>Auf Grund der Erklärung des Aussagenproduktes erscheinen<lb/>
jetzt auch die Formeln <hi rendition="#i">A B</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">A</hi> und <hi rendition="#i">A B</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">B</hi> des Theorems 6&#x0305;<hi rendition="#sub">×</hi>) als<lb/>
reiner Ausfluss des Prinzips I&#x0304;: wenn <hi rendition="#i">A</hi> und <hi rendition="#i">B</hi> zugleich gelten, so<lb/>
gilt <hi rendition="#i">A</hi>.</p><lb/>
            <p>Ebenso die beiden Subsumtionen:<lb/>
(<hi rendition="#i">C</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">A B</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">C</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">A</hi>) (<hi rendition="#i">C</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">B</hi>) und (<hi rendition="#i">C</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">A</hi>) (<hi rendition="#i">C</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">B</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">C</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">A B</hi>)<lb/>
welche sich zu unsrer frühern Def. (3&#x0304;<hi rendition="#sub">×</hi>) zusammensetzten: Wenn <hi rendition="#i">A B</hi><lb/>
(d. h. eben <hi rendition="#i">A</hi> nebst <hi rendition="#i">B</hi>) gilt, wann <hi rendition="#i">C</hi> gilt, so gilt auch <hi rendition="#i">A</hi> wann <hi rendition="#i">C</hi> gilt,<lb/>
und zugleich gilt <hi rendition="#i">B</hi> wann <hi rendition="#i">C</hi> gilt, sowie umgekehrt.</p><lb/>
            <p>Was die Aussagen<hi rendition="#i">summe A</hi> + <hi rendition="#i">B</hi> betrifft, so hat man, scheint mir,<lb/>
die Wahl, ob man sie mittelst der für <hi rendition="#i">jede</hi> Aussage <hi rendition="#i">C</hi> in Anspruch<lb/>
zu nehmenden beiden Subsumtionen (3&#x0304;<hi rendition="#sub">+</hi>):<lb/>
(<hi rendition="#i">A</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">C</hi>) (<hi rendition="#i">B</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">C</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">A</hi> + <hi rendition="#i">B</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">C</hi>), (<hi rendition="#i">A</hi> + <hi rendition="#i">B</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">C</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">A</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">C</hi>) (<hi rendition="#i">B</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">C</hi>)<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[55/0079] § 31. Grundsätze der Logik im Aussagenkalkul gedeutet. Definitionen und Prinzipien (sei es unmittelbar, sei es mittelbar unter Zu- zug von noch andern, indess schon ebenso bewiesenen Sätzen). Wesentlich wird es darnach auf die Reihenfolge ankommen, in welcher die Sätze untergebracht werden: je nachdem man sich für die eine oder andere Ordnung entscheidet kann ein und derselbe Satz als Theorem oder als Prinzip zu gelten haben. Die Reihenfolge ist naturgemäss eingeschränkt durch die Anforderung, dass Begriffe und ihre Zeichen nicht angewendet werden dürfen bevor sie, sei es definitionsweise, sei es als Urbegriffe, ein- geführt worden sind. Hierbei ist es nun aber noch fraglich, ob es möglich sein wird, auch die ersten Grundlagen unsrer Erkenntniss im Aussagenkalkul in eine Kette von logisch in bestimmter Weise sich auseinander entwickelnden Sätzen aufzulösen, ob nicht vielmehr bei dem Versuche einer solchen Entwickelung gewisse Zirkel unvermeidlich bleiben und die letzten Grundlagen sich uns darstellen werden als ein gegebenes Flechtwerk oder Netz von miteinander konsistenten Begriffen und Grundsätzen, bei dem man zwar von Knoten zu Knoten die kreuz und die quere entlang zu wandern vermag, ohne jedoch das Ganze in eine einfache Perlenschnur je auflösen zu können. Glücklicherweise jedoch liegt in Gestalt des als Klassenkalkul errich- teten identischen Kalkuls das gedachte Flechtwerk dermalen wenigstens schon fertig vor unsern Augen. Nehmen wir nach dem Gesagten nun das gleichzeitige Adoptiren von (zwei) Voraussetzungen, imgleichen wie das Statuiren von (zwei) Behauptungen als simultan geltender, in Anspruch als eine logische Kategorie nach Art der Urbegriffe, so konnte auch die Aussagen- gleichheit, wie in § 29 erläutert, definirt werden und wir verfügen nächst dem Begriffe der Aussagensubsumtion, dem Prinzip Ī und dem Begriff der 0 und i als der falschen und der wahren Aussage auch über den Begriff der Äquivalenz, nach welchem, wie gezeigt, das Prin- zip ĪĪ angereiht werden konnte. Auf Grund der Erklärung des Aussagenproduktes erscheinen jetzt auch die Formeln A B  A und A B  B des Theorems 6̅×) als reiner Ausfluss des Prinzips Ī: wenn A und B zugleich gelten, so gilt A. Ebenso die beiden Subsumtionen: (C  A B)  (C  A) (C  B) und (C  A) (C  B)  (C  A B) welche sich zu unsrer frühern Def. (3̄×) zusammensetzten: Wenn A B (d. h. eben A nebst B) gilt, wann C gilt, so gilt auch A wann C gilt, und zugleich gilt B wann C gilt, sowie umgekehrt. Was die Aussagensumme A + B betrifft, so hat man, scheint mir, die Wahl, ob man sie mittelst der für jede Aussage C in Anspruch zu nehmenden beiden Subsumtionen (3̄+): (A  C) (B  C)  (A + B  C), (A + B  C)  (A  C) (B  C)

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