Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>

Siebzehnte Vorlesung.
dem Zusatze, dass das Verschwinden, Nullsein jedes Terms zur Linken
oder Rechten ausgeschlossen werde. Für den terminus major, das Prä-
dikat der Unter- oder Überordnung f resp. e wird sich dies ohnehin
verstehen -- siehe weiter unten, § 35, 40) und 40)' -- aber für den
terminus minor, das Subjekt -- mithin für eben den Term, gegen
welchen die über das Zeichen gesetzte 0 herabzugleiten droht -- muss
dies ausdrücklich ausgeschlossen werden, und zeichnet gerade durch
diese Ausschliessung die Elementarbeziehung oder "elementare Unter-
ordnung" sich aus vor der Unterordnung (schlechtweg) f, die "elemen-
tare Überordnung" b vor der Überordnung e. Ebenso hebt sich die
"elementare Gleichsetzung" vermittelst des Zeichens ("elementar
gleich") von der gewöhnlichen Gleichsetzung, vermittelst =, dadurch
ab, dass sie die zu vergleichenden Dinge als existirend setzt, hinstellt
oder voraussetzt, auf Nullen also nicht anwendbar ist, wogegen die
letztere diese Frage nach der Existenz (innerhalb des Untersuchungs-
feldes) des Verglichenen offen lässt.

Im Gegensatz, grösstenteils, zu den 5 "Elementarbeziehungen" be-
zeichne ich die durch die Formeln d, f, e, g dargestellten als "Grund-
beziehungen". Diese letztern umfassen also diejenigen Modifikationen,
welche an den Elementarbeziehungen zufolge Adjunktion der Null an-
zubringen waren. Die Mannigfaltigkeit der "Grundbeziehungen" wird
aber mit dem Bisherigen noch nicht ganz abgeschlossen sein.

Wir erinnern zunächst, dass behufs Anlehnung an die Wortsprache
ein Beziehungszeichen eingeführt werden musste, welches die Kopula
des Urteils wiedergibt. Das Subsumtionszeichen und seine Um-
kehrung (die man das Supersumtionszeichen nennen könnte), diese
beiden verdienen sicherlich, unter die Zeichen der logischen "Grund-
beziehungen" aufgenommen zu werden. Und dies nicht nur wegen
ihrer Wichtigkeit als Bindeglieder zwischen Sprache und Kalkul,
sondern auch unter dem vorhin betonten Gesichtspunkte:

Der aus zwei Elementarfällen zusammengesetzte Kollektivfall
a10 = a100 + a101 statuirt in der That, dass zwischen A und B eine Sub-
sumtion, Einordnung
A B
stattfinde; doch ist hiermit die Bedeutung dieser letzteren wieder nicht
erschöpfend angegeben; vielmehr verlangt a10 noch obendrein, dass so-
wol A als B von 0 verschieden seien -- indem unter dem Hauptfall a1,
in welchem a10 als Unterfall enthalten ist, das Produkt A B nicht ver-
schwinden darf -- während bei der Subsumtion auch diese Fälle zu-
gelassen sind.

Siebzehnte Vorlesung.
dem Zusatze, dass das Verschwinden, Nullsein jedes Terms zur Linken
oder Rechten ausgeschlossen werde. Für den terminus major, das Prä-
dikat der Unter- oder Überordnung f resp. e wird sich dies ohnehin
verstehen — siehe weiter unten, § 35, 40) und 40)' — aber für den
terminus minor, das Subjekt — mithin für eben den Term, gegen
welchen die über das Zeichen gesetzte 0 herabzugleiten droht — muss
dies ausdrücklich ausgeschlossen werden, und zeichnet gerade durch
diese Ausschliessung die Elementarbeziehung oder „elementare Unter-
ordnung“ sich aus vor der Unterordnung (schlechtweg) f, die „elemen-
tare Überordnung“ β vor der Überordnung e. Ebenso hebt sich die
„elementare Gleichsetzung“ vermittelst des Zeichens ≗ („elementar
gleich“) von der gewöhnlichen Gleichsetzung, vermittelst =, dadurch
ab, dass sie die zu vergleichenden Dinge als existirend setzt, hinstellt
oder voraussetzt, auf Nullen also nicht anwendbar ist, wogegen die
letztere diese Frage nach der Existenz (innerhalb des Untersuchungs-
feldes) des Verglichenen offen lässt.

Im Gegensatz, grösstenteils, zu den 5 „Elementarbeziehungen“ be-
zeichne ich die durch die Formeln d, f, e, g dargestellten als „Grund-
beziehungen“. Diese letztern umfassen also diejenigen Modifikationen,
welche an den Elementarbeziehungen zufolge Adjunktion der Null an-
zubringen waren. Die Mannigfaltigkeit der „Grundbeziehungen“ wird
aber mit dem Bisherigen noch nicht ganz abgeschlossen sein.

Wir erinnern zunächst, dass behufs Anlehnung an die Wortsprache
ein Beziehungszeichen eingeführt werden musste, welches die Kopula
des Urteils wiedergibt. Das Subsumtionszeichen ⊆ und seine Um-
kehrung ⊆ (die man das Supersumtionszeichen nennen könnte), diese
beiden verdienen sicherlich, unter die Zeichen der logischen „Grund-
beziehungen“ aufgenommen zu werden. Und dies nicht nur wegen
ihrer Wichtigkeit als Bindeglieder zwischen Sprache und Kalkul,
sondern auch unter dem vorhin betonten Gesichtspunkte:

Der aus zwei Elementarfällen zusammengesetzte Kollektivfall
a10 = a100 + a101 statuirt in der That, dass zwischen A und B eine Sub-
sumtion, Einordnung
A ⊆ B
stattfinde; doch ist hiermit die Bedeutung dieser letzteren wieder nicht
erschöpfend angegeben; vielmehr verlangt a10 noch obendrein, dass so-
wol A als B von 0 verschieden seien — indem unter dem Hauptfall a1,
in welchem a10 als Unterfall enthalten ist, das Produkt A B nicht ver-
schwinden darf — während bei der Subsumtion auch diese Fälle zu-
gelassen sind.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0126" n="102"/><fw place="top" type="header">Siebzehnte Vorlesung.</fw><lb/>
dem Zusatze, dass das Verschwinden, <hi rendition="#i">Nullsein</hi> jedes Terms zur Linken<lb/>
oder Rechten <hi rendition="#i">ausgeschlossen</hi> werde. Für den terminus major, das Prä-<lb/>
dikat der Unter- oder Überordnung <hi rendition="#i">f</hi> resp. <hi rendition="#i">e</hi> wird sich dies ohnehin<lb/>
verstehen &#x2014; siehe weiter unten, § 35, 4<hi rendition="#sup">0</hi>) und 4<hi rendition="#sup">0</hi>)' &#x2014; aber für den<lb/>
terminus minor, das Subjekt &#x2014; mithin für eben <hi rendition="#i">den</hi> Term, gegen<lb/>
welchen die über das Zeichen gesetzte 0 herabzugleiten droht &#x2014; muss<lb/>
dies ausdrücklich ausgeschlossen werden, und zeichnet gerade durch<lb/>
diese Ausschliessung die Elementarbeziehung oder &#x201E;<hi rendition="#i">elementare Unter-<lb/>
ordnung</hi>&#x201C; sich aus vor der Unterordnung (schlechtweg) <hi rendition="#i">f</hi>, die &#x201E;<hi rendition="#i">elemen-<lb/>
tare Überordnung</hi>&#x201C; <hi rendition="#i">&#x03B2;</hi> vor der Überordnung <hi rendition="#i">e</hi>. Ebenso hebt sich die<lb/>
&#x201E;<hi rendition="#i">elementare Gleichsetzung</hi>&#x201C; vermittelst des Zeichens &#x2257; (&#x201E;elementar<lb/>
gleich&#x201C;) von der gewöhnlichen Gleichsetzung, vermittelst =, dadurch<lb/>
ab, dass sie die zu vergleichenden Dinge als existirend setzt, hinstellt<lb/>
oder voraussetzt, auf Nullen also <hi rendition="#i">nicht</hi> anwendbar ist, wogegen die<lb/>
letztere diese Frage nach der Existenz (innerhalb des Untersuchungs-<lb/>
feldes) des Verglichenen offen lässt.</p><lb/>
            <p>Im Gegensatz, grösstenteils, zu den 5 &#x201E;<hi rendition="#i">Elementar</hi>beziehungen&#x201C; be-<lb/>
zeichne ich die durch die Formeln <hi rendition="#i">d</hi>, <hi rendition="#i">f</hi>, <hi rendition="#i">e</hi>, <hi rendition="#i">g</hi> dargestellten als &#x201E;<hi rendition="#i">Grund</hi>-<lb/>
beziehungen&#x201C;. Diese letztern umfassen also diejenigen Modifikationen,<lb/>
welche an den Elementarbeziehungen zufolge Adjunktion der Null an-<lb/>
zubringen waren. Die Mannigfaltigkeit der &#x201E;Grundbeziehungen&#x201C; wird<lb/>
aber mit dem Bisherigen noch nicht ganz abgeschlossen sein.</p><lb/>
            <p>Wir erinnern zunächst, dass <hi rendition="#i">behufs Anlehnung an die Wortsprache</hi><lb/>
ein Beziehungszeichen eingeführt werden musste, welches die <hi rendition="#i">Kopula</hi><lb/>
des Urteils wiedergibt. Das <hi rendition="#i">Subsumtionszeichen</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> und seine Um-<lb/>
kehrung <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice>   (die man das <hi rendition="#i">Supersumtionszeichen</hi> nennen könnte), diese<lb/>
beiden verdienen sicherlich, unter die Zeichen der logischen &#x201E;Grund-<lb/>
beziehungen&#x201C; aufgenommen zu werden. Und dies nicht nur wegen<lb/>
ihrer Wichtigkeit als Bindeglieder zwischen Sprache und Kalkul,<lb/>
sondern auch unter dem vorhin betonten Gesichtspunkte:</p><lb/>
            <p>Der aus zwei Elementarfällen zusammengesetzte Kollektivfall<lb/><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#sup">0</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#sup">00</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#sup">01</hi> statuirt in der That, dass zwischen <hi rendition="#i">A</hi> und <hi rendition="#i">B</hi> eine Sub-<lb/>
sumtion, Einordnung<lb/><hi rendition="#c"><hi rendition="#i">A</hi><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><hi rendition="#i">B</hi></hi><lb/>
stattfinde; doch ist hiermit die Bedeutung dieser letzteren wieder nicht<lb/>
erschöpfend angegeben; vielmehr verlangt <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#sup">0</hi> noch obendrein, <hi rendition="#i">dass so-<lb/>
wol A als B von</hi> 0 <hi rendition="#i">verschieden seien</hi> &#x2014; indem unter dem Hauptfall <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>,<lb/>
in welchem <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#sup">0</hi> als Unterfall enthalten ist, das Produkt <hi rendition="#i">A B</hi> nicht ver-<lb/>
schwinden darf &#x2014; <hi rendition="#i">während bei der Subsumtion auch diese Fälle zu-<lb/>
gelassen sind</hi>.</p><lb/>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[102/0126] Siebzehnte Vorlesung. dem Zusatze, dass das Verschwinden, Nullsein jedes Terms zur Linken oder Rechten ausgeschlossen werde. Für den terminus major, das Prä- dikat der Unter- oder Überordnung f resp. e wird sich dies ohnehin verstehen — siehe weiter unten, § 35, 40) und 40)' — aber für den terminus minor, das Subjekt — mithin für eben den Term, gegen welchen die über das Zeichen gesetzte 0 herabzugleiten droht — muss dies ausdrücklich ausgeschlossen werden, und zeichnet gerade durch diese Ausschliessung die Elementarbeziehung oder „elementare Unter- ordnung“ sich aus vor der Unterordnung (schlechtweg) f, die „elemen- tare Überordnung“ β vor der Überordnung e. Ebenso hebt sich die „elementare Gleichsetzung“ vermittelst des Zeichens ≗ („elementar gleich“) von der gewöhnlichen Gleichsetzung, vermittelst =, dadurch ab, dass sie die zu vergleichenden Dinge als existirend setzt, hinstellt oder voraussetzt, auf Nullen also nicht anwendbar ist, wogegen die letztere diese Frage nach der Existenz (innerhalb des Untersuchungs- feldes) des Verglichenen offen lässt. Im Gegensatz, grösstenteils, zu den 5 „Elementarbeziehungen“ be- zeichne ich die durch die Formeln d, f, e, g dargestellten als „Grund- beziehungen“. Diese letztern umfassen also diejenigen Modifikationen, welche an den Elementarbeziehungen zufolge Adjunktion der Null an- zubringen waren. Die Mannigfaltigkeit der „Grundbeziehungen“ wird aber mit dem Bisherigen noch nicht ganz abgeschlossen sein. Wir erinnern zunächst, dass behufs Anlehnung an die Wortsprache ein Beziehungszeichen eingeführt werden musste, welches die Kopula des Urteils wiedergibt. Das Subsumtionszeichen  und seine Um- kehrung  (die man das Supersumtionszeichen nennen könnte), diese beiden verdienen sicherlich, unter die Zeichen der logischen „Grund- beziehungen“ aufgenommen zu werden. Und dies nicht nur wegen ihrer Wichtigkeit als Bindeglieder zwischen Sprache und Kalkul, sondern auch unter dem vorhin betonten Gesichtspunkte: Der aus zwei Elementarfällen zusammengesetzte Kollektivfall a10 = a100 + a101 statuirt in der That, dass zwischen A und B eine Sub- sumtion, Einordnung A  B stattfinde; doch ist hiermit die Bedeutung dieser letzteren wieder nicht erschöpfend angegeben; vielmehr verlangt a10 noch obendrein, dass so- wol A als B von 0 verschieden seien — indem unter dem Hauptfall a1, in welchem a10 als Unterfall enthalten ist, das Produkt A B nicht ver- schwinden darf — während bei der Subsumtion auch diese Fälle zu- gelassen sind.

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_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/126
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 102. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/126>, abgerufen am 22.11.2024.