Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.Fünfzehnte Vorlesung. man dies im Anschluss an vorstehende Betrachtungen leicht ebenfallsnachsehen wird. Es gelten unsre Definitionen und Prinzipien "aussagendual" um- Diese Thatsache ist auf den ersten Blick überraschend. Wie ist Der scheinbare Widerspruch klärt sich in folgender Weise auf. Schon die allgemeinste, schon eine Aussage von noch ganz offen Für spezielle Gebiete aber brauchte zu einer Proposition die dual ent- Wenn -- um das einfachste Beispiel zu nehmen -- a b ist, braucht Nicht zu "Relationen", sondern nur zu allgemeinen "Formeln" des Da in dieser Weise z. B. a b a war, so musste zugleich auch a a + b Von solchem Charakter scheinen zwar die in § 29 rekapitulirten Fünfzehnte Vorlesung. man dies im Anschluss an vorstehende Betrachtungen leicht ebenfallsnachsehen wird. Es gelten unsre Definitionen und Prinzipien „aussagendual“ um- Diese Thatsache ist auf den ersten Blick überraschend. Wie ist Der scheinbare Widerspruch klärt sich in folgender Weise auf. Schon die allgemeinste, schon eine Aussage von noch ganz offen Für spezielle Gebiete aber brauchte zu einer Proposition die dual ent- Wenn — um das einfachste Beispiel zu nehmen — a ⊆ b ist, braucht Nicht zu „Relationen“, sondern nur zu allgemeinen „Formeln“ des Da in dieser Weise z. B. a b ⊆ a war, so musste zugleich auch a ⊆ a + b Von solchem Charakter scheinen zwar die in § 29 rekapitulirten <TEI> <text> <body> <div n="1"> <div n="2"> <div n="3"> <p><pb facs="#f0070" n="46"/><fw place="top" type="header">Fünfzehnte Vorlesung.</fw><lb/> man dies im Anschluss an vorstehende Betrachtungen leicht ebenfalls<lb/> nachsehen wird.</p><lb/> <p>Es gelten unsre Definitionen und Prinzipien „<hi rendition="#i">aussagendual</hi>“ <hi rendition="#i">um-<lb/> geschrieben nicht</hi> mehr, mögen sie dabei gleichzeitig auch „gebietsdual“<lb/> transkribirt werden, oder nicht.</p><lb/> <p>Diese Thatsache ist auf den ersten Blick <hi rendition="#i">überraschend</hi>. Wie ist<lb/> dieselbe mit dem Umstand in Einklang zu bringen, dass doch der<lb/> Aussagenkalkul nur eine besondre Anwendung des Gebietekalkuls ist,<lb/> in welchem der Dualismus durchweg herrscht?</p><lb/> <p>Der scheinbare Widerspruch klärt sich in folgender Weise auf.</p><lb/> <p>Schon die allgemeinste, schon eine Aussage von noch ganz offen<lb/> gelassenem Inhalte, lässt nicht als ein ganz beliebiges Gebiet sich<lb/> deuten (als eine ganz beliebige Klasse in der Mannigfaltigkeit der Ge-<lb/> legenheiten zu Aussagen), vielmehr kommt, sofern ihr Sinn nur kon-<lb/> stant festgehalten wird, einer der beiden Werte 0 oder i ihr not-<lb/> wendig zu. Bestimmte, mit Inhaltsangabe ausgestattete oder „spezifi-<lb/> zirte“ Aussagen, vollends, sind ganz <hi rendition="#i">spezielle</hi> Gebiete (mögen sie auch<lb/> vielleicht allgemeine Gebiete betreffen, über solche als ihr Thema etwas<lb/> aussagen). Wenn falsch, sind sie = 0, wenn richtig, = i zu denken.</p><lb/> <p> <hi rendition="#i">Für spezielle Gebiete aber brauchte zu einer Proposition die dual ent-<lb/> sprechende keineswegs zu gelten.</hi> </p><lb/> <p>Wenn — um das einfachste Beispiel zu nehmen — <hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi> ist, braucht<lb/> nicht zugleich auch <hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi> zu sein (sonst müsste ja in der That jede Ein-<lb/> ordnung auf identische Gleichheit hinauslaufen). Oder wenn für <hi rendition="#i">gewisse</hi><lb/> Gebiete <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi> beispielsweise <hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> sein sollte, so muss nicht notwendig<lb/> zugleich auch <hi rendition="#i">b c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi> gelten!</p><lb/> <p>Nicht zu „Relationen“, sondern nur zu <hi rendition="#i">allgemeinen</hi> „<hi rendition="#i">Formeln</hi>“ <hi rendition="#i">des<lb/> Gebietekalkuls</hi>, die also richtig sind, was auch immer für Gebiete der<lb/> Mannigfaltigkeit die in sie eingehenden Buchstaben bedeuten, mussten<lb/> stets die dual entsprechenden gelten.</p><lb/> <p>Da in dieser Weise z. B. <hi rendition="#i">a b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi> war, so musste zugleich auch <hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi><lb/> allgemein sein. Etc.</p><lb/> <p>Von solchem Charakter <hi rendition="#i">scheinen</hi> zwar die in § 29 rekapitulirten<lb/> Theoreme zu sein — die wir in der That fortfahren mögen, auch in<lb/> ihrer dortigen Fassung, als <hi rendition="#i">allgemeine</hi> „<hi rendition="#i">Formeln</hi>“ (und zwar des Aus-<lb/> sagenkalkuls) zu bezeichnen, sintemal sie eben für ganz beliebige Ge-<lb/> biete <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, <hi rendition="#i">d</hi>, <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, etc. Geltung beanspruchen — sie sind es aber in<lb/> Wahrheit (im vollen Sinne des Wortes) <hi rendition="#i">nicht</hi>: vielmehr stellen die-<lb/> selben sich sofort als blosse „Relationen“ (des Gebietekalkuls) dar, so-<lb/></p> </div> </div> </div> </body> </text> </TEI> [46/0070]
Fünfzehnte Vorlesung.
man dies im Anschluss an vorstehende Betrachtungen leicht ebenfalls
nachsehen wird.
Es gelten unsre Definitionen und Prinzipien „aussagendual“ um-
geschrieben nicht mehr, mögen sie dabei gleichzeitig auch „gebietsdual“
transkribirt werden, oder nicht.
Diese Thatsache ist auf den ersten Blick überraschend. Wie ist
dieselbe mit dem Umstand in Einklang zu bringen, dass doch der
Aussagenkalkul nur eine besondre Anwendung des Gebietekalkuls ist,
in welchem der Dualismus durchweg herrscht?
Der scheinbare Widerspruch klärt sich in folgender Weise auf.
Schon die allgemeinste, schon eine Aussage von noch ganz offen
gelassenem Inhalte, lässt nicht als ein ganz beliebiges Gebiet sich
deuten (als eine ganz beliebige Klasse in der Mannigfaltigkeit der Ge-
legenheiten zu Aussagen), vielmehr kommt, sofern ihr Sinn nur kon-
stant festgehalten wird, einer der beiden Werte 0 oder i ihr not-
wendig zu. Bestimmte, mit Inhaltsangabe ausgestattete oder „spezifi-
zirte“ Aussagen, vollends, sind ganz spezielle Gebiete (mögen sie auch
vielleicht allgemeine Gebiete betreffen, über solche als ihr Thema etwas
aussagen). Wenn falsch, sind sie = 0, wenn richtig, = i zu denken.
Für spezielle Gebiete aber brauchte zu einer Proposition die dual ent-
sprechende keineswegs zu gelten.
Wenn — um das einfachste Beispiel zu nehmen — a  b ist, braucht
nicht zugleich auch b  a zu sein (sonst müsste ja in der That jede Ein-
ordnung auf identische Gleichheit hinauslaufen). Oder wenn für gewisse
Gebiete a, b, c beispielsweise a  b + c sein sollte, so muss nicht notwendig
zugleich auch b c  a gelten!
Nicht zu „Relationen“, sondern nur zu allgemeinen „Formeln“ des
Gebietekalkuls, die also richtig sind, was auch immer für Gebiete der
Mannigfaltigkeit die in sie eingehenden Buchstaben bedeuten, mussten
stets die dual entsprechenden gelten.
Da in dieser Weise z. B. a b  a war, so musste zugleich auch a  a + b
allgemein sein. Etc.
Von solchem Charakter scheinen zwar die in § 29 rekapitulirten
Theoreme zu sein — die wir in der That fortfahren mögen, auch in
ihrer dortigen Fassung, als allgemeine „Formeln“ (und zwar des Aus-
sagenkalkuls) zu bezeichnen, sintemal sie eben für ganz beliebige Ge-
biete a, b, c, d, x, y, etc. Geltung beanspruchen — sie sind es aber in
Wahrheit (im vollen Sinne des Wortes) nicht: vielmehr stellen die-
selben sich sofort als blosse „Relationen“ (des Gebietekalkuls) dar, so-
Suche im WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools
|
URL zu diesem Werk: | https://www.deutschestextarchiv.de/schroeder_logik0201_1891 |
URL zu dieser Seite: | https://www.deutschestextarchiv.de/schroeder_logik0201_1891/70 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 46. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/70>, abgerufen am 14.08.2024. |