Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
Dreiundzwanzigste Vorlesung.

Eine nach A und B unsymmetrische Beziehung kann indess nach
A und B
1 symmetrisch sein.

Ferner mag erinnert werden, dass man, um alle Propositionen
nach A und B "entwickelt" zu besitzen, nur nötig haben wird, in 1'
bis 41' die folgenden Symbole durch die ihnen gleichgesetzten zu
ersetzen:
A1 = A1 B + A1 B1, B1 = A B1 + A1 B1, A = A B + A B1, B = A B + A1 B,
desgleichen in 7' bis 10', 71' bis 14', 151' bis 26' und 191' bis 301' die
folgenden Ausdrücke:
A1 + B1 = A B1 + A1 B + A1 B1, A1 + B = A B + A1 B + A1 B1,
A + B1 = A B + A B1 + A1 B1, A + B = A B + A B1 + A1 B. --

Mit vorstehenden 30 Paaren von Beziehungen, sind diejenigen er-
schöpft, welche man im Hinblick auf ihre unmittelbar intuitive An-
schaulichkeit als die "fundamentalen" Beziehungen bezeichnen mag.

Die 8 ersten von ihnen: 1' .. 41' sind freilich nicht als eigentliche Be-
ziehungen (Relationen zwischen A und B) zu bezeichnen, indem sie augenschein-
lich je nur über eines dieser beiden Symbole für sich etwas aussagen oder
eine Information geben. Nach einem Vorgang aus der Lehre von den
höheren algebraischen Kurven und Gleichungen müssten sie, als Beziehungen
aufgefasst, "zerfallende" genannt, unter diese eingerechnet werden. "Zer-
fallend" haben wir S. 158 eine Beziehung zwischen A und B genannt,
wenn sie (additiv oder) multiplikativ (oder irgendwie) zerlegbar ist (nach
den Gesetzen des Aussagenkalkuls) in lauter solche Teilaussagen, deren
jede nur von einem dieser beiden Symbole handelt ohne Erwähnung des
andern -- Beispiele:
(A = 1) (B 0), (A = 1) + (B 0), (A = 1) (B 0) + (A = 0).
Die oben vorliegenden Hülfsbeziehungen zerfallen nun, wenn man will, in
eine Aussage, die nur das eine der beiden Symbole -- z. B. A -- betrifft,
von diesem aber wirklich etwas aussagt, und eine Aussage, das andre Symbol
-- dann B -- betreffend, die über dieses aber vollkommen nichtssagend,
eine leere Aussage ist -- wie es z. B. die Angabe, dass 0 · B = 0 ist, sein
würde. Solche Angabe kann man sich zu der andern jederzeit als Faktor
hinzugefügt denken; am besten wird man sie unterdrücken. -- Übrigens
können auch die Hülfsbeziehungen formell als solche, als scheinbar wirk-
liche Beziehungen angesetzt werden, indem man z. B. nach oben gegebener
Andeutung "entwickelnd" schreibt:
h = (A1 B + A1 B1 = 1), etc.

Die erwähnte Analogie von gewissen Beziehungen mit den zerfallenden
("degenerate") Kurven oder reduziblen algebraischen Gleichungen hat bei
einer andern Gelegenheit auch Herr Peirce 8 p. 180 bemerkt.

Dreiundzwanzigste Vorlesung.

Eine nach A und B unsymmetrische Beziehung kann indess nach
A und B
1 symmetrisch sein.

Ferner mag erinnert werden, dass man, um alle Propositionen
nach A und B „entwickelt“ zu besitzen, nur nötig haben wird, in 1’
bis 41’ die folgenden Symbole durch die ihnen gleichgesetzten zu
ersetzen:
A1 = A1 B + A1 B1, B1 = A B1 + A1 B1, A = A B + A B1, B = A B + A1 B,
desgleichen in 7’ bis 10’, 71’ bis 14’, 151’ bis 26’ und 191’ bis 301’ die
folgenden Ausdrücke:
A1 + B1 = A B1 + A1 B + A1 B1, A1 + B = A B + A1 B + A1 B1,
A + B1 = A B + A B1 + A1 B1, A + B = A B + A B1 + A1 B. —

Mit vorstehenden 30 Paaren von Beziehungen, sind diejenigen er-
schöpft, welche man im Hinblick auf ihre unmittelbar intuitive An-
schaulichkeit als die „fundamentalen“ Beziehungen bezeichnen mag.

Die 8 ersten von ihnen: 1’ ‥ 41’ sind freilich nicht als eigentliche Be-
ziehungen (Relationen zwischen A und B) zu bezeichnen, indem sie augenschein-
lich je nur über eines dieser beiden Symbole für sich etwas aussagen oder
eine Information geben. Nach einem Vorgang aus der Lehre von den
höheren algebraischen Kurven und Gleichungen müssten sie, als Beziehungen
aufgefasst, „zerfallende“ genannt, unter diese eingerechnet werden. „Zer-
fallend“ haben wir S. 158 eine Beziehung zwischen A und B genannt,
wenn sie (additiv oder) multiplikativ (oder irgendwie) zerlegbar ist (nach
den Gesetzen des Aussagenkalkuls) in lauter solche Teilaussagen, deren
jede nur von einem dieser beiden Symbole handelt ohne Erwähnung des
andern — Beispiele:
(A = 1) (B ≠ 0), (A = 1) + (B ≠ 0), (A = 1) (B ≠ 0) + (A = 0).
Die oben vorliegenden Hülfsbeziehungen zerfallen nun, wenn man will, in
eine Aussage, die nur das eine der beiden Symbole — z. B. A — betrifft,
von diesem aber wirklich etwas aussagt, und eine Aussage, das andre Symbol
— dann B — betreffend, die über dieses aber vollkommen nichtssagend,
eine leere Aussage ist — wie es z. B. die Angabe, dass 0 · B = 0 ist, sein
würde. Solche Angabe kann man sich zu der andern jederzeit als Faktor
hinzugefügt denken; am besten wird man sie unterdrücken. — Übrigens
können auch die Hülfsbeziehungen formell als solche, als scheinbar wirk-
liche Beziehungen angesetzt werden, indem man z. B. nach oben gegebener
Andeutung „entwickelnd“ schreibt:
h = (A1 B + A1 B1 = 1), etc.

Die erwähnte Analogie von gewissen Beziehungen mit den zerfallenden
(„degenerate“) Kurven oder reduziblen algebraischen Gleichungen hat bei
einer andern Gelegenheit auch Herr Peirce 8 p. 180 bemerkt.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0378" n="354"/>
            <fw place="top" type="header">Dreiundzwanzigste Vorlesung.</fw><lb/>
            <p>Eine nach <hi rendition="#i">A und B unsymmetrische Beziehung kann indess nach<lb/>
A und B</hi><hi rendition="#sub">1</hi> <hi rendition="#i">symmetrisch sein</hi>.</p><lb/>
            <p>Ferner mag erinnert werden, dass man, um alle Propositionen<lb/>
nach <hi rendition="#i">A</hi> und <hi rendition="#i">B</hi> &#x201E;entwickelt&#x201C; zu besitzen, nur nötig haben wird, in 1&#x2019;<lb/>
bis 4<hi rendition="#sub">1</hi>&#x2019; die folgenden Symbole durch die ihnen gleichgesetzten zu<lb/>
ersetzen:<lb/><hi rendition="#i">A</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi> + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">A B</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">A</hi> = <hi rendition="#i">A B</hi> + <hi rendition="#i">A B</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">B</hi> = <hi rendition="#i">A B</hi> + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi>,<lb/>
desgleichen in 7&#x2019; bis 10&#x2019;, 7<hi rendition="#sub">1</hi>&#x2019; bis 14&#x2019;, 15<hi rendition="#sub">1</hi>&#x2019; bis 26&#x2019; und 19<hi rendition="#sub">1</hi>&#x2019; bis 30<hi rendition="#sub">1</hi>&#x2019; die<lb/>
folgenden Ausdrücke:<lb/><hi rendition="#et"><hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">A B</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi> + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">B</hi> = <hi rendition="#i">A B</hi> + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi> + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi><hi rendition="#sub">1</hi>,<lb/><hi rendition="#i">A</hi> + <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">A B</hi> + <hi rendition="#i">A B</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">A</hi> + <hi rendition="#i">B</hi> = <hi rendition="#i">A B</hi> + <hi rendition="#i">A B</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi>. &#x2014;</hi></p><lb/>
            <p>Mit vorstehenden 30 Paaren von Beziehungen, sind diejenigen er-<lb/>
schöpft, welche man im Hinblick auf ihre unmittelbar intuitive An-<lb/>
schaulichkeit als die &#x201E;<hi rendition="#i">fundamentalen</hi>&#x201C; Beziehungen bezeichnen mag.</p><lb/>
            <p>Die 8 ersten von ihnen: 1&#x2019; &#x2025; 4<hi rendition="#sub">1</hi>&#x2019; sind freilich nicht als eigentliche Be-<lb/>
ziehungen (Relationen <hi rendition="#i">zwischen A</hi> und <hi rendition="#i">B</hi>) zu bezeichnen, indem sie augenschein-<lb/>
lich je nur über <hi rendition="#i">eines</hi> dieser beiden Symbole für sich etwas aussagen oder<lb/>
eine Information geben. Nach einem Vorgang aus der Lehre von den<lb/>
höheren algebraischen Kurven und Gleichungen müssten sie, als Beziehungen<lb/>
aufgefasst, <hi rendition="#i">&#x201E;zerfallende&#x201C;</hi> genannt, unter diese eingerechnet werden. &#x201E;Zer-<lb/>
fallend&#x201C; haben wir S. 158 eine Beziehung zwischen <hi rendition="#i">A</hi> und <hi rendition="#i">B</hi> genannt,<lb/>
wenn sie (additiv oder) multiplikativ (oder irgendwie) zerlegbar ist (nach<lb/>
den Gesetzen des Aussagenkalkuls) in lauter solche Teilaussagen, deren<lb/>
jede nur von einem dieser beiden Symbole handelt ohne Erwähnung des<lb/>
andern &#x2014; Beispiele:<lb/>
(<hi rendition="#i">A</hi> = 1) (<hi rendition="#i">B</hi> &#x2260; 0), (<hi rendition="#i">A</hi> = 1) + (<hi rendition="#i">B</hi> &#x2260; 0), (<hi rendition="#i">A</hi> = 1) (<hi rendition="#i">B</hi> &#x2260; 0) + (<hi rendition="#i">A</hi> = 0).<lb/>
Die oben vorliegenden Hülfsbeziehungen zerfallen nun, wenn man will, in<lb/>
eine Aussage, die nur das eine der beiden Symbole &#x2014; z. B. <hi rendition="#i">A</hi> &#x2014; betrifft,<lb/>
von diesem aber wirklich etwas aussagt, und eine Aussage, das andre Symbol<lb/>
&#x2014; dann <hi rendition="#i">B</hi> &#x2014; betreffend, die über dieses aber vollkommen nichtssagend,<lb/>
eine leere Aussage ist &#x2014; wie es z. B. die Angabe, dass 0 · <hi rendition="#i">B</hi> = 0 ist, sein<lb/>
würde. Solche Angabe kann man sich zu der andern jederzeit als Faktor<lb/>
hinzugefügt denken; am besten wird man sie unterdrücken. &#x2014; Übrigens<lb/>
können auch die Hülfsbeziehungen formell als solche, als scheinbar wirk-<lb/>
liche Beziehungen angesetzt werden, indem man z. B. nach oben gegebener<lb/>
Andeutung &#x201E;entwickelnd&#x201C; schreibt:<lb/><hi rendition="#c"><hi rendition="#i">h</hi> = (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi> + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> = 1), etc.</hi></p><lb/>
            <p>Die erwähnte Analogie von gewissen Beziehungen mit den zerfallenden<lb/>
(&#x201E;degenerate&#x201C;) Kurven oder reduziblen algebraischen Gleichungen hat bei<lb/>
einer andern Gelegenheit auch Herr <hi rendition="#g">Peirce</hi> <hi rendition="#sup">8</hi> p. 180 bemerkt.</p><lb/>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[354/0378] Dreiundzwanzigste Vorlesung. Eine nach A und B unsymmetrische Beziehung kann indess nach A und B1 symmetrisch sein. Ferner mag erinnert werden, dass man, um alle Propositionen nach A und B „entwickelt“ zu besitzen, nur nötig haben wird, in 1’ bis 41’ die folgenden Symbole durch die ihnen gleichgesetzten zu ersetzen: A1 = A1 B + A1 B1, B1 = A B1 + A1 B1, A = A B + A B1, B = A B + A1 B, desgleichen in 7’ bis 10’, 71’ bis 14’, 151’ bis 26’ und 191’ bis 301’ die folgenden Ausdrücke: A1 + B1 = A B1 + A1 B + A1 B1, A1 + B = A B + A1 B + A1 B1, A + B1 = A B + A B1 + A1 B1, A + B = A B + A B1 + A1 B. — Mit vorstehenden 30 Paaren von Beziehungen, sind diejenigen er- schöpft, welche man im Hinblick auf ihre unmittelbar intuitive An- schaulichkeit als die „fundamentalen“ Beziehungen bezeichnen mag. Die 8 ersten von ihnen: 1’ ‥ 41’ sind freilich nicht als eigentliche Be- ziehungen (Relationen zwischen A und B) zu bezeichnen, indem sie augenschein- lich je nur über eines dieser beiden Symbole für sich etwas aussagen oder eine Information geben. Nach einem Vorgang aus der Lehre von den höheren algebraischen Kurven und Gleichungen müssten sie, als Beziehungen aufgefasst, „zerfallende“ genannt, unter diese eingerechnet werden. „Zer- fallend“ haben wir S. 158 eine Beziehung zwischen A und B genannt, wenn sie (additiv oder) multiplikativ (oder irgendwie) zerlegbar ist (nach den Gesetzen des Aussagenkalkuls) in lauter solche Teilaussagen, deren jede nur von einem dieser beiden Symbole handelt ohne Erwähnung des andern — Beispiele: (A = 1) (B ≠ 0), (A = 1) + (B ≠ 0), (A = 1) (B ≠ 0) + (A = 0). Die oben vorliegenden Hülfsbeziehungen zerfallen nun, wenn man will, in eine Aussage, die nur das eine der beiden Symbole — z. B. A — betrifft, von diesem aber wirklich etwas aussagt, und eine Aussage, das andre Symbol — dann B — betreffend, die über dieses aber vollkommen nichtssagend, eine leere Aussage ist — wie es z. B. die Angabe, dass 0 · B = 0 ist, sein würde. Solche Angabe kann man sich zu der andern jederzeit als Faktor hinzugefügt denken; am besten wird man sie unterdrücken. — Übrigens können auch die Hülfsbeziehungen formell als solche, als scheinbar wirk- liche Beziehungen angesetzt werden, indem man z. B. nach oben gegebener Andeutung „entwickelnd“ schreibt: h = (A1 B + A1 B1 = 1), etc. Die erwähnte Analogie von gewissen Beziehungen mit den zerfallenden („degenerate“) Kurven oder reduziblen algebraischen Gleichungen hat bei einer andern Gelegenheit auch Herr Peirce 8 p. 180 bemerkt.

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/378
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 354. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/378>, abgerufen am 25.11.2024.