Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.Zwanzigste Vorlesung. Der Eliminand heisst hier a. Sagten wir x dafür, so könnten Ob man bei dieser Elimination vorzieht, so, wie es vorstehend geschah, Ich hege die Überzeugung, dass es nicht möglich sein wird, die Obiges dürfte wenigstens dann anzuerkennen sein, wenn auch dem Sieht man freilich ab von den traditionellen Modi und Figuren,
gewöhnlichen Syllogistik erdenklichen Prämissensysteme der Art nach enthalten sind, aus denen sie nämlich durch blossen Buchstabenwechsel, als da ist: Vertauschung von b mit b1, resp. von a mit a1, c mit c1, und vielleicht auch von a mit c, vollständig hervorgehen müssen. Zwanzigste Vorlesung. Der Eliminand heisst hier α. Sagten wir x dafür, so könnten Ob man bei dieser Elimination vorzieht, so, wie es vorstehend geschah, Ich hege die Überzeugung, dass es nicht möglich sein wird, die Obiges dürfte wenigstens dann anzuerkennen sein, wenn auch dem Sieht man freilich ab von den traditionellen Modi und Figuren,
gewöhnlichen Syllogistik erdenklichen Prämissensysteme der Art nach enthalten sind, aus denen sie nämlich durch blossen Buchstabenwechsel, als da ist: Vertauschung von b mit b1, resp. von a mit a1, c mit c1, und vielleicht auch von a mit c, vollständig hervorgehen müssen. <TEI> <text> <body> <div n="1"> <div n="2"> <div n="3"> <pb facs="#f0258" n="234"/> <fw place="top" type="header">Zwanzigste Vorlesung.</fw><lb/> <p>Der Eliminand heisst hier <hi rendition="#i">α</hi>. Sagten wir <hi rendition="#i">x</hi> dafür, so könnten<lb/> wir die Prämissen von <hi rendition="#i">A</hi><hi rendition="#sub">2</hi>) wie folgt schreiben:<lb/><hi rendition="#c">(<hi rendition="#i">β x</hi> + 0 · <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> = 0) (<hi rendition="#i">γ x</hi> + 0 η <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> ≠ 0).</hi><lb/> Als Resultante ergibt sich schon nach dem Satze <hi rendition="#i">ι</hi>) des § 41:<lb/> (<hi rendition="#i">β</hi> · 0 = 0) (<hi rendition="#i">γ β</hi><hi rendition="#sub">1</hi> = 0 · 0<hi rendition="#sub">1</hi> ≠ 0) = (0 = 0) (<hi rendition="#i">β</hi><hi rendition="#sub">1</hi> <hi rendition="#i">γ</hi> ≠ 0) = i · (<hi rendition="#i">β</hi><hi rendition="#sub">1</hi> <hi rendition="#i">γ</hi> ≠ 0) = (<hi rendition="#i">β</hi><hi rendition="#sub">1</hi> <hi rendition="#i">γ</hi> ≠ 0)<lb/> wie dies eben der Satz <hi rendition="#i">A</hi><hi rendition="#sub">2</hi>) behauptet.</p><lb/> <p>Ob man bei dieser Elimination vorzieht, so, wie es vorstehend geschah,<lb/> und wie ich es im allgemeinen thue, alle Aussagen <hi rendition="#i">auf das Prädikat</hi> 0<lb/> einzurichten (mit rechts auf 0 gebrachten Subsumtionen, Gleichungen und<lb/> Ungleichungen zu operiren), oder ob man mit Herrn <hi rendition="#g">Mitchell</hi><hi rendition="#sup">1</hi> lieber<lb/> für das <hi rendition="#g">Subjekt</hi> 1 sich entscheidet (etwaige Subsumtionen links, die<lb/> Gleichungen und Ungleichungen einerseits auf 1 bringend), erscheint dabei<lb/> als ein nebensächlicher Umstand, bleibt in subjektives Belieben gestellt,<lb/> Geschmacksache.</p><lb/> <p>Ich hege die Überzeugung, dass es nicht möglich sein wird, die<lb/> Syllogistik jemals in einer <hi rendition="#i">schöneren</hi> Weise zu erledigen, als es durch<lb/> Miss <hi rendition="#g">Ladd</hi> begründet ist — wie wir vorstehend darzustellen versucht<lb/> haben: in weniger als <hi rendition="#i">eine</hi> Formel lassen die Syllogismen sich zuver-<lb/> lässig nicht komprimiren, und dabei an Durchsichtigkeit und Einfach-<lb/> heit die Formel <hi rendition="#i">A</hi>) noch zu übertreffen erscheint undenkbar.</p><lb/> <p>Obiges dürfte wenigstens dann anzuerkennen sein, wenn auch dem<lb/> historisch Gewordenen sein Recht in der Syllogistik gewahrt bleiben,<lb/> wenn der Zusammenhang ihrer Betrachtungen mit der Gesamtheit der<lb/> Schlussformen der Wortsprache dabei aufrecht erhalten werden soll.</p><lb/> <p>Sieht man freilich ab von den traditionellen Modi und Figuren,<lb/> und hält sich von vornherein lediglich an das Problem als ein rech-<lb/> nerisch in der Zeichensprache zu lösendes, so lassen die Betrachtungen<lb/> sich äusserlich noch erheblich viel mehr, als es vorstehend geschehen,<lb/> zusammendrängen — wie denn schon Herr <hi rendition="#g">Cayley</hi><hi rendition="#sup">1</hi> gezeigt hat, dass<lb/> das Problem der Syllogistik alsdann lediglich hinausläuft auf dasjenige<lb/> der Elimination von <hi rendition="#i">b</hi> aus den folgenden <hi rendition="#i">sechs</hi> Paaren von Prämissen:<lb/><table><row><cell>(<hi rendition="#i">a b</hi> = 0) (<hi rendition="#i">b c</hi> = 0),</cell><cell>(<hi rendition="#i">a b</hi> = 0) (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> = 0),</cell></row><lb/><row><cell>(<hi rendition="#i">a b</hi> = 0) (<hi rendition="#i">b c</hi> ≠ 0),</cell><cell>(<hi rendition="#i">a b</hi> = 0) (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> ≠ 0),</cell></row><lb/><row><cell>(<hi rendition="#i">a b</hi> ≠ 0) (<hi rendition="#i">b c</hi> ≠ 0),</cell><cell>(<hi rendition="#i">a b</hi> ≠ 0) (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> ≠ 0),</cell></row><lb/></table> in welchen, wie man leicht nachweist, alle innerhalb des Rahmens der<lb/> gewöhnlichen Syllogistik erdenklichen Prämissensysteme der Art nach<lb/> enthalten sind, aus denen sie nämlich durch blossen Buchstabenwechsel,<lb/> als da ist: Vertauschung von <hi rendition="#i">b</hi> mit <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>, resp. von <hi rendition="#i">a</hi> mit <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">c</hi> mit <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>,<lb/> und vielleicht auch von <hi rendition="#i">a</hi> mit <hi rendition="#i">c</hi>, vollständig hervorgehen müssen.</p><lb/> </div> </div> </div> </body> </text> </TEI> [234/0258]
Zwanzigste Vorlesung.
Der Eliminand heisst hier α. Sagten wir x dafür, so könnten
wir die Prämissen von A2) wie folgt schreiben:
(β x + 0 · x1 = 0) (γ x + 0 η x1 ≠ 0).
Als Resultante ergibt sich schon nach dem Satze ι) des § 41:
(β · 0 = 0) (γ β1 = 0 · 01 ≠ 0) = (0 = 0) (β1 γ ≠ 0) = i · (β1 γ ≠ 0) = (β1 γ ≠ 0)
wie dies eben der Satz A2) behauptet.
Ob man bei dieser Elimination vorzieht, so, wie es vorstehend geschah,
und wie ich es im allgemeinen thue, alle Aussagen auf das Prädikat 0
einzurichten (mit rechts auf 0 gebrachten Subsumtionen, Gleichungen und
Ungleichungen zu operiren), oder ob man mit Herrn Mitchell1 lieber
für das Subjekt 1 sich entscheidet (etwaige Subsumtionen links, die
Gleichungen und Ungleichungen einerseits auf 1 bringend), erscheint dabei
als ein nebensächlicher Umstand, bleibt in subjektives Belieben gestellt,
Geschmacksache.
Ich hege die Überzeugung, dass es nicht möglich sein wird, die
Syllogistik jemals in einer schöneren Weise zu erledigen, als es durch
Miss Ladd begründet ist — wie wir vorstehend darzustellen versucht
haben: in weniger als eine Formel lassen die Syllogismen sich zuver-
lässig nicht komprimiren, und dabei an Durchsichtigkeit und Einfach-
heit die Formel A) noch zu übertreffen erscheint undenkbar.
Obiges dürfte wenigstens dann anzuerkennen sein, wenn auch dem
historisch Gewordenen sein Recht in der Syllogistik gewahrt bleiben,
wenn der Zusammenhang ihrer Betrachtungen mit der Gesamtheit der
Schlussformen der Wortsprache dabei aufrecht erhalten werden soll.
Sieht man freilich ab von den traditionellen Modi und Figuren,
und hält sich von vornherein lediglich an das Problem als ein rech-
nerisch in der Zeichensprache zu lösendes, so lassen die Betrachtungen
sich äusserlich noch erheblich viel mehr, als es vorstehend geschehen,
zusammendrängen — wie denn schon Herr Cayley1 gezeigt hat, dass
das Problem der Syllogistik alsdann lediglich hinausläuft auf dasjenige
der Elimination von b aus den folgenden sechs Paaren von Prämissen:
(a b = 0) (b c = 0), (a b = 0) (b1 c = 0),
(a b = 0) (b c ≠ 0), (a b = 0) (b1 c ≠ 0),
(a b ≠ 0) (b c ≠ 0), (a b ≠ 0) (b1 c ≠ 0),
in welchen, wie man leicht nachweist, alle innerhalb des Rahmens der
gewöhnlichen Syllogistik erdenklichen Prämissensysteme der Art nach
enthalten sind, aus denen sie nämlich durch blossen Buchstabenwechsel,
als da ist: Vertauschung von b mit b1, resp. von a mit a1, c mit c1,
und vielleicht auch von a mit c, vollständig hervorgehen müssen.
Suche im WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools
|
URL zu diesem Werk: | https://www.deutschestextarchiv.de/schroeder_logik0201_1891 |
URL zu dieser Seite: | https://www.deutschestextarchiv.de/schroeder_logik0201_1891/258 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 234. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/258>, abgerufen am 15.08.2024. |