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

§ 40. Mitchell's allgemeine Form der Gesamtaussage der Data.
(Produkten) als mit Produkten von Polynomen (Summen) rechnet,
namentlich auch lieber die Multiplikationsregel für Polynome sowie
das (erste) Distributionsgesetz, als wie deren duales Gegenstück an-
wendet.

Anstatt des Symbols i rechterhand in u) und ps) könnte man,
falls es beliebt (und für gewisse Fälle werden wir vielleicht es vor-
ziehen) auch 0 schreiben, desgleichen für die 0 rechts i, in Anbetracht,
dass statt A = i auch A1 = 0 als damit gleichbedeutend gesagt werden
kann, imgleichen wie auch (A 0) = (A1 1) gilt. Der Negation A1
von A würde sich aber, kraft der Allgemeinheit der vorausgeschickten
Erwägungen, ebenfalls die Form der linken Seite von u), oder nach
Belieben ps), erteilen lassen. Auf diese Weise könnte man also hin-
bringen, dass in unsern Formeln durchweg nur 0 als rechte Seite
sämtlicher Vergleichungen erschiene, oder auch wenn man will, durch-
weg nur i.

Die vorstehenden Sätze u) und ps) hat schon Herr Mitchell1 gegeben.
Beispiele zu denselben werden wir in Bälde bringen.

Die Faktoren (A = 0), (B 0), (C 0), ... in u) waren die un-
mittelbaren Unteraussagen der Gesamtaussage A.

Es kann sein, dass sie zugleich deren letzte Unteraussagen sind.

Der Fall, wo dies nicht zutrifft, lässt sich aber auf den Fall, wo es
zutrifft, wie wir sehen werden, stets zurückführen, wofern wir nur mit
Aussagen von bestimmtem Sinne operiren und diesen konstant festhalten.

Zunächst beachte man, dass, falls es zutrifft, jene Faktoren pri-
märe Urteile sein werden, d. h. Urteile nicht wieder über Urteile,
sondern solche, welche von den Dingen selbst handeln, Urteile über
gewisse Klassen von Dingen. Es werden dann also die linken Seiten
A, B, C, ... jener Faktoraussagen nicht wieder Aussagen repräsen-
tiren, sondern Klassensymbole sein, oder -- können wir im Hinblick
auf § 3 auch sagen -- Gebietssymbole.

Die Gesamtaussage A ist in diesem Falle eine sekundäre zu nennen.

Eine weitere Vereinfachung ihrer Form scheint alsdann sich allgemein
nicht erzielen zu lassen. Namentlich wird es nicht gestattet sein, die Un-
gleichungen B 0, C 0, etc. in die Gleichungen B = 1, C = 1, etc.
umzuschreiben, welche (die 1 durch die mit Tupfen i ersetzt) mit jenen
nur dann sicher äquivalent sein müssten, wenn B, C etc. selbst wieder
Aussagen von konstant festzuhaltendem Sinne vorstellten.

Betrachten wir jetzt aber auch den Fall, wo die Gesamtaussage
eine höhere als sekundäre ist, und nehmen zunächst einmal an, dass
alle unsre Symbole A, B, C, D, ... selbst wieder Aussagensymbole seien.

§ 40. Mitchell’s allgemeine Form der Gesamtaussage der Data.
(Produkten) als mit Produkten von Polynomen (Summen) rechnet,
namentlich auch lieber die Multiplikationsregel für Polynome sowie
das (erste) Distributionsgesetz, als wie deren duales Gegenstück an-
wendet.

Anstatt des Symbols i rechterhand in υ) und ψ) könnte man,
falls es beliebt (und für gewisse Fälle werden wir vielleicht es vor-
ziehen) auch 0 schreiben, desgleichen für die 0 rechts i, in Anbetracht,
dass statt Α = i auch Α1 = 0 als damit gleichbedeutend gesagt werden
kann, imgleichen wie auch (Α ≠ 0) = (Α1 ≠ 1) gilt. Der Negation Α1
von Α würde sich aber, kraft der Allgemeinheit der vorausgeschickten
Erwägungen, ebenfalls die Form der linken Seite von υ), oder nach
Belieben ψ), erteilen lassen. Auf diese Weise könnte man also hin-
bringen, dass in unsern Formeln durchweg nur 0 als rechte Seite
sämtlicher Vergleichungen erschiene, oder auch wenn man will, durch-
weg nur i.

Die vorstehenden Sätze υ) und ψ) hat schon Herr Mitchell1 gegeben.
Beispiele zu denselben werden wir in Bälde bringen.

Die Faktoren (A = 0), (B ≠ 0), (C ≠ 0), … in υ) waren die un-
mittelbaren Unteraussagen der Gesamtaussage Α.

Es kann sein, dass sie zugleich deren letzte Unteraussagen sind.

Der Fall, wo dies nicht zutrifft, lässt sich aber auf den Fall, wo es
zutrifft, wie wir sehen werden, stets zurückführen, wofern wir nur mit
Aussagen von bestimmtem Sinne operiren und diesen konstant festhalten.

Zunächst beachte man, dass, falls es zutrifft, jene Faktoren pri-
märe Urteile sein werden, d. h. Urteile nicht wieder über Urteile,
sondern solche, welche von den Dingen selbst handeln, Urteile über
gewisse Klassen von Dingen. Es werden dann also die linken Seiten
A, B, C, … jener Faktoraussagen nicht wieder Aussagen repräsen-
tiren, sondern Klassensymbole sein, oder — können wir im Hinblick
auf § 3 auch sagen — Gebietssymbole.

Die Gesamtaussage Α ist in diesem Falle eine sekundäre zu nennen.

Eine weitere Vereinfachung ihrer Form scheint alsdann sich allgemein
nicht erzielen zu lassen. Namentlich wird es nicht gestattet sein, die Un-
gleichungen B ≠ 0, C ≠ 0, etc. in die Gleichungen B = 1, C = 1, etc.
umzuschreiben, welche (die 1 durch die mit Tupfen i ersetzt) mit jenen
nur dann sicher äquivalent sein müssten, wenn B, C etc. selbst wieder
Aussagen von konstant festzuhaltendem Sinne vorstellten.

Betrachten wir jetzt aber auch den Fall, wo die Gesamtaussage
eine höhere als sekundäre ist, und nehmen zunächst einmal an, dass
alle unsre Symbole A, B, C, D, … selbst wieder Aussagensymbole seien.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0215" n="191"/><fw place="top" type="header">§ 40. <hi rendition="#g">Mitchell&#x2019;</hi>s allgemeine Form der Gesamtaussage der Data.</fw><lb/>
(Produkten) als mit Produkten von Polynomen (Summen) rechnet,<lb/>
namentlich auch lieber die Multiplikationsregel für Polynome sowie<lb/>
das (erste) Distributionsgesetz, als wie deren duales Gegenstück an-<lb/>
wendet.</p><lb/>
            <p>Anstatt des Symbols i rechterhand in <hi rendition="#i">&#x03C5;</hi>) und <hi rendition="#i">&#x03C8;</hi>) könnte man,<lb/>
falls es beliebt (und für gewisse Fälle werden wir vielleicht es vor-<lb/>
ziehen) auch 0 schreiben, desgleichen für die 0 rechts i, in Anbetracht,<lb/>
dass statt &#x0391; = i auch &#x0391;<hi rendition="#sub">1</hi> = 0 als damit gleichbedeutend gesagt werden<lb/>
kann, imgleichen wie auch (&#x0391; &#x2260; 0) = (&#x0391;<hi rendition="#sub">1</hi> &#x2260; 1) gilt. Der Negation &#x0391;<hi rendition="#sub">1</hi><lb/>
von &#x0391; würde sich aber, kraft der Allgemeinheit der vorausgeschickten<lb/>
Erwägungen, ebenfalls die Form der linken Seite von <hi rendition="#i">&#x03C5;</hi>), oder nach<lb/>
Belieben <hi rendition="#i">&#x03C8;</hi>), erteilen lassen. Auf diese Weise könnte man also hin-<lb/>
bringen, dass in unsern Formeln <hi rendition="#i">durchweg nur</hi> 0 als rechte Seite<lb/>
sämtlicher Vergleichungen erschiene, oder auch wenn man will, <hi rendition="#i">durch-<lb/>
weg nur</hi> i.</p><lb/>
            <p>Die vorstehenden Sätze <hi rendition="#i">&#x03C5;</hi>) und <hi rendition="#i">&#x03C8;</hi>) hat schon Herr <hi rendition="#g">Mitchell</hi><hi rendition="#sup">1</hi> gegeben.<lb/>
Beispiele zu denselben werden wir in Bälde bringen.</p><lb/>
            <p>Die Faktoren (<hi rendition="#i">A</hi> = 0), (<hi rendition="#i">B</hi> &#x2260; 0), (<hi rendition="#i">C</hi> &#x2260; 0), &#x2026; in <hi rendition="#i">&#x03C5;</hi>) waren die <hi rendition="#i">un-<lb/>
mittelbaren</hi> Unteraussagen der Gesamtaussage &#x0391;.</p><lb/>
            <p>Es kann sein, dass sie zugleich deren <hi rendition="#i">letzte</hi> Unteraussagen sind.</p><lb/>
            <p><hi rendition="#i">Der Fall</hi>, <hi rendition="#i">wo dies nicht zutrifft</hi>, <hi rendition="#i">lässt sich</hi> aber <hi rendition="#i">auf den Fall</hi>, <hi rendition="#i">wo es<lb/>
zutrifft</hi>, wie wir sehen werden, <hi rendition="#i">stets zurückführen</hi>, <hi rendition="#i">wofern wir nur mit<lb/>
Aussagen von bestimmtem Sinne operiren und diesen konstant festhalten</hi>.</p><lb/>
            <p>Zunächst beachte man, dass, falls es zutrifft, jene Faktoren <hi rendition="#i">pri-<lb/>
märe</hi> Urteile sein werden, d. h. Urteile nicht wieder über <hi rendition="#i">Urteile</hi>,<lb/>
sondern solche, welche von den <hi rendition="#i">Dingen</hi> selbst handeln, Urteile über<lb/>
gewisse <hi rendition="#i">Klassen von Dingen</hi>. Es werden dann also die linken Seiten<lb/><hi rendition="#i">A</hi>, <hi rendition="#i">B</hi>, <hi rendition="#i">C</hi>, &#x2026; jener Faktoraussagen nicht wieder Aussagen repräsen-<lb/>
tiren, sondern <hi rendition="#i">Klassen</hi>symbole sein, oder &#x2014; können wir im Hinblick<lb/>
auf § 3 auch sagen &#x2014; <hi rendition="#i">Gebiets</hi>symbole.</p><lb/>
            <p>Die Gesamtaussage &#x0391; ist in diesem Falle eine <hi rendition="#i">sekundäre</hi> zu nennen.</p><lb/>
            <p>Eine weitere Vereinfachung ihrer Form scheint alsdann sich allgemein<lb/>
nicht erzielen zu lassen. Namentlich wird es <hi rendition="#i">nicht</hi> gestattet sein, die Un-<lb/>
gleichungen <hi rendition="#i">B</hi> &#x2260; 0, <hi rendition="#i">C</hi> &#x2260; 0, etc. in die Gleichungen <hi rendition="#i">B</hi> = 1, <hi rendition="#i">C</hi> = 1, etc.<lb/>
umzuschreiben, welche (die 1 durch die mit Tupfen i ersetzt) mit jenen<lb/>
nur dann sicher äquivalent sein müssten, wenn <hi rendition="#i">B</hi>, <hi rendition="#i">C</hi> etc. selbst wieder<lb/>
Aussagen von konstant festzuhaltendem Sinne vorstellten.</p><lb/>
            <p>Betrachten wir jetzt aber auch den Fall, wo die Gesamtaussage<lb/>
eine höhere als sekundäre ist, und nehmen zunächst einmal an, dass<lb/><hi rendition="#i">alle</hi> unsre Symbole <hi rendition="#i">A</hi>, <hi rendition="#i">B</hi>, <hi rendition="#i">C</hi>, <hi rendition="#i">D</hi>, &#x2026; selbst wieder <hi rendition="#i">Aussagensymbole</hi> seien.</p><lb/>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[191/0215] § 40. Mitchell’s allgemeine Form der Gesamtaussage der Data. (Produkten) als mit Produkten von Polynomen (Summen) rechnet, namentlich auch lieber die Multiplikationsregel für Polynome sowie das (erste) Distributionsgesetz, als wie deren duales Gegenstück an- wendet. Anstatt des Symbols i rechterhand in υ) und ψ) könnte man, falls es beliebt (und für gewisse Fälle werden wir vielleicht es vor- ziehen) auch 0 schreiben, desgleichen für die 0 rechts i, in Anbetracht, dass statt Α = i auch Α1 = 0 als damit gleichbedeutend gesagt werden kann, imgleichen wie auch (Α ≠ 0) = (Α1 ≠ 1) gilt. Der Negation Α1 von Α würde sich aber, kraft der Allgemeinheit der vorausgeschickten Erwägungen, ebenfalls die Form der linken Seite von υ), oder nach Belieben ψ), erteilen lassen. Auf diese Weise könnte man also hin- bringen, dass in unsern Formeln durchweg nur 0 als rechte Seite sämtlicher Vergleichungen erschiene, oder auch wenn man will, durch- weg nur i. Die vorstehenden Sätze υ) und ψ) hat schon Herr Mitchell1 gegeben. Beispiele zu denselben werden wir in Bälde bringen. Die Faktoren (A = 0), (B ≠ 0), (C ≠ 0), … in υ) waren die un- mittelbaren Unteraussagen der Gesamtaussage Α. Es kann sein, dass sie zugleich deren letzte Unteraussagen sind. Der Fall, wo dies nicht zutrifft, lässt sich aber auf den Fall, wo es zutrifft, wie wir sehen werden, stets zurückführen, wofern wir nur mit Aussagen von bestimmtem Sinne operiren und diesen konstant festhalten. Zunächst beachte man, dass, falls es zutrifft, jene Faktoren pri- märe Urteile sein werden, d. h. Urteile nicht wieder über Urteile, sondern solche, welche von den Dingen selbst handeln, Urteile über gewisse Klassen von Dingen. Es werden dann also die linken Seiten A, B, C, … jener Faktoraussagen nicht wieder Aussagen repräsen- tiren, sondern Klassensymbole sein, oder — können wir im Hinblick auf § 3 auch sagen — Gebietssymbole. Die Gesamtaussage Α ist in diesem Falle eine sekundäre zu nennen. Eine weitere Vereinfachung ihrer Form scheint alsdann sich allgemein nicht erzielen zu lassen. Namentlich wird es nicht gestattet sein, die Un- gleichungen B ≠ 0, C ≠ 0, etc. in die Gleichungen B = 1, C = 1, etc. umzuschreiben, welche (die 1 durch die mit Tupfen i ersetzt) mit jenen nur dann sicher äquivalent sein müssten, wenn B, C etc. selbst wieder Aussagen von konstant festzuhaltendem Sinne vorstellten. Betrachten wir jetzt aber auch den Fall, wo die Gesamtaussage eine höhere als sekundäre ist, und nehmen zunächst einmal an, dass alle unsre Symbole A, B, C, D, … selbst wieder Aussagensymbole seien.

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