Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.
Zwanzigste Vorlesung. a b, b c a c-- womit ersichtlich wird, dass jener Schlüssel im Grunde nur das Subsumtionszeichen des Aussagenkalkuls vertritt. Sodann aber gebe ich diesem Schlüssel auch darum vor Von den "abgeschwächten" Formen, welche sich nur durch die Wir haben darnach die
Zwanzigste Vorlesung. a ⊆ b, b ⊆ c ∴ a ⊆ c— womit ersichtlich wird, dass jener Schlüssel ∴ im Grunde nur das Subsumtionszeichen ⊆ des Aussagenkalkuls vertritt. Sodann aber gebe ich diesem Schlüssel ∴ auch darum vor ⊆ Von den „abgeschwächten“ Formen, welche sich nur durch die Wir haben darnach die
<TEI> <text> <body> <div n="1"> <div n="2"> <div n="3"> <p><pb facs="#f0246" n="222"/><fw place="top" type="header">Zwanzigste Vorlesung.</fw><lb/><hi rendition="#c"><hi rendition="#i">a</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">b</hi>, <hi rendition="#i">b</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">c</hi> ∴ <hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi></hi><lb/> — womit ersichtlich wird, dass jener Schlüssel ∴ im Grunde nur <hi rendition="#i">das<lb/> Subsumtionszeichen</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">des Aussagenkalkuls</hi> vertritt.</p><lb/> <p>Sodann aber gebe ich diesem Schlüssel ∴ auch darum vor <choice><orig></orig><reg>⊆</reg></choice><lb/> den Vorzug, weil ich sonst — was mir widerstrebt — genötigt wäre,<lb/> eine Reihe von geradezu <hi rendition="#i">falschen</hi> Subsumtionen des Aussagenkalkuls<lb/> in unsrer Tafel aufzuführen, die man als „<hi rendition="#i">enthymematische</hi>“ mit ∴<lb/> oder „folglich“ eingeleitete Schlüsse doch immerhin wird gelten lassen<lb/> können; in einem verbalen Schlusse wird man das Verschweigen einer<lb/> Prämisse noch unbeanstandet passiren lassen können; in einer Formel<lb/> aber einen wesentlichen Faktor der einen Seite fortzulassen, bleibt un-<lb/> statthaft. — Gemäss Th. 6̅): <hi rendition="#i">A B</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">A</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">A</hi> + <hi rendition="#i">C</hi> darf man zwar in einer<lb/> gültigen Aussage einen <hi rendition="#i">beliebigen</hi> Aussagen<hi rendition="#i">faktor</hi> (<hi rendition="#i">B</hi>) <hi rendition="#i">weglassen</hi>, und<lb/> einen beliebigen <hi rendition="#i">Summanden</hi> (<hi rendition="#i">C</hi>) <hi rendition="#i">zufügen</hi> (S. 197). Gilt aber <hi rendition="#i">A B</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">D</hi>,<lb/> so wird nicht schon <hi rendition="#i">A</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">D</hi> zu gelten brauchen. —</p><lb/> <p>Von den „abgeschwächten“ Formen, welche sich nur durch die<lb/> Konklusion von den ungeschwächten Modi unterscheiden, fügen wir<lb/> nur letztere und den Namen bei.</p><lb/> <p>Wir haben darnach die<lb/><hi rendition="#i">β</hi>) <space dim="horizontal"/><hi rendition="#g">Übersicht der traditionellen Syllogismen</hi>.<lb/><table rendition="#et"><row><cell cols="2"/><cell><hi rendition="#g #k">SM</hi></cell><cell>propositio</cell><cell>minor</cell></row><row><cell><hi rendition="#g">Erste Figur</hi>.</cell><cell>Schema:</cell><cell><hi rendition="#g #k">MP</hi></cell><cell><hi rendition="#c">〃</hi></cell><cell>major</cell></row><row><cell cols="2"/><cell><hi rendition="#g #k">SP</hi></cell><cell>conclusio.</cell><cell/></row></table><lb/><table><row><cell><hi rendition="#g">Barbara</hi>.</cell><cell><hi rendition="#i">a</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">b</hi>,</cell><cell><hi rendition="#i">b</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">c</hi></cell><cell>∴</cell><cell><hi rendition="#i">a</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">c</hi>.</cell><cell>[<hi rendition="#g">Barbari</hi> ∴ <hi rendition="#i">a</hi>' <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi> falsch.]</cell></row><lb/><row><cell><hi rendition="#g">Celarent</hi>.</cell><cell><hi rendition="#i">a</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">b</hi>,</cell><cell><hi rendition="#i">b</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">c</hi><hi rendition="#sub">1</hi></cell><cell>∴</cell><cell><hi rendition="#i">a</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">c</hi><hi rendition="#sub">1</hi>.</cell><cell>[<hi rendition="#g">Celaront</hi> ∴ <hi rendition="#i">a</hi>' <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> falsch.]</cell></row><lb/><row><cell><hi rendition="#g">Darii</hi>.</cell><cell><hi rendition="#i">a</hi>' <choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">b</hi>,</cell><cell><hi rendition="#i">b</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">c</hi></cell><cell>∴</cell><cell><hi rendition="#i">a</hi>' <choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">c</hi>.</cell></row><lb/><row><cell><hi rendition="#g">Ferio</hi>.</cell><cell><hi rendition="#i">a</hi>' <choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">b</hi>,</cell><cell><hi rendition="#i">b</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">c</hi><hi rendition="#sub">1</hi></cell><cell>∴</cell><cell><hi rendition="#i">a</hi>' <choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">c</hi><hi rendition="#sub">1</hi>.</cell></row></table> <table rendition="#et"><row><cell cols="2"/><cell><hi rendition="#g #k">SM</hi></cell></row><lb/><row><cell><hi rendition="#g">Zweite Figur</hi>.</cell><cell>Schema:</cell><cell><hi rendition="#g #k">PM</hi></cell></row><row><cell cols="2"/><cell><hi rendition="#g #k">SP</hi></cell></row></table><lb/><table><row><cell><hi rendition="#g">Cesare</hi>.</cell><cell><hi rendition="#i">a</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">b</hi>,</cell><cell><hi rendition="#i">c</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">b</hi><hi rendition="#sub">1</hi></cell><cell>∴</cell><cell><hi rendition="#i">a</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">c</hi><hi rendition="#sub">1</hi>.</cell><cell>[<hi rendition="#g">Cesaro</hi> ∴ <hi rendition="#i">a</hi>' <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> falsch.]</cell></row><lb/><row><cell><hi rendition="#g">Camestres</hi>.</cell><cell><hi rendition="#i">a</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">b</hi><hi rendition="#sub">1</hi>,</cell><cell><hi rendition="#i">c</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">b</hi></cell><cell>∴</cell><cell><hi rendition="#i">a</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">c</hi><hi rendition="#sub">1</hi>.</cell><cell>[<hi rendition="#g">Camestros</hi> ∴ <hi rendition="#i">a</hi>' <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> falsch.]</cell></row><lb/><row><cell><hi rendition="#g">Festino</hi>.</cell><cell><hi rendition="#i">a</hi>' <choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">b</hi>,</cell><cell><hi rendition="#i">c</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">b</hi><hi rendition="#sub">1</hi></cell><cell>∴</cell><cell><hi rendition="#i">a</hi>' <choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">c</hi><hi rendition="#sub">1</hi>.</cell></row><lb/><row><cell><hi rendition="#g">Baroco</hi>.</cell><cell><hi rendition="#i">a</hi>' <choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">b</hi><hi rendition="#sub">1</hi>,</cell><cell><hi rendition="#i">c</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">b</hi></cell><cell>∴</cell><cell><hi rendition="#i">a</hi>' <choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">c</hi><hi rendition="#sub">1</hi>.</cell></row></table><lb/></p> </div> </div> </div> </body> </text> </TEI> [222/0246]
Zwanzigste Vorlesung.
a  b, b  c ∴ a  c
— womit ersichtlich wird, dass jener Schlüssel ∴ im Grunde nur das
Subsumtionszeichen  des Aussagenkalkuls vertritt.
Sodann aber gebe ich diesem Schlüssel ∴ auch darum vor 
den Vorzug, weil ich sonst — was mir widerstrebt — genötigt wäre,
eine Reihe von geradezu falschen Subsumtionen des Aussagenkalkuls
in unsrer Tafel aufzuführen, die man als „enthymematische“ mit ∴
oder „folglich“ eingeleitete Schlüsse doch immerhin wird gelten lassen
können; in einem verbalen Schlusse wird man das Verschweigen einer
Prämisse noch unbeanstandet passiren lassen können; in einer Formel
aber einen wesentlichen Faktor der einen Seite fortzulassen, bleibt un-
statthaft. — Gemäss Th. 6̅): A B  A  A + C darf man zwar in einer
gültigen Aussage einen beliebigen Aussagenfaktor (B) weglassen, und
einen beliebigen Summanden (C) zufügen (S. 197). Gilt aber A B  D,
so wird nicht schon A  D zu gelten brauchen. —
Von den „abgeschwächten“ Formen, welche sich nur durch die
Konklusion von den ungeschwächten Modi unterscheiden, fügen wir
nur letztere und den Namen bei.
Wir haben darnach die
β) Übersicht der traditionellen Syllogismen.
SM propositio minor
Erste Figur. Schema: MP 〃 major
SP conclusio.
Barbara. a  b, b  c ∴ a  c. [Barbari ∴ a'  c falsch.]
Celarent. a  b, b  c1 ∴ a  c1. [Celaront ∴ a'  c1 falsch.]
Darii. a'  b, b  c ∴ a'  c.
Ferio. a'  b, b  c1 ∴ a'  c1.
SM
Zweite Figur. Schema: PM
SP
Cesare. a  b, c  b1 ∴ a  c1. [Cesaro ∴ a'  c1 falsch.]
Camestres. a  b1, c  b ∴ a  c1. [Camestros ∴ a'  c1 falsch.]
Festino. a'  b, c  b1 ∴ a'  c1.
Baroco. a'  b1, c  b ∴ a'  c1.
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/246 |
| Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 222. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/246>, abgerufen am 24.11.2024. |
