Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 2. Leipzig, 1905.

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

Fünfundzwanzigste Vorlesung.
Ich pflege nun ganz naheliegende Vereinfachungen keineswegs zu unter-
lassen. Auf den ersten Blick ist ersichtlich, dass unser drittes und viertes
Glied zu g1 s1 sich zusammenzieht; und hält man das mit dem ersten Glied
zusammen, so wird bei diesem nach Th. 33+) Zusatz die Unterdrückbarkeit
des Faktors s ersichtlich; ebenso beim letzten Glied die des Faktors g.
Das so vereinfachte erste Glied g1 y1, mit dem zweiten zusammengehalten,
zeigt bei diesem die Überflüssigkeit des Faktors g an; und das zu x y1 ver-
einfachte zweite Glied bringt bei dem schon zu s1 x y reduzirten letzten
Gliede noch den Faktor y in Wegfall, wonach die Prämisse lautet:
g1 y1 + x y1 + g1 s1 + s1 x = 0 oder (g1 + x) (s1 + y1) = 0.
Da die Elimination irgendwelcher von den vier Symbolen g, s, x, y sich
hier immer auf das einfachste vollzieht, indem man die sie betreffenden
Glieder aus dem Polynom der Gleichung fortlässt, (indem eben keines der-
selben sowol unnegirt als negirt vorkommt), so liest man hieraus leicht
die Antwort auf jede der gestellten Fragen heraus, nämlich zusammen mit
g1 s1 = 0 als Resultante: g1 y für die erste, x s für die zweite und
x y für die dritte Frage.

Poretzki gewinnt mühsam gemäss der dualen Gegenstücke zu Boole's
Entwicklungsformeln die vereinigte Gleichung
1 = g x1 + s y
und deduzirt daraus (in der erwähnten unzweckmässigen Schreibweise a la
Jevons) wesentlich dasselbe wie wir oben. --

Zufolge häufigen und ungemein schwankenden Gebrauches des nirgends
erklärten Ausdruckes "qualitative Form" leidet Poretzki's Exposition viel-
fach an Unklarheit und Weitläufigkeiten; auch muss ich es als verfehlt
ansehen, die Determination als eine "Realisirung" zu bezeichnen, sowie, die
identische Addition als Umkehrung derselben hinzustellen (p. VII) und
demgemäss "Abstraktion" zu nennen. Diese Ausstellungen treffen besonders
die 24 Seiten starke Einleitung der Schrift, die sich sonst vielfach durch
zutreffende kritische Bemerkungen auszeichnet.

P. 41 wirft Herr Poretzki mir einen Fehler vor: den, in meinem
Operationskreis2 nicht hinlänglich unterschieden zu haben zwischen "un-
bestimmt" und "willkürlich". Gewiss mit Recht führt er -- in Bezug auf
unser Th. 43x) (a b) = [Formel 1] (a = u b) -- aus, der Satz "Moskau ist eine
Stadt" decke sich durchaus nicht mit dem Satze "Moskau ist eine beliebige
Stadt." Bei dem Haupttheorem in2 p. 20 hatte ich allerdings u für arbiträr
erklärt. Dort hatte ich aber die Auflösung einer Gleichung nach einer
Unbekannten im Auge, die ich stillschweigend als aus der Gleichung zu
bestimmende und blos durch sie bestimmte dachte, nicht aber die Auflösung
nach einer Klasse, die schon anderweitig gegeben ist. Ich hätte andernfalls
u für "unbestimmt oder willkürlich" erklären müssen. Dass ich jedoch
schon damals weit entfernt gewesen, diesen Unterschied zu übersehen, zeigt
meine Ausführung in3, p. 30, wo ich an einem Anwendungsbeispiele eben-

Fünfundzwanzigste Vorlesung.
Ich pflege nun ganz naheliegende Vereinfachungen keineswegs zu unter-
lassen. Auf den ersten Blick ist ersichtlich, dass unser drittes und viertes
Glied zu g1 s1 sich zusammenzieht; und hält man das mit dem ersten Glied
zusammen, so wird bei diesem nach Th. 33+) Zusatz die Unterdrückbarkeit
des Faktors s ersichtlich; ebenso beim letzten Glied die des Faktors g.
Das so vereinfachte erste Glied g1 y1, mit dem zweiten zusammengehalten,
zeigt bei diesem die Überflüssigkeit des Faktors g an; und das zu x y1 ver-
einfachte zweite Glied bringt bei dem schon zu s1 x y reduzirten letzten
Gliede noch den Faktor y in Wegfall, wonach die Prämisse lautet:
g1 y1 + x y1 + g1 s1 + s1 x = 0 oder (g1 + x) (s1 + y1) = 0.
Da die Elimination irgendwelcher von den vier Symbolen g, s, x, y sich
hier immer auf das einfachste vollzieht, indem man die sie betreffenden
Glieder aus dem Polynom der Gleichung fortlässt, (indem eben keines der-
selben sowol unnegirt als negirt vorkommt), so liest man hieraus leicht
die Antwort auf jede der gestellten Fragen heraus, nämlich zusammen mit
g1 s1 = 0 als Resultante: g1 y für die erste, x s für die zweite und
x y für die dritte Frage.

Poretzki gewinnt mühsam gemäss der dualen Gegenstücke zu Boole’s
Entwicklungsformeln die vereinigte Gleichung
1 = g x1 + s y
und deduzirt daraus (in der erwähnten unzweckmässigen Schreibweise à la
Jevons) wesentlich dasselbe wie wir oben. —

Zufolge häufigen und ungemein schwankenden Gebrauches des nirgends
erklärten Ausdruckes „qualitative Form“ leidet Poretzki’s Exposition viel-
fach an Unklarheit und Weitläufigkeiten; auch muss ich es als verfehlt
ansehen, die Determination als eine „Realisirung“ zu bezeichnen, sowie, die
identische Addition als Umkehrung derselben hinzustellen (p. VII) und
demgemäss „Abstraktion“ zu nennen. Diese Ausstellungen treffen besonders
die 24 Seiten starke Einleitung der Schrift, die sich sonst vielfach durch
zutreffende kritische Bemerkungen auszeichnet.

P. 41 wirft Herr Poretzki mir einen Fehler vor: den, in meinem
Operationskreis2 nicht hinlänglich unterschieden zu haben zwischen „un-
bestimmt“ und „willkürlich“. Gewiss mit Recht führt er — in Bezug auf
unser Th. 43×) (a b) = [Formel 1] (a = u b) — aus, der Satz „Moskau ist eine
Stadt“ decke sich durchaus nicht mit dem Satze „Moskau ist eine beliebige
Stadt.“ Bei dem Haupttheorem in2 p. 20 hatte ich allerdings u für arbiträr
erklärt. Dort hatte ich aber die Auflösung einer Gleichung nach einer
Unbekannten im Auge, die ich stillschweigend als aus der Gleichung zu
bestimmende und blos durch sie bestimmte dachte, nicht aber die Auflösung
nach einer Klasse, die schon anderweitig gegeben ist. Ich hätte andernfalls
u für „unbestimmt oder willkürlich“ erklären müssen. Dass ich jedoch
schon damals weit entfernt gewesen, diesen Unterschied zu übersehen, zeigt
meine Ausführung in3, p. 30, wo ich an einem Anwendungsbeispiele eben-

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0090" n="446"/><fw place="top" type="header">Fünfundzwanzigste Vorlesung.</fw><lb/>
Ich pflege nun ganz naheliegende Vereinfachungen keineswegs zu unter-<lb/>
lassen. Auf den ersten Blick ist ersichtlich, dass unser drittes und viertes<lb/>
Glied zu <hi rendition="#i">g</hi><hi rendition="#sub">1</hi> <hi rendition="#i">s</hi><hi rendition="#sub">1</hi> sich zusammenzieht; und hält man das mit dem ersten Glied<lb/>
zusammen, so wird bei diesem nach Th. 33<hi rendition="#sub">+</hi>) Zusatz die Unterdrückbarkeit<lb/>
des Faktors <hi rendition="#i">s</hi> ersichtlich; ebenso beim letzten Glied die des Faktors <hi rendition="#i">g</hi>.<lb/>
Das so vereinfachte erste Glied <hi rendition="#i">g</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi>, mit dem zweiten zusammengehalten,<lb/>
zeigt bei diesem die Überflüssigkeit des Faktors <hi rendition="#i">g</hi> an; und das zu <hi rendition="#i">x y</hi><hi rendition="#sub">1</hi> ver-<lb/>
einfachte zweite Glied bringt bei dem schon zu <hi rendition="#i">s</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x y</hi> reduzirten letzten<lb/>
Gliede noch den Faktor <hi rendition="#i">y</hi> in Wegfall, wonach die Prämisse lautet:<lb/><hi rendition="#c"><hi rendition="#i">g</hi><hi rendition="#sub">1</hi><hi rendition="#i">y</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">x y</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">g</hi><hi rendition="#sub">1</hi> <hi rendition="#i">s</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">s</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi> = 0 oder (<hi rendition="#i">g</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">x</hi>) (<hi rendition="#i">s</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">y</hi><hi rendition="#sub">1</hi>) = 0.</hi><lb/>
Da die Elimination irgendwelcher von den vier Symbolen <hi rendition="#i">g</hi>, <hi rendition="#i">s</hi>, <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi> sich<lb/>
hier immer auf das einfachste vollzieht, indem man die sie betreffenden<lb/>
Glieder aus dem Polynom der Gleichung fortlässt, (indem eben keines der-<lb/>
selben sowol unnegirt als negirt vorkommt), so liest man hieraus leicht<lb/>
die Antwort auf jede der gestellten Fragen heraus, nämlich zusammen mit<lb/><hi rendition="#i">g</hi><hi rendition="#sub">1</hi> <hi rendition="#i">s</hi><hi rendition="#sub">1</hi> = 0 als Resultante: <hi rendition="#i">g</hi><hi rendition="#sub">1</hi> <g ref="subeq"/> <hi rendition="#i">y</hi> für die erste, <hi rendition="#i">x <g ref="subeq"/> s</hi> für die zweite und<lb/><hi rendition="#i">x <g ref="subeq"/> y</hi> für die dritte Frage.</p><lb/>
            <p><hi rendition="#g">Poretzki</hi> gewinnt mühsam gemäss der dualen Gegenstücke zu <hi rendition="#g">Boole&#x2019;</hi>s<lb/>
Entwicklungsformeln die vereinigte Gleichung<lb/><hi rendition="#c">1 = <hi rendition="#i">g x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">s y</hi></hi><lb/>
und deduzirt daraus (in der erwähnten unzweckmässigen Schreibweise à la<lb/><hi rendition="#g">Jevons</hi>) wesentlich dasselbe wie wir oben. &#x2014;</p><lb/>
            <milestone rendition="#hr" unit="section"/>
            <p>Zufolge häufigen und ungemein schwankenden Gebrauches des nirgends<lb/>
erklärten Ausdruckes &#x201E;qualitative Form&#x201C; leidet <hi rendition="#g">Poretzki&#x2019;</hi>s Exposition viel-<lb/>
fach an Unklarheit und Weitläufigkeiten; auch muss ich es als verfehlt<lb/>
ansehen, die Determination als eine &#x201E;Realisirung&#x201C; zu bezeichnen, sowie, die<lb/>
identische Addition als Umkehrung derselben hinzustellen (p. VII) und<lb/>
demgemäss &#x201E;Abstraktion&#x201C; zu nennen. Diese Ausstellungen treffen besonders<lb/>
die 24 Seiten starke Einleitung der Schrift, die sich sonst vielfach durch<lb/>
zutreffende kritische Bemerkungen auszeichnet.</p><lb/>
            <p>P. 41 wirft Herr <hi rendition="#g">Poretzki</hi> mir einen Fehler vor: den, in meinem<lb/>
Operationskreis<hi rendition="#sup">2</hi> nicht hinlänglich unterschieden zu haben zwischen &#x201E;<hi rendition="#i">un-<lb/>
bestimmt</hi>&#x201C; und &#x201E;<hi rendition="#i">willkürlich</hi>&#x201C;. Gewiss mit Recht führt er &#x2014; in Bezug auf<lb/>
unser Th. 43<hi rendition="#sub">×</hi>) (<hi rendition="#i">a <g ref="subeq"/> b</hi>) = <formula/> (<hi rendition="#i">a</hi> = <hi rendition="#i">u b</hi>) &#x2014; aus, der Satz &#x201E;Moskau ist eine<lb/>
Stadt&#x201C; decke sich durchaus nicht mit dem Satze &#x201E;Moskau ist eine <hi rendition="#i">beliebige</hi><lb/>
Stadt.&#x201C; Bei dem Haupttheorem in<hi rendition="#sup">2</hi> p. 20 hatte ich allerdings <hi rendition="#i">u</hi> für arbiträr<lb/>
erklärt. Dort hatte ich aber die Auflösung einer Gleichung nach einer<lb/><hi rendition="#i">Un</hi>bekannten im Auge, die ich stillschweigend als aus der Gleichung zu<lb/>
bestimmende und blos durch sie bestimmte dachte, nicht aber die Auflösung<lb/>
nach einer Klasse, die schon anderweitig gegeben ist. Ich hätte andernfalls<lb/><hi rendition="#i">u</hi> für &#x201E;unbestimmt oder willkürlich&#x201C; erklären müssen. Dass ich jedoch<lb/>
schon damals weit entfernt gewesen, diesen Unterschied zu übersehen, zeigt<lb/>
meine Ausführung in<hi rendition="#sup">3</hi>, p. 30, wo ich an einem Anwendungsbeispiele eben-<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[446/0090] Fünfundzwanzigste Vorlesung. Ich pflege nun ganz naheliegende Vereinfachungen keineswegs zu unter- lassen. Auf den ersten Blick ist ersichtlich, dass unser drittes und viertes Glied zu g1 s1 sich zusammenzieht; und hält man das mit dem ersten Glied zusammen, so wird bei diesem nach Th. 33+) Zusatz die Unterdrückbarkeit des Faktors s ersichtlich; ebenso beim letzten Glied die des Faktors g. Das so vereinfachte erste Glied g1 y1, mit dem zweiten zusammengehalten, zeigt bei diesem die Überflüssigkeit des Faktors g an; und das zu x y1 ver- einfachte zweite Glied bringt bei dem schon zu s1 x y reduzirten letzten Gliede noch den Faktor y in Wegfall, wonach die Prämisse lautet: g1 y1 + x y1 + g1 s1 + s1 x = 0 oder (g1 + x) (s1 + y1) = 0. Da die Elimination irgendwelcher von den vier Symbolen g, s, x, y sich hier immer auf das einfachste vollzieht, indem man die sie betreffenden Glieder aus dem Polynom der Gleichung fortlässt, (indem eben keines der- selben sowol unnegirt als negirt vorkommt), so liest man hieraus leicht die Antwort auf jede der gestellten Fragen heraus, nämlich zusammen mit g1 s1 = 0 als Resultante: g1 y für die erste, x s für die zweite und x y für die dritte Frage. Poretzki gewinnt mühsam gemäss der dualen Gegenstücke zu Boole’s Entwicklungsformeln die vereinigte Gleichung 1 = g x1 + s y und deduzirt daraus (in der erwähnten unzweckmässigen Schreibweise à la Jevons) wesentlich dasselbe wie wir oben. — Zufolge häufigen und ungemein schwankenden Gebrauches des nirgends erklärten Ausdruckes „qualitative Form“ leidet Poretzki’s Exposition viel- fach an Unklarheit und Weitläufigkeiten; auch muss ich es als verfehlt ansehen, die Determination als eine „Realisirung“ zu bezeichnen, sowie, die identische Addition als Umkehrung derselben hinzustellen (p. VII) und demgemäss „Abstraktion“ zu nennen. Diese Ausstellungen treffen besonders die 24 Seiten starke Einleitung der Schrift, die sich sonst vielfach durch zutreffende kritische Bemerkungen auszeichnet. P. 41 wirft Herr Poretzki mir einen Fehler vor: den, in meinem Operationskreis2 nicht hinlänglich unterschieden zu haben zwischen „un- bestimmt“ und „willkürlich“. Gewiss mit Recht führt er — in Bezug auf unser Th. 43×) (a b) = [FORMEL] (a = u b) — aus, der Satz „Moskau ist eine Stadt“ decke sich durchaus nicht mit dem Satze „Moskau ist eine beliebige Stadt.“ Bei dem Haupttheorem in2 p. 20 hatte ich allerdings u für arbiträr erklärt. Dort hatte ich aber die Auflösung einer Gleichung nach einer Unbekannten im Auge, die ich stillschweigend als aus der Gleichung zu bestimmende und blos durch sie bestimmte dachte, nicht aber die Auflösung nach einer Klasse, die schon anderweitig gegeben ist. Ich hätte andernfalls u für „unbestimmt oder willkürlich“ erklären müssen. Dass ich jedoch schon damals weit entfernt gewesen, diesen Unterschied zu übersehen, zeigt meine Ausführung in3, p. 30, wo ich an einem Anwendungsbeispiele eben-

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_logik0202_1905
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0202_1905/90
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 2. Leipzig, 1905, S. 446. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0202_1905/90>, abgerufen am 18.12.2024.