Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

§ 27. Systeme, Klassen, absolute Terme.
sodann als uninäres Relativ zu definiren mittelst der Angabe seiner Koeffi-
zienten:
70) ii = 1, ih = 0 für h i,
die wir noch nicht chiffrirt hatten, die aber mit (58) in der Anwendung
auf a = i als ih k = ih = 1'i h implicite schon gegeben war.

Analog zu (10) und (15) haben wir die Definitionen 67) und 68)
von Produkt und Summe resp. P, S.

Analog zu (11) die Definition 60) des Negates an.

Endlich analog zu (14) nebst Korollar in 62) die Definition der
Einordnung zwischen Relativen, etc.

Diese Grundlagen der Algebra der uninären Relative haben wir
also von der Algebra der binären aus beim Studium der "Systeme"
als "Sätze" gewonnen.

Würden sie von vornherein als Konventionen hingestellt, so liessen
sich aus ihnen denknotwendig die Gesetze eines Kalkuls deduziren,
welcher drei Spezies kennt: Multiplikation, Addition und Negation.

Die Konversion kann in diesem Kalkul keine Stätte finden, weil sie
auf ein System oder uninäres Relativ angewendet zu einem Systemkonvers,
d. h. aus dem Denkbereiche der uninären Relative heraus, führt.

Aber auch was die knüpfenden unter den drei relativen Operationen
betrifft, so scheinen dieselben nach unserm Korollar zu 44) fast zur Be-
deutungslosigkeit (insignificance) herabzusinken, insofern sie, als nunmehr
blos zwischen Systemen anzuwendende, allemal nur das erste von diesen
ungehindert reproduziren, sofern sie es nicht in 0 resp. 1 verwandeln.
Jedenfalls können sie ebenfalls beiseite gelassen werden und sollen sie hier-
nächst unberücksichtigt bleiben.

Vielleicht gibt einmal die Frage ihrer doch immerhin möglichen Zu-
ziehung einem Forscher Anlass zu einer interessanten Studie.

Dieser Kalkul nun wird zweifellos kein andrer sein, als der "iden-
tische Kalkul
". Mit ihm fällt die "Algebra der uninären Relative"
somit wesentlich zusammen.

Die Elemente des Systems sind, wie gezeigt -- in ihr -- die
"Individuen" desselben. Letztre erscheinen zum "Systeme" kollektiv
zusammengefasst -- wie die Teile zu einem Ganzen.

Wird, anstatt dessen, der Name des Systems als ein genereller ge-
fasst, so dass er sich auf dessen Individuen distributiv verteilt, nämlich
einem jeden derselben einzeln schon (aber ganz und ungeteilt) als ein
Prädikat zugesprochen wird, so nennen wir das System eine "Klasse".
Geschieht solches durchweg, bei allen in die Untersuchung als deren
Substrat einbezogenen Systemen, so wird unser Kalkul zum "Klassen-
kalkul
".

Systeme von Elementen und Klassen von Individuen sind (in der
gehörigen suppositio natürlich) "absolute Namen" und können sonach

§ 27. Systeme, Klassen, absolute Terme.
sodann als uninäres Relativ zu definiren mittelst der Angabe seiner Koeffi-
zienten:
70) ii = 1, ih = 0 für hi,
die wir noch nicht chiffrirt hatten, die aber mit (58) in der Anwendung
auf a = i als ih k = ih = 1'i h implicite schon gegeben war.

Analog zu (10) und (15) haben wir die Definitionen 67) und 68)
von Produkt und Summe resp. Π, Σ.

Analog zu (11) die Definition 60) des Negates .

Endlich analog zu (14) nebst Korollar in 62) die Definition der
Einordnung zwischen Relativen, etc.

Diese Grundlagen der Algebra der uninären Relative haben wir
also von der Algebra der binären aus beim Studium der „Systeme“
als „Sätze“ gewonnen.

Würden sie von vornherein als Konventionen hingestellt, so liessen
sich aus ihnen denknotwendig die Gesetze eines Kalkuls deduziren,
welcher drei Spezies kennt: Multiplikation, Addition und Negation.

Die Konversion kann in diesem Kalkul keine Stätte finden, weil sie
auf ein System oder uninäres Relativ angewendet zu einem Systemkonvers,
d. h. aus dem Denkbereiche der uninären Relative heraus, führt.

Aber auch was die knüpfenden unter den drei relativen Operationen
betrifft, so scheinen dieselben nach unserm Korollar zu 44) fast zur Be-
deutungslosigkeit (insignificance) herabzusinken, insofern sie, als nunmehr
blos zwischen Systemen anzuwendende, allemal nur das erste von diesen
ungehindert reproduziren, sofern sie es nicht in 0 resp. 1 verwandeln.
Jedenfalls können sie ebenfalls beiseite gelassen werden und sollen sie hier-
nächst unberücksichtigt bleiben.

Vielleicht gibt einmal die Frage ihrer doch immerhin möglichen Zu-
ziehung einem Forscher Anlass zu einer interessanten Studie.

Dieser Kalkul nun wird zweifellos kein andrer sein, als der „iden-
tische Kalkul
“. Mit ihm fällt die „Algebra der uninären Relative“
somit wesentlich zusammen.

Die Elemente des Systems sind, wie gezeigt — in ihr — die
„Individuen“ desselben. Letztre erscheinen zum „Systeme“ kollektiv
zusammengefasst — wie die Teile zu einem Ganzen.

Wird, anstatt dessen, der Name des Systems als ein genereller ge-
fasst, so dass er sich auf dessen Individuen distributiv verteilt, nämlich
einem jeden derselben einzeln schon (aber ganz und ungeteilt) als ein
Prädikat zugesprochen wird, so nennen wir das System eine „Klasse“.
Geschieht solches durchweg, bei allen in die Untersuchung als deren
Substrat einbezogenen Systemen, so wird unser Kalkul zum „Klassen-
kalkul
“.

Systeme von Elementen und Klassen von Individuen sind (in der
gehörigen suppositio natürlich) „absolute Namen“ und können sonach

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0477" n="463"/><fw place="top" type="header">§ 27. Systeme, Klassen, absolute Terme.</fw><lb/>
sodann als uninäres Relativ zu definiren mittelst der Angabe seiner Koeffi-<lb/>
zienten:<lb/>
70) <hi rendition="#et"><hi rendition="#i">i<hi rendition="#sub">i</hi></hi> = 1, <hi rendition="#i">i<hi rendition="#sub">h</hi></hi> = 0 für <hi rendition="#i">h</hi> &#x2260; <hi rendition="#i">i</hi>,</hi><lb/>
die wir noch nicht chiffrirt hatten, die aber mit (58) in der Anwendung<lb/>
auf <hi rendition="#i">a</hi> = <hi rendition="#i">i</hi> als <hi rendition="#i">i<hi rendition="#sub">h k</hi></hi> = <hi rendition="#i">i<hi rendition="#sub">h</hi></hi> = 1'<hi rendition="#i"><hi rendition="#sub">i h</hi></hi> implicite schon gegeben war.</p><lb/>
          <p>Analog zu (10) und (15) haben wir die Definitionen 67) und 68)<lb/>
von Produkt und Summe resp. <hi rendition="#i">&#x03A0;</hi>, <hi rendition="#i">&#x03A3;</hi>.</p><lb/>
          <p>Analog zu (11) die Definition 60) des Negates <hi rendition="#i">a&#x0304;</hi>.</p><lb/>
          <p>Endlich analog zu (14) nebst Korollar in 62) die Definition der<lb/>
Einordnung zwischen Relativen, etc.</p><lb/>
          <p>Diese Grundlagen der Algebra der uninären Relative haben wir<lb/>
also von der Algebra der binären aus beim Studium der &#x201E;Systeme&#x201C;<lb/>
als &#x201E;Sätze&#x201C; gewonnen.</p><lb/>
          <p>Würden sie von vornherein als Konventionen hingestellt, so liessen<lb/>
sich aus ihnen denknotwendig die Gesetze eines <hi rendition="#i">Kalkuls</hi> deduziren,<lb/>
welcher drei Spezies kennt: Multiplikation, Addition und Negation.</p><lb/>
          <p>Die Konversion kann in diesem Kalkul keine Stätte finden, weil sie<lb/>
auf ein System oder uninäres Relativ angewendet zu einem Systemkonvers,<lb/>
d. h. aus dem Denkbereiche der uninären Relative <hi rendition="#i">heraus</hi>, führt.</p><lb/>
          <p>Aber auch was die knüpfenden unter den drei relativen Operationen<lb/>
betrifft, so scheinen dieselben nach unserm Korollar zu 44) fast zur Be-<lb/>
deutungslosigkeit (insignificance) herabzusinken, insofern sie, als nunmehr<lb/>
blos zwischen Systemen anzuwendende, allemal nur das <hi rendition="#i">erste</hi> von diesen<lb/><hi rendition="#i">ungehindert reproduziren</hi>, sofern sie es nicht in 0 resp. 1 verwandeln.<lb/>
Jedenfalls <hi rendition="#i">können</hi> sie ebenfalls beiseite gelassen werden und sollen sie hier-<lb/>
nächst unberücksichtigt bleiben.</p><lb/>
          <p>Vielleicht gibt einmal die Frage ihrer doch immerhin möglichen Zu-<lb/>
ziehung einem Forscher Anlass zu einer interessanten Studie.</p><lb/>
          <p>Dieser Kalkul nun wird zweifellos kein andrer sein, als der &#x201E;<hi rendition="#i">iden-<lb/>
tische Kalkul</hi>&#x201C;. Mit ihm fällt die &#x201E;Algebra der uninären Relative&#x201C;<lb/>
somit wesentlich zusammen.</p><lb/>
          <p>Die Elemente des Systems sind, wie gezeigt &#x2014; in ihr &#x2014; die<lb/>
&#x201E;Individuen&#x201C; desselben. Letztre erscheinen zum &#x201E;Systeme&#x201C; <hi rendition="#i">kollektiv</hi><lb/>
zusammengefasst &#x2014; wie die <hi rendition="#i">Teile</hi> zu einem <hi rendition="#i">Ganzen</hi>.</p><lb/>
          <p>Wird, anstatt dessen, der Name des Systems als ein <hi rendition="#i">genereller</hi> ge-<lb/>
fasst, so dass er sich auf dessen Individuen <hi rendition="#i">distributiv</hi> verteilt, nämlich<lb/>
einem jeden derselben einzeln schon (aber ganz und ungeteilt) als ein<lb/><hi rendition="#i">Prädikat</hi> zugesprochen wird, so nennen wir das System eine &#x201E;<hi rendition="#i">Klasse</hi>&#x201C;.<lb/>
Geschieht solches durchweg, bei allen in die Untersuchung als deren<lb/>
Substrat einbezogenen Systemen, so wird unser Kalkul zum &#x201E;<hi rendition="#i">Klassen-<lb/>
kalkul</hi>&#x201C;.</p><lb/>
          <p>Systeme von Elementen und Klassen von Individuen <hi rendition="#i">sind</hi> (in der<lb/>
gehörigen suppositio natürlich) &#x201E;<hi rendition="#i">absolute</hi> Namen&#x201C; und können sonach<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[463/0477] § 27. Systeme, Klassen, absolute Terme. sodann als uninäres Relativ zu definiren mittelst der Angabe seiner Koeffi- zienten: 70) ii = 1, ih = 0 für h ≠ i, die wir noch nicht chiffrirt hatten, die aber mit (58) in der Anwendung auf a = i als ih k = ih = 1'i h implicite schon gegeben war. Analog zu (10) und (15) haben wir die Definitionen 67) und 68) von Produkt und Summe resp. Π, Σ. Analog zu (11) die Definition 60) des Negates ā. Endlich analog zu (14) nebst Korollar in 62) die Definition der Einordnung zwischen Relativen, etc. Diese Grundlagen der Algebra der uninären Relative haben wir also von der Algebra der binären aus beim Studium der „Systeme“ als „Sätze“ gewonnen. Würden sie von vornherein als Konventionen hingestellt, so liessen sich aus ihnen denknotwendig die Gesetze eines Kalkuls deduziren, welcher drei Spezies kennt: Multiplikation, Addition und Negation. Die Konversion kann in diesem Kalkul keine Stätte finden, weil sie auf ein System oder uninäres Relativ angewendet zu einem Systemkonvers, d. h. aus dem Denkbereiche der uninären Relative heraus, führt. Aber auch was die knüpfenden unter den drei relativen Operationen betrifft, so scheinen dieselben nach unserm Korollar zu 44) fast zur Be- deutungslosigkeit (insignificance) herabzusinken, insofern sie, als nunmehr blos zwischen Systemen anzuwendende, allemal nur das erste von diesen ungehindert reproduziren, sofern sie es nicht in 0 resp. 1 verwandeln. Jedenfalls können sie ebenfalls beiseite gelassen werden und sollen sie hier- nächst unberücksichtigt bleiben. Vielleicht gibt einmal die Frage ihrer doch immerhin möglichen Zu- ziehung einem Forscher Anlass zu einer interessanten Studie. Dieser Kalkul nun wird zweifellos kein andrer sein, als der „iden- tische Kalkul“. Mit ihm fällt die „Algebra der uninären Relative“ somit wesentlich zusammen. Die Elemente des Systems sind, wie gezeigt — in ihr — die „Individuen“ desselben. Letztre erscheinen zum „Systeme“ kollektiv zusammengefasst — wie die Teile zu einem Ganzen. Wird, anstatt dessen, der Name des Systems als ein genereller ge- fasst, so dass er sich auf dessen Individuen distributiv verteilt, nämlich einem jeden derselben einzeln schon (aber ganz und ungeteilt) als ein Prädikat zugesprochen wird, so nennen wir das System eine „Klasse“. Geschieht solches durchweg, bei allen in die Untersuchung als deren Substrat einbezogenen Systemen, so wird unser Kalkul zum „Klassen- kalkul“. Systeme von Elementen und Klassen von Individuen sind (in der gehörigen suppositio natürlich) „absolute Namen“ und können sonach

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