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) (ab) = 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 (ab) 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 AB, 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><divn="1"><divn="2"><divn="3"><pbfacs="#f0281"n="257"/><fwplace="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 — wie die mit Stern<lb/>
versehenen <hirendition="#i">δ</hi>), <hirendition="#i">ζ</hi>), <hirendition="#i">η</hi>) — die im Gebietekalkul zwar gelten können, aber<lb/>
nicht allgemein gelten, teils auch solche Sätze, die — wie <hirendition="#i">ε</hi>), <hirendition="#i">λ</hi>), <hirendition="#i">μ</hi>),<lb/><hirendition="#i">ν</hi>) — daselbst überhaupt keinen Sinn haben, ganz unverständlich oder<lb/><hirendition="#i">deutungsunfähig</hi> erscheinen.</p><lb/><p>Was sollte man in der That sich unter einem Satze, wie <hirendition="#i">λ</hi>)<lb/><hirendition="#c">(<hirendition="#i">a</hi><choice><orig></orig><reg>⊆</reg></choice><hirendition="#i">b</hi>) = <hirendition="#i">a</hi><hirendition="#sub">1</hi> + <hirendition="#i">b</hi></hi><lb/>
denken, wenn <hirendition="#i">a</hi> und <hirendition="#i">b</hi> nicht Aussagen, sondern irgendwelche Gebiete, z. B.<lb/>
der Tafelfläche, vorstellen? Es erscheint doch absurd, die <hirendition="#i">Aussage,</hi> das<lb/>
Urteil linkerhand, die behauptete Subsumtion (<hirendition="#i">a</hi><choice><orig></orig><reg>⊆</reg></choice><hirendition="#i">b</hi>) mit dem <hirendition="#i">Gebiete</hi><lb/>
rechterhand in <hirendition="#i">λ</hi>), mit der Fläche <hirendition="#i">a</hi><hirendition="#sub">1</hi> + <hirendition="#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 „<hirendition="#i">Formeln von ge-<lb/>
mischter Natur</hi>“ heissen. Es kommen in denselben ausser einfachen<lb/>
Symbolden, wie 0, i, <hirendition="#i">A</hi>, <hirendition="#i">B</hi>, …, die uns gewisse oder auch irgendwelche<lb/>
Aussagen (von nur nicht näher angegebenem, oder von ganz offen ge-<lb/>
lassenem Inhalte) vertreten, auch „<hirendition="#i">spezifizirte</hi>“ Aussagen vor, wie <hirendition="#i">A</hi><choice><orig></orig><reg>⊆</reg></choice><hirendition="#i">B</hi>,<lb/>
i <choice><orig></orig><reg>⊆</reg></choice><hirendition="#i">C</hi>, <hirendition="#i">A</hi> = <hirendition="#i">B</hi>, welche über jene Aussagen selbst wieder etwas —<lb/>
und zwar etwas ganz Bestimmtes — 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 — z. B. — 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̱, jenes Produkt allerdings als bereits erklärt hingestellt werden,<lb/>
insofern dasselbe als „Nichts“ zu interpretiren und mit 0̱ 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, <hirendition="#i">χ</hi>, <hirendition="#i">ψ</hi>) diese 0̱ von dem Null-<lb/>
gebiet 0 unsrer Punktmannigfaltigkeit, der Tafelfläche 1, <hirendition="#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 ≠ hätte dann aber sozusagen wieder<lb/>
einen andern Sinn, als wenn es in der niederen Mn. zwischen zwei Flächen-<lb/><fwplace="bottom"type="sig"><hirendition="#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
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
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 15.08.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.
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/.