Beides zugleich kann nicht der Fall sein, d. h. wir haben die Inkonsistenz: a) (A = i) (A = 0) = 0.
Obwol an sich schon evident, kann dies auch nach den Prinzipien des identischen Kalkuls bewiesen werden, wofern man nur als Axiom gelten lässt, dass: b) 0 i, d. h. dass "allezeit" von "nie" verschieden ist. [Hierüber hinaus kann wol nicht gegangen werden, denn es hiesse das ja verlangen, dass die Existenz der Zeit (oder auch von Gelegenheiten) a priori be- wiesen werde!]
Beweis. Nach dem Axiom haben wir: (0 i) = (0 = i)1 = i und hieraus folgt durch beiderseitiges Negiren gemäss Th. 32): (0 = i) = 0. Nach Th. 4) haben wir aber: (A = i) (A = 0) = (0 = A) (A = i) (0 = i), sonach: (A = i) (A = 0) 0 und also auch = 0 nach Th. 5x), q. e. d.
Nach den Bemerkungen am Schlusse des vorigen Paragraphen kann die Inkonsistenz a) auch ohne weiteres umgeschrieben werden zu: g) (A = i) (A 0) und (A = 0) (A i), d. h. gilt A stets, so ist zu verneinen, dass es nie gelte, gilt es nie, so ist zu verneinen dass es stets gelte.
Wir wollen nun zusehen, wie die vorausgesetzte Konstanz des Sinnes der Aussage A in Formeln sich ausprägt. Es kann diese Voraussetzung auf verschiedene Weisen formulirt werden, die sich auf einander zurückführen lassen.
Es wurde schon hervorgehoben, dass wenn die Aussage A wahr ist, sie bei Unveränderlichkeit ihres Sinnes allezeit wahr sein muss, dann also A = i sein muss, wogegen, wenn sie falsch ist, sie dann niemals wahr sein somit A = 0 sein wird.
Diese beiden (einander, wie gezeigt, ausschliessenden) Fälle machen aber zusammen das ganze Bereich der Möglichkeiten aus, d. h. es prägt sich die gedachte Voraussetzung darin aus, dass gelten wird: *d) (A = i) + (A = 0) = i
Sechzehnte Vorlesung.
Beides zugleich kann nicht der Fall sein, d. h. wir haben die Inkonsistenz: α) (A = i) (A = 0) = 0.
Obwol an sich schon evident, kann dies auch nach den Prinzipien des identischen Kalkuls bewiesen werden, wofern man nur als Axiom gelten lässt, dass: β) 0 ≠ i, d. h. dass „allezeit“ von „nie“ verschieden ist. [Hierüber hinaus kann wol nicht gegangen werden, denn es hiesse das ja verlangen, dass die Existenz der Zeit (oder auch von Gelegenheiten) a priori be- wiesen werde!]
Beweis. Nach dem Axiom haben wir: (0 ≠ i) = (0 = i)1 = i und hieraus folgt durch beiderseitiges Negiren gemäss Th. 3̅2̅): (0 = i) = 0. Nach Th. 4̅) haben wir aber: (A = i) (A = 0) = (0 = A) (A = i) ⊆ (0 = i), sonach: (A = i) (A = 0) ⊆ 0 und also auch = 0 nach Th. 5̅×), q. e. d.
Nach den Bemerkungen am Schlusse des vorigen Paragraphen kann die Inkonsistenz α) auch ohne weiteres umgeschrieben werden zu: γ) (A = i) ⊆ (A ≠ 0) und (A = 0) ⊆ (A ≠ i), d. h. gilt A stets, so ist zu verneinen, dass es nie gelte, gilt es nie, so ist zu verneinen dass es stets gelte.
Wir wollen nun zusehen, wie die vorausgesetzte Konstanz des Sinnes der Aussage A in Formeln sich ausprägt. Es kann diese Voraussetzung auf verschiedene Weisen formulirt werden, die sich auf einander zurückführen lassen.
Es wurde schon hervorgehoben, dass wenn die Aussage A wahr ist, sie bei Unveränderlichkeit ihres Sinnes allezeit wahr sein muss, dann also A = i sein muss, wogegen, wenn sie falsch ist, sie dann niemals wahr sein somit A = 0 sein wird.
Diese beiden (einander, wie gezeigt, ausschliessenden) Fälle machen aber zusammen das ganze Bereich der Möglichkeiten aus, d. h. es prägt sich die gedachte Voraussetzung darin aus, dass gelten wird: *δ) (A = i) + (A = 0) = i
<TEI><text><body><divn="1"><divn="2"><divn="3"><pbfacs="#f0088"n="64"/><fwplace="top"type="header">Sechzehnte Vorlesung.</fw><lb/><p>Beides zugleich kann nicht der Fall sein, d. h. wir haben die<lb/>
Inkonsistenz:<lb/><hirendition="#i">α</hi>) <hirendition="#et">(<hirendition="#i">A</hi> = i) (<hirendition="#i">A</hi> = 0) = 0.</hi></p><lb/><p>Obwol an sich schon evident, kann dies auch nach den Prinzipien<lb/>
des identischen Kalkuls <hirendition="#i">bewiesen</hi> werden, wofern man nur als Axiom<lb/>
gelten lässt, dass:<lb/><hirendition="#i">β</hi>) <hirendition="#et">0 ≠ i,</hi><lb/>
d. h. dass „allezeit“ von „nie“ verschieden ist. [Hierüber hinaus kann<lb/>
wol nicht gegangen werden, denn es hiesse das ja verlangen, dass<lb/>
die Existenz der Zeit (oder auch von Gelegenheiten) a priori be-<lb/>
wiesen werde!]</p><lb/><p><hirendition="#g">Beweis</hi>. Nach dem Axiom haben wir:<lb/><hirendition="#c">(0 ≠ i) = (0 = i)<hirendition="#sub">1</hi> = i</hi><lb/>
und hieraus folgt durch beiderseitiges Negiren gemäss Th. 3̅2̅):<lb/><hirendition="#c">(0 = i) = 0.</hi><lb/>
Nach Th. 4̅) haben wir aber:<lb/><hirendition="#c">(<hirendition="#i">A</hi> = i) (<hirendition="#i">A</hi> = 0) = (0 = <hirendition="#i">A</hi>) (<hirendition="#i">A</hi> = i) <choice><orig></orig><reg>⊆</reg></choice> (0 = i),</hi><lb/>
sonach: <hirendition="#et">(<hirendition="#i">A</hi> = i) (<hirendition="#i">A</hi> = 0) <choice><orig></orig><reg>⊆</reg></choice> 0</hi><lb/>
und also auch = 0 nach Th. 5̅<hirendition="#sub">×</hi>), q. e. d.</p><lb/><p>Nach den Bemerkungen am Schlusse des vorigen Paragraphen<lb/>
kann die Inkonsistenz <hirendition="#i">α</hi>) auch ohne weiteres umgeschrieben werden zu:<lb/><hirendition="#i">γ</hi>) <hirendition="#et">(<hirendition="#i">A</hi> = i) <choice><orig></orig><reg>⊆</reg></choice> (<hirendition="#i">A</hi>≠ 0) und (<hirendition="#i">A</hi> = 0) <choice><orig></orig><reg>⊆</reg></choice> (<hirendition="#i">A</hi>≠ i),</hi><lb/>
d. h. gilt <hirendition="#i">A</hi> stets, so ist zu verneinen, dass es nie gelte, gilt es nie,<lb/>
so ist zu verneinen dass es stets gelte.</p><lb/><p>Wir wollen nun zusehen, wie die vorausgesetzte Konstanz des<lb/>
Sinnes der Aussage <hirendition="#i">A</hi> in Formeln sich ausprägt. Es kann diese<lb/>
Voraussetzung auf verschiedene Weisen formulirt werden, die sich auf<lb/>
einander zurückführen lassen.</p><lb/><p>Es wurde schon hervorgehoben, dass wenn die Aussage <hirendition="#i">A</hi> wahr<lb/>
ist, sie bei Unveränderlichkeit ihres Sinnes <hirendition="#i">allezeit</hi> wahr sein muss,<lb/>
dann also <hirendition="#i">A</hi> = i sein muss, wogegen, wenn sie falsch ist, sie dann<lb/><hirendition="#i">niemals</hi> wahr sein somit <hirendition="#i">A</hi> = 0 sein wird.</p><lb/><p>Diese beiden (einander, wie gezeigt, ausschliessenden) Fälle machen<lb/>
aber zusammen das ganze Bereich der Möglichkeiten aus, d. h. es<lb/>
prägt sich die gedachte Voraussetzung darin aus, dass gelten wird:<lb/>
*<hirendition="#i">δ</hi>) <hirendition="#et">(<hirendition="#i">A</hi> = i) + (<hirendition="#i">A</hi> = 0) = i</hi><lb/></p></div></div></div></body></text></TEI>
[64/0088]
Sechzehnte Vorlesung.
Beides zugleich kann nicht der Fall sein, d. h. wir haben die
Inkonsistenz:
α) (A = i) (A = 0) = 0.
Obwol an sich schon evident, kann dies auch nach den Prinzipien
des identischen Kalkuls bewiesen werden, wofern man nur als Axiom
gelten lässt, dass:
β) 0 ≠ i,
d. h. dass „allezeit“ von „nie“ verschieden ist. [Hierüber hinaus kann
wol nicht gegangen werden, denn es hiesse das ja verlangen, dass
die Existenz der Zeit (oder auch von Gelegenheiten) a priori be-
wiesen werde!]
Beweis. Nach dem Axiom haben wir:
(0 ≠ i) = (0 = i)1 = i
und hieraus folgt durch beiderseitiges Negiren gemäss Th. 3̅2̅):
(0 = i) = 0.
Nach Th. 4̅) haben wir aber:
(A = i) (A = 0) = (0 = A) (A = i)  (0 = i),
sonach: (A = i) (A = 0)  0
und also auch = 0 nach Th. 5̅×), q. e. d.
Nach den Bemerkungen am Schlusse des vorigen Paragraphen
kann die Inkonsistenz α) auch ohne weiteres umgeschrieben werden zu:
γ) (A = i)  (A ≠ 0) und (A = 0)  (A ≠ i),
d. h. gilt A stets, so ist zu verneinen, dass es nie gelte, gilt es nie,
so ist zu verneinen dass es stets gelte.
Wir wollen nun zusehen, wie die vorausgesetzte Konstanz des
Sinnes der Aussage A in Formeln sich ausprägt. Es kann diese
Voraussetzung auf verschiedene Weisen formulirt werden, die sich auf
einander zurückführen lassen.
Es wurde schon hervorgehoben, dass wenn die Aussage A wahr
ist, sie bei Unveränderlichkeit ihres Sinnes allezeit wahr sein muss,
dann also A = i sein muss, wogegen, wenn sie falsch ist, sie dann
niemals wahr sein somit A = 0 sein wird.
Diese beiden (einander, wie gezeigt, ausschliessenden) Fälle machen
aber zusammen das ganze Bereich der Möglichkeiten aus, d. h. es
prägt sich die gedachte Voraussetzung darin aus, dass gelten wird:
*δ) (A = i) + (A = 0) = i
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. 64. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/88>, abgerufen am 14.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/.