§ 12. Nichtbeweisbarkeit der 2. Subsumtion des Distributionsgesetzes.
welches sie nicht zutrifft, und dieses für sie selbst oder eine ihrer Konse- quenzen zu thun, erscheint als der einzige Weg, ihre Ungültigkeit zu be- weisen. Im letztern Fall hat man dafür einen sog. "apagogischen" oder "indirekten" Beweis, die "reductio ad absurdum" -- wovon sich jene Exempli- fikation auch als ein spezieller Fall würde hinstellen lassen, in Anbetracht, dass die Geltung der Behauptung für das Beispiel ja eine Konsequenz ist ihrer allgemeinen Geltung.
Handelt es sich insbesondre um den Nachweis der Ungültigkeit einer Folgerung selbst, und zwar einer angeblichen Beweisführung für einen materiell richtigen Satz, so bleibt nur der Weg des unmittelbaren Exem- plifizirens offen und kommt folgendes in Betracht.
Dass ein Satz A aus einer Gruppe von Definitionen, Axiomen und Sätzen B nicht mit Notwendigkeit folgt, wird jedenfalls dann unzweifel- haft erwiesen sein, wenn es gelingt, ein Gebilde als wirklich oder denkmöglich nachzuweisen, welches die Definitionen, Axiome (und Sätze) der Gruppe B sämtlich bewahrheitet und gleichwol den Satz A nach- weislich nicht erfüllt -- kurz: wenn man zeigt, dass irgendwo die Sätze B ohne A geltend vorkommen. Dann in der That kann A von B nicht bedingt werden.
In unserm vorliegenden Falle brauchen wir den Beweis der Nicht- beweisbarkeit nur etwa für die Formel 26x) zu führen. Für die 26+) ergibt sich derselbe alsdann als ein selbständiger ganz ebenso dual entsprechend, oder auch als ein vom vorigen abhängiger in unmittel- barer Zurückführung auf diesen auf Grund einer am Anfange des nächsten Paragraphen folgenden Bemerkung.
Der Satz A wird so die Formel 26x), die Gruppe B aber den ganzen Inhalt der Paragraphen 4, 5, 6, 10, 11 vorstellen.
Es empfiehlt sich vielleicht, das Wesen dieser Schlüsse durch ein ein- facheres Beispiel zu illustriren. Ich wähle folgendes Sophisma (aus Keynes1):
BDu bist nicht das, was ich bin. Ich bin ein Mann,
folglich: A) bist du nicht ein Mann (kein Mann).
Sagt dies ein Mann zu irgend jemand, so sind die Prämissen B des ausgeführten Schlusses richtig. Sagt er es zu einer Frau, so ist auch die Konklusion, der Schlusssatz B materiell richtig, und dennoch ist der Schluss unberechtigt, formell falsch! Dies wird erkannt, wenn man es ihn zu einem Manne sagen lässt, wo dann eben die Konklusion auch materiell unrichtig sein wird.
Es kann auch in der Anwendung des Satzes auf eine Frau die Un- richtigkeit des Schlusses als solchen nachgewiesen werden, indem man das Wort "Mann" durchweg durch das Wort "Mensch" ersetzt. Würde eine vom Denkinhalte unabhängige Denknotwendigkeit von den Prämissen B zur Konklusion A hinüberführen, so müsste dies gleichermassen der Fall sein, durch welches andre nomen man auch irgend ein in der Schluss-
§ 12. Nichtbeweisbarkeit der 2. Subsumtion des Distributionsgesetzes.
welches sie nicht zutrifft, und dieses für sie selbst oder eine ihrer Konse- quenzen zu thun, erscheint als der einzige Weg, ihre Ungültigkeit zu be- weisen. Im letztern Fall hat man dafür einen sog. „apagogischen“ oder „indirekten“ Beweis, die „reductio ad absurdum“ — wovon sich jene Exempli- fikation auch als ein spezieller Fall würde hinstellen lassen, in Anbetracht, dass die Geltung der Behauptung für das Beispiel ja eine Konsequenz ist ihrer allgemeinen Geltung.
Handelt es sich insbesondre um den Nachweis der Ungültigkeit einer Folgerung selbst, und zwar einer angeblichen Beweisführung für einen materiell richtigen Satz, so bleibt nur der Weg des unmittelbaren Exem- plifizirens offen und kommt folgendes in Betracht.
Dass ein Satz A aus einer Gruppe von Definitionen, Axiomen und Sätzen B nicht mit Notwendigkeit folgt, wird jedenfalls dann unzweifel- haft erwiesen sein, wenn es gelingt, ein Gebilde als wirklich oder denkmöglich nachzuweisen, welches die Definitionen, Axiome (und Sätze) der Gruppe B sämtlich bewahrheitet und gleichwol den Satz A nach- weislich nicht erfüllt — kurz: wenn man zeigt, dass irgendwo die Sätze B ohne A geltend vorkommen. Dann in der That kann A von B nicht bedingt werden.
In unserm vorliegenden Falle brauchen wir den Beweis der Nicht- beweisbarkeit nur etwa für die Formel 26×) zu führen. Für die 26+) ergibt sich derselbe alsdann als ein selbständiger ganz ebenso dual entsprechend, oder auch als ein vom vorigen abhängiger in unmittel- barer Zurückführung auf diesen auf Grund einer am Anfange des nächsten Paragraphen folgenden Bemerkung.
Der Satz A wird so die Formel 26×), die Gruppe B aber den ganzen Inhalt der Paragraphen 4, 5, 6, 10, 11 vorstellen.
Es empfiehlt sich vielleicht, das Wesen dieser Schlüsse durch ein ein- facheres Beispiel zu illustriren. Ich wähle folgendes Sophisma (aus Keynes1):
BDu bist nicht das, was ich bin. Ich bin ein Mann,
folglich: A) bist du nicht ein Mann (kein Mann).
Sagt dies ein Mann zu irgend jemand, so sind die Prämissen B des ausgeführten Schlusses richtig. Sagt er es zu einer Frau, so ist auch die Konklusion, der Schlusssatz B materiell richtig, und dennoch ist der Schluss unberechtigt, formell falsch! Dies wird erkannt, wenn man es ihn zu einem Manne sagen lässt, wo dann eben die Konklusion auch materiell unrichtig sein wird.
Es kann auch in der Anwendung des Satzes auf eine Frau die Un- richtigkeit des Schlusses als solchen nachgewiesen werden, indem man das Wort „Mann“ durchweg durch das Wort „Mensch“ ersetzt. Würde eine vom Denkinhalte unabhängige Denknotwendigkeit von den Prämissen B zur Konklusion A hinüberführen, so müsste dies gleichermassen der Fall sein, durch welches andre nomen man auch irgend ein in der Schluss-
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0307"n="287"/><fwplace="top"type="header">§ 12. Nichtbeweisbarkeit der 2. Subsumtion des Distributionsgesetzes.</fw><lb/>
welches sie nicht zutrifft, und dieses <hirendition="#i">für sie selbst oder eine ihrer Konse-<lb/>
quenzen</hi> zu thun, erscheint als der einzige Weg, ihre Ungültigkeit zu be-<lb/>
weisen. Im letztern Fall hat man dafür einen sog. „<hirendition="#i">apagogischen</hi>“ oder<lb/>„<hirendition="#i">indirekten</hi>“<hirendition="#i">Beweis</hi>, die „<hirendition="#i">reductio ad absurdum</hi>“— wovon sich jene Exempli-<lb/>
fikation auch als ein spezieller Fall würde hinstellen lassen, in Anbetracht,<lb/>
dass die Geltung der Behauptung für das Beispiel ja eine Konsequenz ist<lb/>
ihrer allgemeinen Geltung.</p><lb/><p>Handelt es sich insbesondre um den Nachweis der Ungültigkeit einer<lb/><hirendition="#i">Folgerung</hi> selbst, und zwar einer angeblichen Beweisführung für einen<lb/>
materiell richtigen Satz, so bleibt nur der Weg des unmittelbaren Exem-<lb/>
plifizirens offen und kommt folgendes in Betracht.</p><lb/><p>Dass ein Satz <hirendition="#i">A</hi> aus einer Gruppe von Definitionen, Axiomen und<lb/>
Sätzen <hirendition="#i">B nicht</hi> mit Notwendigkeit folgt, wird jedenfalls dann unzweifel-<lb/>
haft erwiesen sein, wenn es gelingt, ein Gebilde als wirklich oder<lb/>
denkmöglich nachzuweisen, welches die Definitionen, Axiome (und Sätze)<lb/>
der Gruppe <hirendition="#i">B</hi> sämtlich bewahrheitet und gleichwol den Satz <hirendition="#i">A</hi> nach-<lb/>
weislich <hirendition="#i">nicht</hi> erfüllt — kurz: wenn man zeigt, dass irgendwo die<lb/>
Sätze <hirendition="#i">B ohne A</hi> geltend vorkommen. Dann in der That kann <hirendition="#i">A</hi> von<lb/><hirendition="#i">B</hi> nicht bedingt werden.</p><lb/><p>In unserm vorliegenden Falle brauchen wir den Beweis der Nicht-<lb/>
beweisbarkeit nur etwa für die Formel 26<hirendition="#sub">×</hi>) zu führen. Für die 26<hirendition="#sub">+</hi>)<lb/>
ergibt sich derselbe alsdann als ein selbständiger ganz ebenso <hirendition="#i">dual<lb/>
entsprechend</hi>, oder auch als ein vom vorigen abhängiger in unmittel-<lb/>
barer Zurückführung auf diesen auf Grund einer am Anfange des<lb/>
nächsten Paragraphen folgenden Bemerkung.</p><lb/><p>Der Satz <hirendition="#i">A</hi> wird so die Formel 26<hirendition="#sub">×</hi>), die Gruppe <hirendition="#i">B</hi> aber den<lb/>
ganzen Inhalt der Paragraphen 4, 5, 6, 10, 11 vorstellen.</p><lb/><p>Es empfiehlt sich vielleicht, das Wesen dieser Schlüsse durch ein ein-<lb/>
facheres Beispiel zu illustriren. Ich wähle folgendes Sophisma (aus <hirendition="#g">Keynes</hi><hirendition="#sup">1</hi>):</p><lb/><p><hirendition="#et"><list><item><hirendition="#i">B</hi><listrendition="#leftBraced"><item>Du bist nicht das, was ich bin.</item><lb/><item>Ich bin ein Mann,</item></list></item></list></hi></p><lb/><p><hirendition="#i">folglich: A</hi>) bist du nicht ein Mann (kein Mann).</p><lb/><p>Sagt dies ein Mann zu irgend jemand, so sind die Prämissen <hirendition="#i">B</hi> des<lb/>
ausgeführten Schlusses richtig. Sagt er es zu einer Frau, so ist auch die<lb/>
Konklusion, der Schlusssatz <hirendition="#i">B</hi> materiell richtig, und dennoch ist der Schluss<lb/>
unberechtigt, formell falsch! Dies wird erkannt, wenn man es ihn zu einem<lb/>
Manne sagen lässt, wo dann eben die Konklusion auch materiell unrichtig<lb/>
sein wird.</p><lb/><p>Es kann auch in der Anwendung des Satzes auf eine Frau die Un-<lb/>
richtigkeit des Schlusses als solchen nachgewiesen werden, indem man das<lb/>
Wort „Mann“ durchweg durch das Wort „Mensch“ ersetzt. Würde eine<lb/>
vom Denkinhalte unabhängige Denknotwendigkeit von den Prämissen <hirendition="#i">B</hi><lb/>
zur Konklusion <hirendition="#i">A</hi> hinüberführen, so müsste dies gleichermassen der Fall<lb/>
sein, durch welches andre nomen man auch irgend ein in der Schluss-<lb/></p></div></div></body></text></TEI>
[287/0307]
§ 12. Nichtbeweisbarkeit der 2. Subsumtion des Distributionsgesetzes.
welches sie nicht zutrifft, und dieses für sie selbst oder eine ihrer Konse-
quenzen zu thun, erscheint als der einzige Weg, ihre Ungültigkeit zu be-
weisen. Im letztern Fall hat man dafür einen sog. „apagogischen“ oder
„indirekten“ Beweis, die „reductio ad absurdum“ — wovon sich jene Exempli-
fikation auch als ein spezieller Fall würde hinstellen lassen, in Anbetracht,
dass die Geltung der Behauptung für das Beispiel ja eine Konsequenz ist
ihrer allgemeinen Geltung.
Handelt es sich insbesondre um den Nachweis der Ungültigkeit einer
Folgerung selbst, und zwar einer angeblichen Beweisführung für einen
materiell richtigen Satz, so bleibt nur der Weg des unmittelbaren Exem-
plifizirens offen und kommt folgendes in Betracht.
Dass ein Satz A aus einer Gruppe von Definitionen, Axiomen und
Sätzen B nicht mit Notwendigkeit folgt, wird jedenfalls dann unzweifel-
haft erwiesen sein, wenn es gelingt, ein Gebilde als wirklich oder
denkmöglich nachzuweisen, welches die Definitionen, Axiome (und Sätze)
der Gruppe B sämtlich bewahrheitet und gleichwol den Satz A nach-
weislich nicht erfüllt — kurz: wenn man zeigt, dass irgendwo die
Sätze B ohne A geltend vorkommen. Dann in der That kann A von
B nicht bedingt werden.
In unserm vorliegenden Falle brauchen wir den Beweis der Nicht-
beweisbarkeit nur etwa für die Formel 26×) zu führen. Für die 26+)
ergibt sich derselbe alsdann als ein selbständiger ganz ebenso dual
entsprechend, oder auch als ein vom vorigen abhängiger in unmittel-
barer Zurückführung auf diesen auf Grund einer am Anfange des
nächsten Paragraphen folgenden Bemerkung.
Der Satz A wird so die Formel 26×), die Gruppe B aber den
ganzen Inhalt der Paragraphen 4, 5, 6, 10, 11 vorstellen.
Es empfiehlt sich vielleicht, das Wesen dieser Schlüsse durch ein ein-
facheres Beispiel zu illustriren. Ich wähle folgendes Sophisma (aus Keynes1):
B Du bist nicht das, was ich bin.
Ich bin ein Mann,
folglich: A) bist du nicht ein Mann (kein Mann).
Sagt dies ein Mann zu irgend jemand, so sind die Prämissen B des
ausgeführten Schlusses richtig. Sagt er es zu einer Frau, so ist auch die
Konklusion, der Schlusssatz B materiell richtig, und dennoch ist der Schluss
unberechtigt, formell falsch! Dies wird erkannt, wenn man es ihn zu einem
Manne sagen lässt, wo dann eben die Konklusion auch materiell unrichtig
sein wird.
Es kann auch in der Anwendung des Satzes auf eine Frau die Un-
richtigkeit des Schlusses als solchen nachgewiesen werden, indem man das
Wort „Mann“ durchweg durch das Wort „Mensch“ ersetzt. Würde eine
vom Denkinhalte unabhängige Denknotwendigkeit von den Prämissen B
zur Konklusion A hinüberführen, so müsste dies gleichermassen der Fall
sein, durch welches andre nomen man auch irgend ein in der Schluss-
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. 1. Leipzig, 1890, S. 287. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/307>, abgerufen am 25.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/.