Anmelden (DTAQ)

DWDS dlexDB CLARIN-D

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

Bild:

<< vorherige Seite

nächste Seite >>

Zwölfte Vorlesung.

Nun ist auch die in D 33 statuirte Transitivität der Ähnlichkeits-
beziehung zwischen den Systemen a, b, c offenbar. Denn wenn es eine
ähnliche Abbildung x von a in b und eine solche y von b in c gibt, so
gibt es nach D 31 auch in Gestalt von y ; x eine ähnliche Abbildung z von
a in c, q. e. d.

Etwas mehr Umstände macht uns der Beweis von D 35, S. 610.

Zu dem Ende mögen wir uns etwa die Ähnlichkeitsdefinition in der
Fassung aus 1) und (4) vergegenwärtigen:
40) (a b) =
[Formel 1] ,
wo für Zh k = Pm{(m h) (k z ; m)}Pn{(n k) (n z ; h)}
etwas bequemer wie bei 1) der in 12) für Zk h gegebne Ausdruck ge-
nommen werden mag, und wo die Ersetzung der Einordnungszeichen und
ihrer Negation bei den Thesen (sive Aussagensubsumtionsprädikaten, wie
k z ; h) durch Gleichheitszeichen und deren Negation aus 26) bereits ge-
rechtfertigt erscheint.

Wenn nun gemäss der zur Voraussetzung erhobnen rechten Seite
von 40) z das System a ähnlich in das b abbildet, also b = z ; a, z ; b = a
ist und c = c ; 1 a ein Teilsystem von a vorstellt, so folgt auch z ; c z ; a,
und falls z ; c = d genannt wird: d b. Es wird nun zu zeigen sein, dass
dieses System d = z ; c ähnlich mit c sein*), mithin gelten muss:
Ph{(hc) Sk(z ; h = k d)Zk h}Pk{(k d) Sh(z ; k = h c)Zk h}.
Da nun mit h c, resp. k d, a fortiori auch h a resp. k b folgt,
so erscheinen in der That mit Einschluss von Zk h sämtliche Teilbehaup-
tungen unsrer Thesis mit 40) sogleich verbürgt bis auf diese beiden,
dass links k d, rechts h c sei.
[In dem Ph und dem Pk sind h und k durch verschiedne Voraussetzungen
eingeführt, haben also a priori verschiedne Bedeutungen und nichts mit-
einander zu schaffen. Wenn nun für das erstre h, welches c a, so-
gleich feststeht, dass es ein k b gebe so, dass z ; h = k ist, so sind wir
doch nicht am Ziele, weil ja zu beweisen bleibt, dass dieses k sogar d
sei. Etc.] Nun gilt: (k d) + (k dn), (h c) + (h cn), ebenso für das
schon dem System b erwiesnermaassen angehörige Element k:
(k bd = d) + (k bd),
und für das dem a angehörige h: (h ac = c) + (h acn), wobei jeweils
die beiden Möglichkeiten einander ausschliessen.

*) Hiefür unterlässt Herr Dedekind leider eine Begründung anzugeben,
indem er p. 10 das System sogleich mit dem prädikativen Attribute als das "mit c
ähnliche System" z ; c einführt. Es ist ja freilich, ebenso wie schon der ganze
Satz D 35, aus der Anschauung der gegenseitig eindeutigen Zuordnung ohne
weitres einleuchtend. Die Behauptung sollte gleichwol, als beweisbar, nicht ohne
Beweis gelassen werden, und dass sie eines solchen im Sinne unsrer Disziplin
bedarf, wird die Fortsetzung der Überlegung zeigen.

Zwölfte Vorlesung.

Etwas mehr Umstände macht uns der Beweis von D 35, S. 610.

Zu dem Ende mögen wir uns etwa die Ähnlichkeitsdefinition in der
Fassung aus 1) und (4) vergegenwärtigen:
40) (a ∽ b) =
[Formel 1] ,
wo für Zh k = Πm{(m ≠ h) ⋹ (k ≠ z ; m)}Πn{(n ≠ k) ⋹ (n ≠ z ; h)}
etwas bequemer wie bei 1) der in 12) für Zk h gegebne Ausdruck ge-
nommen werden mag, und wo die Ersetzung der Einordnungszeichen und
ihrer Negation bei den Thesen (sive Aussagensubsumtionsprädikaten, wie
k ⋹ z ; h) durch Gleichheitszeichen und deren Negation aus 26) bereits ge-
rechtfertigt erscheint.

Wenn nun gemäss der zur Voraussetzung erhobnen rechten Seite
von 40) z das System a ähnlich in das b abbildet, also b = z ; a, z̆ ; b = a
ist und c = c ; 1 ⋹ a ein Teilsystem von a vorstellt, so folgt auch z ; c ⋹ z ; a,
und falls z ; c = d genannt wird: d ⋹ b. Es wird nun zu zeigen sein, dass
dieses System d = z ; c ähnlich mit c sein*), mithin gelten muss:
Πh{(h⋹c) ⋹Σk(z ; h = k ⋹ d)Zk h}Πk{(k ⋹ d) ⋹ Σh(z̆ ; k = h ⋹ c)Zk h}.
Da nun mit h ⋹ c, resp. k ⋹ d, a fortiori auch h ⋹ a resp. k ⋹ b folgt,
so erscheinen in der That mit Einschluss von Zk h sämtliche Teilbehaup-
tungen unsrer Thesis mit 40) sogleich verbürgt bis auf diese beiden,
dass links k ⋹ d, rechts h ⋹ c sei.
[In dem Πh und dem Πk sind h und k durch verschiedne Voraussetzungen
eingeführt, haben also a priori verschiedne Bedeutungen und nichts mit-
einander zu schaffen. Wenn nun für das erstre h, welches ⋹ c ⋹ a, so-
gleich feststeht, dass es ein k ⋹ b gebe so, dass z ; h = k ist, so sind wir
doch nicht am Ziele, weil ja zu beweisen bleibt, dass dieses k sogar ⋹ d
sei. Etc.] Nun gilt: (k ⋹ d) + (k ⋹ d̄), (h ⋹ c) + (h ⋹ c̄), ebenso für das
schon dem System b erwiesnermaassen angehörige Element k:
(k ⋹ bd = d) + (k ⋹ bd),
und für das dem a angehörige h: (h ⋹ ac = c) + (h ⋹ ac̄), wobei jeweils
die beiden Möglichkeiten einander ausschliessen.

*) Hiefür unterlässt Herr Dedekind leider eine Begründung anzugeben,
indem er p. 10 das System sogleich mit dem prädikativen Attribute als das „mit c
ähnliche System“ z ; c einführt. Es ist ja freilich, ebenso wie schon der ganze
Satz D 35, aus der Anschauung der gegenseitig eindeutigen Zuordnung ohne
weitres einleuchtend. Die Behauptung sollte gleichwol, als beweisbar, nicht ohne
Beweis gelassen werden, und dass sie eines solchen im Sinne unsrer Disziplin
bedarf, wird die Fortsetzung der Überlegung zeigen.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0636" n="622"/>
          <fw place="top" type="header">Zwölfte Vorlesung.</fw><lb/>
          <p>Nun ist auch die in <hi rendition="#fr">D</hi> 33 statuirte Transitivität der Ähnlichkeits-<lb/>
beziehung zwischen den Systemen <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi> offenbar. Denn wenn es eine<lb/>
ähnliche Abbildung <hi rendition="#i">x</hi> von <hi rendition="#i">a</hi> in <hi rendition="#i">b</hi> und eine solche <hi rendition="#i">y</hi> von <hi rendition="#i">b</hi> in <hi rendition="#i">c gibt</hi>, so<lb/>
gibt es nach <hi rendition="#fr">D</hi> 31 auch in Gestalt von <hi rendition="#i">y</hi> ; <hi rendition="#i">x</hi> eine ähnliche Abbildung <hi rendition="#i">z</hi> von<lb/><hi rendition="#i">a</hi> in <hi rendition="#i">c</hi>, q. e. d.</p><lb/>
          <p>Etwas mehr Umstände macht uns der Beweis von <hi rendition="#fr">D</hi> 35, S. 610.</p><lb/>
          <p>Zu dem Ende mögen wir uns etwa die Ähnlichkeitsdefinition in der<lb/>
Fassung aus 1) und (4) vergegenwärtigen:<lb/>
40) <hi rendition="#et">(<hi rendition="#i">a</hi> &#x223D; <hi rendition="#i">b</hi>) =</hi><lb/><formula/>,<lb/>
wo für <hi rendition="#i">Z<hi rendition="#sub">h k</hi></hi> = <hi rendition="#i">&#x03A0;<hi rendition="#sub">m</hi></hi>{(<hi rendition="#i">m</hi> &#x2260; <hi rendition="#i">h</hi>) &#x22F9; (<hi rendition="#i">k</hi> &#x2260; <hi rendition="#i">z</hi> ; <hi rendition="#i">m</hi>)}<hi rendition="#i">&#x03A0;<hi rendition="#sub">n</hi></hi>{(<hi rendition="#i">n</hi> &#x2260; <hi rendition="#i">k</hi>) &#x22F9; (<hi rendition="#i">n</hi> &#x2260; <hi rendition="#i">z</hi> ; <hi rendition="#i">h</hi>)}<lb/>
etwas bequemer wie bei 1) der in 12) für <hi rendition="#i">Z<hi rendition="#sub">k h</hi></hi> gegebne Ausdruck ge-<lb/>
nommen werden mag, und wo die Ersetzung der Einordnungszeichen und<lb/>
ihrer Negation bei den Thesen (sive Aussagensubsumtionsprädikaten, wie<lb/><hi rendition="#i">k</hi> &#x22F9; <hi rendition="#i">z</hi> ; <hi rendition="#i">h</hi>) durch Gleichheitszeichen und deren Negation aus 26) bereits ge-<lb/>
rechtfertigt erscheint.</p><lb/>
          <p>Wenn nun gemäss der zur Voraussetzung erhobnen rechten Seite<lb/>
von 40) <hi rendition="#i">z</hi> das System <hi rendition="#i">a</hi> ähnlich in das <hi rendition="#i">b</hi> abbildet, also <hi rendition="#i">b</hi> = <hi rendition="#i">z</hi> ; <hi rendition="#i">a</hi>, <hi rendition="#i">z&#x0306;</hi> ; <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi><lb/>
ist und <hi rendition="#i">c</hi> = <hi rendition="#i">c</hi> ; 1 &#x22F9; <hi rendition="#i">a</hi> ein Teilsystem von <hi rendition="#i">a</hi> vorstellt, so folgt auch <hi rendition="#i">z</hi> ; <hi rendition="#i">c</hi> &#x22F9; <hi rendition="#i">z</hi> ; <hi rendition="#i">a</hi>,<lb/>
und falls <hi rendition="#i">z</hi> ; <hi rendition="#i">c</hi> = <hi rendition="#i">d</hi> genannt wird: <hi rendition="#i">d</hi> &#x22F9; <hi rendition="#i">b</hi>. Es wird nun zu zeigen sein, dass<lb/>
dieses System <hi rendition="#i">d</hi> = <hi rendition="#i">z</hi> ; <hi rendition="#i">c</hi> ähnlich mit <hi rendition="#i">c</hi> sein<note place="foot" n="*)">Hiefür unterlässt Herr <hi rendition="#g">Dedekind</hi> leider eine Begründung anzugeben,<lb/>
indem er p. 10 das System sogleich mit dem prädikativen Attribute als das &#x201E;mit <hi rendition="#i">c</hi><lb/>
ähnliche System&#x201C; <hi rendition="#i">z</hi> ; <hi rendition="#i">c</hi> einführt. Es ist ja freilich, <hi rendition="#i">ebenso wie schon der ganze<lb/>
Satz</hi> <hi rendition="#fr">D</hi> 35, aus der Anschauung der gegenseitig eindeutigen Zuordnung ohne<lb/>
weitres einleuchtend. Die Behauptung sollte gleichwol, als beweisbar, nicht ohne<lb/>
Beweis gelassen werden, und dass sie eines solchen im Sinne unsrer Disziplin<lb/><hi rendition="#i">bedarf</hi>, wird die Fortsetzung der Überlegung zeigen.</note>, mithin gelten muss:<lb/><hi rendition="#c"><hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi></hi>{(<hi rendition="#i">h</hi>&#x22F9;<hi rendition="#i">c</hi>) &#x22F9;<hi rendition="#i">&#x03A3;<hi rendition="#sub">k</hi></hi>(<hi rendition="#i">z</hi> ; <hi rendition="#i">h</hi> = <hi rendition="#i">k</hi> &#x22F9; <hi rendition="#i">d</hi>)<hi rendition="#i">Z<hi rendition="#sub">k h</hi></hi>}<hi rendition="#i">&#x03A0;<hi rendition="#sub">k</hi></hi>{(<hi rendition="#i">k</hi> &#x22F9; <hi rendition="#i">d</hi>) &#x22F9; <hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">z&#x0306;</hi> ; <hi rendition="#i">k</hi> = <hi rendition="#i">h</hi> &#x22F9; <hi rendition="#i">c</hi>)<hi rendition="#i">Z<hi rendition="#sub">k h</hi></hi>}.</hi><lb/>
Da nun mit <hi rendition="#i">h</hi> &#x22F9; <hi rendition="#i">c</hi>, resp. <hi rendition="#i">k</hi> &#x22F9; <hi rendition="#i">d</hi>, a fortiori auch <hi rendition="#i">h</hi> &#x22F9; <hi rendition="#i">a</hi> resp. <hi rendition="#i">k</hi> &#x22F9; <hi rendition="#i">b</hi> folgt,<lb/>
so erscheinen in der That mit Einschluss von <hi rendition="#i">Z<hi rendition="#sub">k h</hi></hi> sämtliche Teilbehaup-<lb/>
tungen unsrer Thesis mit 40) sogleich verbürgt <hi rendition="#i">bis auf diese</hi> beiden,<lb/><hi rendition="#c">dass links <hi rendition="#i">k</hi> &#x22F9; <hi rendition="#i">d</hi>, rechts <hi rendition="#i">h</hi> &#x22F9; <hi rendition="#i">c</hi> sei.</hi><lb/>
[In dem <hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi></hi> und dem <hi rendition="#i">&#x03A0;<hi rendition="#sub">k</hi></hi> sind <hi rendition="#i">h</hi> und <hi rendition="#i">k</hi> durch verschiedne Voraussetzungen<lb/>
eingeführt, haben also a priori verschiedne Bedeutungen und nichts mit-<lb/>
einander zu schaffen. Wenn nun für das erstre <hi rendition="#i">h</hi>, welches &#x22F9; <hi rendition="#i">c</hi> &#x22F9; <hi rendition="#i">a</hi>, so-<lb/>
gleich feststeht, dass es ein <hi rendition="#i">k</hi> &#x22F9; <hi rendition="#i">b</hi> gebe so, dass <hi rendition="#i">z</hi> ; <hi rendition="#i">h</hi> = <hi rendition="#i">k</hi> ist, so sind wir<lb/>
doch nicht am Ziele, weil ja zu beweisen bleibt, dass dieses <hi rendition="#i">k</hi> sogar &#x22F9; <hi rendition="#i">d</hi><lb/>
sei. Etc.] Nun gilt: (<hi rendition="#i">k</hi> &#x22F9; <hi rendition="#i">d</hi>) + (<hi rendition="#i">k</hi> &#x22F9; <hi rendition="#i">d&#x0304;</hi>), (<hi rendition="#i">h</hi> &#x22F9; <hi rendition="#i">c</hi>) + (<hi rendition="#i">h</hi> &#x22F9; <hi rendition="#i">c&#x0304;</hi>), ebenso für das<lb/>
schon dem System <hi rendition="#i">b</hi> erwiesnermaassen angehörige Element <hi rendition="#i">k</hi>:<lb/><hi rendition="#c">(<hi rendition="#i">k</hi> &#x22F9; <hi rendition="#i">bd</hi> = <hi rendition="#i">d</hi>) + (<hi rendition="#i">k</hi> &#x22F9; <hi rendition="#i">bd</hi>),</hi><lb/>
und für das dem <hi rendition="#i">a</hi> angehörige <hi rendition="#i">h</hi>: (<hi rendition="#i">h</hi> &#x22F9; <hi rendition="#i">ac</hi> = <hi rendition="#i">c</hi>) + (<hi rendition="#i">h</hi> &#x22F9; <hi rendition="#i">ac&#x0304;</hi>), wobei jeweils<lb/>
die beiden Möglichkeiten einander ausschliessen.</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>

[622/0636] Zwölfte Vorlesung. Nun ist auch die in D 33 statuirte Transitivität der Ähnlichkeits- beziehung zwischen den Systemen a, b, c offenbar. Denn wenn es eine ähnliche Abbildung x von a in b und eine solche y von b in c gibt, so gibt es nach D 31 auch in Gestalt von y ; x eine ähnliche Abbildung z von a in c, q. e. d. Etwas mehr Umstände macht uns der Beweis von D 35, S. 610. Zu dem Ende mögen wir uns etwa die Ähnlichkeitsdefinition in der Fassung aus 1) und (4) vergegenwärtigen: 40) (a ∽ b) = [FORMEL], wo für Zh k = Πm{(m ≠ h) ⋹ (k ≠ z ; m)}Πn{(n ≠ k) ⋹ (n ≠ z ; h)} etwas bequemer wie bei 1) der in 12) für Zk h gegebne Ausdruck ge- nommen werden mag, und wo die Ersetzung der Einordnungszeichen und ihrer Negation bei den Thesen (sive Aussagensubsumtionsprädikaten, wie k ⋹ z ; h) durch Gleichheitszeichen und deren Negation aus 26) bereits ge- rechtfertigt erscheint. Wenn nun gemäss der zur Voraussetzung erhobnen rechten Seite von 40) z das System a ähnlich in das b abbildet, also b = z ; a, z̆ ; b = a ist und c = c ; 1 ⋹ a ein Teilsystem von a vorstellt, so folgt auch z ; c ⋹ z ; a, und falls z ; c = d genannt wird: d ⋹ b. Es wird nun zu zeigen sein, dass dieses System d = z ; c ähnlich mit c sein *), mithin gelten muss: Πh{(h⋹c) ⋹Σk(z ; h = k ⋹ d)Zk h}Πk{(k ⋹ d) ⋹ Σh(z̆ ; k = h ⋹ c)Zk h}. Da nun mit h ⋹ c, resp. k ⋹ d, a fortiori auch h ⋹ a resp. k ⋹ b folgt, so erscheinen in der That mit Einschluss von Zk h sämtliche Teilbehaup- tungen unsrer Thesis mit 40) sogleich verbürgt bis auf diese beiden, dass links k ⋹ d, rechts h ⋹ c sei. [In dem Πh und dem Πk sind h und k durch verschiedne Voraussetzungen eingeführt, haben also a priori verschiedne Bedeutungen und nichts mit- einander zu schaffen. Wenn nun für das erstre h, welches ⋹ c ⋹ a, so- gleich feststeht, dass es ein k ⋹ b gebe so, dass z ; h = k ist, so sind wir doch nicht am Ziele, weil ja zu beweisen bleibt, dass dieses k sogar ⋹ d sei. Etc.] Nun gilt: (k ⋹ d) + (k ⋹ d̄), (h ⋹ c) + (h ⋹ c̄), ebenso für das schon dem System b erwiesnermaassen angehörige Element k: (k ⋹ bd = d) + (k ⋹ bd), und für das dem a angehörige h: (h ⋹ ac = c) + (h ⋹ ac̄), wobei jeweils die beiden Möglichkeiten einander ausschliessen. *) Hiefür unterlässt Herr Dedekind leider eine Begründung anzugeben, indem er p. 10 das System sogleich mit dem prädikativen Attribute als das „mit c ähnliche System“ z ; c einführt. Es ist ja freilich, ebenso wie schon der ganze Satz D 35, aus der Anschauung der gegenseitig eindeutigen Zuordnung ohne weitres einleuchtend. Die Behauptung sollte gleichwol, als beweisbar, nicht ohne Beweis gelassen werden, und dass sie eines solchen im Sinne unsrer Disziplin bedarf, wird die Fortsetzung der Überlegung zeigen.

Suche im Werk

Informationen zum Werk

Titeldaten
Verfügbarkeit Text (TEI-XML-, HTML-, TCF-, E-Book-Fassung): CC BY-SA 4.0.
Nutzungsbedingungen

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^?

Resource/URL übermitteln

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

Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer Creative-Commons-Lizenz. Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken. Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.

Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der Herabwürdigung der Menschenwürde gezeigt werden. Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des § 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu vermitteln und damit der Förderung seiner Mündigkeit zu dienen.

2007–2024 Deutsches Textarchiv, Berlin-Brandenburgische Akademie der Wissenschaften. Kontakt: redaktion(at)deutschestextarchiv.de.

Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.