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 >>
§ 45. Formeln gemischter Natur.

Bis zu einem gewissen Grade hat sich uns dies schon in § 32
bestätigt.

Teils lernten wir dort solche Sätze kennen -- wie die mit Stern
versehenen d), z), e) -- die im Gebietekalkul zwar gelten können, aber
nicht allgemein gelten, teils auch solche Sätze, die -- wie e), l), m),
n) -- daselbst überhaupt keinen Sinn haben, ganz unverständlich oder
deutungsunfähig erscheinen.

Was sollte man in der That sich unter einem Satze, wie l)
(a b) = a1 + b
denken, wenn a und b nicht Aussagen, sondern irgendwelche Gebiete, z. B.
der Tafelfläche, vorstellen? Es erscheint doch absurd, die Aussage, das
Urteil linkerhand, die behauptete Subsumtion (a b) mit dem Gebiete
rechterhand in l), mit der Fläche a1 + b zu identifiziren!

Dergleichen im Gebietekalkul zunächst überhaupt nicht deutungs-
fähige Formeln des Aussagenkalkuls mögen hier "Formeln von ge-
mischter Natur" heissen. Es kommen in denselben ausser einfachen
Symbolden, wie 0, i, A, B, ..., die uns gewisse oder auch irgendwelche
Aussagen (von nur nicht näher angegebenem, oder von ganz offen ge-
lassenem Inhalte) vertreten, auch "spezifizirte" Aussagen vor, wie A B,
i C, A = B, welche über jene Aussagen selbst wieder etwas --
und zwar etwas ganz Bestimmtes -- aussagen.

Es ist klar, dass jene einfachen Symbole alsdann nicht als (Punkt-)
Gebiete, Flächen z. B., gedeutet werden können, wenn sie mit solchen
spezifizirten Aussagen durch Rechenoperationen oder Vergleichungs-
zeichen verknüpft, solchen vielleicht eingeordnet, oder gleich gesetzt
erscheinen.

Da müsste denn doch erst eine Erklärung gegeben worden sein, was
unter dem Produkt -- z. B. -- aus einer Aussage und einer Fläche ver-
standen werden solle, was die Subsumtion zwischen letztern auszudrücken
habe, etc.

Im Klassenkalkul könnte bei Zugrundelegung einer gewissen Mannig-
faltigkeit 1, jenes Produkt allerdings als bereits erklärt hingestellt werden,
insofern dasselbe als "Nichts" zu interpretiren und mit 0 zu bezeichnen
wäre, sintemal es nichts gibt, was zugleich jene Aussage und diese Fläche
ist. Nur wäre zu beachten, dass nach § 9, kh, ps) diese 0 von dem Null-
gebiet 0 unsrer Punktmannigfaltigkeit, der Tafelfläche 1, wohl zu unter-
scheiden bleibt. In jener höheren Mn. könnte man auch die etwa zwischen
einer Subsumtion und einer Fläche behauptete Ungleichheit allenfalls (als
eine verständliche Behauptung) noch gelten lassen, indem es eben ganz
und gar nicht zu rechtfertigen wäre, dieselben für identisch gleich zu er-
klären. Das Ungleichheitszeichen hätte dann aber sozusagen wieder
einen andern Sinn, als wenn es in der niederen Mn. zwischen zwei Flächen-

Schröder, Algebra der Logik. II. 17
§ 45. Formeln gemischter Natur.

Bis zu einem gewissen Grade hat sich uns dies schon in § 32
bestätigt.

Teils lernten wir dort solche Sätze kennen — wie die mit Stern
versehenen δ), ζ), η) — die im Gebietekalkul zwar gelten können, aber
nicht allgemein gelten, teils auch solche Sätze, die — wie ε), λ), μ),
ν) — daselbst überhaupt keinen Sinn haben, ganz unverständlich oder
deutungsunfähig erscheinen.

Was sollte man in der That sich unter einem Satze, wie λ)
(a ⊆ b) = a1 + b
denken, wenn a und b nicht Aussagen, sondern irgendwelche Gebiete, z. B.
der Tafelfläche, vorstellen? Es erscheint doch absurd, die Aussage, das
Urteil linkerhand, die behauptete Subsumtion (a ⊆ b) mit dem Gebiete
rechterhand in λ), mit der Fläche a1 + b zu identifiziren!

Dergleichen im Gebietekalkul zunächst überhaupt nicht deutungs-
fähige Formeln des Aussagenkalkuls mögen hier „Formeln von ge-
mischter Natur“ heissen. Es kommen in denselben ausser einfachen
Symbolden, wie 0, i, A, B, …, die uns gewisse oder auch irgendwelche
Aussagen (von nur nicht näher angegebenem, oder von ganz offen ge-
lassenem Inhalte) vertreten, auch „spezifizirte“ Aussagen vor, wie A ⊆ B,
i ⊆ C, A = B, welche über jene Aussagen selbst wieder etwas —
und zwar etwas ganz Bestimmtes — aussagen.

Es ist klar, dass jene einfachen Symbole alsdann nicht als (Punkt-)
Gebiete, Flächen z. B., gedeutet werden können, wenn sie mit solchen
spezifizirten Aussagen durch Rechenoperationen oder Vergleichungs-
zeichen verknüpft, solchen vielleicht eingeordnet, oder gleich gesetzt
erscheinen.

Da müsste denn doch erst eine Erklärung gegeben worden sein, was
unter dem Produkt — z. B. — aus einer Aussage und einer Fläche ver-
standen werden solle, was die Subsumtion zwischen letztern auszudrücken
habe, etc.

Im Klassenkalkul könnte bei Zugrundelegung einer gewissen Mannig-
faltigkeit 1̱, jenes Produkt allerdings als bereits erklärt hingestellt werden,
insofern dasselbe als „Nichts“ zu interpretiren und mit 0̱ zu bezeichnen
wäre, sintemal es nichts gibt, was zugleich jene Aussage und diese Fläche
ist. Nur wäre zu beachten, dass nach § 9, χ, ψ) diese 0̱ von dem Null-
gebiet 0 unsrer Punktmannigfaltigkeit, der Tafelfläche 1, wohl zu unter-
scheiden bleibt. In jener höheren Mn. könnte man auch die etwa zwischen
einer Subsumtion und einer Fläche behauptete Ungleichheit allenfalls (als
eine verständliche Behauptung) noch gelten lassen, indem es eben ganz
und gar nicht zu rechtfertigen wäre, dieselben für identisch gleich zu er-
klären. Das Ungleichheitszeichen ≠ hätte dann aber sozusagen wieder
einen andern Sinn, als wenn es in der niederen Mn. zwischen zwei Flächen-

Schröder, Algebra der Logik. II. 17
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0281" n="257"/>
            <fw place="top" type="header">§ 45. Formeln gemischter Natur.</fw><lb/>
            <p>Bis zu einem gewissen Grade hat sich uns dies schon in § 32<lb/>
bestätigt.</p><lb/>
            <p>Teils lernten wir dort solche Sätze kennen &#x2014; wie die mit Stern<lb/>
versehenen <hi rendition="#i">&#x03B4;</hi>), <hi rendition="#i">&#x03B6;</hi>), <hi rendition="#i">&#x03B7;</hi>) &#x2014; die im Gebietekalkul zwar gelten können, aber<lb/>
nicht allgemein gelten, teils auch solche Sätze, die &#x2014; wie <hi rendition="#i">&#x03B5;</hi>), <hi rendition="#i">&#x03BB;</hi>), <hi rendition="#i">&#x03BC;</hi>),<lb/><hi rendition="#i">&#x03BD;</hi>) &#x2014; daselbst überhaupt keinen Sinn haben, ganz unverständlich oder<lb/><hi rendition="#i">deutungsunfähig</hi> erscheinen.</p><lb/>
            <p>Was sollte man in der That sich unter einem Satze, wie <hi rendition="#i">&#x03BB;</hi>)<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi></hi><lb/>
denken, wenn <hi rendition="#i">a</hi> und <hi rendition="#i">b</hi> nicht Aussagen, sondern irgendwelche Gebiete, z. B.<lb/>
der Tafelfläche, vorstellen? Es erscheint doch absurd, die <hi rendition="#i">Aussage,</hi> das<lb/>
Urteil linkerhand, die behauptete Subsumtion (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) mit dem <hi rendition="#i">Gebiete</hi><lb/>
rechterhand in <hi rendition="#i">&#x03BB;</hi>), mit der Fläche <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi> zu identifiziren!</p><lb/>
            <p>Dergleichen im Gebietekalkul zunächst überhaupt nicht deutungs-<lb/>
fähige Formeln des Aussagenkalkuls mögen hier &#x201E;<hi rendition="#i">Formeln von ge-<lb/>
mischter Natur</hi>&#x201C; heissen. Es kommen in denselben ausser einfachen<lb/>
Symbolden, wie 0, i, <hi rendition="#i">A</hi>, <hi rendition="#i">B</hi>, &#x2026;, die uns gewisse oder auch irgendwelche<lb/>
Aussagen (von nur nicht näher angegebenem, oder von ganz offen ge-<lb/>
lassenem Inhalte) vertreten, auch &#x201E;<hi rendition="#i">spezifizirte</hi>&#x201C; Aussagen vor, wie <hi rendition="#i">A</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">B</hi>,<lb/>
i <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">C</hi>, <hi rendition="#i">A</hi> = <hi rendition="#i">B</hi>, welche über jene Aussagen selbst wieder etwas &#x2014;<lb/>
und zwar etwas ganz Bestimmtes &#x2014; aussagen.</p><lb/>
            <p>Es ist klar, dass jene einfachen Symbole alsdann nicht als (Punkt-)<lb/>
Gebiete, Flächen z. B., gedeutet werden können, wenn sie mit solchen<lb/>
spezifizirten Aussagen durch Rechenoperationen oder Vergleichungs-<lb/>
zeichen verknüpft, solchen vielleicht eingeordnet, oder gleich gesetzt<lb/>
erscheinen.</p><lb/>
            <p>Da müsste denn doch erst eine Erklärung gegeben worden sein, was<lb/>
unter dem Produkt &#x2014; z. B. &#x2014; aus einer Aussage und einer Fläche ver-<lb/>
standen werden solle, was die Subsumtion zwischen letztern auszudrücken<lb/>
habe, etc.</p><lb/>
            <p>Im Klassenkalkul könnte bei Zugrundelegung einer gewissen Mannig-<lb/>
faltigkeit 1&#x0331;, jenes Produkt allerdings als bereits erklärt hingestellt werden,<lb/>
insofern dasselbe als &#x201E;Nichts&#x201C; zu interpretiren und mit 0&#x0331; zu bezeichnen<lb/>
wäre, sintemal es nichts gibt, was zugleich jene Aussage und diese Fläche<lb/>
ist. Nur wäre zu beachten, dass nach § 9, <hi rendition="#i">&#x03C7;</hi>, <hi rendition="#i">&#x03C8;</hi>) diese 0&#x0331; von dem Null-<lb/>
gebiet 0 unsrer Punktmannigfaltigkeit, der Tafelfläche 1, <hi rendition="#i">wohl</hi> zu unter-<lb/>
scheiden bleibt. In jener höheren Mn. könnte man auch die etwa zwischen<lb/>
einer Subsumtion und einer Fläche behauptete Ungleichheit allenfalls (als<lb/>
eine verständliche Behauptung) noch gelten lassen, indem es eben ganz<lb/>
und gar nicht zu rechtfertigen wäre, dieselben für identisch gleich zu er-<lb/>
klären. Das Ungleichheitszeichen &#x2260; hätte dann aber sozusagen wieder<lb/>
einen andern Sinn, als wenn es in der niederen Mn. zwischen zwei Flächen-<lb/>
<fw place="bottom" type="sig"><hi rendition="#k">Schröder</hi>, Algebra der Logik. II. 17</fw><lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[257/0281] § 45. Formeln gemischter Natur. Bis zu einem gewissen Grade hat sich uns dies schon in § 32 bestätigt. Teils lernten wir dort solche Sätze kennen — wie die mit Stern versehenen δ), ζ), η) — die im Gebietekalkul zwar gelten können, aber nicht allgemein gelten, teils auch solche Sätze, die — wie ε), λ), μ), ν) — daselbst überhaupt keinen Sinn haben, ganz unverständlich oder deutungsunfähig erscheinen. Was sollte man in der That sich unter einem Satze, wie λ) (a  b) = a1 + b denken, wenn a und b nicht Aussagen, sondern irgendwelche Gebiete, z. B. der Tafelfläche, vorstellen? Es erscheint doch absurd, die Aussage, das Urteil linkerhand, die behauptete Subsumtion (a  b) mit dem Gebiete rechterhand in λ), mit der Fläche a1 + b zu identifiziren! Dergleichen im Gebietekalkul zunächst überhaupt nicht deutungs- fähige Formeln des Aussagenkalkuls mögen hier „Formeln von ge- mischter Natur“ heissen. Es kommen in denselben ausser einfachen Symbolden, wie 0, i, A, B, …, die uns gewisse oder auch irgendwelche Aussagen (von nur nicht näher angegebenem, oder von ganz offen ge- lassenem Inhalte) vertreten, auch „spezifizirte“ Aussagen vor, wie A  B, i  C, A = B, welche über jene Aussagen selbst wieder etwas — und zwar etwas ganz Bestimmtes — aussagen. Es ist klar, dass jene einfachen Symbole alsdann nicht als (Punkt-) Gebiete, Flächen z. B., gedeutet werden können, wenn sie mit solchen spezifizirten Aussagen durch Rechenoperationen oder Vergleichungs- zeichen verknüpft, solchen vielleicht eingeordnet, oder gleich gesetzt erscheinen. Da müsste denn doch erst eine Erklärung gegeben worden sein, was unter dem Produkt — z. B. — aus einer Aussage und einer Fläche ver- standen werden solle, was die Subsumtion zwischen letztern auszudrücken habe, etc. Im Klassenkalkul könnte bei Zugrundelegung einer gewissen Mannig- faltigkeit 1̱, jenes Produkt allerdings als bereits erklärt hingestellt werden, insofern dasselbe als „Nichts“ zu interpretiren und mit 0̱ zu bezeichnen wäre, sintemal es nichts gibt, was zugleich jene Aussage und diese Fläche ist. Nur wäre zu beachten, dass nach § 9, χ, ψ) diese 0̱ von dem Null- gebiet 0 unsrer Punktmannigfaltigkeit, der Tafelfläche 1, wohl zu unter- scheiden bleibt. In jener höheren Mn. könnte man auch die etwa zwischen einer Subsumtion und einer Fläche behauptete Ungleichheit allenfalls (als eine verständliche Behauptung) noch gelten lassen, indem es eben ganz und gar nicht zu rechtfertigen wäre, dieselben für identisch gleich zu er- klären. Das Ungleichheitszeichen ≠ hätte dann aber sozusagen wieder einen andern Sinn, als wenn es in der niederen Mn. zwischen zwei Flächen- Schröder, Algebra der Logik. II. 17

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