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

§ 6. Die P und S von Relativen.
Ausdrucksformen als einen eben den Bedarf deckenden, das noch nicht
so grosse Heer der Methoden aber, über die unsre Disziplin bislang ver-
fügt, als ein zumeist noch recht unzulängliches.

So repräsentiren unsre Sätze zwar ein gewisses schon nicht zu ver-
achtendes Kapital an Hülfsmitteln, oft machtvollen Instrumenten des Den-
kens, dem aber eine Ausgestaltung zu immer noch grösserer Fülle, eine
Entwickelung zu noch viel grösserer Machtentfaltung dringend zu wün-
schen bleibt.

Schliesslich erübrigt es uns noch, die wichtigsten von den Sätzen
oder Formeln zusammenzustellen welche für die (identischen) Pro-
dukt(ation)e(n) P und Summ(ation)en S von binären Relativen Geltung
haben, sei es dass man diese Symbole als selbständig definirt ansieht
in der Art, wie wir es am Schlusse des § 3, S. 36 geschildert haben
und wie es beispielsweise bei "kontinuirlichem" Erstreckungsbereiche der
P und S unumgänglich ist, sei es dass man dieselben blos als Ab-
kürzungen verwendet für die Ergebnisse binärer identischer Knüpfungs-
spezies zwischen irgendvielen Termen, welche nur unbequem sämtlich
hinzuschreiben wären.

Dass für beide Deutungsweisen unsre Formeln die nämlichen sein
müssen (indem eben die zweite Interpretation sich der ersten einordnet)
wird streng genommen erst mit der neunten Vorlesung als gesichert anzu-
sehen sein.

Überhaupt ist zu bemerken, dass die einschlägigen Sätze erst spät,
in schon ziemlich vorgerückten Partieen unsrer Theorie zur Anwendung
kommen werden, weshalb sie der Studirende auch bis dahin überschla-
gen mag.

Grösstenteils sind die Sätze schon im identischen Kalkul gültig
und bekannt. Sie bilden alsdann Gegenstücke, Pendants, eventuell aber
auch stark modifizirte (nämlich abgeschwächte oder defekte) Analoga
zu den Schemata des Aussagenkalkuls, welche wir unter a) bis x) am
Schlusse des § 3 bereits zusammengestellt haben -- und zwar Ana-
loga, weil, mit Rücksicht auf Festsetzung (14), im Grunde Konse-
quenzen derselben! Die Analogie ist aber keine durchgängige, viel-
mehr werden einzelne von jenen Aussagenschemata sogar ganz ohne
Gegenstück (bei Relativen) bleiben, und wird sich dem formelreichern
Aussagenkalkul gegenüber auch von unsern neufundirten Grundlagen
aus der identische Kalkul wiederum als der weniger Schlüsse gestat-
tende erweisen -- wofür der letzte Grund in dem Umstande zu er-
blicken ist, dass zu der mit Pi j konstruirten fundamentalen Festsetzung
(14) ein mit Si j konstruirtes "aussagenduales" Gegenstück fehlt, und
daselbst (vgl. Bd. 2, S. 43 sqq.) auch definitiv unzulässig bleibt. --


Schröder, Algebra der Relative. 7

§ 6. Die Π und Σ von Relativen.
Ausdrucksformen als einen eben den Bedarf deckenden, das noch nicht
so grosse Heer der Methoden aber, über die unsre Disziplin bislang ver-
fügt, als ein zumeist noch recht unzulängliches.

So repräsentiren unsre Sätze zwar ein gewisses schon nicht zu ver-
achtendes Kapital an Hülfsmitteln, oft machtvollen Instrumenten des Den-
kens, dem aber eine Ausgestaltung zu immer noch grösserer Fülle, eine
Entwickelung zu noch viel grösserer Machtentfaltung dringend zu wün-
schen bleibt.

Schliesslich erübrigt es uns noch, die wichtigsten von den Sätzen
oder Formeln zusammenzustellen welche für die (identischen) Pro-
dukt(ation)e(n) Π und Summ(ation)en Σ von binären Relativen Geltung
haben, sei es dass man diese Symbole als selbständig definirt ansieht
in der Art, wie wir es am Schlusse des § 3, S. 36 geschildert haben
und wie es beispielsweise bei „kontinuirlichem“ Erstreckungsbereiche der
Π und Σ unumgänglich ist, sei es dass man dieselben blos als Ab-
kürzungen verwendet für die Ergebnisse binärer identischer Knüpfungs-
spezies zwischen irgendvielen Termen, welche nur unbequem sämtlich
hinzuschreiben wären.

Dass für beide Deutungsweisen unsre Formeln die nämlichen sein
müssen (indem eben die zweite Interpretation sich der ersten einordnet)
wird streng genommen erst mit der neunten Vorlesung als gesichert anzu-
sehen sein.

Überhaupt ist zu bemerken, dass die einschlägigen Sätze erst spät,
in schon ziemlich vorgerückten Partieen unsrer Theorie zur Anwendung
kommen werden, weshalb sie der Studirende auch bis dahin überschla-
gen mag.

Grösstenteils sind die Sätze schon im identischen Kalkul gültig
und bekannt. Sie bilden alsdann Gegenstücke, Pendants, eventuell aber
auch stark modifizirte (nämlich abgeschwächte oder defekte) Analoga
zu den Schemata des Aussagenkalkuls, welche wir unter α) bis ξ) am
Schlusse des § 3 bereits zusammengestellt haben — und zwar Ana-
loga, weil, mit Rücksicht auf Festsetzung (14), im Grunde Konse-
quenzen derselben! Die Analogie ist aber keine durchgängige, viel-
mehr werden einzelne von jenen Aussagenschemata sogar ganz ohne
Gegenstück (bei Relativen) bleiben, und wird sich dem formelreichern
Aussagenkalkul gegenüber auch von unsern neufundirten Grundlagen
aus der identische Kalkul wiederum als der weniger Schlüsse gestat-
tende erweisen — wofür der letzte Grund in dem Umstande zu er-
blicken ist, dass zu der mit Πi j konstruirten fundamentalen Festsetzung
(14) ein mit Σi j konstruirtes „aussagenduales“ Gegenstück fehlt, und
daselbst (vgl. Bd. 2, S. 43 sqq.) auch definitiv unzulässig bleibt. —


Schröder, Algebra der Relative. 7
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0111" n="97"/><fw place="top" type="header">§ 6. Die <hi rendition="#i">&#x03A0;</hi> und <hi rendition="#i">&#x03A3;</hi> von Relativen.</fw><lb/>
Ausdrucksformen als einen eben den Bedarf deckenden, das noch nicht<lb/>
so grosse Heer der Methoden aber, über die unsre Disziplin bislang ver-<lb/>
fügt, als ein zumeist noch recht unzulängliches.</p><lb/>
          <p>So repräsentiren unsre Sätze zwar ein gewisses schon nicht zu ver-<lb/>
achtendes Kapital an Hülfsmitteln, oft machtvollen Instrumenten des Den-<lb/>
kens, dem aber eine Ausgestaltung zu immer noch grösserer Fülle, eine<lb/>
Entwickelung zu noch viel grösserer Machtentfaltung dringend zu wün-<lb/>
schen bleibt.</p><lb/>
          <p>Schliesslich erübrigt es uns noch, die wichtigsten von den Sätzen<lb/>
oder Formeln zusammenzustellen welche für die (identischen) <hi rendition="#i">Pro-<lb/>
dukt</hi>(<hi rendition="#i">ation</hi>)<hi rendition="#i">e</hi>(<hi rendition="#i">n</hi>) <hi rendition="#i">&#x03A0;</hi> und <hi rendition="#i">Summ</hi>(<hi rendition="#i">ation</hi>)<hi rendition="#i">en &#x03A3; von binären Relativen</hi> Geltung<lb/>
haben, sei es dass man diese Symbole als selbständig definirt ansieht<lb/>
in der Art, wie wir es am Schlusse des § 3, S. 36 geschildert haben<lb/>
und wie es beispielsweise bei &#x201E;kontinuirlichem&#x201C; Erstreckungsbereiche der<lb/><hi rendition="#i">&#x03A0;</hi> und <hi rendition="#i">&#x03A3;</hi> unumgänglich ist, sei es dass man dieselben blos als Ab-<lb/>
kürzungen verwendet für die Ergebnisse binärer identischer Knüpfungs-<lb/>
spezies zwischen irgendvielen Termen, welche nur unbequem sämtlich<lb/>
hinzuschreiben wären.</p><lb/>
          <p>Dass für beide Deutungsweisen unsre Formeln die nämlichen sein<lb/>
müssen (indem eben die zweite Interpretation sich der ersten einordnet)<lb/>
wird streng genommen erst mit der neunten Vorlesung als gesichert anzu-<lb/>
sehen sein.</p><lb/>
          <p>Überhaupt ist zu bemerken, dass die einschlägigen Sätze erst spät,<lb/>
in schon ziemlich vorgerückten Partieen unsrer Theorie zur Anwendung<lb/>
kommen werden, weshalb sie der Studirende auch bis dahin überschla-<lb/>
gen mag.</p><lb/>
          <p>Grösstenteils sind die Sätze schon im identischen Kalkul gültig<lb/>
und bekannt. Sie bilden alsdann <hi rendition="#i">Gegenstücke</hi>, Pendants, eventuell aber<lb/>
auch stark modifizirte (nämlich abgeschwächte oder defekte) Analoga<lb/>
zu den Schemata des Aussagenkalkuls, welche wir unter <hi rendition="#i">&#x03B1;</hi>) bis <hi rendition="#i">&#x03BE;</hi>) am<lb/>
Schlusse des § 3 bereits zusammengestellt haben &#x2014; und zwar Ana-<lb/>
loga, weil, mit Rücksicht auf Festsetzung (14), im Grunde Konse-<lb/>
quenzen derselben! Die Analogie ist aber keine durchgängige, viel-<lb/>
mehr werden einzelne von jenen Aussagenschemata sogar ganz ohne<lb/>
Gegenstück (bei Relativen) bleiben, und wird sich dem formelreichern<lb/>
Aussagenkalkul gegenüber auch von unsern neufundirten Grundlagen<lb/>
aus der identische Kalkul wiederum als der weniger Schlüsse gestat-<lb/>
tende erweisen &#x2014; wofür der letzte Grund in dem Umstande zu er-<lb/>
blicken ist, dass zu der mit <hi rendition="#i">&#x03A0;<hi rendition="#sub">i j</hi></hi> konstruirten fundamentalen Festsetzung<lb/>
(14) ein mit <hi rendition="#i">&#x03A3;<hi rendition="#sub">i j</hi></hi> konstruirtes &#x201E;aussagenduales&#x201C; Gegenstück fehlt, und<lb/>
daselbst (vgl. Bd. 2, S. 43 sqq.) auch definitiv unzulässig bleibt. &#x2014;</p><lb/>
          <fw place="bottom" type="sig"><hi rendition="#k">Schröder</hi>, Algebra der Relative. 7</fw><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[97/0111] § 6. Die Π und Σ von Relativen. Ausdrucksformen als einen eben den Bedarf deckenden, das noch nicht so grosse Heer der Methoden aber, über die unsre Disziplin bislang ver- fügt, als ein zumeist noch recht unzulängliches. So repräsentiren unsre Sätze zwar ein gewisses schon nicht zu ver- achtendes Kapital an Hülfsmitteln, oft machtvollen Instrumenten des Den- kens, dem aber eine Ausgestaltung zu immer noch grösserer Fülle, eine Entwickelung zu noch viel grösserer Machtentfaltung dringend zu wün- schen bleibt. Schliesslich erübrigt es uns noch, die wichtigsten von den Sätzen oder Formeln zusammenzustellen welche für die (identischen) Pro- dukt(ation)e(n) Π und Summ(ation)en Σ von binären Relativen Geltung haben, sei es dass man diese Symbole als selbständig definirt ansieht in der Art, wie wir es am Schlusse des § 3, S. 36 geschildert haben und wie es beispielsweise bei „kontinuirlichem“ Erstreckungsbereiche der Π und Σ unumgänglich ist, sei es dass man dieselben blos als Ab- kürzungen verwendet für die Ergebnisse binärer identischer Knüpfungs- spezies zwischen irgendvielen Termen, welche nur unbequem sämtlich hinzuschreiben wären. Dass für beide Deutungsweisen unsre Formeln die nämlichen sein müssen (indem eben die zweite Interpretation sich der ersten einordnet) wird streng genommen erst mit der neunten Vorlesung als gesichert anzu- sehen sein. Überhaupt ist zu bemerken, dass die einschlägigen Sätze erst spät, in schon ziemlich vorgerückten Partieen unsrer Theorie zur Anwendung kommen werden, weshalb sie der Studirende auch bis dahin überschla- gen mag. Grösstenteils sind die Sätze schon im identischen Kalkul gültig und bekannt. Sie bilden alsdann Gegenstücke, Pendants, eventuell aber auch stark modifizirte (nämlich abgeschwächte oder defekte) Analoga zu den Schemata des Aussagenkalkuls, welche wir unter α) bis ξ) am Schlusse des § 3 bereits zusammengestellt haben — und zwar Ana- loga, weil, mit Rücksicht auf Festsetzung (14), im Grunde Konse- quenzen derselben! Die Analogie ist aber keine durchgängige, viel- mehr werden einzelne von jenen Aussagenschemata sogar ganz ohne Gegenstück (bei Relativen) bleiben, und wird sich dem formelreichern Aussagenkalkul gegenüber auch von unsern neufundirten Grundlagen aus der identische Kalkul wiederum als der weniger Schlüsse gestat- tende erweisen — wofür der letzte Grund in dem Umstande zu er- blicken ist, dass zu der mit Πi j konstruirten fundamentalen Festsetzung (14) ein mit Σi j konstruirtes „aussagenduales“ Gegenstück fehlt, und daselbst (vgl. Bd. 2, S. 43 sqq.) auch definitiv unzulässig bleibt. — Schröder, Algebra der Relative. 7

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