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

§ 11. Allgemeinste Aufgabe.
oder widersinnige nennen, und als das Urbild, ja den Repräsentanten
aller absurden Gleichungen das aus dem identischen Kalkul bekannte
Schema
1 = 0
auch für unsre umfassendere Disziplin (der Theorie der Relative) bei-
behalten.

Letzteres trifft in der That in einem dreifachen Sinne zu. Mit der
Behauptung f = 0 ist erstlich 1 = 0 gefordert für die erwähnten von 0
verschiedenen Koeffizienten des f. Zweitens indem sich bei der "Ausrech-
nung" f 0 herausstellte, ist die Geltung von (f 0) = 1 und damit die
von (f = 0) = 0 gesichert. Die Behauptung f = 0, d. h. also (f = 0) = 1
müsste somit zu dem Widerspruche 1 = 0 (als Aussagenäquivalenz ver-
standen) führen.

Endlich aber drittens kann, falls f 0 ist, aus der Gleichung f = 0
sofort auch die Gleichung 1 = 0, gedeutet als solche zwischen binären Re-
lativen, nämlich als Gleichsetzung der absoluten Moduln 1 und 0, mit
Leichtigkeit abgeleitet werden und zwar indem man beiderseits mit 1 re-
lativ vor- und nachmultiplizirt, also aus f = 0 auf 1 ; f ; 1 = 1 ; 0 ; 1 --
das gibt nach 1) dann eben: 1 = 0 -- schliesst.

Um z. B. sei es aus der Behauptung 1' = 0, sei es aus der 0' = 0
auf die Form 1 = 0 zu kommen, genügt es schon, mit 1 beiderseits re-
lativ nachzumultipliziren. Es kann somit 1' = 0 oder 0' = 0 in 1 = 0
transformirt werden, gleichwie auch umgekehrt wegen 1 = 1' + 0' mit
1 = 0 auch 1' = 0 und 0' = 0 gegeben wäre. Die Gleichungen 1' = 0
(z. B.) und 1 = 0 sind damit als äquivalent erwiesen und wird jene ebenso
wie diese "absurd" zu nennen sein.

Ein Problem (sei es der Auflösung, sei es der Elimination) kann
uns in dem bis jetzt betrachteten "ersten" Falle nicht erwachsen.

Anders im "zweiten" Falle, dem, wo unbestimmte Relative in dem
Ausdrucke des Polynoms f der Gleichung f = 0 vorkommen.

Durch den blossen Ansatz der Gleichung, indem man ebendiese
"f = 0" auch nur ausspricht oder hinstellt, sei es als eine (bedingte
oder unbedingte) Behauptung, sei es um sie zur Voraussetzung einer
Untersuchung zu erheben, mutet man dem Leser zu und verpflichtet
sich selbst: unter den Buchstaben, welche als Namen von unbestimmten
Relativen in der Gleichung vorkommen, sich ein solches System von
Werten zu denken oder vorzustellen, für welches die Gleichung wahr
ist. Jedes System von spezifizirten Relativen, welches für jene unbe-
stimmten Relativsymbole in die Gleichung eingesetzt derselben "ge-
nügt", sie "erfüllt", d. h. eben wahr macht, heisst bekanntlich ein
System von "Wurzeln" der Gleichung, und sofern es sich um die Ent-
deckung eines Systems von Wurzeln handelt, werden jene unbestimmten

§ 11. Allgemeinste Aufgabe.
oder widersinnige nennen, und als das Urbild, ja den Repräsentanten
aller absurden Gleichungen das aus dem identischen Kalkul bekannte
Schema
1 = 0
auch für unsre umfassendere Disziplin (der Theorie der Relative) bei-
behalten.

Letzteres trifft in der That in einem dreifachen Sinne zu. Mit der
Behauptung f = 0 ist erstlich 1 = 0 gefordert für die erwähnten von 0
verschiedenen Koeffizienten des f. Zweitens indem sich bei der „Ausrech-
nung“ f ≠ 0 herausstellte, ist die Geltung von (f ≠ 0) = 1 und damit die
von (f = 0) = 0 gesichert. Die Behauptung f = 0, d. h. also (f = 0) = 1
müsste somit zu dem Widerspruche 1 = 0 (als Aussagenäquivalenz ver-
standen) führen.

Endlich aber drittens kann, falls f ≠ 0 ist, aus der Gleichung f = 0
sofort auch die Gleichung 1 = 0, gedeutet als solche zwischen binären Re-
lativen, nämlich als Gleichsetzung der absoluten Moduln 1 und 0, mit
Leichtigkeit abgeleitet werden und zwar indem man beiderseits mit 1 re-
lativ vor- und nachmultiplizirt, also aus f = 0 auf 1 ; f ; 1 = 1 ; 0 ; 1 —
das gibt nach 1) dann eben: 1 = 0 — schliesst.

Um z. B. sei es aus der Behauptung 1' = 0, sei es aus der 0' = 0
auf die Form 1 = 0 zu kommen, genügt es schon, mit 1 beiderseits re-
lativ nachzumultipliziren. Es kann somit 1' = 0 oder 0' = 0 in 1 = 0
transformirt werden, gleichwie auch umgekehrt wegen 1 = 1' + 0' mit
1 = 0 auch 1' = 0 und 0' = 0 gegeben wäre. Die Gleichungen 1' = 0
(z. B.) und 1 = 0 sind damit als äquivalent erwiesen und wird jene ebenso
wie diese „absurd“ zu nennen sein.

Ein Problem (sei es der Auflösung, sei es der Elimination) kann
uns in dem bis jetzt betrachteten „ersten“ Falle nicht erwachsen.

Anders im „zweiten“ Falle, dem, wo unbestimmte Relative in dem
Ausdrucke des Polynoms f der Gleichung f = 0 vorkommen.

Durch den blossen Ansatz der Gleichung, indem man ebendiese
„f = 0“ auch nur ausspricht oder hinstellt, sei es als eine (bedingte
oder unbedingte) Behauptung, sei es um sie zur Voraussetzung einer
Untersuchung zu erheben, mutet man dem Leser zu und verpflichtet
sich selbst: unter den Buchstaben, welche als Namen von unbestimmten
Relativen in der Gleichung vorkommen, sich ein solches System von
Werten zu denken oder vorzustellen, für welches die Gleichung wahr
ist. Jedes System von spezifizirten Relativen, welches für jene unbe-
stimmten Relativsymbole in die Gleichung eingesetzt derselben „ge-
nügt“, sie „erfüllt“, d. h. eben wahr macht, heisst bekanntlich ein
System von „Wurzeln“ der Gleichung, und sofern es sich um die Ent-
deckung eines Systems von Wurzeln handelt, werden jene unbestimmten

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0169" n="155"/><fw place="top" type="header">§ 11. Allgemeinste Aufgabe.</fw><lb/>
oder widersinnige nennen, und als das Urbild, ja den Repräsentanten<lb/>
aller absurden Gleichungen das aus dem identischen Kalkul bekannte<lb/>
Schema<lb/><hi rendition="#c">1 = 0</hi><lb/>
auch für unsre umfassendere Disziplin (der Theorie der Relative) bei-<lb/>
behalten.</p><lb/>
          <p>Letzteres trifft in der That in einem dreifachen Sinne zu. Mit der<lb/>
Behauptung <hi rendition="#i">f</hi> = 0 ist erstlich 1 = 0 gefordert für die erwähnten von 0<lb/>
verschiedenen Koeffizienten des <hi rendition="#i">f</hi>. Zweitens indem sich bei der &#x201E;Ausrech-<lb/>
nung&#x201C; <hi rendition="#i">f</hi> &#x2260; 0 herausstellte, ist die Geltung von (<hi rendition="#i">f</hi> &#x2260; 0) = 1 und damit die<lb/>
von (<hi rendition="#i">f</hi> = 0) = 0 gesichert. Die Behauptung <hi rendition="#i">f</hi> = 0, d. h. also (<hi rendition="#i">f</hi> = 0) = 1<lb/>
müsste somit zu dem Widerspruche 1 = 0 (als Aussagenäquivalenz ver-<lb/>
standen) führen.</p><lb/>
          <p>Endlich aber drittens kann, falls <hi rendition="#i">f</hi> &#x2260; 0 ist, aus der Gleichung <hi rendition="#i">f</hi> = 0<lb/>
sofort auch die Gleichung 1 = 0, <hi rendition="#i">gedeutet als solche zwischen binären Re-<lb/>
lativen</hi>, nämlich als Gleichsetzung der absoluten Moduln 1 und 0, mit<lb/>
Leichtigkeit abgeleitet werden und zwar indem man beiderseits mit 1 re-<lb/>
lativ vor- und nachmultiplizirt, also aus <hi rendition="#i">f</hi> = 0 auf 1 ; <hi rendition="#i">f</hi> ; 1 = 1 ; 0 ; 1 &#x2014;<lb/>
das gibt nach 1) dann eben: 1 = 0 &#x2014; schliesst.</p><lb/>
          <p>Um z. B. sei es aus der Behauptung 1' = 0, sei es aus der 0' = 0<lb/>
auf die Form 1 = 0 zu kommen, genügt es schon, mit 1 beiderseits re-<lb/>
lativ nachzumultipliziren. Es kann somit 1' = 0 oder 0' = 0 in 1 = 0<lb/>
transformirt werden, gleichwie auch umgekehrt wegen 1 = 1' + 0' mit<lb/>
1 = 0 auch 1' = 0 und 0' = 0 gegeben wäre. Die Gleichungen 1' = 0<lb/>
(z. B.) und 1 = 0 sind damit als äquivalent erwiesen und wird jene ebenso<lb/>
wie diese &#x201E;absurd&#x201C; zu nennen sein.</p><lb/>
          <p>Ein <hi rendition="#i">Problem</hi> (sei es der Auflösung, sei es der Elimination) kann<lb/>
uns in dem bis jetzt betrachteten &#x201E;ersten&#x201C; Falle <hi rendition="#i">nicht</hi> erwachsen.</p><lb/>
          <p>Anders im &#x201E;zweiten&#x201C; Falle, dem, wo unbestimmte Relative in dem<lb/>
Ausdrucke des Polynoms <hi rendition="#i">f</hi> der Gleichung <hi rendition="#i">f</hi> = 0 vorkommen.</p><lb/>
          <p>Durch den blossen Ansatz der Gleichung, indem man ebendiese<lb/>
&#x201E;<hi rendition="#i">f</hi> = 0&#x201C; auch nur ausspricht oder hinstellt, sei es als eine (bedingte<lb/>
oder unbedingte) <hi rendition="#i">Behauptung</hi>, sei es um sie zur <hi rendition="#i">Voraussetzung</hi> einer<lb/>
Untersuchung zu erheben, mutet man dem Leser zu und verpflichtet<lb/>
sich selbst: unter den Buchstaben, welche als Namen von unbestimmten<lb/>
Relativen in der Gleichung vorkommen, sich ein solches System von<lb/>
Werten zu denken oder vorzustellen, <hi rendition="#i">für welches die Gleichung wahr<lb/>
ist</hi>. Jedes System von spezifizirten Relativen, welches für jene unbe-<lb/>
stimmten Relativsymbole in die Gleichung eingesetzt derselben &#x201E;ge-<lb/>
nügt&#x201C;, sie &#x201E;erfüllt&#x201C;, d. h. eben wahr macht, heisst bekanntlich ein<lb/>
System von &#x201E;<hi rendition="#i">Wurzeln</hi>&#x201C; der Gleichung, und sofern es sich um die Ent-<lb/>
deckung eines Systems von Wurzeln handelt, werden jene unbestimmten<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[155/0169] § 11. Allgemeinste Aufgabe. oder widersinnige nennen, und als das Urbild, ja den Repräsentanten aller absurden Gleichungen das aus dem identischen Kalkul bekannte Schema 1 = 0 auch für unsre umfassendere Disziplin (der Theorie der Relative) bei- behalten. Letzteres trifft in der That in einem dreifachen Sinne zu. Mit der Behauptung f = 0 ist erstlich 1 = 0 gefordert für die erwähnten von 0 verschiedenen Koeffizienten des f. Zweitens indem sich bei der „Ausrech- nung“ f ≠ 0 herausstellte, ist die Geltung von (f ≠ 0) = 1 und damit die von (f = 0) = 0 gesichert. Die Behauptung f = 0, d. h. also (f = 0) = 1 müsste somit zu dem Widerspruche 1 = 0 (als Aussagenäquivalenz ver- standen) führen. Endlich aber drittens kann, falls f ≠ 0 ist, aus der Gleichung f = 0 sofort auch die Gleichung 1 = 0, gedeutet als solche zwischen binären Re- lativen, nämlich als Gleichsetzung der absoluten Moduln 1 und 0, mit Leichtigkeit abgeleitet werden und zwar indem man beiderseits mit 1 re- lativ vor- und nachmultiplizirt, also aus f = 0 auf 1 ; f ; 1 = 1 ; 0 ; 1 — das gibt nach 1) dann eben: 1 = 0 — schliesst. Um z. B. sei es aus der Behauptung 1' = 0, sei es aus der 0' = 0 auf die Form 1 = 0 zu kommen, genügt es schon, mit 1 beiderseits re- lativ nachzumultipliziren. Es kann somit 1' = 0 oder 0' = 0 in 1 = 0 transformirt werden, gleichwie auch umgekehrt wegen 1 = 1' + 0' mit 1 = 0 auch 1' = 0 und 0' = 0 gegeben wäre. Die Gleichungen 1' = 0 (z. B.) und 1 = 0 sind damit als äquivalent erwiesen und wird jene ebenso wie diese „absurd“ zu nennen sein. Ein Problem (sei es der Auflösung, sei es der Elimination) kann uns in dem bis jetzt betrachteten „ersten“ Falle nicht erwachsen. Anders im „zweiten“ Falle, dem, wo unbestimmte Relative in dem Ausdrucke des Polynoms f der Gleichung f = 0 vorkommen. Durch den blossen Ansatz der Gleichung, indem man ebendiese „f = 0“ auch nur ausspricht oder hinstellt, sei es als eine (bedingte oder unbedingte) Behauptung, sei es um sie zur Voraussetzung einer Untersuchung zu erheben, mutet man dem Leser zu und verpflichtet sich selbst: unter den Buchstaben, welche als Namen von unbestimmten Relativen in der Gleichung vorkommen, sich ein solches System von Werten zu denken oder vorzustellen, für welches die Gleichung wahr ist. Jedes System von spezifizirten Relativen, welches für jene unbe- stimmten Relativsymbole in die Gleichung eingesetzt derselben „ge- nügt“, sie „erfüllt“, d. h. eben wahr macht, heisst bekanntlich ein System von „Wurzeln“ der Gleichung, und sofern es sich um die Ent- deckung eines Systems von Wurzeln handelt, werden jene unbestimmten

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