Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

Fünfte Vorlesung.
sage der Data" auch hier bezeichnen und wie in Bd. 1 bei den allge-
meinen Betrachtungen, zu denen wir nachher überzugehen haben, den
Ansatz mit der rechten Seite 0 bevorzugen. Wenn man will, kann
die Gleichung jeden Augenblick auch als eine Subsumtion mit dem
Prädikate 0:
f 0
hingestellt werden.

Des dem Gesagten dual Entsprechenden, dass man mit fn = 1
oder 1 fn alles auch auf das Subjekt 1 hinausspielen könne, thun
wir künftighin als einer selbstverständlich mitgegebnen Sache zumeist
nicht mehr Erwähnung.

Das Polynom f unsrer vereinigten Gleichung kann aus lauter be-
reits (anderweitig) völlig bestimmten, etwa spezifizirt von vornherein
gegebenen oder kurzweg "bekannten" Relativen -- zu derengleichen auch
die vier Moduln unsrer Theorie zu zählen sind -- aufgebaut sein, oder
es kann auch unbestimmte (oder Buchstaben-) Relative als Terme
(Operationsglieder, Argumente) enthalten.

Im ersten Falle ist die Gleichung f = 0 einfach entweder wahr
(richtig) oder unwahr (falsch). Dann kann man nämlich das Relativ f
-- wegen der eindeutigen Ausführbarkeit sämtlicher in seinem Aus-
druck vorgeschriebenen Operationen -- wirklich "ausrechnen" (indem
man alle seine Koeffizienten, womöglich mit einem Schlage seinen
allgemeinen Koeffizienten, ermittelt).

Stellt sich als Wert von f (mithin von jedem seiner Koeffizienten)
in der That 0 heraus, dann war die Gleichung f = 0 richtig indem
sie auf
0 = 0
hinausläuft; dieselbe vorauszusetzen oder zu behaupten bleibt dann
zulässig, wenn auch die Voraussetzung eine inhaltsleere oder nichts-
sagende (selbstverständliche) genannt werden mag (ihre Selbstverständ-
lichkeit oder Gültigkeit nachzuweisen kann indess recht mühsam sein).

Erweist sich dagegen der Wert von f als von 0 verschieden (in-
dem sich mindestens ein Koeffizient von f als = 1 herausstellt), so
war die Gleichung f = 0 falsch und bleibt sie als Annahme wie als
Behauptung unzulässig. Als Annahme oder Voraussetzung kann sie
höchstens provisorisch zugelassen werden zu dem Zwecke, um durch
etwa aus ihr zu ziehende absurde Folgerungen "apagogisch" gerade
ihre endgültige Verwerflichkeit nachzuweisen.

Wir mögen die Gleichung f = 0 dann auch selbst eine "absurde"

Fünfte Vorlesung.
sage der Data“ auch hier bezeichnen und wie in Bd. 1 bei den allge-
meinen Betrachtungen, zu denen wir nachher überzugehen haben, den
Ansatz mit der rechten Seite 0 bevorzugen. Wenn man will, kann
die Gleichung jeden Augenblick auch als eine Subsumtion mit dem
Prädikate 0:
f⋹ 0
hingestellt werden.

Des dem Gesagten dual Entsprechenden, dass man mit = 1
oder 1 ⋹ alles auch auf das Subjekt 1 hinausspielen könne, thun
wir künftighin als einer selbstverständlich mitgegebnen Sache zumeist
nicht mehr Erwähnung.

Das Polynom f unsrer vereinigten Gleichung kann aus lauter be-
reits (anderweitig) völlig bestimmten, etwa spezifizirt von vornherein
gegebenen oder kurzweg „bekannten“ Relativen — zu derengleichen auch
die vier Moduln unsrer Theorie zu zählen sind — aufgebaut sein, oder
es kann auch unbestimmte (oder Buchstaben-) Relative als Terme
(Operationsglieder, Argumente) enthalten.

Im ersten Falle ist die Gleichung f = 0 einfach entweder wahr
(richtig) oder unwahr (falsch). Dann kann man nämlich das Relativ f
— wegen der eindeutigen Ausführbarkeit sämtlicher in seinem Aus-
druck vorgeschriebenen Operationen — wirklich „ausrechnen“ (indem
man alle seine Koeffizienten, womöglich mit einem Schlage seinen
allgemeinen Koeffizienten, ermittelt).

Stellt sich als Wert von f (mithin von jedem seiner Koeffizienten)
in der That 0 heraus, dann war die Gleichung f = 0 richtig indem
sie auf
0 = 0
hinausläuft; dieselbe vorauszusetzen oder zu behaupten bleibt dann
zulässig, wenn auch die Voraussetzung eine inhaltsleere oder nichts-
sagende (selbstverständliche) genannt werden mag (ihre Selbstverständ-
lichkeit oder Gültigkeit nachzuweisen kann indess recht mühsam sein).

Erweist sich dagegen der Wert von f als von 0 verschieden (in-
dem sich mindestens ein Koeffizient von f als = 1 herausstellt), so
war die Gleichung f = 0 falsch und bleibt sie als Annahme wie als
Behauptung unzulässig. Als Annahme oder Voraussetzung kann sie
höchstens provisorisch zugelassen werden zu dem Zwecke, um durch
etwa aus ihr zu ziehende absurde Folgerungen „apagogisch“ gerade
ihre endgültige Verwerflichkeit nachzuweisen.

Wir mögen die Gleichung f = 0 dann auch selbst eine „absurde“

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0168" n="154"/><fw place="top" type="header">Fünfte Vorlesung.</fw><lb/><hi rendition="#i">sage</hi> der Data&#x201C; auch hier bezeichnen und wie in Bd. 1 bei den allge-<lb/>
meinen Betrachtungen, zu denen wir nachher überzugehen haben, den<lb/>
Ansatz mit der rechten Seite 0 bevorzugen. Wenn man will, kann<lb/>
die Gleichung jeden Augenblick auch als eine Subsumtion mit dem<lb/>
Prädikate 0:<lb/><hi rendition="#c"><hi rendition="#i">f</hi>&#x22F9; 0</hi><lb/>
hingestellt werden.</p><lb/>
          <p>Des dem Gesagten dual Entsprechenden, dass man mit <hi rendition="#i">f&#x0304;</hi> = 1<lb/>
oder 1 &#x22F9; <hi rendition="#i">f&#x0304;</hi> alles auch auf das Subjekt 1 hinausspielen könne, thun<lb/>
wir künftighin als einer selbstverständlich mitgegebnen Sache zumeist<lb/>
nicht mehr Erwähnung.</p><lb/>
          <p>Das Polynom <hi rendition="#i">f</hi> unsrer vereinigten Gleichung kann aus <hi rendition="#i">lauter</hi> be-<lb/>
reits (anderweitig) völlig <hi rendition="#i">bestimmten</hi>, etwa <hi rendition="#i">spezifizirt</hi> von vornherein<lb/><hi rendition="#i">gegebenen</hi> oder kurzweg &#x201E;<hi rendition="#i">bekannten</hi>&#x201C; Relativen &#x2014; zu derengleichen auch<lb/>
die vier Moduln unsrer Theorie zu zählen sind &#x2014; aufgebaut sein, <hi rendition="#i">oder</hi><lb/>
es kann auch <hi rendition="#i">unbestimmte</hi> (oder Buchstaben-) Relative als Terme<lb/>
(Operationsglieder, Argumente) enthalten.</p><lb/>
          <p>Im ersten Falle ist die Gleichung <hi rendition="#i">f</hi> = 0 einfach entweder <hi rendition="#i">wahr</hi><lb/>
(richtig) oder unwahr (<hi rendition="#i">falsch</hi>). Dann kann man nämlich das Relativ <hi rendition="#i">f</hi><lb/>
&#x2014; wegen der eindeutigen Ausführbarkeit sämtlicher in seinem Aus-<lb/>
druck vorgeschriebenen Operationen &#x2014; wirklich &#x201E;ausrechnen&#x201C; (indem<lb/>
man alle seine Koeffizienten, womöglich mit einem Schlage seinen<lb/>
allgemeinen Koeffizienten, ermittelt).</p><lb/>
          <p>Stellt sich als Wert von <hi rendition="#i">f</hi> (mithin von <hi rendition="#i">jedem</hi> seiner Koeffizienten)<lb/>
in der That 0 heraus, dann war die Gleichung <hi rendition="#i">f</hi> = 0 <hi rendition="#i">richtig</hi> indem<lb/>
sie auf<lb/><hi rendition="#c">0 = 0</hi><lb/>
hinausläuft; dieselbe vorauszusetzen oder zu behaupten bleibt dann<lb/>
zulässig, wenn auch die Voraussetzung eine inhaltsleere oder nichts-<lb/>
sagende (selbstverständliche) genannt werden mag (ihre Selbstverständ-<lb/>
lichkeit oder Gültigkeit nachzuweisen kann indess recht mühsam sein).</p><lb/>
          <p>Erweist sich dagegen der Wert von <hi rendition="#i">f</hi> als von 0 verschieden (in-<lb/>
dem sich mindestens <hi rendition="#i">ein</hi> Koeffizient von <hi rendition="#i">f</hi> als = 1 herausstellt), so<lb/>
war die Gleichung <hi rendition="#i">f</hi> = 0 <hi rendition="#i">falsch</hi> und bleibt sie als Annahme wie als<lb/>
Behauptung unzulässig. Als Annahme oder Voraussetzung kann sie<lb/>
höchstens provisorisch zugelassen werden zu dem Zwecke, um durch<lb/>
etwa aus ihr zu ziehende absurde Folgerungen &#x201E;apagogisch&#x201C; gerade<lb/>
ihre endgültige Verwerflichkeit nachzuweisen.</p><lb/>
          <p>Wir mögen die Gleichung <hi rendition="#i">f</hi> = 0 dann auch selbst eine &#x201E;absurde&#x201C;<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[154/0168] Fünfte Vorlesung. sage der Data“ auch hier bezeichnen und wie in Bd. 1 bei den allge- meinen Betrachtungen, zu denen wir nachher überzugehen haben, den Ansatz mit der rechten Seite 0 bevorzugen. Wenn man will, kann die Gleichung jeden Augenblick auch als eine Subsumtion mit dem Prädikate 0: f⋹ 0 hingestellt werden. Des dem Gesagten dual Entsprechenden, dass man mit f̄ = 1 oder 1 ⋹ f̄ alles auch auf das Subjekt 1 hinausspielen könne, thun wir künftighin als einer selbstverständlich mitgegebnen Sache zumeist nicht mehr Erwähnung. Das Polynom f unsrer vereinigten Gleichung kann aus lauter be- reits (anderweitig) völlig bestimmten, etwa spezifizirt von vornherein gegebenen oder kurzweg „bekannten“ Relativen — zu derengleichen auch die vier Moduln unsrer Theorie zu zählen sind — aufgebaut sein, oder es kann auch unbestimmte (oder Buchstaben-) Relative als Terme (Operationsglieder, Argumente) enthalten. Im ersten Falle ist die Gleichung f = 0 einfach entweder wahr (richtig) oder unwahr (falsch). Dann kann man nämlich das Relativ f — wegen der eindeutigen Ausführbarkeit sämtlicher in seinem Aus- druck vorgeschriebenen Operationen — wirklich „ausrechnen“ (indem man alle seine Koeffizienten, womöglich mit einem Schlage seinen allgemeinen Koeffizienten, ermittelt). Stellt sich als Wert von f (mithin von jedem seiner Koeffizienten) in der That 0 heraus, dann war die Gleichung f = 0 richtig indem sie auf 0 = 0 hinausläuft; dieselbe vorauszusetzen oder zu behaupten bleibt dann zulässig, wenn auch die Voraussetzung eine inhaltsleere oder nichts- sagende (selbstverständliche) genannt werden mag (ihre Selbstverständ- lichkeit oder Gültigkeit nachzuweisen kann indess recht mühsam sein). Erweist sich dagegen der Wert von f als von 0 verschieden (in- dem sich mindestens ein Koeffizient von f als = 1 herausstellt), so war die Gleichung f = 0 falsch und bleibt sie als Annahme wie als Behauptung unzulässig. Als Annahme oder Voraussetzung kann sie höchstens provisorisch zugelassen werden zu dem Zwecke, um durch etwa aus ihr zu ziehende absurde Folgerungen „apagogisch“ gerade ihre endgültige Verwerflichkeit nachzuweisen. Wir mögen die Gleichung f = 0 dann auch selbst eine „absurde“

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/168
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 154. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/168>, abgerufen am 23.11.2024.