§ 12. Prinzip zur Vertretung des unbeweisbaren Satzes.
lichen Definition im Klassenkalkul teihaftig geworden, auf welche solche Argumentationen in strenger Beweisführung erst zu basiren wären. Um aber solche Definition und Beweisführung zu verwirk- lichen (vergl. § 47) werden wir längst schon des vollen Distribu- tionsgesetzes zum Aufbau unsrer Disziplin bedurft haben und vielfach in der Lage gewesen sein, desselben nicht entraten zu können.
Aus diesen Gründen verharren wir bei dem gewählten Prin- zipe IIIx.
Unverkennbar geht die Arithmetik einen umgekehrten Weg: sie fängt bei Aufstellung ihrer Zahlbegriffe und ersten Sätze eben mit "Argumen- tationen auf die Individuen" als den plausibelsten Überlegungen des Men- schengeistes an. In didaktischer Hinsicht dürfte solches Verfahren auch die grössten Vorzüge besitzen, und tadeln wir sie keineswegs darob. Wir verlangen jedoch, dass entweder das Eine oder aber das Andre konsequent durchgeführt werde! Hier nun haben wir nicht den Begriff des Indivi- duums sondern den der Einordnung zwischen Gebieten, Subsumtion, an die Spitze gestellt; wir haben bereits den entgegengesetzten Weg eingeschlagen und müssen ihn nun auch zu Ende gehen; wir dürfen darum jenen Begriff auch noch nicht voraussetzen (es sei denn ganz nebenher bei den Illustra- tionen durch Beispiele oder den Nutzanwendungen des Kalkuls), sondern werden erst verhältnissmässig spät im stande sein, eine Definition des In- dividuums, Punktes aufzustellen.
Wir begnügen uns, einstweilen mit Peirce zu sagen, der obige "Beweis" sei nicht syllogistisch, sondern "dilemmatisch" und verweisen in Bezug auf die als ein "Dilemma" hinzustellende Art des Schliessens auf § 45 des mehrerwähnten Aussagenkalkuls, sowie schon auf das Schema der Aufgabe i1) des § 18. [Der vorgerücktere Leser wird leicht diese Schlussform als eine hier wirklich mit zur Anwendung gekommene erkennen, indem er sich das s des Schema's als a (b + c), das p desselben als a b + a c deutet -- ohne dass wir nötig hätten, hierauf nochmals zurückzukommen.] Den vorgreifenden Charakter des "Beweises", zufolge dessen er hier noch nicht am Platze, noch depla- cirt erscheint, erblicke ich aber wesentlich nicht darin, dass diese Schlussform in ihm zur Anwendung kommt, sondern vielmehr in dem erwähnten "Argumentiren auf Individuen".
Dual entsprechend könnte der andre Satz: 26+) (a + b) (a + c) a + b c, -- in Worten: "Was a oder b und zugleich a oder c ist, ist entweder a oder: b und c" auch dilemmatisch so "bewiesen" werden: Dasselbe ist entweder a oder nicht. Ist es nicht a, so muss es nach dem ersten Teil der Voraussetzung b und nach dem zweiten c sein; also ist es entweder a oder "b und c".
§ 12. Prinzip zur Vertretung des unbeweisbaren Satzes.
lichen Definition im Klassenkalkul teihaftig geworden, auf welche solche Argumentationen in strenger Beweisführung erst zu basiren wären. Um aber solche Definition und Beweisführung zu verwirk- lichen (vergl. § 47) werden wir längst schon des vollen Distribu- tionsgesetzes zum Aufbau unsrer Disziplin bedurft haben und vielfach in der Lage gewesen sein, desselben nicht entraten zu können.
Aus diesen Gründen verharren wir bei dem gewählten Prin- zipe III×.
Unverkennbar geht die Arithmetik einen umgekehrten Weg: sie fängt bei Aufstellung ihrer Zahlbegriffe und ersten Sätze eben mit „Argumen- tationen auf die Individuen“ als den plausibelsten Überlegungen des Men- schengeistes an. In didaktischer Hinsicht dürfte solches Verfahren auch die grössten Vorzüge besitzen, und tadeln wir sie keineswegs darob. Wir verlangen jedoch, dass entweder das Eine oder aber das Andre konsequent durchgeführt werde! Hier nun haben wir nicht den Begriff des Indivi- duums sondern den der Einordnung zwischen Gebieten, Subsumtion, an die Spitze gestellt; wir haben bereits den entgegengesetzten Weg eingeschlagen und müssen ihn nun auch zu Ende gehen; wir dürfen darum jenen Begriff auch noch nicht voraussetzen (es sei denn ganz nebenher bei den Illustra- tionen durch Beispiele oder den Nutzanwendungen des Kalkuls), sondern werden erst verhältnissmässig spät im stande sein, eine Definition des In- dividuums, Punktes aufzustellen.
Wir begnügen uns, einstweilen mit Peirce zu sagen, der obige „Beweis“ sei nicht syllogistisch, sondern „dilemmatisch“ und verweisen in Bezug auf die als ein „Dilemma“ hinzustellende Art des Schliessens auf § 45 des mehrerwähnten Aussagenkalkuls, sowie schon auf das Schema der Aufgabe ι1) des § 18. [Der vorgerücktere Leser wird leicht diese Schlussform als eine hier wirklich mit zur Anwendung gekommene erkennen, indem er sich das s des Schema's als a (b + c), das p desselben als a b + a c deutet — ohne dass wir nötig hätten, hierauf nochmals zurückzukommen.] Den vorgreifenden Charakter des „Beweises“, zufolge dessen er hier noch nicht am Platze, noch depla- cirt erscheint, erblicke ich aber wesentlich nicht darin, dass diese Schlussform in ihm zur Anwendung kommt, sondern vielmehr in dem erwähnten „Argumentiren auf Individuen“.
Dual entsprechend könnte der andre Satz: 26+) (a + b) (a + c) ⋹ a + b c, — in Worten: „Was a oder b und zugleich a oder c ist, ist entweder a oder: b und c“ auch dilemmatisch so „bewiesen“ werden: Dasselbe ist entweder a oder nicht. Ist es nicht a, so muss es nach dem ersten Teil der Voraussetzung b und nach dem zweiten c sein; also ist es entweder a oder „b und c“.
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0317"n="297"/><fwplace="top"type="header">§ 12. Prinzip zur Vertretung des unbeweisbaren Satzes.</fw><lb/>
lichen Definition im Klassenkalkul teihaftig geworden, auf welche<lb/>
solche Argumentationen in strenger Beweisführung erst zu basiren<lb/>
wären. Um aber solche Definition und Beweisführung zu verwirk-<lb/>
lichen (vergl. § 47) werden wir längst schon des vollen Distribu-<lb/>
tionsgesetzes zum Aufbau unsrer Disziplin bedurft haben und vielfach<lb/>
in der Lage gewesen sein, desselben nicht entraten zu können.</p><lb/><p>Aus diesen Gründen verharren wir bei dem gewählten Prin-<lb/>
zipe III<hirendition="#sub">×</hi>.</p><lb/><p>Unverkennbar geht die Arithmetik einen umgekehrten Weg: sie fängt<lb/>
bei Aufstellung ihrer Zahlbegriffe und ersten Sätze eben mit „Argumen-<lb/>
tationen auf die Individuen“ als den plausibelsten Überlegungen des Men-<lb/>
schengeistes an. In didaktischer Hinsicht dürfte solches Verfahren auch<lb/>
die grössten Vorzüge besitzen, und tadeln wir sie keineswegs darob. Wir<lb/>
verlangen jedoch, dass entweder das Eine oder aber das Andre <hirendition="#i">konsequent</hi><lb/>
durchgeführt werde! <hirendition="#i">Hier</hi> nun haben wir nicht den Begriff des Indivi-<lb/>
duums sondern den der Einordnung zwischen Gebieten, Subsumtion, an die<lb/>
Spitze gestellt; wir haben bereits den entgegengesetzten Weg eingeschlagen<lb/>
und müssen ihn nun auch zu Ende gehen; wir dürfen darum jenen Begriff<lb/>
auch noch nicht voraussetzen (es sei denn ganz nebenher bei den Illustra-<lb/>
tionen durch Beispiele oder den Nutzanwendungen des Kalkuls), sondern<lb/>
werden erst verhältnissmässig spät im stande sein, eine Definition des In-<lb/>
dividuums, Punktes aufzustellen.</p><lb/><p>Wir begnügen uns, einstweilen mit <hirendition="#g">Peirce</hi> zu sagen, der obige<lb/>„Beweis“ sei nicht syllogistisch, sondern „<hirendition="#i">dilemmatisch</hi>“ und verweisen<lb/>
in Bezug auf die als ein „Dilemma“ hinzustellende Art des Schliessens<lb/>
auf § 45 des mehrerwähnten Aussagenkalkuls, sowie schon auf das<lb/>
Schema der Aufgabe <hirendition="#i">ι</hi><hirendition="#sub">1</hi>) des § 18. [Der vorgerücktere Leser wird<lb/>
leicht diese Schlussform als eine hier wirklich mit zur Anwendung<lb/>
gekommene erkennen, indem er sich das <hirendition="#i">s</hi> des Schema's als <hirendition="#i">a</hi> (<hirendition="#i">b</hi> + <hirendition="#i">c</hi>),<lb/>
das <hirendition="#i">p</hi> desselben als <hirendition="#i">a b</hi> + <hirendition="#i">a c</hi> deutet — ohne dass wir nötig hätten,<lb/>
hierauf nochmals zurückzukommen.] Den <hirendition="#i">vor</hi>greifenden Charakter des<lb/>„Beweises“, zufolge dessen er hier noch nicht am Platze, noch depla-<lb/>
cirt erscheint, erblicke ich aber wesentlich nicht darin, dass diese<lb/>
Schlussform in ihm zur Anwendung kommt, sondern vielmehr in dem<lb/>
erwähnten „Argumentiren auf Individuen“.</p><lb/><p>Dual entsprechend könnte der andre Satz:<lb/>
26<hirendition="#sub">+</hi>) <hirendition="#et">(<hirendition="#i">a</hi> + <hirendition="#i">b</hi>) (<hirendition="#i">a</hi> + <hirendition="#i">c</hi>) ⋹<hirendition="#i">a</hi> + <hirendition="#i">b c</hi>,</hi><lb/>— in Worten: „Was <hirendition="#i">a</hi> oder <hirendition="#i">b</hi> und zugleich <hirendition="#i">a</hi> oder <hirendition="#i">c</hi> ist, ist entweder <hirendition="#i">a</hi><lb/>
oder: <hirendition="#i">b</hi> und <hirendition="#i">c</hi>“ auch dilemmatisch so „bewiesen“ werden: Dasselbe ist<lb/>
entweder <hirendition="#i">a</hi> oder nicht. Ist es nicht <hirendition="#i">a</hi>, so muss es nach dem ersten Teil<lb/>
der Voraussetzung <hirendition="#i">b</hi> und nach dem zweiten <hirendition="#i">c</hi> sein; also ist es entweder <hirendition="#i">a</hi><lb/>
oder „<hirendition="#i">b</hi> und <hirendition="#i">c</hi>“.</p><lb/></div></div></body></text></TEI>
[297/0317]
§ 12. Prinzip zur Vertretung des unbeweisbaren Satzes.
lichen Definition im Klassenkalkul teihaftig geworden, auf welche
solche Argumentationen in strenger Beweisführung erst zu basiren
wären. Um aber solche Definition und Beweisführung zu verwirk-
lichen (vergl. § 47) werden wir längst schon des vollen Distribu-
tionsgesetzes zum Aufbau unsrer Disziplin bedurft haben und vielfach
in der Lage gewesen sein, desselben nicht entraten zu können.
Aus diesen Gründen verharren wir bei dem gewählten Prin-
zipe III×.
Unverkennbar geht die Arithmetik einen umgekehrten Weg: sie fängt
bei Aufstellung ihrer Zahlbegriffe und ersten Sätze eben mit „Argumen-
tationen auf die Individuen“ als den plausibelsten Überlegungen des Men-
schengeistes an. In didaktischer Hinsicht dürfte solches Verfahren auch
die grössten Vorzüge besitzen, und tadeln wir sie keineswegs darob. Wir
verlangen jedoch, dass entweder das Eine oder aber das Andre konsequent
durchgeführt werde! Hier nun haben wir nicht den Begriff des Indivi-
duums sondern den der Einordnung zwischen Gebieten, Subsumtion, an die
Spitze gestellt; wir haben bereits den entgegengesetzten Weg eingeschlagen
und müssen ihn nun auch zu Ende gehen; wir dürfen darum jenen Begriff
auch noch nicht voraussetzen (es sei denn ganz nebenher bei den Illustra-
tionen durch Beispiele oder den Nutzanwendungen des Kalkuls), sondern
werden erst verhältnissmässig spät im stande sein, eine Definition des In-
dividuums, Punktes aufzustellen.
Wir begnügen uns, einstweilen mit Peirce zu sagen, der obige
„Beweis“ sei nicht syllogistisch, sondern „dilemmatisch“ und verweisen
in Bezug auf die als ein „Dilemma“ hinzustellende Art des Schliessens
auf § 45 des mehrerwähnten Aussagenkalkuls, sowie schon auf das
Schema der Aufgabe ι1) des § 18. [Der vorgerücktere Leser wird
leicht diese Schlussform als eine hier wirklich mit zur Anwendung
gekommene erkennen, indem er sich das s des Schema's als a (b + c),
das p desselben als a b + a c deutet — ohne dass wir nötig hätten,
hierauf nochmals zurückzukommen.] Den vorgreifenden Charakter des
„Beweises“, zufolge dessen er hier noch nicht am Platze, noch depla-
cirt erscheint, erblicke ich aber wesentlich nicht darin, dass diese
Schlussform in ihm zur Anwendung kommt, sondern vielmehr in dem
erwähnten „Argumentiren auf Individuen“.
Dual entsprechend könnte der andre Satz:
26+) (a + b) (a + c) ⋹ a + b c,
— in Worten: „Was a oder b und zugleich a oder c ist, ist entweder a
oder: b und c“ auch dilemmatisch so „bewiesen“ werden: Dasselbe ist
entweder a oder nicht. Ist es nicht a, so muss es nach dem ersten Teil
der Voraussetzung b und nach dem zweiten c sein; also ist es entweder a
oder „b und c“.
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. 297. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/317>, 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/.