von ihm beabsichtigten Anwendung (deren Berechtigung wir noch zu prüfen haben werden) auf eine verbal-logische Syllogistik -- kein be- sonders glücklicher. Derselbe ist für sein Eliminationsverfahren keines- wegs wesentlich und bewirkt nur, dass erstlich die Prämissen eine speziellere (engere) Form erhalten als nötig, und zweitens, dass man -- ungeachtet meiner Reduktion von 22 auf 10 -- doch immer noch mehr Fälle zu unterscheiden bekommt als bei allgemeinrer Fassung des einschlägigen Eliminationsproblemes.
Unter dem rechnerischen Gesichtspunkte empfiehlt es sich daher, sich von jener Stipulation zu emanzipiren und statt des Subjektes 1' sogleich beliebige Parameter a, b, c, ... als Subjekte zuzulassen. Als- dann kommen in der That nur Prämissen von dreierlei (statt viererlei) Formen in Betracht, nämlich für die erste Prämisse: 34) ax, ab ; x, ab ; (c j x) -- desgleichen für die zweite Prämisse, wo nur xn statt x zu sagen und statt der Parameter a, b, c neue Parameterwerte (eventuell b, c ...) d, e, f zu nehmen sind.
Eine Form ab j x, welche äquivalent bn ; ax, käme in der That auf ax für ein durch bn ; a vertretnes Subjekt a hinaus, und kann daher als aparte Prämissenform nicht in Betracht kommen. Ebensowenig wäre ab j c ; x, als äquivalent bn ; ac ; x, von unsrer zweiten Prämissenform wesentlich verschieden.
Wir erhalten so nur 6 Probleme (von allgemeinerem Charakter) statt der 10 früheren (die von speziellrer Natur gewesen). Die nach Peirce's Methode durch Konversion der einen Prämisse und über- schiebendes relatives Multipliziren dieser konvertirten mit der andern in solcher Folge, dass x und xn (oder xn und x) zusammenkommen (= meet), zu gewinnenden Resultanten sind die nachfolgend angegebenen: 35)
[Formel 1]
. Rechts neben sie haben wir diejenigen Teilresultanten gestellt, welche aus einer Prämisse schon einzeln folgen -- die "Einzelresultanten".
Elfte Vorlesung.
von ihm beabsichtigten Anwendung (deren Berechtigung wir noch zu prüfen haben werden) auf eine verbal-logische Syllogistik — kein be- sonders glücklicher. Derselbe ist für sein Eliminationsverfahren keines- wegs wesentlich und bewirkt nur, dass erstlich die Prämissen eine speziellere (engere) Form erhalten als nötig, und zweitens, dass man — ungeachtet meiner Reduktion von 22 auf 10 — doch immer noch mehr Fälle zu unterscheiden bekommt als bei allgemeinrer Fassung des einschlägigen Eliminationsproblemes.
Unter dem rechnerischen Gesichtspunkte empfiehlt es sich daher, sich von jener Stipulation zu emanzipiren und statt des Subjektes 1' sogleich beliebige Parameter a, b, c, … als Subjekte zuzulassen. Als- dann kommen in der That nur Prämissen von dreierlei (statt viererlei) Formen in Betracht, nämlich für die erste Prämisse: 34) a⋹x, a⋹b ; x, a ⋹ b ; (c ɟ x) — desgleichen für die zweite Prämisse, wo nur x̄ statt x zu sagen und statt der Parameter a, b, c neue Parameterwerte (eventuell b, c …) d, e, f zu nehmen sind.
Eine Form a ⋹ b ɟ x, welche äquivalent b̄̆ ; a ⋹ x, käme in der That auf a ⋹ x für ein durch b̄̆ ; a vertretnes Subjekt a hinaus, und kann daher als aparte Prämissenform nicht in Betracht kommen. Ebensowenig wäre a ⋹ b ɟ c ; x, als äquivalent b̄̆ ; a ⋹ c ; x, von unsrer zweiten Prämissenform wesentlich verschieden.
Wir erhalten so nur 6 Probleme (von allgemeinerem Charakter) statt der 10 früheren (die von speziellrer Natur gewesen). Die nach Peirce’s Methode durch Konversion der einen Prämisse und über- schiebendes relatives Multipliziren dieser konvertirten mit der andern in solcher Folge, dass x und x̄̆ (oder x̄ und x̆) zusammenkommen (= meet), zu gewinnenden Resultanten sind die nachfolgend angegebenen: 35)
[Formel 1]
. Rechts neben sie haben wir diejenigen Teilresultanten gestellt, welche aus einer Prämisse schon einzeln folgen — die „Einzelresultanten“.
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0500"n="486"/><fwplace="top"type="header">Elfte Vorlesung.</fw><lb/>
von ihm beabsichtigten Anwendung (deren Berechtigung wir noch zu<lb/>
prüfen haben werden) auf eine verbal-logische Syllogistik — kein be-<lb/>
sonders glücklicher. Derselbe ist für sein Eliminationsverfahren keines-<lb/>
wegs wesentlich und bewirkt nur, dass erstlich die Prämissen eine<lb/>
speziellere (engere) Form erhalten als nötig, und zweitens, dass man<lb/>— ungeachtet meiner Reduktion von 22 auf 10 — doch immer noch<lb/>
mehr Fälle zu unterscheiden bekommt als bei allgemeinrer Fassung<lb/>
des einschlägigen Eliminationsproblemes.</p><lb/><p>Unter dem rechnerischen Gesichtspunkte empfiehlt es sich daher,<lb/>
sich von jener Stipulation zu emanzipiren und statt des Subjektes 1'<lb/>
sogleich beliebige Parameter <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi>, … als Subjekte zuzulassen. Als-<lb/>
dann kommen in der That nur Prämissen von <hirendition="#i">drei</hi>erlei (statt viererlei)<lb/>
Formen in Betracht, nämlich für die erste Prämisse:<lb/>
34) <hirendition="#et"><hirendition="#i">a</hi>⋹<hirendition="#i">x</hi>, <hirendition="#i">a</hi>⋹<hirendition="#i">b</hi> ; <hirendition="#i">x</hi>, <hirendition="#i">a</hi>⋹<hirendition="#i">b</hi> ; (<hirendition="#i">c</hi>ɟ<hirendition="#i">x</hi>)</hi><lb/>— desgleichen für die zweite Prämisse, wo nur <hirendition="#i">x̄</hi> statt <hirendition="#i">x</hi> zu sagen<lb/>
und statt der Parameter <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi> neue Parameterwerte (eventuell <hirendition="#i">b</hi>, <hirendition="#i">c</hi>…)<lb/><hirendition="#i">d</hi>, <hirendition="#i">e</hi>, <hirendition="#i">f</hi> zu nehmen sind.</p><lb/><p>Eine Form <hirendition="#i">a</hi>⋹<hirendition="#i">b</hi>ɟ<hirendition="#i">x</hi>, welche äquivalent <hirendition="#i">b̄̆</hi> ; <hirendition="#i">a</hi>⋹<hirendition="#i">x</hi>, käme in der That<lb/>
auf <hirendition="#i">a</hi>⋹<hirendition="#i">x</hi> für ein durch <hirendition="#i">b̄̆</hi> ; <hirendition="#i">a</hi> vertretnes Subjekt <hirendition="#i">a</hi> hinaus, und kann daher<lb/>
als aparte Prämissenform nicht in Betracht kommen. Ebensowenig wäre<lb/><hirendition="#i">a</hi>⋹<hirendition="#i">b</hi>ɟ<hirendition="#i">c</hi> ; <hirendition="#i">x</hi>, als äquivalent <hirendition="#i">b̄̆</hi> ; <hirendition="#i">a</hi>⋹<hirendition="#i">c</hi> ; <hirendition="#i">x</hi>, von unsrer zweiten Prämissen<hirendition="#i">form</hi><lb/>
wesentlich verschieden.</p><lb/><p>Wir erhalten so nur 6 Probleme (von allgemeinerem Charakter)<lb/>
statt der 10 früheren (die von speziellrer Natur gewesen). Die nach<lb/><hirendition="#g">Peirce’</hi>s Methode durch Konversion der einen Prämisse und über-<lb/>
schiebendes relatives Multipliziren dieser konvertirten mit der andern<lb/>
in solcher Folge, dass <hirendition="#i">x</hi> und <hirendition="#i">x̄̆</hi> (oder <hirendition="#i">x̄</hi> und <hirendition="#i">x̆</hi>) zusammenkommen<lb/>
(= meet), zu gewinnenden Resultanten sind die nachfolgend angegebenen:<lb/>
35) <formula/>.<lb/>
Rechts neben sie haben wir diejenigen Teilresultanten gestellt, welche<lb/>
aus einer Prämisse schon einzeln folgen — die „Einzelresultanten“.</p><lb/></div></div></body></text></TEI>
[486/0500]
Elfte Vorlesung.
von ihm beabsichtigten Anwendung (deren Berechtigung wir noch zu
prüfen haben werden) auf eine verbal-logische Syllogistik — kein be-
sonders glücklicher. Derselbe ist für sein Eliminationsverfahren keines-
wegs wesentlich und bewirkt nur, dass erstlich die Prämissen eine
speziellere (engere) Form erhalten als nötig, und zweitens, dass man
— ungeachtet meiner Reduktion von 22 auf 10 — doch immer noch
mehr Fälle zu unterscheiden bekommt als bei allgemeinrer Fassung
des einschlägigen Eliminationsproblemes.
Unter dem rechnerischen Gesichtspunkte empfiehlt es sich daher,
sich von jener Stipulation zu emanzipiren und statt des Subjektes 1'
sogleich beliebige Parameter a, b, c, … als Subjekte zuzulassen. Als-
dann kommen in der That nur Prämissen von dreierlei (statt viererlei)
Formen in Betracht, nämlich für die erste Prämisse:
34) a⋹x, a⋹b ; x, a ⋹ b ; (c ɟ x)
— desgleichen für die zweite Prämisse, wo nur x̄ statt x zu sagen
und statt der Parameter a, b, c neue Parameterwerte (eventuell b, c …)
d, e, f zu nehmen sind.
Eine Form a ⋹ b ɟ x, welche äquivalent b̄̆ ; a ⋹ x, käme in der That
auf a ⋹ x für ein durch b̄̆ ; a vertretnes Subjekt a hinaus, und kann daher
als aparte Prämissenform nicht in Betracht kommen. Ebensowenig wäre
a ⋹ b ɟ c ; x, als äquivalent b̄̆ ; a ⋹ c ; x, von unsrer zweiten Prämissenform
wesentlich verschieden.
Wir erhalten so nur 6 Probleme (von allgemeinerem Charakter)
statt der 10 früheren (die von speziellrer Natur gewesen). Die nach
Peirce’s Methode durch Konversion der einen Prämisse und über-
schiebendes relatives Multipliziren dieser konvertirten mit der andern
in solcher Folge, dass x und x̄̆ (oder x̄ und x̆) zusammenkommen
(= meet), zu gewinnenden Resultanten sind die nachfolgend angegebenen:
35) [FORMEL].
Rechts neben sie haben wir diejenigen Teilresultanten gestellt, welche
aus einer Prämisse schon einzeln folgen — die „Einzelresultanten“.
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. 3, Abt. 1. Leipzig, 1895, S. 486. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/500>, abgerufen am 23.11.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/.
