Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

Siebente Vorlesung.
wieder einen gültigen Satz, eine richtige Formel erhalten, die von den
ursprünglichen in der Regel, doch nicht notwendig verschieden.

Anstatt die Zeichen und @ der Einordnung und Überdeckung,
oder das "Sub"- und das "Supersumtionszeichen" miteinander zu vertau-
schen, konnte man auch ein jedes derselben, z. B. das erste festhalten,
wofern man nur alsdann die beiden Seiten der Subsumtion, das Subjekt
und Prädikat jeweils vertauschte. In der That: aus a b entsteht durch
Vertauschung des im Subsumtionszeichen enthaltenen Bogens der Unter-
ordnung mit dem der Überordnung ersichtlich: a @ b, und durch Ver-
tauschung von major und minor entsteht: b a, was genau dasselbe sagt
-- [aber freilich etwas ganz anderes als die ursprüngliche Subsumtion
a b. Diese, wenn für sich allein hingestellt, gilt auch in der That nicht
als allgemeine Formel, mithin beansprucht der Satz 35) auch nicht, auf
sie anwendbar zu sein. Erst da, wo eine solche Subsumtion von andern
Relationen abhängig gemacht ist, kann er mit auf sie anwendbar werden,
desgleichen auch in solchen besondern Fällen, wie a a, wo eben die
Subsumtion den Charakter einer Formel annimmt].

Prinzip I a a gibt insbesondre a @ a; dasselbe geht also auf ge-
nannte Weise in sich selbst über.

Aus Prinzip II, welches aussagt: "Wenn a b und b c so ist
a c" erhalten wir auf die eine Art: "Wenn a @ b und b @ c, so ist
a @ c", auf die andre: "Wenn b a und c b, so ist c a" beides
aber ist richtig und deckt sich mit Prinzip II selber.

Man revidire schliesslich, dass durch das angegebene Verfahren die
beiden Definitionen (2x) und (2+) ebenso (3x) und (3+) zu tauschen kom-
men, wogegen die Def. (1) der Gleichheit und die (6) der Negation nur
in sich selbst übergeht.

Ersetzten wir die Gebietsymbole 1 und 0 etwa durch 1 resp. 1
und die Operationssymbole · und + durch x resp. x [desgleichen
die Chiffrirungssuffixa x und + durch und ], so könnten wir
dem Prinzip des Dualismus den einfacheren Ausdruck geben: In allen
Theoremen des Kalkuls darf man die Zeichen und durchweg ver-
tauschen.

Führt nämlich von den Grundlagen eine Denknotwendigkeit zu
gewissen Folgerungen hin, so muss diese Notwendigkeit bestehen un-
abhängig von der Materie des Denkens und deren Bezeichnung. Also
auch wenn man das mit Ausgedrückte mit dargestellt hätte,
müsste sie fortbestehen. Dann würden aber die Grundlagen dieselben
geworden sein, und statt der vorigen hätte man wol grossenteils neue
Folgerungen erhalten -- die dualen Gegenstücke der letzteren -- so-
nach müssen denn auch diese gelten.

Wir wollen die Berechtigung zu diesem Schlusse noch etwas
übersichtlicher darlegen.

Siebente Vorlesung.
wieder einen gültigen Satz, eine richtige Formel erhalten, die von den
ursprünglichen in der Regel, doch nicht notwendig verschieden.

Anstatt die Zeichen ⋹ und  der Einordnung und Überdeckung,
oder das „Sub“- und das „Supersumtionszeichen“ miteinander zu vertau-
schen, konnte man auch ein jedes derselben, z. B. das erste ⋹ festhalten,
wofern man nur alsdann die beiden Seiten der Subsumtion, das Subjekt
und Prädikat jeweils vertauschte. In der That: aus ab entsteht durch
Vertauschung des im Subsumtionszeichen enthaltenen Bogens ⊂ der Unter-
ordnung mit dem ⊃ der Überordnung ersichtlich: ab, und durch Ver-
tauschung von major und minor entsteht: ba, was genau dasselbe sagt
— [aber freilich etwas ganz anderes als die ursprüngliche Subsumtion
ab. Diese, wenn für sich allein hingestellt, gilt auch in der That nicht
als allgemeine Formel, mithin beansprucht der Satz 35) auch nicht, auf
sie anwendbar zu sein. Erst da, wo eine solche Subsumtion von andern
Relationen abhängig gemacht ist, kann er mit auf sie anwendbar werden,
desgleichen auch in solchen besondern Fällen, wie aa, wo eben die
Subsumtion den Charakter einer Formel annimmt].

Prinzip I aa gibt insbesondre aa; dasselbe geht also auf ge-
nannte Weise in sich selbst über.

Aus Prinzip II, welches aussagt: „Wenn ab und bc so ist
ac“ erhalten wir auf die eine Art: „Wenn ab und bc, so ist
ac“, auf die andre: „Wenn ba und cb, so ist ca“ beides
aber ist richtig und deckt sich mit Prinzip II selber.

Man revidire schliesslich, dass durch das angegebene Verfahren die
beiden Definitionen (2×) und (2+) ebenso (3×) und (3+) zu tauschen kom-
men, wogegen die Def. (1) der Gleichheit und die (6) der Negation nur
in sich selbst übergeht.

Ersetzten wir die Gebietsymbole 1 und 0 etwa durch 1 resp. 1
und die Operationssymbole · und + durch × resp. × [desgleichen
die Chiffrirungssuffixa × und + durch ⊂ und ⊃], so könnten wir
dem Prinzip des Dualismus den einfacheren Ausdruck geben: In allen
Theoremen des Kalkuls darf man die Zeichen ⊂ und ⊃ durchweg ver-
tauschen.

Führt nämlich von den Grundlagen eine Denknotwendigkeit zu
gewissen Folgerungen hin, so muss diese Notwendigkeit bestehen un-
abhängig von der Materie des Denkens und deren Bezeichnung. Also
auch wenn man das mit ⊂ Ausgedrückte mit ⊃ dargestellt hätte,
müsste sie fortbestehen. Dann würden aber die Grundlagen dieselben
geworden sein, und statt der vorigen hätte man wol grossenteils neue
Folgerungen erhalten — die dualen Gegenstücke der letzteren — so-
nach müssen denn auch diese gelten.

Wir wollen die Berechtigung zu diesem Schlusse noch etwas
übersichtlicher darlegen.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0336" n="316"/><fw place="top" type="header">Siebente Vorlesung.</fw><lb/><hi rendition="#i">wieder einen gültigen Satz</hi>, <hi rendition="#i">eine richtige Formel erhalten,</hi> die von den<lb/>
ursprünglichen in der Regel, doch nicht notwendig verschieden.</p><lb/>
          <p>Anstatt die Zeichen &#x22F9; und &#xFFFC; der Einordnung und Überdeckung,<lb/>
oder das &#x201E;Sub&#x201C;- und das &#x201E;Supersumtionszeichen&#x201C; miteinander zu vertau-<lb/>
schen, konnte man auch ein jedes derselben, z. B. das erste &#x22F9; festhalten,<lb/>
wofern man nur alsdann die beiden Seiten der Subsumtion, das Subjekt<lb/>
und Prädikat jeweils vertauschte. In der That: aus <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi> entsteht durch<lb/>
Vertauschung des im Subsumtionszeichen enthaltenen Bogens &#x2282; der Unter-<lb/>
ordnung mit dem &#x2283; der Überordnung ersichtlich: <hi rendition="#i">a</hi> &#xFFFC; <hi rendition="#i">b</hi>, und durch Ver-<lb/>
tauschung von major und minor entsteht: <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">a</hi>, <hi rendition="#i">was genau dasselbe sagt</hi><lb/>
&#x2014; [aber freilich etwas ganz anderes als die ursprüngliche Subsumtion<lb/><hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi>. Diese, wenn für sich allein hingestellt, gilt auch in der That nicht<lb/>
als allgemeine Formel, mithin beansprucht der Satz 35) auch nicht, auf<lb/>
sie anwendbar zu sein. Erst da, wo eine solche Subsumtion von andern<lb/>
Relationen abhängig gemacht ist, kann er mit auf sie anwendbar werden,<lb/>
desgleichen auch in solchen besondern Fällen, wie <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi>, wo eben die<lb/>
Subsumtion den Charakter einer Formel annimmt].</p><lb/>
          <p>Prinzip I <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi> gibt insbesondre <hi rendition="#i">a</hi> &#xFFFC; <hi rendition="#i">a</hi>; dasselbe geht also auf ge-<lb/>
nannte Weise in sich selbst über.</p><lb/>
          <p>Aus Prinzip II, welches aussagt: &#x201E;Wenn <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi> und <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">c</hi> so ist<lb/><hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">c</hi>&#x201C; erhalten wir auf die eine Art: &#x201E;Wenn <hi rendition="#i">a</hi> &#xFFFC; <hi rendition="#i">b</hi> und <hi rendition="#i">b</hi> &#xFFFC; <hi rendition="#i">c</hi>, so ist<lb/><hi rendition="#i">a</hi> &#xFFFC; <hi rendition="#i">c</hi>&#x201C;, auf die andre: &#x201E;Wenn <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">a</hi> und <hi rendition="#i">c</hi> &#x22F9; <hi rendition="#i">b</hi>, so ist <hi rendition="#i">c</hi> &#x22F9; <hi rendition="#i">a</hi>&#x201C; beides<lb/>
aber ist richtig und deckt sich mit Prinzip II selber.</p><lb/>
          <p>Man revidire schliesslich, dass durch das angegebene Verfahren die<lb/>
beiden Definitionen (2<hi rendition="#sub">×</hi>) und (2<hi rendition="#sub">+</hi>) ebenso (3<hi rendition="#sub">×</hi>) und (3<hi rendition="#sub">+</hi>) zu tauschen kom-<lb/>
men, wogegen die Def. (1) der Gleichheit und die (6) der Negation nur<lb/>
in sich selbst übergeht.</p><lb/>
          <p>Ersetzten wir die Gebietsymbole 1 und 0 etwa durch 1<hi rendition="#sub">&#x2282;</hi> resp. 1<hi rendition="#sub">&#x2283;</hi><lb/>
und die Operationssymbole · und + durch ×<hi rendition="#sub">&#x2282;</hi> resp. ×<hi rendition="#sub">&#x2283;</hi> [desgleichen<lb/>
die Chiffrirungssuffixa <hi rendition="#sub">×</hi> und <hi rendition="#sub">+</hi> durch &#x2282; und &#x2283;], so könnten wir<lb/>
dem Prinzip des Dualismus den einfacheren Ausdruck geben: <hi rendition="#i">In allen<lb/>
Theoremen des Kalkuls darf man die Zeichen &#x2282; und &#x2283; durchweg ver-<lb/>
tauschen.</hi></p><lb/>
          <p>Führt nämlich von den Grundlagen eine Denknotwendigkeit zu<lb/>
gewissen Folgerungen hin, so muss diese Notwendigkeit bestehen un-<lb/>
abhängig von der Materie des Denkens und deren Bezeichnung. Also<lb/>
auch wenn man das mit &#x2282; Ausgedrückte mit &#x2283; dargestellt hätte,<lb/>
müsste sie fortbestehen. Dann würden aber die Grundlagen dieselben<lb/>
geworden sein, und statt der vorigen hätte man wol grossenteils neue<lb/>
Folgerungen erhalten &#x2014; die dualen Gegenstücke der letzteren &#x2014; so-<lb/>
nach müssen denn auch diese gelten.</p><lb/>
          <p>Wir wollen die Berechtigung zu diesem Schlusse noch etwas<lb/>
übersichtlicher darlegen.</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[316/0336] Siebente Vorlesung. wieder einen gültigen Satz, eine richtige Formel erhalten, die von den ursprünglichen in der Regel, doch nicht notwendig verschieden. Anstatt die Zeichen ⋹ und  der Einordnung und Überdeckung, oder das „Sub“- und das „Supersumtionszeichen“ miteinander zu vertau- schen, konnte man auch ein jedes derselben, z. B. das erste ⋹ festhalten, wofern man nur alsdann die beiden Seiten der Subsumtion, das Subjekt und Prädikat jeweils vertauschte. In der That: aus a ⋹ b entsteht durch Vertauschung des im Subsumtionszeichen enthaltenen Bogens ⊂ der Unter- ordnung mit dem ⊃ der Überordnung ersichtlich: a  b, und durch Ver- tauschung von major und minor entsteht: b ⋹ a, was genau dasselbe sagt — [aber freilich etwas ganz anderes als die ursprüngliche Subsumtion a ⋹ b. Diese, wenn für sich allein hingestellt, gilt auch in der That nicht als allgemeine Formel, mithin beansprucht der Satz 35) auch nicht, auf sie anwendbar zu sein. Erst da, wo eine solche Subsumtion von andern Relationen abhängig gemacht ist, kann er mit auf sie anwendbar werden, desgleichen auch in solchen besondern Fällen, wie a ⋹ a, wo eben die Subsumtion den Charakter einer Formel annimmt]. Prinzip I a ⋹ a gibt insbesondre a  a; dasselbe geht also auf ge- nannte Weise in sich selbst über. Aus Prinzip II, welches aussagt: „Wenn a ⋹ b und b ⋹ c so ist a ⋹ c“ erhalten wir auf die eine Art: „Wenn a  b und b  c, so ist a  c“, auf die andre: „Wenn b ⋹ a und c ⋹ b, so ist c ⋹ a“ beides aber ist richtig und deckt sich mit Prinzip II selber. Man revidire schliesslich, dass durch das angegebene Verfahren die beiden Definitionen (2×) und (2+) ebenso (3×) und (3+) zu tauschen kom- men, wogegen die Def. (1) der Gleichheit und die (6) der Negation nur in sich selbst übergeht. Ersetzten wir die Gebietsymbole 1 und 0 etwa durch 1⊂ resp. 1⊃ und die Operationssymbole · und + durch ×⊂ resp. ×⊃ [desgleichen die Chiffrirungssuffixa × und + durch ⊂ und ⊃], so könnten wir dem Prinzip des Dualismus den einfacheren Ausdruck geben: In allen Theoremen des Kalkuls darf man die Zeichen ⊂ und ⊃ durchweg ver- tauschen. Führt nämlich von den Grundlagen eine Denknotwendigkeit zu gewissen Folgerungen hin, so muss diese Notwendigkeit bestehen un- abhängig von der Materie des Denkens und deren Bezeichnung. Also auch wenn man das mit ⊂ Ausgedrückte mit ⊃ dargestellt hätte, müsste sie fortbestehen. Dann würden aber die Grundlagen dieselben geworden sein, und statt der vorigen hätte man wol grossenteils neue Folgerungen erhalten — die dualen Gegenstücke der letzteren — so- nach müssen denn auch diese gelten. Wir wollen die Berechtigung zu diesem Schlusse noch etwas übersichtlicher darlegen.

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_logik01_1890
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik01_1890/336
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 316. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/336>, abgerufen am 28.03.2024.