Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.

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

§ 12. Eliminationsproblem als Umkehrung des Auflösungsproblems.
ihrer allgemeinen Lösung x = f(u) fortzuschreiten; bei diesem aber
wird nun verlangt den umgekehrten Weg zurückzulegen.

Ist mit 3) die Lösung von 1) gefunden, so stellt uns auch die
-- aus 8) a fortiori folgende -- Subsumtion:
18) {f(u) = x} {F(x) = 0}
die Lösung vor des Problemes der Elimination von u aus der link-
seitigen Gleichung, nämlich aus 2); und zwar ist die rechte Seite, d. i.
die Gleichung 1) -- wegen 9) -- auch die volle Resultante.

Dass beim Auflösungsprobleme -- wie bereits erhärtet -- so viele
wesentlich verschiedene Formen der allgemeinen Wurzel existiren, wird
uns nun nicht mehr Wunder nehmen, denn dieser Umstand stellt sich
jetzt dar als ein Ausfluss der von vornherein plausibeln Thatsache,
dass sehr verschiedene Ausgangsgleichungen doch die nämliche Resul-
tante liefern können, wie bekanntlich zuweilen ganz verschiedene Prä-
missen doch dieselbe Konklusion liefern.

Die letztere zu gewinnen ist das Ziel des Eliminationsproblemes. Und
umgekehrt könnte man die Ermittelung aller allgemeinen Lösungen zu
einer gegebenen Gleichung 1) [als der Gesamtaussage eines Propositionen-
systems] hinstellen als die Beantwortung der Frage: welche Prämissen eine
gegebene Konklusion liefern ("what premises yield a given conclusion")?

Dass die Beantwortung dieser letztern Frage kaum minder wichtig sei
als die Lösung der erstern Aufgabe, also die Beantwortung der Frage,
welche Konklusion aus gegebnen Prämissen folgt, dies hat schon Peirce8
p. 196 betont -- ohne indessen dem Auflösungsprobleme als solchem irgend
eine Behandlung zuteil werden zu lassen. --

Wir hatten bei den Betrachtungen dieses Paragraphen eingangs
vorausgesetzt (was theoretisch immer hinzubringen gewesen), dass die
aufzulösende Gleichung F(x) = 0, wenn überhaupt, so bedingungslos
auflösbar sei, mithin durch Elimination von x keine "Resultante" lie-
fere. Praktisch liegt zumeist der gegenteilige Fall vor. Und wenn
wir nun für jenen Fall das allgemeine Schema gefunden haben, nach
welchem die Lösung immer anzusetzen ist, so müssen wir doch auch
diesen Fall noch erledigen. Wir müssen die Aufmerksamkeit des
Lesers noch für die Frage in Anspruch nehmen: wie unser Schema
dann zu modifiziren sein wird, wenn die aufzulösende Gleichung 1)
eine (von x freie) Resultante R = 0 liefert?

Unter R haben wir uns dabei irgend eine Funktion ph(b, c, ..., y, z, ...)
von als gegeben zu denkenden Parametern, wie Polynomkoeffizienten
z. B., eventuell auch von noch andern Unbekannten, vorzustellen.


§ 12. Eliminationsproblem als Umkehrung des Auflösungsproblems.
ihrer allgemeinen Lösung x = f(u) fortzuschreiten; bei diesem aber
wird nun verlangt den umgekehrten Weg zurückzulegen.

Ist mit 3) die Lösung von 1) gefunden, so stellt uns auch die
— aus 8) a fortiori folgende — Subsumtion:
18) {f(u) = x} ⋹ {F(x) = 0}
die Lösung vor des Problemes der Elimination von u aus der link-
seitigen Gleichung, nämlich aus 2); und zwar ist die rechte Seite, d. i.
die Gleichung 1) — wegen 9) — auch die volle Resultante.

Dass beim Auflösungsprobleme — wie bereits erhärtet — so viele
wesentlich verschiedene Formen der allgemeinen Wurzel existiren, wird
uns nun nicht mehr Wunder nehmen, denn dieser Umstand stellt sich
jetzt dar als ein Ausfluss der von vornherein plausibeln Thatsache,
dass sehr verschiedene Ausgangsgleichungen doch die nämliche Resul-
tante liefern können, wie bekanntlich zuweilen ganz verschiedene Prä-
missen doch dieselbe Konklusion liefern.

Die letztere zu gewinnen ist das Ziel des Eliminationsproblemes. Und
umgekehrt könnte man die Ermittelung aller allgemeinen Lösungen zu
einer gegebenen Gleichung 1) [als der Gesamtaussage eines Propositionen-
systems] hinstellen als die Beantwortung der Frage: welche Prämissen eine
gegebene Konklusion liefern („what premises yield a given conclusion“)?

Dass die Beantwortung dieser letztern Frage kaum minder wichtig sei
als die Lösung der erstern Aufgabe, also die Beantwortung der Frage,
welche Konklusion aus gegebnen Prämissen folgt, dies hat schon Peirce8
p. 196 betont — ohne indessen dem Auflösungsprobleme als solchem irgend
eine Behandlung zuteil werden zu lassen. —

Wir hatten bei den Betrachtungen dieses Paragraphen eingangs
vorausgesetzt (was theoretisch immer hinzubringen gewesen), dass die
aufzulösende Gleichung F(x) = 0, wenn überhaupt, so bedingungslos
auflösbar sei, mithin durch Elimination von x keine „Resultante“ lie-
fere. Praktisch liegt zumeist der gegenteilige Fall vor. Und wenn
wir nun für jenen Fall das allgemeine Schema gefunden haben, nach
welchem die Lösung immer anzusetzen ist, so müssen wir doch auch
diesen Fall noch erledigen. Wir müssen die Aufmerksamkeit des
Lesers noch für die Frage in Anspruch nehmen: wie unser Schema
dann zu modifiziren sein wird, wenn die aufzulösende Gleichung 1)
eine (von x freie) Resultante R = 0 liefert?

Unter R haben wir uns dabei irgend eine Funktion φ(b, c, …, y, z, …)
von als gegeben zu denkenden Parametern, wie Polynomkoeffizienten
z. B., eventuell auch von noch andern Unbekannten, vorzustellen.


<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0189" n="175"/><fw place="top" type="header">§ 12. Eliminationsproblem als Umkehrung des Auflösungsproblems.</fw><lb/>
ihrer allgemeinen Lösung <hi rendition="#i">x</hi> = <hi rendition="#i">f</hi>(<hi rendition="#i">u</hi>) fortzuschreiten; bei diesem aber<lb/>
wird nun verlangt den umgekehrten Weg zurückzulegen.</p><lb/>
          <p>Ist mit 3) die Lösung von 1) gefunden, so stellt uns auch die<lb/>
&#x2014; aus 8) a fortiori folgende &#x2014; Subsumtion:<lb/>
18) <hi rendition="#et">{<hi rendition="#i">f</hi>(<hi rendition="#i">u</hi>) = <hi rendition="#i">x</hi>} &#x22F9; {<hi rendition="#i">F</hi>(<hi rendition="#i">x</hi>) = 0}</hi><lb/>
die Lösung vor des Problemes der Elimination von <hi rendition="#i">u</hi> aus der link-<lb/>
seitigen Gleichung, nämlich aus 2); und zwar ist die rechte Seite, d. i.<lb/>
die Gleichung 1) &#x2014; wegen 9) &#x2014; auch die volle Resultante.</p><lb/>
          <p>Dass beim Auflösungsprobleme &#x2014; wie bereits erhärtet &#x2014; so viele<lb/>
wesentlich verschiedene Formen der allgemeinen Wurzel existiren, wird<lb/>
uns nun nicht mehr Wunder nehmen, denn dieser Umstand stellt sich<lb/>
jetzt dar als ein Ausfluss der von vornherein plausibeln Thatsache,<lb/>
dass sehr verschiedene Ausgangsgleichungen doch die nämliche Resul-<lb/>
tante liefern können, wie bekanntlich zuweilen ganz verschiedene Prä-<lb/>
missen doch dieselbe Konklusion liefern.</p><lb/>
          <p>Die letztere zu gewinnen ist das Ziel des Eliminationsproblemes. Und<lb/>
umgekehrt könnte man die Ermittelung aller allgemeinen Lösungen zu<lb/>
einer gegebenen Gleichung 1) [als der Gesamtaussage eines Propositionen-<lb/>
systems] hinstellen als die Beantwortung der Frage: welche Prämissen eine<lb/>
gegebene Konklusion liefern (&#x201E;what premises yield a given conclusion&#x201C;)?</p><lb/>
          <p>Dass die Beantwortung dieser letztern Frage kaum minder wichtig sei<lb/>
als die Lösung der erstern Aufgabe, also die Beantwortung der Frage,<lb/>
welche Konklusion aus gegebnen Prämissen folgt, dies hat schon <hi rendition="#g">Peirce</hi><hi rendition="#sup">8</hi><lb/>
p. 196 betont &#x2014; ohne indessen dem Auflösungsprobleme als solchem irgend<lb/>
eine Behandlung zuteil werden zu lassen. &#x2014;</p><lb/>
          <p>Wir hatten bei den Betrachtungen dieses Paragraphen eingangs<lb/>
vorausgesetzt (was theoretisch immer hinzubringen gewesen), dass die<lb/>
aufzulösende Gleichung <hi rendition="#i">F</hi>(<hi rendition="#i">x</hi>) = 0, wenn überhaupt, so bedingungslos<lb/>
auflösbar sei, mithin durch Elimination von <hi rendition="#i">x</hi> keine &#x201E;Resultante&#x201C; lie-<lb/>
fere. Praktisch liegt zumeist der gegenteilige Fall vor. Und wenn<lb/>
wir nun für jenen Fall das allgemeine Schema gefunden haben, nach<lb/>
welchem die Lösung immer anzusetzen ist, so müssen wir doch auch<lb/>
diesen Fall noch erledigen. Wir müssen die Aufmerksamkeit des<lb/>
Lesers noch für die Frage in Anspruch nehmen: wie unser Schema<lb/>
dann zu modifiziren sein wird, wenn die aufzulösende Gleichung 1)<lb/>
eine (von <hi rendition="#i">x</hi> freie) Resultante <hi rendition="#i">R</hi> = 0 liefert?</p><lb/>
          <p>Unter <hi rendition="#i">R</hi> haben wir uns dabei irgend eine Funktion <hi rendition="#i">&#x03C6;</hi>(<hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, &#x2026;, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi>, &#x2026;)<lb/>
von als gegeben zu denkenden Parametern, wie Polynomkoeffizienten<lb/>
z. B., eventuell auch von noch andern Unbekannten, vorzustellen.</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[175/0189] § 12. Eliminationsproblem als Umkehrung des Auflösungsproblems. ihrer allgemeinen Lösung x = f(u) fortzuschreiten; bei diesem aber wird nun verlangt den umgekehrten Weg zurückzulegen. Ist mit 3) die Lösung von 1) gefunden, so stellt uns auch die — aus 8) a fortiori folgende — Subsumtion: 18) {f(u) = x} ⋹ {F(x) = 0} die Lösung vor des Problemes der Elimination von u aus der link- seitigen Gleichung, nämlich aus 2); und zwar ist die rechte Seite, d. i. die Gleichung 1) — wegen 9) — auch die volle Resultante. Dass beim Auflösungsprobleme — wie bereits erhärtet — so viele wesentlich verschiedene Formen der allgemeinen Wurzel existiren, wird uns nun nicht mehr Wunder nehmen, denn dieser Umstand stellt sich jetzt dar als ein Ausfluss der von vornherein plausibeln Thatsache, dass sehr verschiedene Ausgangsgleichungen doch die nämliche Resul- tante liefern können, wie bekanntlich zuweilen ganz verschiedene Prä- missen doch dieselbe Konklusion liefern. Die letztere zu gewinnen ist das Ziel des Eliminationsproblemes. Und umgekehrt könnte man die Ermittelung aller allgemeinen Lösungen zu einer gegebenen Gleichung 1) [als der Gesamtaussage eines Propositionen- systems] hinstellen als die Beantwortung der Frage: welche Prämissen eine gegebene Konklusion liefern („what premises yield a given conclusion“)? Dass die Beantwortung dieser letztern Frage kaum minder wichtig sei als die Lösung der erstern Aufgabe, also die Beantwortung der Frage, welche Konklusion aus gegebnen Prämissen folgt, dies hat schon Peirce8 p. 196 betont — ohne indessen dem Auflösungsprobleme als solchem irgend eine Behandlung zuteil werden zu lassen. — Wir hatten bei den Betrachtungen dieses Paragraphen eingangs vorausgesetzt (was theoretisch immer hinzubringen gewesen), dass die aufzulösende Gleichung F(x) = 0, wenn überhaupt, so bedingungslos auflösbar sei, mithin durch Elimination von x keine „Resultante“ lie- fere. Praktisch liegt zumeist der gegenteilige Fall vor. Und wenn wir nun für jenen Fall das allgemeine Schema gefunden haben, nach welchem die Lösung immer anzusetzen ist, so müssen wir doch auch diesen Fall noch erledigen. Wir müssen die Aufmerksamkeit des Lesers noch für die Frage in Anspruch nehmen: wie unser Schema dann zu modifiziren sein wird, wenn die aufzulösende Gleichung 1) eine (von x freie) Resultante R = 0 liefert? Unter R haben wir uns dabei irgend eine Funktion φ(b, c, …, y, z, …) von als gegeben zu denkenden Parametern, wie Polynomkoeffizienten z. B., eventuell auch von noch andern Unbekannten, vorzustellen.

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_logik03_1895
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik03_1895/189
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 175. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/189>, abgerufen am 27.11.2024.