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. Sätze über Knüpfung mit den absoluten Moduln.

Mit Rücksicht auf 29) des § 25 hat man aus 43) noch speziell:
45) [Formel 1]

§ 27. Sätze über Knüpfung mit den absoluten Moduln. Systeme,
Klassen oder absolute Terme als binäre und als uninäre Relative.

Bevor wir in die Theorie der "Systeme" eintreten, empfiehlt es sich
-- grösstenteils unter Rekapitulation -- die wichtigsten Sätze übersichtlich
zusammenzustellen,
die Bezug nehmen auf die [in erster Instanz natürlich*)
relativen] Knüpfungen zwischen irgend welchen Relativen und den absoluten
Moduln
1 und 0 -- unter Beiseitelassung aller Sätze, in welchen auch
relative Moduln vorkämen. Jenes sind also diejenigen Sätze, in deren
Formelausdruck neben allgemeinen Buchstabenrelativen (und eventuell deren
Verwandten) nur Ausdrücke von den 4 Formen:
0) a ; 1, 1 ; a, a j 0, 0 j a
figuriren -- zwischen derengleichen nebst den Relativen aber noch iden-
tische sowohl als relative Knüpfungen in Betracht kommen mögen.

Schon zum öftern, so namentlich in der sechsten, siebenten und in
der gegenwärtigen Vorlesung, hat der Leser Gelegenheit gehabt, den Wert
von dergleichen Sätzen zu erproben -- mochte ihr Formelausdruck auch
blos in einer unscheinbaren Subsumtion bestehen und mochte auch der
Ausdruck auf der einen Seite solcher Formel ziemlich willkürlich und
vielleicht in sehr spezieller Weise aus seinen Elementarsymbolen zusammen-
gesetzt erscheinen. Der Anwendungswert solcher Formeln zur Förderung
der Zwecke einer Untersuchung tritt nicht selten ganz unvermutet zutage
-- so vor allem dann, wenn eben Sätze von allgemeinerm Charakter nicht
zur Verfügung stehen -- und rechtfertigt es, dass die Formel nebst andern
ihresgleichen in eine Sammlung einregistrirt werde.

Ich hätte den bisherigen Lehrgang vielleicht mannigfach vereinfachen
können, wenn ich diese Sammlung vorangenommen hätte; doch liess ich
mich durch gute Gründe bestimmen, welche dafür sprachen erst das Be-
dürfniss nach solcher Sammlung fühlbar werden zu lassen. Teils auch
kompletirte sich die Sammlung erst nach Maassgabe der Fortentwickelung
des Werkes im Lauf der Drucklegung.

Die bisher gelegentlich gebrauchten und jeweils ad hoc aufgestellten
Sätze solcher Art finden sich jedenfalls zu zerstreut um einen Überblick
zu gestatten, und müssen sie darum hiernächst wiederholt werden, wo-
gegen sie nicht mehr bewiesen zu werden brauchen.

So seien denn zuerst die Formeln 8) .. 11) und 16) des § 15 -- hier-
nächst als 1) bis 5) -- in Erinnerung gebracht, obwol sie reine Parallel-
reihensätze sind. Dem letzten Gespanne, das sekundäre Modulknüpfungen

*) Identische Knüpfungen zwischen 1 oder 0 und irgend einem Relative
lassen dieses ja entweder ungeändert, oder verwandeln es sogleich in 0 oder aber 1.
§ 27. Sätze über Knüpfung mit den absoluten Moduln.

Mit Rücksicht auf 29) des § 25 hat man aus 43) noch speziell:
45) [Formel 1]

§ 27. Sätze über Knüpfung mit den absoluten Moduln. Systeme,
Klassen oder absolute Terme als binäre und als uninäre Relative.

Bevor wir in die Theorie der „Systeme“ eintreten, empfiehlt es sich
— grösstenteils unter Rekapitulation — die wichtigsten Sätze übersichtlich
zusammenzustellen,
die Bezug nehmen auf die [in erster Instanz natürlich*)
relativen] Knüpfungen zwischen irgend welchen Relativen und den absoluten
Moduln
1 und 0 — unter Beiseitelassung aller Sätze, in welchen auch
relative Moduln vorkämen. Jenes sind also diejenigen Sätze, in deren
Formelausdruck neben allgemeinen Buchstabenrelativen (und eventuell deren
Verwandten) nur Ausdrücke von den 4 Formen:
0) a ; 1, 1 ; a, a ɟ 0, 0 ɟ a
figuriren — zwischen derengleichen nebst den Relativen aber noch iden-
tische sowohl als relative Knüpfungen in Betracht kommen mögen.

Schon zum öftern, so namentlich in der sechsten, siebenten und in
der gegenwärtigen Vorlesung, hat der Leser Gelegenheit gehabt, den Wert
von dergleichen Sätzen zu erproben — mochte ihr Formelausdruck auch
blos in einer unscheinbaren Subsumtion bestehen und mochte auch der
Ausdruck auf der einen Seite solcher Formel ziemlich willkürlich und
vielleicht in sehr spezieller Weise aus seinen Elementarsymbolen zusammen-
gesetzt erscheinen. Der Anwendungswert solcher Formeln zur Förderung
der Zwecke einer Untersuchung tritt nicht selten ganz unvermutet zutage
— so vor allem dann, wenn eben Sätze von allgemeinerm Charakter nicht
zur Verfügung stehen — und rechtfertigt es, dass die Formel nebst andern
ihresgleichen in eine Sammlung einregistrirt werde.

Ich hätte den bisherigen Lehrgang vielleicht mannigfach vereinfachen
können, wenn ich diese Sammlung vorangenommen hätte; doch liess ich
mich durch gute Gründe bestimmen, welche dafür sprachen erst das Be-
dürfniss nach solcher Sammlung fühlbar werden zu lassen. Teils auch
kompletirte sich die Sammlung erst nach Maassgabe der Fortentwickelung
des Werkes im Lauf der Drucklegung.

Die bisher gelegentlich gebrauchten und jeweils ad hoc aufgestellten
Sätze solcher Art finden sich jedenfalls zu zerstreut um einen Überblick
zu gestatten, und müssen sie darum hiernächst wiederholt werden, wo-
gegen sie nicht mehr bewiesen zu werden brauchen.

So seien denn zuerst die Formeln 8) ‥ 11) und 16) des § 15 — hier-
nächst als 1) bis 5) — in Erinnerung gebracht, obwol sie reine Parallel-
reihensätze sind. Dem letzten Gespanne, das sekundäre Modulknüpfungen

*) Identische Knüpfungen zwischen 1 oder 0 und irgend einem Relative
lassen dieses ja entweder ungeändert, oder verwandeln es sogleich in 0 oder aber 1.
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0457" n="443"/>
          <fw place="top" type="header">§ 27. Sätze über Knüpfung mit den absoluten Moduln.</fw><lb/>
          <p>Mit Rücksicht auf 29) des § 25 hat man aus 43) noch speziell:<lb/>
45) <formula/><lb/></p>
        </div>
        <div n="2">
          <head>§ 27. <hi rendition="#b">Sätze über Knüpfung mit den absoluten Moduln. Systeme,<lb/>
Klassen oder absolute Terme als binäre und als uninäre Relative.</hi></head><lb/>
          <p>Bevor wir in die Theorie der &#x201E;Systeme&#x201C; eintreten, empfiehlt es sich<lb/>
&#x2014; grösstenteils unter Rekapitulation &#x2014; die <hi rendition="#i">wichtigsten Sätze übersichtlich<lb/>
zusammenzustellen,</hi> die Bezug nehmen auf die [in erster Instanz natürlich<note place="foot" n="*)"><hi rendition="#i">Identische</hi> Knüpfungen zwischen 1 oder 0 und irgend einem Relative<lb/>
lassen dieses ja entweder ungeändert, oder verwandeln es sogleich in 0 oder aber 1.</note><lb/>
relativen] Knüpfungen zwischen irgend welchen Relativen und den <hi rendition="#i">absoluten<lb/>
Moduln</hi> 1 und 0 &#x2014; unter Beiseitelassung aller Sätze, in welchen auch<lb/>
relative Moduln vorkämen. Jenes sind also diejenigen Sätze, in deren<lb/>
Formelausdruck neben allgemeinen Buchstabenrelativen (und eventuell deren<lb/>
Verwandten) nur Ausdrücke von den 4 Formen:<lb/>
0) <hi rendition="#et"><hi rendition="#i">a</hi> ; 1, 1 ; <hi rendition="#i">a</hi>, <hi rendition="#i">a</hi> &#x025F; 0, 0 &#x025F; <hi rendition="#i">a</hi></hi><lb/>
figuriren &#x2014; zwischen derengleichen nebst den Relativen aber noch iden-<lb/>
tische sowohl als relative Knüpfungen in Betracht kommen mögen.</p><lb/>
          <p>Schon zum öftern, so namentlich in der sechsten, siebenten und in<lb/>
der gegenwärtigen Vorlesung, hat der Leser Gelegenheit gehabt, den Wert<lb/>
von dergleichen Sätzen zu erproben &#x2014; mochte ihr Formelausdruck auch<lb/>
blos in einer unscheinbaren Subsumtion bestehen und mochte auch der<lb/>
Ausdruck auf der einen Seite solcher Formel ziemlich willkürlich und<lb/>
vielleicht in sehr spezieller Weise aus seinen Elementarsymbolen zusammen-<lb/>
gesetzt erscheinen. Der Anwendungswert solcher Formeln zur Förderung<lb/>
der Zwecke einer Untersuchung tritt nicht selten ganz unvermutet zutage<lb/>
&#x2014; so vor allem dann, wenn eben Sätze von allgemeinerm Charakter nicht<lb/>
zur Verfügung stehen &#x2014; und rechtfertigt es, dass die Formel nebst andern<lb/>
ihresgleichen in eine <hi rendition="#i">Sammlung</hi> einregistrirt werde.</p><lb/>
          <p>Ich hätte den bisherigen Lehrgang vielleicht mannigfach vereinfachen<lb/>
können, wenn ich diese Sammlung vorangenommen hätte; doch liess ich<lb/>
mich durch gute Gründe bestimmen, welche dafür sprachen erst das Be-<lb/>
dürfniss nach solcher Sammlung fühlbar werden zu lassen. Teils auch<lb/>
kompletirte sich die Sammlung erst nach Maassgabe der Fortentwickelung<lb/>
des Werkes im Lauf der Drucklegung.</p><lb/>
          <p>Die bisher gelegentlich gebrauchten und jeweils ad hoc aufgestellten<lb/>
Sätze solcher Art finden sich jedenfalls zu zerstreut um einen Überblick<lb/>
zu gestatten, und müssen sie darum hiernächst wiederholt werden, wo-<lb/>
gegen sie nicht mehr bewiesen zu werden brauchen.</p><lb/>
          <p>So seien denn zuerst die Formeln 8) &#x2025; 11) und 16) des § 15 &#x2014; hier-<lb/>
nächst als 1) bis 5) &#x2014; in Erinnerung gebracht, obwol sie reine Parallel-<lb/>
reihensätze sind. Dem letzten Gespanne, das sekundäre Modulknüpfungen<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[443/0457] § 27. Sätze über Knüpfung mit den absoluten Moduln. Mit Rücksicht auf 29) des § 25 hat man aus 43) noch speziell: 45) [FORMEL] § 27. Sätze über Knüpfung mit den absoluten Moduln. Systeme, Klassen oder absolute Terme als binäre und als uninäre Relative. Bevor wir in die Theorie der „Systeme“ eintreten, empfiehlt es sich — grösstenteils unter Rekapitulation — die wichtigsten Sätze übersichtlich zusammenzustellen, die Bezug nehmen auf die [in erster Instanz natürlich *) relativen] Knüpfungen zwischen irgend welchen Relativen und den absoluten Moduln 1 und 0 — unter Beiseitelassung aller Sätze, in welchen auch relative Moduln vorkämen. Jenes sind also diejenigen Sätze, in deren Formelausdruck neben allgemeinen Buchstabenrelativen (und eventuell deren Verwandten) nur Ausdrücke von den 4 Formen: 0) a ; 1, 1 ; a, a ɟ 0, 0 ɟ a figuriren — zwischen derengleichen nebst den Relativen aber noch iden- tische sowohl als relative Knüpfungen in Betracht kommen mögen. Schon zum öftern, so namentlich in der sechsten, siebenten und in der gegenwärtigen Vorlesung, hat der Leser Gelegenheit gehabt, den Wert von dergleichen Sätzen zu erproben — mochte ihr Formelausdruck auch blos in einer unscheinbaren Subsumtion bestehen und mochte auch der Ausdruck auf der einen Seite solcher Formel ziemlich willkürlich und vielleicht in sehr spezieller Weise aus seinen Elementarsymbolen zusammen- gesetzt erscheinen. Der Anwendungswert solcher Formeln zur Förderung der Zwecke einer Untersuchung tritt nicht selten ganz unvermutet zutage — so vor allem dann, wenn eben Sätze von allgemeinerm Charakter nicht zur Verfügung stehen — und rechtfertigt es, dass die Formel nebst andern ihresgleichen in eine Sammlung einregistrirt werde. Ich hätte den bisherigen Lehrgang vielleicht mannigfach vereinfachen können, wenn ich diese Sammlung vorangenommen hätte; doch liess ich mich durch gute Gründe bestimmen, welche dafür sprachen erst das Be- dürfniss nach solcher Sammlung fühlbar werden zu lassen. Teils auch kompletirte sich die Sammlung erst nach Maassgabe der Fortentwickelung des Werkes im Lauf der Drucklegung. Die bisher gelegentlich gebrauchten und jeweils ad hoc aufgestellten Sätze solcher Art finden sich jedenfalls zu zerstreut um einen Überblick zu gestatten, und müssen sie darum hiernächst wiederholt werden, wo- gegen sie nicht mehr bewiesen zu werden brauchen. So seien denn zuerst die Formeln 8) ‥ 11) und 16) des § 15 — hier- nächst als 1) bis 5) — in Erinnerung gebracht, obwol sie reine Parallel- reihensätze sind. Dem letzten Gespanne, das sekundäre Modulknüpfungen *) Identische Knüpfungen zwischen 1 oder 0 und irgend einem Relative lassen dieses ja entweder ungeändert, oder verwandeln es sogleich in 0 oder aber 1.

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