Syllogismus und Diskussion:Actus purus: Unterschied zwischen den Seiten

Aus AnthroWiki
(Unterschied zwischen Seiten)
imported>Joachim Stiller
 
imported>Joachim Stiller
Keine Bearbeitungszusammenfassung
 
Zeile 1: Zeile 1:
Die '''Syllogismen''' (von {{grcS|συν-λογισμός}} ''syllogismos'' „[das] Zusammenrechnen“, „logischer Schluss“) sind ein Katalog bestimmter Typen logischer Schlüsse. Sie bilden den Kern der im vierten Jahrhundert vor unserer Zeitrechnung entstandenen antiken [[Logik]] des [[Aristoteles]] und der traditionellen Logik bis ins 19. Jahrhundert. Als Haupttechnik der Logik abgelöst wurde der syllogistische Ansatz durch die Integration der Logik in die Mathematik, mit den Arbeiten von [[George Boole]] und [[Gottlob Frege]] im 19. und frühen 20. Jahrhundert.
== Wolfgang, ich bin sauer ==


[[Datei:Syllogismus-Beispiel.svg|mini|hochkant=2|Beispiel für einen gültigen Syllogismus]]
Ich bin schon weider stink sauer auf dich, dass Du im Anthrowiki immer den gleichen Schmarren unterzubringen versucht: Alchemie, Dante, Epiphänomenologie, und jetzt den Actus purus... Das ist alles reiner Satan... [[Benutzer:Joachim Stiller|Joachim Stiller]] ([[Benutzer Diskussion:Joachim Stiller|Diskussion]]) 07:08, 23. Nov. 2019 (UTC)
Als '''Syllogistik''' wird allgemein die Lehre von den Syllogismen bezeichnet. Die klassische Logik untersuchte insbesondere, unter welchen Voraussetzungen Syllogismen [[Schlussfolgerung#Korrektheit einer Schlussfolgerung|gültig]] sind. Syllogismen sind immer nach dem gleichen Muster aufgebaut. Jeweils zwei [[Prämisse]]n (Voraussetzungen), '''Obersatz''' und '''Untersatz''' genannt, führen zu einer '''Konklusion''' ([[Schlussfolgerung]]). Die Prämissen und die Konklusion sind [[Aussage (Logik)|Aussagen]] von einem bestimmten Typ, in denen jeweils einem Begriff, dem syllogistischen Subjekt, ein anderer Begriff, das syllogistische Prädikat (nicht gleichbedeutend mit Subjekt und Prädikat in der Grammatik), in bestimmter Weise zu- oder abgesprochen wird. In Abhängigkeit von der Stelle, an der sie im Syllogismus auftreten, werden die vorkommenden Begriffe Oberbegriff, Mittelbegriff und Unterbegriff genannt.


== Geschichte ==
: Weißt Du, ich hatte mit dem Thema ontologisch eigentlich noch was vor, und jetzt fällst Du mir buchstäblich in den Rücken... Und das praktisch "ohne" äußeren Anlass... [[Benutzer:Joachim Stiller|Joachim Stiller]] ([[Benutzer Diskussion:Joachim Stiller|Diskussion]]) 07:19, 23. Nov. 2019 (UTC)
Der lateinische Begriff ''syllogismus'' geht auf das griechische ''syllogismos'' (συλλογισμός) zurück. Mit ''syllogismos'' bezeichnet Aristoteles ein [[Argument#Deduktive Argumente|deduktives Argument]], das er als erster folgendermaßen definiert:
{{Zitat|Eine Deduktion (''syllogismos'') ist also ein Argument, in welchem sich, wenn etwas gesetzt wurde, etwas anderes als das Gesetzte mit Notwendigkeit durch das Gesetzte ergibt.|Aristoteles|Topik I 1, 100a25-27<ref>Übersetzung Wagner/Rapp</ref>}}


In diesem weiteren Sinn, also als Synonym für das Wort „Argument“, wurde das Wort „Syllogismus“ alltagssprachlich bis ins 20. Jahrhundert hinein verwendet.<ref>So unterscheidet noch ''Meyers Großes Konversations-Lexikon'' von 1905 bis 1909 zwischen dem Syllogismus im weiteren Sinn („in der Logik im allgemeinen der Schluß überhaupt“ – Band&nbsp;19, Seite&nbsp;234) vom Syllogismus im engeren Sinn (dem „kategorischen S[chluss], dem Syllogismus des Aristoteles“ – Band&nbsp;17, Seite&nbsp;877).</ref> Im modernen Sprachgebrauch ist diese weite Verwendung nicht mehr üblich und nur mehr in Ausdrücken wie [[hypothetischer Syllogismus]] (ein Sammelbegriff für bestimmte in der Tradition betrachtete aussagenlogische Schlussweisen) anzutreffen.
:: Und komm bitte nicht auf die Ideee, auch noch einen Artikel zur [[Evidenzbasierte Medizin|evidenzbasierten Medizin]] anzulegen... [[Benutzer:Joachim Stiller|Joachim Stiller]] ([[Benutzer Diskussion:Joachim Stiller|Diskussion]]) 07:53, 23. Nov. 2019 (UTC)


''Syllogismus'' bezeichnet verwirrenderweise traditionell nun ausschließlich eine spezielle Form des deduktiven Arguments (''syllogismos''), nämlich die in Aristoteles’ [[Analytica Priora|Erster Analytik]] behandelte Deduktion, die aus genau zwei Prämissen, einer Konklusion und drei Begriffen besteht. Da die Definition der Deduktion diese Einschränkung nicht aufweist, ist zwar jeder Syllogism'''us''' ein syllogism'''os''', aber nicht jeder syllogism'''os''' ein Syllogism'''us'''.
::: Leute, Ihr müsst den Satan scheneiden, nicht hofieren... Der Pöbel macht das, aber nicht der Eingeweihte... [[Benutzer:Joachim Stiller|Joachim Stiller]] ([[Benutzer Diskussion:Joachim Stiller|Diskussion]]) 07:56, 23. Nov. 2019 (UTC)


Nach der Position des Mittelbegriffs –&nbsp;das heißt desjenigen Begriffs, der nur in den Prämissen vorkommt&nbsp;– unterscheidet Aristoteles drei Arten von Schlüssen, ''Figuren'' genannt (siehe Abschnitt [[#Figuren|Figuren]]). Die Einführung einer vierten Figur, deren Schlüsse auch Aristoteles schon als gültig anerkennt,<ref name="neb23-263">„Logic“, in: ''The New Encyclopaedia Britannica'', Chicago u.&nbsp;a. 15.&nbsp;Aufl. 2003, Band&nbsp;23, Seite&nbsp;263</ref> wird von [[Avicenna]] und anderen [[Galenus|Galen]] zugeschrieben, obwohl es für diese Zuschreibung keine direkten Hinweise im überlieferten Werk Galens gibt<ref>Albert Veraart: Galenische Figur, in: Jürgen Mittelstraß: ''Enzyklopädie Philosophie und Wissenschaftstheorie.'' Metzler Stuttgart 1996, ISBN 3-476-02012-6, 1.&nbsp;Band, Seite&nbsp;699</ref> und dieser sie in der Tat sogar ausdrücklich ablehnt.<ref>„Logic“, in: ''The New Encyclopaedia Britannica'', Chicago u.&nbsp;a. 15.&nbsp;Aufl. 2003, Band&nbsp;23, Seite&nbsp;265</ref> Bis zur Einführung der vierten Figur werden ihre Syllogismen in der Tradition des [[Theophrastos von Eresos]] oft der ersten Figur zugerechnet.
  Und wehe, jemand erstellt jemals einen Artikel zu richard Wagner... Dann wede ich den eigenhändig wieder löschen... 08:02, 23. Nov. 2019 (UTC)
 
Im lateinischen Mittelalter, das die logischen Werke des Aristoteles zunächst aus Übersetzungen und Kommentaren des [[Boëthius]] aufnahm, wurden die traditionellen lateinischen Bezeichnungen für Quantität und Qualität der Urteile (siehe Abschnitt [[#Typen von Aussagen|Typen von Aussagen]]) durch [[Petrus Hispanus]] gebräuchlich.<ref>N.&nbsp;I.&nbsp;Kondakow: ''Wörterbuch der Logik.'' VEB Bibliographisches Institut Leipzig 1.&nbsp;Aufl.&nbsp;1978, Seite&nbsp;410</ref> In der [[Scholastik]] erhielt die Syllogistik die Form, die dann jahrhundertelang in den Lehrbüchern tradiert wurde, wobei der authentische Gehalt der aristotelischen Syllogistik schon seit der Antike verloren gegangen war und sie seit der Renaissance zunehmend scharfer Kritik unterzogen wurde (berühmt ist etwa die Kritik von René Descartes). Erst Jan Łukasiewicz hat Aristoteles' Logik in einer bahnbrechenden Arbeit<ref>Jan Łukasiewicz: ''Aristotle's Syllogistic from the Standpoint of Modern Formal Logic'', Oxford: Clarendon Press <sup>2</sup>1957.</ref> neu entdeckt und sie vom Standpunkt der modernen Logik aus axiomatisch rekonstruiert; unter anderem wegen der hohen Zahl der dabei angesetzten Axiome wird jedoch bezweifelt, dass diese Rekonstruktion ausreichend gegenstandsadäquat ausgefallen ist.<ref>„The result [of Łukasiewicz's] is something of great interest, but very different from Aristotle's own conception of his work“ Kneale/Kneale: ''The Development of Logic,'' Seite&nbsp;80)</ref> An Łukasiewicz schließt die neuere Forschung an, die ihr deutschsprachiges Standardwerk in Günther Patzigs Darstellung<ref>Günther Patzig: ''Die aristotelische Syllogistik. Logisch-philologische Untersuchung über das Buch A der „Ersten Analytik“''. 3.&nbsp;Aufl., Göttingen, 1969.</ref> (1959) gefunden hat.
 
Seither unterscheidet man zwischen der aristotelischen und der traditionellen Syllogistik. Der auffälligste äußere Unterschied besteht darin, dass Aristoteles Syllogismen nicht als eine Folge von drei Sätzen niederschreibt, sondern als ''einen'' Satz der Form „Wenn (Prämisse 1) und (Prämisse 2), so notwendig (Konklusion)“; es besteht Uneinigkeit darüber, ob sich diese Formulierung als metasprachliche Aussage über einen Syllogismus im traditionellen Verständnis erklären lasse<ref>[http://www.philo.uni-saarland.de/people/analytic/strobach/neueseite/pdfs/homburg.pdf Niko Strobach: Neuere Interpretationen der aristotelischen Syllogistik] (PDF; 112&nbsp;kB), Seite&nbsp;13, insbesondere das dort gebrachte Prior-Zitat „The Prior Analytics ... is not a book of syllogisms, but a book about syllogisms, and the statement ‚If B is predicable of every M, and M of every A, then B is predicable of every A‘ is a perfectly natural way of talking about syllogisms of the form ‚Every B is M, and every M is A, therefore etc.‘, and saying that all such syllogisms are valid.“</ref> oder ob der Sicht Łukasiewicz zu folgen sei, dass Aristoteles einen Syllogismus als ''eine'' zusammengesetzte Aussage betrachte. Die beiden Lesarten lassen sich einfach ineinander überführen; der vorliegende Artikel gibt konkrete Syllogismen im Sinn der ersteren Lesart durchgängig als Folge von drei Sätzen wieder. Auch von diesem strittigen Punkt abgesehen gibt es zwischen der aristotelischen und der traditionellen Syllogistik  zahlreiche Unterschiede in der logisch-semantischen Auffassung, so dass heute vielfach die Ansicht vertreten wird, Aristoteles stehe der modernen Logik im Grunde viel näher als der traditionellen Syllogistik. Bereits auf Augustus De Morgan geht die unter anderem von Patzig ausgearbeitete Auffassung der aristotelischen Syllogistik als Theorie bestimmter zweistelliger Relationen zwischen Begriffen sowie des relativen Produktes solcher Relationen zurück.<ref>Gereon Wolters: Syllogistik, in: Jürgen Mittelstraß: ''Enzyklopädie Philosophie und Wissenschaftstheorie.'' Metzler Stuttgart 1996, ISBN 3-476-02012-6, 4.&nbsp;Band, Seite&nbsp;156-158, Seite&nbsp;157, Spalte&nbsp;2</ref> Ein Syllogismus ist dann ein Relationenprodukt, das selbst wieder eine Relation in jener bestimmten Form ist, die in den vier Satztypen A, E, I oder O ausgedrückt wird (zu A, E, I, O siehe [[#Typen von Aussagen|Typen von Aussagen]]).
 
Die unterschiedslose Gleichsetzung von aristotelischer und traditioneller Syllogistik in der älteren Geschichtsschreibung der Logik ([[Karl von Prantl|Carl Prantl]], [[Heinrich Maier (Philosoph)|Heinrich Maier]]) hat hingegen zahlreiche Irrtümer – etwa über die angeblichen metaphysischen Voraussetzungen von Aristoteles' Logik – hervorgebracht, von denen sich die Aristotelesinterpretation nur mit Mühe befreien konnte.
 
== Allgemeine Darstellung ==
Syllogistische Argumente sind immer nach dem gleichen Muster aufgebaut. Jeweils zwei [[Prämisse]]n (Voraussetzungen), genannt ''Obersatz'' (lateinisch ''propositio major'') und ''Untersatz'' (lateinisch ''propositio minor''), führen zu einer Konklusion ([[Schlussfolgerung]], lateinisch ''conclusio''). Im hier dargestellten '''kategorischen Syllogismus''' (auch '''assertorischer Syllogismus''' genannt) sind Prämissen und Konklusion [[Kategorisches Urteil|kategorische Urteile]], d.&nbsp;h. Aussagen, in denen einem Begriff (griechisch ὅρος – ''horos'', lateinisch ''terminus''), dem Subjekt, ein anderer Begriff, das Prädikat, in bestimmter Weise zu- oder abgesprochen wird. Zum Beispiel wird im kategorischen Urteil „Alle Menschen sind sterblich“ dem Subjekt „Mensch“ das Prädikat „sterblich“ zugesprochen. Zu beachten –&nbsp;und an diesem Beispiel ersichtlich&nbsp;– ist, dass die Wörter „Subjekt“ und „Prädikat“ im Zusammenhang der Syllogistik anders verwendet werden als in der traditionellen [[Grammatik]], wo das grammatikalische Subjekt der Ausdruck „alle Menschen“ und das grammatikalische Prädikat –&nbsp;je nach Sichtweise&nbsp;– das Wort „sind“<ref>Als Beispiel für diese Sicht sei die Duden-Grammatik von 1966 genannt (Duden Band&nbsp;4, 2.&nbsp;Auflage&nbsp;1966, §&nbsp;6020&nbsp;c, Seite&nbsp;540), die das Wort „sterblich“ in diesem Zusammenhang als eine Form von Umstandsergänzung betrachtet, genauer als Artergänzung (§&nbsp;5280, Seite&nbsp;481): „Um eine Artergänzung handelt es sich aber auch dort, wo die Artangabe den ‚kopulativen‘ Verben folgt, weil wir ihr auch in diesen Fällen den Wert eines selbständigen<!-- sic! --> Satzgliedes zusprechen[.]“ (§&nbsp;5285, Seite&nbsp;481) bzw. „Neuere Auffassungen sprechen auch [den Kopulaverben] den gleichen Rang [eines Prädikats] zu“ (§&nbsp;5125, Seite&nbsp;473)</ref> oder der Ausdruck „sind sterblich“<ref>Ein Beispiel für diese Sicht ist die aktuelle Duden-Grammatik: „Prädikativverben verbinden sich mit einem Subjekts- oder Objektsprädikativ zu einem mehrteiligen Prädikat. Hierzu gehören die so genannten Kopulaverben [wie] ''sein''“ (Duden Band&nbsp;4, 7.&nbsp;Auflage&nbsp;2005, §&nbsp;577, Seite&nbsp;421)</ref> wäre.
 
Innerhalb eines Syllogismus werden insgesamt drei verschiedene Begriffe verwendet:
# der ''Oberbegriff'' (lateinisch ''terminus major''), der im Obersatz und auf der rechten Seite der Konklusion, d.&nbsp;h. als deren Prädikat&nbsp;(P) vorkommt;
# der ''Unterbegriff'' (lateinisch ''terminus minor''), der im Untersatz und auf der linken Seite der Konklusion, d.&nbsp;h. als deren Subjekt&nbsp;(S) vorkommt; und
# der ''Mittelbegriff'' (M) (lateinisch ''terminus medius''), der im Obersatz und im Untersatz, nicht aber in der Konklusion vorkommt.
 
In der Nachfolge von [[Johannes Philoponus]] wird den Bezeichnungen „Oberbegriff“ und „Unterbegriff“ seit dem 17. Jahrhundert mehrheitlich keinerlei inhaltliche Bedeutung beigemessen und sie werden ausschließlich aus ihrem Auftreten im Obersatz beziehungsweise im Untersatz und als Prädikat beziehungsweise Subjekt der Konklusion erklärt.<ref>„Since the seventeenth century most writers have adopted the suggestion of John Philoponus that the major term be ''defined'' as the predicate of the conclusion“ (Kneale/Kneale: ''The Development of Logic,'' Seite&nbsp;71)</ref> Gelegentlich werden Unter- und Oberbegriff auch als Subjekt bzw. Prädikat des Syllogismus bezeichnet.
 
Ein Beispiel für einen gültigen Syllogismus ist Folgendes:
 
[[Datei:Syllogismus-Beispiel-2.png|ohne|505px|Kein Rechteck ist ein Kreis. Alle Quadrate sind Rechtecke. Also ist kein Quadrat ein Kreis.]]
 
Der Mittelbegriff dieses Syllogismus ist der Begriff „Rechteck“; im Obersatz dieses Syllogismus tritt der Mittelbegriff als Subjekt, in seinem Untersatz als Prädikat auf. Der Unterbegriff dieses Syllogismus ist der Begriff „Quadrat;“ er tritt im Untersatz als Subjekt auf. Der Oberbegriff dieses Syllogismus ist schließlich der Begriff „Kreis;“ er tritt im Obersatz als Prädikat auf.
 
Alternativ zu Formulierungen wie „Kein S ist P“ oder „Alle S sind P“ werden auch gleichbedeutende Ausdrücke wie „P kommt keinem S zu“ und „P kommt allem S zu“ verwendet. In dieser Ausdrucksweise lautet der obige Syllogismus wie folgt:
 
[[Datei:Beispielsyllogismus-Aristoteles.png|ohne|455px|Kreis kommt keinem Rechteck zu. Rechteck kommt allem Quadrat zu. Also kommt Kreis keinem Quadrat zu.]]
 
Die beiden Schreibweisen sind gleichbedeutend und gleichwertig. Während Aristoteles selber in seinen Analytiken überwiegend Varianten der zweiten Formulierung, „P kommt allem S zu“, wählt (meist „τὁ P κατηγορεῖται τοῦ S“ – „das P wird über das S ausgesagt“), wird seit der [[Scholastik]] Varianten der ersten Schreibweise, „Alle S sind P,“ der Vorzug gegeben. Stärker als in der traditionellen tritt in der aristotelischen Formulierung der Unterschied zwischen grammatikalischem und syllogistischem Subjekt bzw. Prädikat zutage; so hat in der Formulierung „P kommt allem S zu“ das syllogistische Prädikat, „P“, die Funktion des grammatikalischen Subjekts und das syllogistische Subjekt, „S“, die Funktion des grammatikalischen Prädikats.
 
Es gibt jedoch in der Nachfolge von Jan Łukasiewicz die Meinung, dass die aristotelischen Syllogismen im Gegensatz zu denen der sich auf ihn berufenden Tradition keine Argumente aus zwei Prämissen und einer Konklusion seien, sondern zusammengesetzte Einzelsätze. Aus dieser Sicht müsse die aristotelische Variante des obigen Beispiels wie folgt lauten:
 
: Wenn kein Rechteck ein Kreis ist und alle Quadrate Rechtecke sind, dann ist kein Quadrat ein Kreis.
 
Die richtige Einordnung der aristotelischen Syllogismen ist bis heute strittig. Da die Umwandlung zwischen den beiden Lesarten einfach ist und da Aristoteles seine Syllogismen trotz ihrer Formulierung in „Wenn–dann“-Form als Schlussregeln gebraucht,<ref>„[I]t would probably be a mistake to lay much emphasis on the distinction. For in the detailed application of his theory Aristotle reasons as though his conditional statements were in effect rules of inference rather than theses.“ (Kneale/Kneale: ''The Development of Logic,'' Seite&nbsp;80)</ref> stellt der vorliegende Artikel konkrete Syllogismen durchgängig in ihrer traditionellen Formulierung als aus drei Aussagen zusammengesetzte Argumente dar.
 
Als Weiterentwicklung der kategorischen oder assertorischen Syllogistik gibt es schon bei Aristoteles Ansätze einer [[Modallogik|modalen]] Syllogistik, bei der in den –&nbsp;von diesem Unterschied abgesehen gleich aufgebauten&nbsp;– Syllogismen modale Aussagen wie „Alle Menschen sind möglicherweise sterblich“ zugelassen sind.
 
Logische Systeme, die wie die Syllogistik mit Aussagen arbeiten, in denen [[Begriff (Philosophie)|Begriffe]] zueinander in Beziehung gesetzt werden, werden allgemein [[Begriffslogik]]en genannt.
 
=== Typen von Aussagen ===
Eine Aussage in einem Syllogismus, ein [[kategorisches Urteil]], setzt immer zwei Begriffe in eine Beziehung. Dabei werden nur vier Typen von Urteilen bezüglich der Beziehung zwischen einem Subjekt (S) und einem Prädikat (P) betrachtet:
 
{| cellspacing="10"
|-
! style="text-align:left"| Typ
! style="text-align:left"| Bezeichnung
! style="text-align:left"| Formulierungen des Urteils
! style="text-align:left"| Kurzschreibweise
|-
| A
| allgemein bejahendes Urteil
|
  {|
    |-
    | alle S sind P (und es gibt tatsächlich S)
    |-
    | P kommt allem S zu
    |-
    |}
| SaP
|-
| E
| allgemein verneinendes Urteil
|
  {|
    |-
    | kein S ist P (und es gibt tatsächlich S)
    |-
    | P kommt keinem S zu
    |}
| SeP
|-
| I
| partikulär bejahendes Urteil
|
  {|
    |-
    |einige S sind P
    |-
    | P kommt einigem S zu
    |-
    |}
| SiP
|-
| O
| partikulär verneinendes Urteil
|
  {|
    |-
    | einige S sind nicht P
    |-
    | P kommt einigem S nicht zu
    |-
    |}
| SoP
|-
|}
 
Die Vokale stammen dabei aus den lateinischen Worten „'''a'''ff'''i'''rmo“ (ich bejahe) und „n'''e'''g'''o'''“ (ich verneine), wobei jeweils der erste Vokal für ein allgemeines, der zweite für ein partikuläres Urteil steht.
 
=== Quantität und Qualität ===
Die Eigenschaft einer Aussage, über wie viele Gegenstände sie spricht, wird traditionell die '''Quantität''' dieser Aussage genannt. In diesem Sinn gibt es im Syllogismus zwei Quantitäten, nämlich (a) partikulär und (b) universell oder allgemein. Die Eigenschaft einer Aussage, einem Subjekt ein Prädikat zu- oder abzusprechen, wird traditionell die '''Qualität''' dieser Aussage genannt. Spricht eine Aussage einem Subjekt ein Prädikat zu, nennt man sie bejahende Aussage, spricht sie es ihm ab, verneinende Aussage. Die Typen von Aussagen sind in folgender Tabelle nach ihrer Qualität und Quantität aufgeschlüsselt:
 
{| class="wikitable" style="text-align:center"
|-
| &nbsp;
! bejahend
! verneinend
|-
! style="text-align:right"| allgemein
| A-Urteil
| E-Urteil
|-
! style="text-align:right"| partikulär
| I-Urteil
| O-Urteil
|}
 
=== Logisches Quadrat ===
[[Datei:Logisches Quadrat.svg|mini|250px|Das logische Quadrat]]
 
Unter der Voraussetzung, dass ihre Subjekte keine leeren Begriffe sind, bestehen zwischen den unterschiedlichen Aussagentypen verschiedene Beziehungen:
* Zwei Aussagen bilden einen ''kontradiktorischen Gegensatz'' genau dann, wenn beide weder gleichzeitig wahr noch gleichzeitig falsch sein können, mit anderen Worten: Wenn beide unterschiedliche Wahrheitswerte haben müssen. Das wiederum ist genau dann der Fall, wenn die eine Aussage die [[Negation]] der anderen ist (und umgekehrt). Für die syllogistischen Aussagentypen trifft das kontradiktorische Verhältnis auf die Paare A–O und I–E zu.
* Zwei Aussagen bilden einen ''konträren Gegensatz'' genau dann, wenn sie zwar nicht beide zugleich wahr, wohl aber beide falsch sein können. In der Syllogistik steht nur das Aussagenpaar A–E in konträrem Gegensatz.
* Zwei Aussagen bilden einen ''subkonträren Gegensatz'' genau dann, wenn nicht beide zugleich falsch (wohl aber beide zugleich wahr) sein können. In der Syllogistik steht nur das Aussagenpaar I–O in subkonträrem Gegensatz.
* Zwischen den Aussagetypen A und I einerseits und E und O andererseits besteht ein ''Folgerungszusammenhang'' (traditionell wird dieser Folgerungszusammenhang im logischen Quadrat ''Subalternation'' genannt): Aus A folgt I, d.&nbsp;h. wenn alle S P sind, dann gibt es auch tatsächlich S, die P sind; und aus E folgt O, d.&nbsp;h. wenn keine S P sind, dann gibt es tatsächlich S, die nicht P sind.
 
Diese Zusammenhänge werden oft in einem Schema, das unter dem Namen „Logisches Quadrat“ bekannt wurde, zusammengefasst (siehe Abbildung). Die älteste bekannte Niederschrift des logischen Quadrats stammt aus dem zweiten nachchristlichen Jahrhundert und wird [[Apuleius|Apuleius von Madauros]] zugeschrieben.<ref>Christian Thiel: ''Logisches Quadrat'', in: Jürgen Mittelstraß (Hrsg.): ''Enzyklopädie Philosophie und Wissenschaftstheorie.'' 1.&nbsp;Aufl.&nbsp;1995, 2004, Band&nbsp;3, Seite&nbsp;423</ref>
 
=== Existenzielle Voraussetzungen ===
Wie schon im logischen Quadrat ersichtlich, gelten viele der überlieferten Gesetzmäßigkeiten der Syllogistik nur unter der Voraussetzung, dass zumindest das Subjekt der betroffenen Aussagen nicht leer ist. Im Allgemeinen wird daher davon ausgegangen, dass syllogistische Aussagen tatsächlich Existenzaussagen über das Subjekt treffen, d.&nbsp;h. voraussetzen, dass das Subjekt kein leerer Begriff ist:
* Die Aussage „Alle S sind P“ bedeutet damit: „Es gibt S, und alle davon sind P“.
* Die Aussage „Keine S sind P“ bedeutet damit: „Es gibt S, und keine davon sind P“.
* Die Aussage „Einige S sind P“ bedeutet damit: „Es gibt S, und einige von ihnen sind P.“
* Die Aussage „Einige S sind nicht P“ bedeutet damit: „Es gibt S, und einige von ihnen sind nicht P.“
 
Die Existenzaussage „Es gibt S“ wird dabei für gewöhnlich nicht als Teil des jeweiligen syllogistischen Urteils verstanden, sondern als seine [[Präsupposition]], das heißt als Voraussetzung dafür, dass das jeweilige Urteil zum syllogistischen Schließen überhaupt verwendet werden kann. Die Existenzaussage zum Teil des syllogistischen Urteils zu machen ist zwar möglich, aber formal relativ kompliziert, und wird hinsichtlich seiner Adäquatheit unterschiedlich beurteilt.<ref>siehe z.&nbsp;B. [http://www.philo.uni-saarland.de/people/analytic/strobach/neueseite/pdfs/homburg.pdf Niko Strobach: Neuere Interpretationen der aristotelischen Syllogistik] (PDF; 112&nbsp;kB), Seite&nbsp;5f.</ref>
 
Je nach Interpretation der syllogistischen Aussagen und Gesetzmäßigkeiten ist auch die Sicht möglich, dass syllogistisches Schließen überhaupt nur mit nicht leeren Begriffen möglich sei, das heißt, dass auch die Prädikate nicht leer sein dürfen.<ref>„In order to justify Aristotle's doctrine as a whole it is necessary, then, that he assumed application for ''all'' the general terms with which he dealt.“ (Kneale/Kneale: ''The Development of Logic,'' Seite&nbsp;60, Hervorhebung im Original)</ref> Die Frage, welche Autoren der Tradition welche Sichtweise vertreten haben, wird unterschiedlich beurteilt und ist bis heute Gegenstand philosophischer und philologischer Untersuchungen.
 
Obwohl existenzielle Voraussetzungen dem natürlichen Sprachgebrauch entsprechen (normalerweise empfindet man nur Allaussagen über tatsächlich vorhandene Dinge als sinnvoll), ist es wichtig, sich ihrer bewusst zu sein, weil es durchaus auch logische Systeme gibt, die diese Voraussetzungen nicht machen.
 
=== Distribution ===
In der Syllogistik wird von der Distribution (von [[Latein|lateinisch]] ''distributio'', Verteilung) eines Begriffs innerhalb einer Aussage gesprochen. Ein Begriff ist innerhalb einer Aussage genau dann distribuiert, wenn aus dieser Aussage jede andere Aussage folgt, die aus der ursprünglichen Aussage entsteht, indem der ursprüngliche Begriff durch einen echten Unterbegriff ersetzt wird.<ref>Diese Variante der Definition entlehnt sich aus „Distribution“, in: ''Encyclopaedia Britannica'', Band&nbsp;4, 15.&nbsp;Aufl.&nbsp;2003, Seite&nbsp;129</ref> Eine oft gebrauchte und bei richtigem Verständnis äquivalente Formulierung lautet: Ein Begriff ist innerhalb einer syllogistischen Aussage genau dann distribuiert, wenn er sich innerhalb der Aussage auf alle Gegenstände bezieht, auf die der Begriff zutrifft.
 
Zum Beispiel ist in der syllogistischen A-Aussage „Alle Philosophen (Subjekt) sind Menschen (Prädikat)“ der Begriff „Philosoph“ distribuiert: Aus der Tatsache, dass alle Philosophen Menschen sind, folgt, dass alle Sprachphilosophen (ein Unterbegriff von „Philosoph“) Menschen sind, dass alle Existenzphilosophen (ein weiterer Unterbegriff von „Philosoph“) Menschen sind usw. Nicht distribuiert ist in dieser Aussage hingegen der Begriff „Mensch“: Aus der Tatsache, dass alle Philosophen Menschen sind, folgt zum Beispiel noch lange nicht, dass alle Philosophen Europäer (ein Unterbegriff von Mensch) sind.
 
Eine Übersicht darüber, in welchem Typ von Aussage welcher Begriff distribuiert ist, gibt die folgende Tabelle.
 
{| class="wikitable" style="text-align:center"
|-
| &nbsp;
! Subjekt
! Prädikat
|-
! style="text-align:right"| A-Urteil
| distribuiert
| nicht distribuiert
|-
! style="text-align:right"| I-Urteil
| nicht distribuiert
| nicht distribuiert
|-
! style="text-align:right"| E-Urteil
| distribuiert
| distribuiert
|-
! style="text-align:right"| O-Urteil
| nicht distribuiert
| distribuiert
|}
 
=== Syllogismen aus moderner Sicht ===
Es gibt verschiedene Ansätze, die traditionelle Syllogistik zu axiomatisieren bzw. auf eindeutigen Regeln aufzubauen.
 
Die klassischen Syllogismen lassen sich modern sowohl als Anwendung eines Teilsystems der [[Prädikatenlogik]], nämlich der monadischen Prädikatenlogik, als auch als [[Menge (Mathematik)|Mengenbeziehungen]] darstellen. Eine aus heutiger Sicht wesentliche Einschränkung ist, dass die Syllogismen nur Quantoren behandeln können, die mit dem [[Subjekt (Grammatik)|Subjekt]] der Aussage verbunden sind (wie in ''Alle Menschen sind sterblich''), Quantoren an Objektstelle (wie in ''Sokrates kennt alle Athener'') sind in diesem System nicht behandelbar. Dies wurde erst durch [[Gottlob Frege|Freges]] Verwendung von mathematischen [[Funktion (Mathematik)|Funktionen]] in der Logik möglich.
 
Bei der Darstellung als Mengenbeziehungen wird jeder Begriff als sein Umfang (fachsprachlich [[Extension und Intension#Extension|Extension]]) interpretiert, d.&nbsp;h. als die Menge der Gegenstände, die unter diesen Begriff fallen. Der Begriff „Mensch“ zum Beispiel wird mengentheoretisch als die Menge aller Menschen interpretiert.
 
Bei der prädikatenlogischen Interpretation wird jeder Begriff als ein einstelliges Prädikat im Sinn der Prädikatenlogik dargestellt, d.&nbsp;h. als eine einstellige Funktion im mathematischen Sinn, die auf konkrete Individuen angewendet werden kann und die für jedes Individuum die Information liefert, ob es unter diesen Begriff fällt oder nicht. So würde zum Beispiel der Begriff „Mensch“ als das Prädikat „_&nbsp;ist ein Mensch“ interpretiert. Wendet man dieses Prädikat auf einen Menschen an, zum Beispiel auf Sokrates, dann liefert es den [[Wahrheitswert]] „wahr“; wendet man es auf einen Gegenstand an, der kein Mensch ist –&nbsp;zum Beispiel auf ein Tier, auf einen Planeten oder auf eine Zahl&nbsp;–, dann liefert es den Wahrheitswert „falsch“.
 
{| border="0"
! Typ
! style="text-align:left"| Urteil
! style="text-align:left"| Mengenlehre
! style="text-align:left"| Prädikatenlogik
|-
! width="9%"| A
| width="20%" | Alle S sind P.
| width="31%" |
  {|
  |-
  | <math>S \subseteq P</math>, wobei <math>S \not = \emptyset</math>
  |-
  | Der (nicht leere) Umfang von S ist eine Teilmenge des Umfangs von P.
  |-
  |}
| width="40%" |
  {|
  |-
  |<math>\forall x ( Sx \rightarrow Px )</math>, wobei <math>\exists x Sx</math>
  |-
  | Für jedes Individuum gilt: Wenn es ein S ist, dann ist es auch ein P (wobei S nicht leer ist).
  |-
  |}
|-
! E
| Keine S sind P.
|
  {|
  |-
  | <math>S \cap P = \emptyset</math>, wobei <math>S \not = \emptyset</math>
  |-
  | Die Schnittmenge des (nicht leeren) Umfangs von S und des Umfangs von P ist leer.
  |-
  |}
|
  {|
  |-
  |<math>\forall x ( Sx \rightarrow \neg Px )</math>, wobei <math>\exists x Sx</math>
  |-
  | Für jedes Individuum gilt: Wenn es ein S ist, dann ist es nicht der Fall, dass es auch ein P ist (wobei S nicht leer ist).
  |-
  |}
|-
! I
| Einige S sind P.
|
  {|
  |-
  | <math>S \cap P \neq \emptyset</math>
  |-
  | Die Schnittmenge des Umfangs von S und des Umfangs von P ist nicht leer.
  |-
  |}
|
  {|
  |-
  |  <math>\exists x ( Sx \wedge Px )</math>
  |-
  | Es gibt mindestens ein Individuum, das ein S ist und das auch ein P ist.
  |-
  |}
|-
! O
| Einige S sind nicht P.
|
  {|
  |-
  | <math>S \not\subseteq P</math>
  |-
  | Der (nicht leere) Umfang von S ist keine Teilmenge des Umfangs von P. (Dass S nicht leer sein kann ist allerdings schon implizit gegeben, da die leere Menge Teilmenge jeder Menge ist.)
  |-
  |}
|
  {|
  |-
  | <math>\exists x ( Sx \wedge \neg Px )</math>
  |-
  | Es gibt mindestens ein Individuum, das ein S ist und bei dem es nicht der Fall ist, dass es auch ein P ist.
  |-
  |-
  |}
|}
 
An dieser Formalisierung wurde jedoch historisch und auch in jüngerer Zeit Kritik geübt. Dabei wurde die traditionelle Logik als [[Begriffslogik]] etwa von [[Fritz Mauthner]] der modernen Logik gegenübergestellt, die als abwertend auch ''Logistik''bezeichnet wurde. Zentral war dabei unter anderem um die Frage, ob durch die Formalisierung Existenz[[präsupposition]]en verloren gehen, die in der vormodernen Lokaltradition als selbstverständlich galten. Auch ist eine direkte Übertragung des [[Logisches Quadrat|logischen Quadrats]] nicht unproblematisch, wie [[Michael Wolff (Philosoph)|Michael Wolff]] in seinem ''Essay über Frege'' dargelegt hat.
 
Walther Brüning reihte die Syllogistik als [[Strenge Logik#Strenge  Syllogistik|strenge Syllogistik]] als einen Sonderfall seiner ''[[Strenge Logik|strengen Logik]]'' ein, und begegnet dabei den Problemen der klassisch prädikatenlogischen Formalisierung. Er deutet die Urteile als Abkürzungen von sogenannten Geltungswertformeln (analog zu [[Belegung (Logik)|Wahrheitswertformeln]]) und benutzt einen Ableitungsbegriff, der es gestattet alle Syllogismen einfach abzuleiten. Ein vergleichbarer Ansatz ist die ''differentielle Syllogistik'' von [[Albert Menne]].
 
=== Regeln für die Gültigkeit von Syllogismen ===
Gültige Syllogismen haben bestimmte Eigenschaften hinsichtlich der Qualität, Quantität und Distribution der in ihnen vorkommenden Begriffe; zum Beispiel kann ein Syllogismus niemals gültig sein, wenn seine Prämissen partikuläre Aussagen sind, seine Konklusion aber eine allgemeine Aussage ist.
 
Da in Abhängigkeit von der speziellen Interpretation unterschiedlich viele syllogistische Modi gültig sind, gibt es in der Tradition auch unterschiedliche Regelwerke. Im Folgenden werden die heute gängigsten Regeln dargestellt.<ref>siehe Bird&nbsp;1964, Seite&nbsp;20-22</ref> Sie gehen in dieser einfachen Form auf das [[Spätmittelalter]] zurück und sind nicht Teil der antiken, aristotelischen Syllogistik.<ref>„A simple set of rules of validity was finally produced in the later Middle Ages, based on the concept of Distribution.<!-- sic! -->“ (Charles Leonard Hamblin: ''Fallacies.'' Methuen London&nbsp;1970, ISBN 0-416-70070-5, Seite&nbsp;195)</ref> Das genannte Regelsystem ist der Einfachheit halber redundant, d.&nbsp;h. einige der Regeln lassen sich durch andere ausdrücken.
 
==== Regeln der Qualität ====
# Mindestens eine der beiden Prämissen muss eine bejahende Aussage sein ([[Latein|lateinisch]] ''ex mere negativis nihil sequitur'', „allein aus verneinten Aussagen folgt nichts“).<br />Zum Beispiel kann aus den Prämissen „Kein Fisch ist Angler“ und „Einige Angler sind keine Fische“ syllogistisch keine Schlussfolgerung gezogen werden.
# Wenn beide Prämissen bejahend sind, dann muss auch die Konklusion bejahend sein (lateinisch ''ambae affirmantes nequeunt generare negantem'', „zwei bejahende Aussagen können keine verneinte Aussage erzeugen“).
# Wenn eine der beiden Prämissen verneinend ist, dann muss auch die Konklusion verneinend sein.
 
==== Regeln der Quantität ====
# Mindestens eine der beiden Prämissen muss eine allgemeine Aussage sein (lateinisch ''nihil sequitur geminis ex particularibus unquam'', „nichts folgt jemals aus partikularen Aussagen“).<br />Aus den Prämissen „Einige Säugetiere leben im Wasser“ und „Einige Tiere, die auf dem Land leben, sind Säugetiere“ kann ebenfalls syllogistisch nicht geschlossen werden.
# Wenn eine der beiden Prämissen eine partikuläre Aussage ist, kann die Konklusion keine allgemeine Aussage sein.
 
==== Regeln der Distribution ====
# Der Mittelbegriff muss mindestens einmal distribuiert vorkommen.
# Wenn ein Begriff in der Konklusion distribuiert auftritt, muss er auch in einer Prämisse distribuiert auftreten.
 
== Figuren ==
Welche der drei Begriffe S, P und M in welcher Aussage des Syllogismus vorkommen müssen, ist festgelegt: Der Obersatz besteht aus P und M, der Untersatz aus S und M, die Konklusion aus S und P. Die Konklusion hat dabei immer die Form S&nbsp;–&nbsp;P, die Anordnung der Begriffe in den Prämissen kann frei gewählt werden. Die Reihenfolge, in der die Prämissen aufgeschrieben werden, ist für die Gültigkeit eines Syllogismus zwar unerheblich, dennoch wird bereits seit Aristoteles zuerst der Obersatz und im Anschluss der Untersatz genannt.
 
Je nach Anordnung der Begriffe in den Prämissen unterscheidet man die vier möglichen Figuren (σχἠματα, ''schemata''):
 
{| class="wikitable" style="text-align:center"
|-
|
! width="20%"|1. Figur
! width="20%"|2. Figur
! width="20%"|3. Figur
! width="20%"|4. Figur
|-
! style="text-align:right"| erste Prämisse
| M – P
| P – M
| M – P
| P – M
|-
! style="text-align:right"| zweite Prämisse
| S – M
| S – M
| M – S
| M – S
|-
! style="text-align:right"| Konklusion
| S – P
| S – P
| S – P
| S – P
|}
 
'''Beispiel:'''
:Prämisse 1 (oder ''Obersatz''): Alle Menschen ''(M)'' sind sterblich ''(P)''.
:Prämisse 2 (oder ''Untersatz''): Alle Griechen ''(S)'' sind Menschen ''(M)''.
:Konklusion (oder ''Schlusssatz''): Also sind alle Griechen ''(S)'' sterblich ''(P)''.
 
:Aufgrund der Stellung der Begriffe M&nbsp;–&nbsp;P, S&nbsp;–&nbsp;M, S&nbsp;–&nbsp;P erkennt man einen Syllogismus der 1.&nbsp;Figur.
 
=== Modi (Kombinationen) und ihre Merkwörter ===
Da jede der drei Aussagen in einem Syllogismus von einem der vier Typen A, E, O, I sein kann, gibt es pro Figur <math>4 \times 4 \times 4 = 64</math> Möglichkeiten, Aussagen zu einem Syllogismus der jeweiligen Figur zu kombinieren. Jede dieser Möglichkeiten wird ein Modus (Plural: Modi) bzw. eine Kombination der jeweiligen Figur genannt. Bei insgesamt vier verschiedenen Figuren gibt es so insgesamt <math>64 \times 4 = 256</math> Kombinationsmöglichkeiten, d.&nbsp;h. 256 Typen von Syllogismen. Unter diesen 256 Modi sind 24&nbsp;gültige und 232&nbsp;nicht gültige Syllogismen.
 
Ein Modus wird durch drei Buchstaben beschrieben. Dabei stehen die ersten beiden Buchstaben für die Typen der Prämissen, der dritte Buchstabe für den Typ der Konklusion.
 
'''Beispiel:'''
:Prämisse 1 (oder ''Obersatz''): Alle Krimis ''(M)'' sind spannend ''(P)''.
:Prämisse 2 (oder ''Untersatz''): Einige Bücher ''(S)'' sind Krimis ''(M)''.
:Konklusion (oder ''Schlusssatz''): Also sind einige Bücher ''(S)'' spannend ''(P)''.
 
: Prämisse 1 ist vom Typ A, Prämisse 2 vom Typ I, die Konklusion folglich ebenfalls vom Typ I. Es handelt sich also um einen Syllogismus vom Typ A–I–I.
 
Die 24 gültigen Modi werden traditionell mit folgenden Merkwörtern bezeichnet:
 
:1. Figur: '''Barbara, Celarent, Darii, Ferio,''' Barbari, Celaront
:2. Figur: '''Baroco, Cesare, Camestres, Festino,''' Camestrop, Cesaro
:3. Figur: '''Bocardo, Darapti, Datisi, Disamis, Felapton, Ferison'''
:4. Figur: '''Bamalip, Calemes, Dimatis, Fesapo, Fresison,''' Calemop
 
In diesen Merkwörtern bezeichnen die [[Vokal]]e die Typen der Aussagen in der Reihenfolge Obersatz–Untersatz–Konklusion; zum Beispiel bezeichnet Modus Darii einen Syllogismus der ersten Figur und vom Typ A–I–I. Die [[Konsonant]]en geben an, auf welchen Syllogismus der 1. Figur (erster Konsonant) der jeweilige Syllogismus zurückgeführt werden kann und durch welche Veränderung (jeweils auf Vokal folgender Konsonant) diese Zurückführung möglich ist (siehe Abschnitt [[#Reduktion auf die erste Figur|Reduktion auf die erste Figur]]).
 
Zu beachten ist, dass in der Tradition unterschiedliche Versionen der Merkwörter kursieren. Die ältesten überlieferten Versionen dieser [[Petrus Hispanus#Mnemotechnische Syllogistik|mnemotechnischen Syllogistik]] stammen von den scholastischen Logikern [[William of Sherwood]]<ref>siehe C. L. Hamblin: ''Fallacies.'' Methuen London 1970. ISBN 0-416-70070-5, Seite&nbsp;117, wo allerdings in Fußnote&nbsp;1 darauf hingewiesen wird, dass es Vorläufer gebe.</ref> und [[Petrus Hispanus]]<ref>Kneale/Kneale: ''The Development of Logic,'' Seite 231–234</ref> um 1240/1250, wobei die Priorität unsicher ist.
 
Die fünf nicht fett gedruckten Modi sind jeweils „schwache“ Folgerungen eines fett gedruckten „starken“ Modus der jeweiligen Figur. „Stark“ bedeutet dabei, dass die Konklusion eine allgemeine Aussage (A oder E) ist; „schwach“ bedeutet, dass die Konklusion eine partikuläre Aussage (I oder O) ist, die eine direkte Folgerung der jeweiligen starken Aussage ist. Es wird davon ausgegangen, dass schwache Modi erstmals 50&nbsp;v.&nbsp;Chr. von Ariston von Alexandria thematisiert wurden.<ref name="neb23-263" />
 
'''Beispiele:'''
* Modus Barbara (stark): Alle Münchner sind Bayern, alle Schwabinger sind Münchner, es folgt: Alle Schwabinger sind Bayern.
* Modus Barbari (schwach): Alle Münchner sind Bayern, alle Schwabinger sind Münchner, es folgt: Einige Schwabinger sind Bayern.
* Modus Celarent (stark): Kein Münchner ist Passauer, alle Schwabinger sind Münchner, es folgt: Kein Schwabinger ist Passauer.
* Modus Celaront (schwach): Kein Münchner ist Passauer, alle Schwabinger sind Münchner, es folgt: Einige Schwabinger sind keine Passauer.
 
Die schwachen Schlussfolgerungen sind logisch gültig, sofern gewisse Zusatzbedingungen erfüllt sind: Jeweils bestimmte Begriffe (Subjekt, Prädikat oder Mittelbegriff) dürfen nicht leer sein (siehe auch Abschnitt [[#Existenzielle Voraussetzungen|Existenzielle Voraussetzungen]]).
 
=== Reduktion auf die erste Figur ===
Mit einigen einfachen Umformungen, die in den Konsonanten der traditionellen Merkwörter kodiert sind, lassen sich die Modi aller Figuren auf einen Modus der ersten Figur zurückführen („reduzieren“). Diese Tatsache war bereits Aristoteles bekannt, der auch entsprechende Umformungsregeln formuliert hat und der die erste Figur als die vollkommene, Syllogismen der ersten Figur als ''vollkommenen Syllogismus'' (τέλειος συλλογισμός – ''téleios syllogismós'') bezeichnete.
 
Der Anfangsbuchstabe des jeweiligen traditionellen Merkwortes gibt an, auf welchen Modus der ersten Figur der jeweilige Modus zurückgeführt werden kann: Modi, deren Name mit „B“ beginnt, lassen sich auf den Modus Barbara zurückführen; Modi, deren Name mit „C“ beginnt, lassen sich auf den Modus Celarent zurückführen; und ebenso lassen sich Modi, deren Name mit „D“ bzw. mit „F“ beginnt, auf den Modus Darii bzw. Ferio zurückführen.
 
Die Umformungen der Syllogistik sind [[Schlussregel]]n im formalen Sinn, d.&nbsp;h. das Resultat jeder syllogistischen Umformung einer Aussage bzw. eines Syllogismus ''folgt'' aus der umgeformten Aussage bzw. aus dem umgeformten Syllogismus.
 
Die für die Reduktion erforderlichen Umformungen sind im Folgenden näher beschrieben; zusätzlich wird im Abschnitt [[#Beispiele und Reduktion auf die erste Figur|Beispiele und Reduktion auf die erste Figur]] für jeden syllogistischen Modus ein Beispiel genannt und dessen Reduktion auf die erste Figur gezeigt.
 
==== Einfache Umwandlung ====
Bei der einfachen Umwandlung (lat. ''conversio simplex'') werden Subjekt und Prädikat der jeweiligen Aussage vertauscht; so wird aus der Aussage „Einige Philosophen sind Griechen“ nach der einfachen Umwandlung die Aussage „Einige Griechen sind Philosophen“. In den Merkwörtern wird die einfache Umwandlung einer Aussage durch den Buchstaben „s“ hinter dem der betroffenen Aussage zugeordneten Vokal angezeigt; zum Beispiel muss beim Reduzieren des Modus Ce'''s'''are die erste Prämisse, eine E-Aussage, einer einfachen Umwandlung unterzogen werden.
 
Einfache Umwandlung ist nur bei Aussagen der Typen E und I möglich: Wenn keine Schweine Schafe sind, dann sind auch keine Schafe Schweine (E-Aussage); und wenn einige Griechen Philosophen sind, dann sind auch einige Philosophen Griechen (I-Aussage). Für die A- und O-Aussage ist keine einfache Umwandlung möglich: Wenn alle Philosophen Menschen sind, heißt das nämlich noch lange nicht, dass alle Menschen Philosophen sind (A-Aussage); und wenn einige Menschen keine Politiker sind, heißt das noch lange nicht, dass einige Politiker keine Menschen sind (O-Aussage). Tatsächlich sind unter den traditionellen Merkwörtern nur solche, bei denen das „s“ auf ein „e“ oder „i“ folgt.
 
Normalerweise wird die einfache Umwandlung auf die jeweilige Prämisse des zu reduzierenden Syllogismus angewendet. Steht das „s“ jedoch am Ende des Merkwortes, dann wird nicht die Konklusion des zu reduzierenden Syllogismus der einfachen Umwandlung unterzogen, sondern die Konklusion jenes Syllogismus der ersten Figur, ''auf den'' reduziert werden soll. Ein Beispiel für diesen Sonderfall ist der Modus Dimati'''s''': Er wird auf einen Modus Datisi zurückgeführt, in dessen Konklusion Subjekt und Prädikat vertauscht werden, also auf einen Syllogismus der Form „Alle P sind M. Einige M sind S. Also sind einige P S.“
 
==== Umwandlung durch Einschränkung ====
Bei der Umwandlung durch Einschränkung  (lat. ''conversio per accidens'') wird zusätzlich zur Vertauschung von Subjekt und Prädikat der jeweiligen Aussage ihr Typ von A auf I bzw. von E auf O geändert. So wird zum Beispiel aus der A-Aussage „Alle Schweine sind rosa“ nach der Umwandlung durch Einschränkung die I-Aussage „Einige rosa (Dinge) sind Schweine“ und wird aus der E-Aussage „Keine Schweine sind Schafe“ die O-Aussage „Einige Schafe sind keine Schweine“. In den Merkwörtern wird die Umwandlung durch Einschränkung durch den Buchstaben „p“ hinter dem der betroffenen Aussage zugeordneten Vokal angezeigt.
 
Auch bei dieser Umwandlung liegt ein Sonderfall vor, wenn das „p“ im Merkwort nach dem dritten Vokal –&nbsp;also am Wortende&nbsp;– steht: In diesem Fall bezieht es sich wie bei der einfachen Umwandlung nicht auf die Konklusion des zu reduzierenden Syllogismus, sondern auf die Konklusion des resultierenden Syllogismus der ersten Figur.
 
==== Vertauschung der Prämissen ====
Vertauschung der Prämissen (lat. ''mutatio praemissarum'') ist für die Reduktion all jener Modi erforderlich, in deren Merkwörtern der Konsonant „m“ an beliebiger Stelle vorkommt. Unabhängig von der Position des Konsonanten „m“ im jeweiligen Merkwort darf die Vertauschung der Prämissen erst ''nach'' jeder allenfalls erforderlichen einfachen Umwandlung und nach jeder allenfalls erforderlichen Umwandlung durch Einschränkung ausgeführt werden.
 
==== Indirekter Beweis ====
Modi, in deren Merkwörtern der Konsonant „c“ vorkommt, aber nicht am Wortanfang steht, –&nbsp;also nur die Modi Baroco und Bocardo&nbsp;– lassen sich nur durch einen [[Reductio ad absurdum|indirekten Beweis]] (lat. ''reductio ad absurdum'')<ref>Die Darstellung des indirekten Beweises im Syllogismus folgt sehr eng „Logic“, in: ''The New Encyclopaedia Britannica'', Chicago u.&nbsp;a. 15.&nbsp;Aufl. 2003, Band&nbsp;23, Seite&nbsp;262f.</ref> auf die erste Figur zurückführen. Zu diesem Behuf wird die Wahrheit der A-Prämisse des zu reduzierenden Syllogismus (im Fall von Baroco also die erste, im Fall von Bocardo die zweite Prämisse) sowie das kontradiktorische Gegenteil, d.&nbsp;h. die Negation der Konklusion angenommen. Auf diese Weise entsteht ein Modus Barbara, dessen Konklusion der O-Prämisse des zu reduzierenden Syllogismus widerspricht. Da die Annahme, die Konklusion treffe nicht zu, solcherart zu einem Widerspruch geführt hat, ist gezeigt, dass die Konklusion zutreffen muss.
 
Im Detail ausgeführt wird der indirekte Beweis in den Abschnitten [[#AOO – Modus Baroco|AOO&nbsp;–&nbsp;Modus Baroco]] und [[#OAO – Modus Bocardo|OAO&nbsp;–&nbsp;Modus Bocardo]].
 
==== Abweichende Darstellungen ====
Hinsichtlich der genauen Formulierung der Umwandlungsregeln gibt es bei den einzelnen Autoren Unterschiede; insbesondere ist es üblich,<ref>z.&nbsp;B. auch im Standardlehrbuch Otto Bird: ''Syllogistic and Its Extensions'', Englewood Cliffs: Prentice-Hall 1964, Seite&nbsp;27ff.</ref> auf den hier dargebrachten Sonderfall bei der einfachen Umwandlung und bei der Umwandlung durch Einschränkung zu verzichten und die Konsonanten „s“ und „p“ auch am Wortende auf den ''umzuwandelnden'' Syllogismus zu beziehen und nicht –&nbsp;wie hier dargestellt&nbsp;– auf den Ziel-Syllogismus. Diese Formulierung würde aber die Reduktion der beiden Modi „Bamalip“ und „Camestrop“ in der dargestellten Form unmöglich machen, weil weder für eine I-Aussage noch für eine O-Aussage eine Umwandlung durch Einschränkung möglich ist.
 
=== Beispiele und Reduktion auf die erste Figur ===
==== Zur ersten Figur des kategorischen Syllogismus ====
Die erste Figur hat folgende Form:
{{Schlusstabelle|P1=Obersatz: M&nbsp;–&nbsp;P|P2=Untersatz: S&nbsp;–&nbsp;M|S=Es folgt:|K=Konklusion: S&nbsp;–&nbsp;P}}
Ihre gültigen Modi sind [[Modus Barbara|Barbara]], Celarent, Darii, Ferio, Barbari und Celaront.
 
===== AAA – Modus Barbara =====
;Beispiel
{{Schlusstabelle|P1=Alle Rechtecke sind Vierecke|P2=Alle Quadrate sind Rechtecke|S=Es folgt:|K=Alle Quadrate sind Vierecke}}
 
===== EAE – Modus Celarent =====
;Beispiel
{{Schlusstabelle|P1=Kein Rechteck ist ein Kreis|P2=Alle Quadrate sind Rechtecke|S=Es folgt:|K=Kein Quadrat ist ein Kreis}}
 
===== AII – Modus Darii =====
;Beispiel
{{Schlusstabelle|P1=Alle Quadrate sind Rechtecke|P2=Einige Rhomben sind Quadrate|S=Es folgt:|K=Einige Rhomben sind Rechtecke}}
 
===== EIO – Modus Ferio =====
;Beispiel
{{Schlusstabelle|P1=Kein Säugetier atmet mit Kiemen|P2=Einige Wassertiere sind Säugetiere|S=Es folgt:|K=Einige Wassertiere atmen nicht mit Kiemen}}
 
===== AAI – Modus Barbari =====
;Beispiel
{{Schlusstabelle|P1=Alle Rechtecke sind Vierecke|P2=Alle Quadrate sind Rechtecke|S=Es folgt:|K=Einige Quadrate sind Vierecke}}
;Anmerkung:
:Barbari ist insofern ein abgeleiteter Modus, als seine Konklusion eine schwächere Folgerung der Konklusion von Modus Barbara ist: Wenn alle Quadrate Rechtecke sind, dann sind insbesondere auch einige Quadrate Rechtecke. Traditionell wird ein durch Abschwächung der Konklusion aus einem anderen Modus abgeleiteter Modus auch als schwacher Modus bezeichnet.
 
===== EAO – Modus Celaront =====
;Beispiel
{{Schlusstabelle|P1=Kein Rechteck ist ein Kreis|P2=Alle Quadrate sind Rechtecke|S=Es folgt:|K=Einige Quadrate sind keine Kreise}}
;Anmerkung:
:Die Konklusion von Celaront ist eine Abschwächung der Konklusion von Celarent: Wenn keine Quadrate Kreise sind, dann sind insbesondere auch einige Quadrate keine Kreise. Celaront wird daher traditionell als schwacher Modus bezeichnet.
 
==== Zur zweiten Figur des kategorischen Syllogismus und ihrer Reduktion auf die erste Figur ====
Die zweite Figur hat folgende Form:
{{Schlusstabelle|P1=Obersatz: P&nbsp;–&nbsp;M|P2=Untersatz: S&nbsp;–&nbsp;M|S=Es folgt:|K=Konklusion: S&nbsp;–&nbsp;P}}
Die gültigen Modi der zweiten Figur sind Baroco, Cesare, Camestres, Festino, Camestrop und Cesaro.
 
===== AOO – Modus Baroco =====
;Beispiel
{{Schlusstabelle|P1=Alle Professoren sind ernst|P2=Einige Dozenten sind nicht ernst|S=Es folgt:|K=Einige Dozenten sind nicht Professoren}}
;Reduktion des Beispiels auf die erste Figur
:Der Modus Baroco ist einer von nur zwei Modi, in deren Merkwort der Konsonant „c“ vorkommt, aber nicht am Wortanfang steht. Diese Konstellation zeigt an, dass zur Rückführung auf die erste Figur ein indirekter Beweis erforderlich ist. Für diesen indirekten Beweis wird ein Syllogismus konstruiert, dessen erste Prämisse die A-Prämisse des zu reduzierenden Syllogismus ist – im Beispiel also die Aussage „Alle Professoren sind ernst.“ Als zweite Prämisse des zu konstruierenden Syllogismus wird die kontradiktorische Verneinung der Konklusion des zu reduzierenden Syllogismus verwendet – im Beispiel also die Aussage „Alle Dozenten sind Professoren“ (dieses A-Urteil ist die Verneinung des O-Urteils „Einige Dozenten sind nicht Professoren“, vergleiche [[#Logisches Quadrat|Logisches Quadrat]]). Da das Merkwort „Baroco“ mit einem „B“ beginnt, werden die so aufgestellten Prämissen zu einem Syllogismus des Modus Barbara ergänzt, der dann vollständig lautet: „Alle Professoren sind ernst. Alle Dozenten sind Professoren. Also sind alle Dozenten ernst.“ Die Schlussfolgerung, dass alle Dozenten ernst sind, ist aber mit der O-Prämisse des zu reduzierenden Syllogismus unverträglich, die gerade lautete „Einige Dozenten sind nicht ernst“. Somit ist gezeigt, dass die Annahme, die Konklusion des zu reduzierenden Syllogismus treffe nicht zu, zu einem Widerspruch führt. Die Konklusion des zu reduzierenden Syllogismus muss daher zutreffen, der zu reduzierende Syllogismus also gültig sein.
 
===== EAE – Modus Cesare =====
;Beispiel
{{Schlusstabelle|P1=Kein Säugetier atmet durch Kiemen|P2=Alle Fische atmen durch Kiemen|S=Es folgt:|K=Kein Fisch ist ein Säugetier}}
;Reduktion des Beispiels auf die erste Figur: Das Merkwort „Cesare“ beginnt mit einem „C“, der Syllogismus muss sich daher auf einen Modus Celarent zurückführen lassen. Im Merkwort „Cesare“ steht unmittelbar nach dem „e“, das den Typ der ersten Prämisse angibt, der Buchstabe „s“, der die einfache Umwandlung der betroffenen Aussage einfordert. Wandelt man die erste Prämisse einfach um, entsteht die Aussage „Kein Kiemenatmer ist ein Säugetier“. Weitere bedeutungstragende Konsonanten kommen im Merkwort „Cesare“ nicht vor, deshalb ist die Umwandlung damit abgeschlossen. Tatsächlich ist der so entstandene Syllogismus „Kein Kiemenatmer&nbsp;(M) ist ein Säugetier&nbsp;(P). Alle Fische&nbsp;(S) atmen durch Kiemen&nbsp;(M). Also ist kein Fisch&nbsp;(S) ein Säugetier&nbsp;(P).“ ein Syllogismus vom Typ Celarent.
 
===== AEE – Modus Camestres =====
;Beispiel
{{Schlusstabelle|P1=Alle Fische atmen durch Kiemen|P2=Kein Säugetier atmet durch Kiemen|S=Es folgt:|K=Kein Säugetier ist ein Fisch}}
;Reduktion des Beispiels auf die erste Figur
:Der Anfangsbuchstabe „C“ des Merkwortes „Camestres“ zeigt an, dass die Reduktion zu einem Modus Celarent führen muss. Das „s“ nach dem Vokal „e“ der zweiten Prämisse zeigt an, dass jene einer einfachen Umwandlung unterzogen werden muss; dabei entsteht die neue Aussage „Kein Kiemenatmer ist ein Säugetier“. Das „m“ zeigt –&nbsp;ungeachtet seiner konkreten Position&nbsp;– an, dass die Prämissen nach allen anderen allfälligen Umformungen ausgetauscht werden müssen: Es entsteht der Syllogismus „Kein Kiemenatmer ist ein Säugetier. Alle Fische atmen durch Kiemen. Also ist kein Säugetier ein Fisch.“ Am Wortende des Merkwortes Camestres steht ein weiteres „s“, das an dieser Stelle eine einfache Umwandlung der Konklusion des Zielmodus, also des Celarent erfordert – und tatsächlich ist der Syllogismus „Kein Kiemenatmer ist ein Säugetier. Alle Fische atmen durch Kiemen. Also ist kein Säugetier ein Fisch.“ ein Modus Celarent, in dessen Konklusion die Stellung von Subjekt und Prädikat vertauscht ist.
 
===== EIO – Modus Festino =====
;Beispiel
{{Schlusstabelle|P1=Kein Tier, das mit Kiemen atmet, ist ein Säugetier|P2=Einige Wassertiere sind Säugetiere|S=Es folgt:|K=Einige Wassertiere atmen nicht mit Kiemen}}
;Reduktion des Beispiels auf die erste Figur
:Der Anfangsbuchstabe „F“ zeigt an, dass der Syllogismus sich auf einen Modus Ferio zurückführen wird lassen. Der Buchstabe „s“ nach dem ersten Vokal im Merkwort „Festino“ weist darauf hin, dass die erste Prämisse einer einfachen Umwandlung unterzogen werden muss; dabei entsteht die neue Aussage „Kein Säugetier atmet mit Kiemen“. Das Merkwort enthält keine weiteren bedeutungstragenden Konsonanten, und tatsächlich ist der durch diese eine Umwandlung entstandene Syllogismus „Kein Säugetier atmet mit Kiemen. Einige Wassertiere sind Säugetiere. Es folgt: Einige Wassertiere atmen nicht mit Kiemen.“ vom erwarteten Typ Ferio; die Reduktion ist damit erfolgreich abgeschlossen.
 
==== Zur dritten Figur des kategorischen Syllogismus und ihrer Reduktion auf die erste Figur ====
Die dritte Figur hat folgende Form:
{{Schlusstabelle|P1=Obersatz: M&nbsp;–&nbsp;P|P2=Untersatz: M&nbsp;–&nbsp;S|S=Es folgt:|K=Konklusion; S&nbsp;–&nbsp;P}}
 
Die gültigen Modi der dritten Figur sind Bocardo, Datisi, Disamis, Ferison, Darapti und Felapton.
 
===== OAO – Modus Bocardo =====
;Beispiel
{{Schlusstabelle|P1=Einige Münchner sind nicht Politiker|P2=Alle Münchner sind Stadtbewohner|S=Es folgt:|K=Einige Stadtbewohner sind nicht Politiker}}
 
;Reduktion des Beispiels auf die erste Figur:
:Das Merkwort „Bocardo“ enthält im Wortinneren den Konsonanten „c“, der die Notwendigkeit eines indirekten Beweises anzeigt. Für diesen wird ein neuer Syllogismus gebildet, dessen Prämissen die A-Prämisse des Bocardo –&nbsp;im Beispiel also die Aussage „Alle Münchner sind Stadtbewohner“&nbsp;– und die Verneinung der Konklusion des Bocardo ist: Verneint man die O-Aussage „Einige Stadtbewohner sind nicht Politiker“, dann entsteht die A-Aussage „Alle Stadtbewohner sind Politiker“. Da das Merkwort „Bocardo“ mit einem „B“ beginnt, ordnet man diese beiden Prämissen so an und ergänzt sie so um eine Konklusion, dass ein Syllogismus der Form Barbara entsteht. Für das Beispiel lautet dieser Syllogismus „Alle Stadtbewohner sind Politiker. Alle Münchner sind Stadtbewohner. Also sind alle Münchner Politiker.“ Die Konklusion, „Alle Münchner sind Politiker,“ widerspricht nun gerade der ersten Prämisse des zu reduzierenden Syllogismus, der Aussage „Einige Münchner sind nicht Politiker“; es ist daher gezeigt, dass die Annahme, die Konklusion des Bocardo –&nbsp;also die Aussage „Einige Stadtbewohner sind nicht Politiker“&nbsp;– sei falsch, zu einem Widerspruch führt – sie muss daher richtig sein.
 
===== AII – Modus Datisi =====
;Beispiel
{{Schlusstabelle|P1=Alle Rechtecke sind Vierecke|P2=Einige Rechtecke sind Quadrate|S=Es folgt:|K=Einige Vierecke sind Quadrate}}
;Reduktion des Beispiels auf die erste Figur:
:Das Merkwort „Datisi“ enthält als einzigen bedeutungstragenden Konsonanten den Buchstaben „s“ unmittelbar nach dem Vokalzeichen für die zweite Prämisse; diese muss daher einer einfachen Umwandlung unterzogen werden, d.&nbsp;h. ihr Subjekt und ihr Prädikat müssen ausgetauscht werden. Aus dieser Operation entsteht der Syllogismus „Alle Rechtecke sind Vierecke. Einige Quadrate sind Rechtecke. Also sind einige Vierecke Quadrate.“ Dieser Syllogismus ist von der Form Darii, die Reduktion damit abgeschlossen.
 
===== IAI – Modus Disamis =====
;Beispiel
{{Schlusstabelle|P1=Einige Früchte sind Äpfel|P2=Alle Früchte sind Pflanzen|S=Es folgt:|K=Einige Pflanzen sind Äpfel}}
;Reduktion des Beispiels auf die erste Figur:
:Das Merkwort „Disamis“ zeigt an, dass für die Reduktion auf einen Modus Darii zwei einfache Umwandlungen (Buchstabe „s“ hinter dem die jeweilige Aussage bezeichnenden Vokal), d.&nbsp;h. eine Vertauschung von Subjekt und Prädikat, sowie eine Vertauschung der Prämissen (Buchstabe „m“ an beliebiger Stelle) erforderlich sein wird. Einfache Umwandlungen der Prämissen müssen immer vor einer allfälligen Vertauschung ausgeführt werden. „Disamis“ fordert die einfache Umwandlung der ersten Prämisse, dabei entsteht der Satz „Einige Äpfel sind Früchte“. Für die zweite Prämisse fordert das Merkwort „Disamis“ keine Aktion, sodass im nächsten Schritt schon die Vertauschung der Prämissen (Buchstabe „m“) ausgeführt werden kann. Der dabei entstehende Syllogismus lautet „Alle Früchte sind Pflanzen. Einige Äpfel sind Früchte. Also sind einige Pflanzen Äpfel.“ An letzter Stelle –&nbsp;unmittelbar nach dem Vokal, der die Konklusion bezeichnet&nbsp;– enthält das Merkwort „Disamis“ ein weiteres „s“. Die Umwandlung der Konklusion –&nbsp;egal ob einfach oder durch Einschränkung&nbsp;– ist ein Sonderfall, weil hier nicht die Konklusion des zu reduzierenden Syllogismus gemeint ist, sondern die Konklusion des Modus, ''auf den'' reduziert werden soll. Das „s“ ist also an dieser Stelle die Anweisung, in der Konklusion von Modus Darii Subjekt und Prädikat auszutauschen, was zu einem Syllogismus der Gestalt „Alle M sind P. Einige S sind M. Also sind einige P S.“ führt. Dieses ist die Gestalt des reduzierten Disamis-Syllogismus: „Alle Früchte&nbsp;(M) sind Pflanzen&nbsp;(P). Einige Äpfel&nbsp;(S) sind Früchte&nbsp;(M). Also sind einige Pflanzen&nbsp;(P) Äpfel&nbsp;(S).“ Damit ist die Reduktion abgeschlossen.
 
===== EIO – Modus Ferison =====
;Beispiel
{{Schlusstabelle|P1=Keine Münchner sind Passauer|P2=Einige Münchner sind Studenten|S=Es folgt:|K=Einige Studenten sind nicht Passauer}}
;Reduktion des Beispiels auf die erste Figur:
:Das Merkwort „Ferison“ enthält nur einen bedeutungstragenden Konsonanten, das „s“ unmittelbar nach dem Vokal für die zweite Prämisse. Dies zeigt an, dass die zweite Prämisse einer einfachen Umwandlung unterzogen werden muss, d.&nbsp;h. einer Vertauschung ihres Subjekts und ihres Prädikats. Der so entstandene Syllogismus, „Keine Münchner sind Passauer. Einige Studenten sind Münchner. Also sind einige Studenten nicht Passauer.“, ist bereits ein Syllogismus der ersten Figur, und zwar –&nbsp;das Merkwort „Ferison“ beginnt mit einem „F“&nbsp;– vom Typ Ferio.
 
===== AAI – Modus Darapti =====
;Beispiel
{{Schlusstabelle|P1=Alle Quadrate sind Rechtecke|P2=Alle Quadrate sind Vierecke|S=Es folgt:|K=Einige Vierecke sind Rechtecke}}
;Anmerkung:
:Der Modus Darapti setzt voraus, dass das Subjekt nicht leer ist, dass es im Beispiel also tatsächlich Quadrate gibt; vergleiche Abschnitt [[#Existenzielle Voraussetzungen|Existenzielle Voraussetzungen]].
;Reduktion des Beispiels auf die erste Figur:
:Der Anfangsbuchstabe des Merkwortes „Darapti“ zeigt an, dass sich der Syllogismus auf den Modus Darii reduzieren lassen wird. An bedeutungstragenden Konsonanten enthält das Merkwort „Darapti“ nur das „p“, das eine Umwandlung durch Einschränkung bezeichnet. Das „p“ steht unmittelbar nach dem Vokal der zweiten Prämisse, also ist sie es, die durch Einschränkung umgewandelt werden muss. Bei der Umwandlung durch Einschränkung werden Subjekt und Prädikat des Satzes ausgetauscht und wird die Quantität der Aussage von allgemein auf partikulär geändert, entsteht also aus der Aussage „Alle Quadrate sind Vierecke“ die Aussage „Einige Vierecke sind Quadrate“. Da es keine weiteren bedeutungstragenden Konsonanten im Merkwort „Darapti“ gibt, ist die Reduktion an dieser Stelle abgeschlossen und ist der so entstandene Syllogismus „Alle Quadrate sind Rechtecke. Einige Vierecke sind Quadrate. Also sind einige Vierecke Rechtecke.“ ein Modus Darii.
 
===== EAO – Modus Felapton =====
;Beispiel
{{Schlusstabelle|P1=Keine Münchner sind Passauer|P2=Alle Münchner sind Stadtbewohner|S=Es folgt:|K=Einige Stadtbewohner sind keine Passauer}}
;Anmerkung:
:Der Modus Felapton setzt voraus, dass der Mittelbegriff nicht leer ist, dass es im Beispiel also tatsächlich Münchner gibt; vergleiche Abschnitt [[#Existenzielle Voraussetzungen|Existenzielle Voraussetzungen]].
 
;Reduktion des Beispiels auf die erste Figur:
:Modus Felapton wird sich mit einer Umwandlung durch Einschränkung (Buchstabe „p“) auf einen Modus Ferio reduzieren lassen. Das „p“ steht im Merkwort „Felapton“ hinter dem Vokal, der die zweite Prämisse bezeichnet; daher ist sie es, die umgewandelt werden muss. Bei der Umwandlung durch Einschränkung werden Subjekt und Prädikat der betroffenen allgemeinen Aussage ausgetauscht und wird sie zu einer partikulären Aussage umgewandelt: Aus „Alle Münchner sind Stadtbewohner“ wird „Einige Stadtbewohner sind Münchner.“ Der so entstandene Syllogismus „Keine Münchner sind Passauer. Einige Stadtbewohner sind Münchner. Also sind einige Stadtbewohner keine Passauer.“ ist von der Gestalt des Modus Ferio – die Reduktion ist damit abgeschlossen.
 
==== Zur vierten Figur des kategorischen Syllogismus und ihrer Reduktion auf die erste Figur ====
Die vierte Figur hat folgende Form:
{{Schlusstabelle|P1=Obersatz: P&nbsp;–&nbsp;M|P2=Untersatz: M&nbsp;–&nbsp;S|S=Es folgt:|K=Konklusion: S&nbsp;–&nbsp;P}}
Die gültigen Modi der vierten Figur sind Calemes, Dimatis, Fresison, Bamalip, Calemop und Fesapo.
 
===== AAI – Modus Bamalip =====
;Beispiel
{{Schlusstabelle|P1=Alle Quadrate sind Rechtecke|P2=Alle Rechtecke sind Vierecke|S=Es folgt:|K=Einige Vierecke sind Quadrate}}
;Anmerkung:
:Der Modus Bamalip setzt voraus, dass das Subjekt nicht leer ist, dass es im Beispiel also tatsächlich Quadrate und Rechtecke gibt (wobei die Existenz letzterer in diesem Fall aus der Existenz ersterer bereits folgt); vergleiche Abschnitt [[#Existenzielle Voraussetzungen|Existenzielle Voraussetzungen]].
 
;Reduktion des Beispiels auf die erste Figur:
:Für die Prämissen hat das Merkwort „Bamalip“ lediglich die eine Handlungsanweisung parat, ihre Reihenfolge zu vertauschen (Konsonant „m“ an beliebiger Stelle). Der zweite bedeutungstragende Konsonant im Wortinneren ist das „p“, das zu einer Umwandlung durch Einschränkung –&nbsp;d.&nbsp;h. eine Vertauschung von Subjekt und Prädikat einer Aussage sowie ihre Veränderung ihrer Quantität von allgemein (A, E) zu partikulär (I, O)&nbsp;– auffordert. Nun steht das „p“ aber am Wortende – dies ist der Sonderfall, bei dem nicht die Konklusion des zu reduzierenden Syllogismus umgewandelt werden muss, sondern die Konklusion des Syllogismus, ''auf den'' reduziert werden soll. Reduziert werden soll –&nbsp;das Merkwort „Bamalip“ beginnt mit „B“&nbsp;– auf Barbara, und unterzieht man dessen Konklusion, „Alle S sind P“, einer Umwandlung durch Einschränkung, so lautet sie „Einige P sind S“. Dem solcherart aus Modus Barbara entstandenen Syllogismus „Alle M sind P. Alle S sind M. Also sind einige P S.“ entspricht nun aber genau der umgeformte Syllogismus Bamalip, „Alle Rechtecke&nbsp;(M) sind Vierecke&nbsp;(P). Alle Quadrate&nbsp;(S) sind Rechtecke&nbsp;(M). Also sind einige Vierecke&nbsp;(P) Quadrate&nbsp;(S).“ Bamalip ist damit auf die erste Figur zurückgeführt.
 
===== AEE – Modus Calemes =====
;Beispiel
{{Schlusstabelle|P1=Alle Passauer sind Bayern|P2=Keine Bayern sind Sachsen|S=Es folgt:|K=Keine Sachsen sind Passauer}}
;Reduktion des Beispiels auf die erste Figur:
:Reduziert wird auf einen Modus Celarent, wie der Anfangsbuchstabe des Merkworts „Calemes“ anzeigt. Der letzte Vokal in „Calemes“ wird vom bedeutungstragenden Konsonanten „s“ gefolgt, der eine einfache Umwandlung der Konklusion in demjenigen Syllogismus anfordert, ''auf den'' reduziert werden soll. Wandelt man den Modus Celarent entsprechend um, d.&nbsp;h. vertauscht man in seiner Konklusion Subjekt und Prädikat, entsteht der Modus „Keine M sind P. Alle S sind M. Also sind keine P S.“ Auf diesen lässt sich Modus Calemes reduzieren, und zwar –&nbsp;der einzige weitere bedeutungstragende Konsonant im Merkwort „Calemes“ ist das „m“&nbsp;– durch eine Vertauschung seiner Prämissen. Der so entstehende Syllogismus ist von der gewünschten Gestalt: „Keine Bayern&nbsp;(M) sind Sachsen&nbsp;(P). Alle Passauer&nbsp;(S) sind Bayern&nbsp;(M). Also sind keine Sachsen&nbsp;(P) Passauer&nbsp;(S).“
 
===== IAI – Modus Dimatis =====
;Beispiel
{{Schlusstabelle|P1=Einige Rauten sind Rechtecke|P2=Alle Rechtecke sind Parallelogramme|S=Es folgt:|K=Einige Parallelogramme sind Rauten}}
;Reduktion des Beispiels auf die erste Figur:
:Reduziert wird auf Darii, wie der Anfangsbuchstabe des Merkwortes „Dimatis“ anzeigt. Das „m“ fordert eine Vertauschung der Prämissen. Das „s“ am Wortende zeigt die Notwendigkeit einer einfachen Umwandlung –&nbsp;d.&nbsp;h. Vertauschung von Subjekt und Prädikat&nbsp;– der Konklusion des ''Ziel''-Syllogismus, also des Darii an. Tatsächlich hat der entstandene Syllogismus die Gestalt eines Modus Darii mit derart umgewandelter Prämisse: „Alle Rechtecke&nbsp;(M) sind Parallelogramme&nbsp;(P). Einige Rauten&nbsp;(S) sind Rechtecke&nbsp;(M). Also sind Einige Parallelogramme&nbsp;(P) Rauten&nbsp;(S).“
 
===== EAO – Modus Fesapo =====
;Beispiel
{{Schlusstabelle|P1=Keine Passauer sind Münchner|P2=Alle Münchner sind Stadtbewohner|S=Es folgt:|K=Einige Stadtbewohner sind keine Passauer}}
;Anmerkung:
:Der Modus Fesapo setzt voraus, dass der Mittelbegriff nicht leer ist, dass es im Beispiel also tatsächlich Münchner gibt; vergleiche Abschnitt [[#Existenzielle Voraussetzungen|Existenzielle Voraussetzungen]].
 
;Reduktion des Beispiels auf die erste Figur:
:Um den Syllogismus auf einen Modus Ferio zurückzuführen (das Merkwort „Fesapo“ beginnt mit einem „F“) muss die erste Prämisse einer einfachen Umwandlung unterzogen werden (unmittelbar nach dem ersten Vokal im Merkwort „Fesapo“ steht ein „s“) und muss die zweite Prämisse einer Umwandlung durch Einschränkung unterzogen werden (unmittelbar nach dem zweiten Vokal im Merkwort „Fesapo“ steht ein „p“). Der solcherart entstehende Syllogismus ist tatsächlich vom Typ Ferio: „Keine Münchner&nbsp;(M) sind Passauer&nbsp;(P). Einige Stadtbewohner&nbsp;(S) sind Münchner&nbsp;(M). Also sind einige Stadtbewohner&nbsp;(S) keine Passauer&nbsp;(P).“
 
===== EIO – Modus Fresison =====
;Beispiel
{{Schlusstabelle|P1=Keine Passauer sind Münchner|P2=Einige Münchner sind Studenten|S=Es folgt:|K=Einige Studenten sind keine Passauer}}
 
;Reduktion des Beispiels auf die erste Figur:
:Um einen Modus Fresison auf die erste Figur zu reduzieren, müssen beide Prämissen einer einfachen Umwandlung unterzogen werden, denn das Merkwort Fresison enthält sowohl unmittelbar nach dem ersten Vokal als auch unmittelbar nach dem zweiten Vokal den Konsonanten „s“. Weitere bedeutungstragende Konsonanten sind nicht enthalten, sodass der durch diese beiden Umwandlungen entstehende Syllogismus bereits die Form eines Modus Ferio (das Merkwort „Fresison“ beginnt mit einem „F“) der ersten Figur hat: „Keine Münchner&nbsp;(M) sind Passauer&nbsp;(P). Einige Studenten&nbsp;(S) sind Münchner&nbsp;(M). Also sind einige Studenten&nbsp;(S) keine Passauer&nbsp;(P).“
 
== Wesentlich verschiedene Syllogismen ==
 
Die Äquivalenzen "XeY genau dann falls YeX" und ebenso "XiY genau wenn YiX" erlauben es, Syllogismen in mehreren Paaren miteinander zu identifizieren, im EIO-Fall sogar vier, durch alle vier Figuren. Dann bleibt eine verkürzte Liste von nur acht Syllogismen übrig, falls noch Abschwächungen gestrichen werden:  Barbara, Camestres, Fesapo, Ferio, Datisi und Baroco und Bocardo.
 
===== AAA – Modus Barbara =====
;Beispiel
{{Schlusstabelle|P1=Alle Rechtecke sind Vierecke|P2=Alle Quadrate sind Rechtecke|S=Es folgt:|K=Alle Quadrate sind Vierecke}}
 
===== AEE – Modus Camestres =====
;Beispiel
{{Schlusstabelle|P1=Alle Fische atmen durch Kiemen|P2=Kein Säugetier atmet durch Kiemen|S=Es folgt:|K=Kein Säugetier ist ein Fisch}}
 
===== EAE – Modus Celarent =====
;Beispiel
{{Schlusstabelle|P1=Kein Rechteck ist ein Kreis|P2=Alle Quadrate sind Rechtecke|S=Es folgt:|K=Kein Quadrat ist ein Kreis}}
 
===== EAO – Modus Fesapo =====
;Beispiel
{{Schlusstabelle|P1=Keine Passauer sind Münchner|P2=Alle Münchner sind Stadtbewohner|S=Es folgt:|K=Einige Stadtbewohner sind keine Passauer}}
 
===== EIO – Modus Ferio =====
;Beispiel
{{Schlusstabelle|P1=Kein Säugetier atmet mit Kiemen|P2=Einige Wassertiere sind Säugetiere|S=Es folgt:|K=Einige Wassertiere atmen nicht mit Kiemen}}
 
===== AII – Modus Datisi =====
;Beispiel
{{Schlusstabelle|P1=Alle Rechtecke sind Vierecke|P2=Einige Rechtecke sind Quadrate|S=Es folgt:|K=Einige Vierecke sind Quadrate}}
 
===== AOO – Modus Baroco =====
;Beispiel
{{Schlusstabelle|P1=Alle Fische atmet mit Kiemen|P2=Einige Wassertiere atmen nicht mit Kiemen|S=Es folgt:|K=Einige Wassertiere sind keine Fische}}
 
===== OAO – Modus Bocardo =====
;Beispiel
{{Schlusstabelle|P1=Einige Münchner sind nicht Politiker|P2=Alle Münchner sind Stadtbewohner|S=Es folgt:|K=Einige Stadtbewohner sind nicht Politiker}}
 
== Siehe auch ==
* {{WikipediaDE|Kategorie:Syllogistik}}
* {{WikipediaDE|Syllogismus}}
* {{Eisler|Syllogismus}}
* {{Kirchner|Syllogismus}}
 
== Literatur ==
* Aristoteles: ''Erste Analytiken I''. Aristoteles: Analytica Priora. Buch I. Übersetzt und erläutert von Theodor Ebert und Ulrich Nortmann. Berlin: Akademie Verlag, 2007 ISBN 978-3-05-004427-9 (mit umfangreichem Kommentar)
* Aristoteles: ''Analytica Posteriora''. Übersetzung und Kommentar von [[Wolfgang Detel]]. Berlin,  Akademie-Verlag 1998. ISBN 3-05-001796-1. (mit umfangreichem Kommentar)
* Aristoteles: ''Organon''. Griechisch-Deutsch. Übersetzung und Kommentar von H.G. Zekl. 4 Teile in 3 Bänden, Meiner&nbsp;2001, ISBN 3-7873-1596-9. (die Übersetzung ist bei ihrem ersten Erscheinen äußerst scharf als unbrauchbar kritisiert worden; vgl. die Rezension von Hermann Weidemann in: ''Zeitschrift für philosophische Forschung''&nbsp;53, 1999, Seite&nbsp;602–610)
* Aristoteles: ''Topik''. Ditzingen: Reclam 2004. (=Reclams Universal-Bibliothek 18337) ISBN 3-15-018337-5, ISBN 978-3-15-018337-3.
* Helmut Gätje: ''Bemerkungen zum System der Syllogismen''. Universität des Saarlandes, Fach Orientalistik, Saarbrücken 1978.
* Bruno von Freytag-Löringhoff: ''Über das System der modi des Syllogismus''. In: ''Zeitschrift für philosophische Forschung''. Bd.&nbsp;4, Nr.&nbsp;2/1949, S.&nbsp;235–256.
* Günther Patzig: ''Die aristotelische Syllogistik. Logisch-philologische Untersuchung über das Buch A der „Ersten Analytik“''. 3.&nbsp;Aufl., Göttingen, 1969.
* Albert Menne: ''Logik und Existenz. (Eine logistische Analyse der kategorischen Syllogismusfunktoren und das Problem der Nullklasse)'' Meisenheim 1954.
* Michael Wolff: ''Abhandlung über die Prinzipien der Logik. Mit einer Rekonstruktion der aristotelischen Syllogistik''. Zweite, verbesserte und erweiterte Auflage, Frankfurt am Main: Klostermann 2009. ISBN 978-3-465-03639-5.
* [[Joachim Stiller]]: [http://joachimstiller.de/download/philosophie_logik_einfuehrung_lehrbuch.pdf Einführung in die Logik - Ein Lehrbuch] PDF
* in englischer Sprache:
** Otto Bird: ''Syllogistic and Its Extensions'', Englewood Cliffs: Prentice-Hall 1964. (einfache Darstellung)
** William Kneale, Martha Kneale: ''The Development of Logic'', Clarendon Press 1962. ISBN 0-19-824773-7. (Standardwerk zur Geschichte der Logik)
** Jan Łukasiewicz: ''Aristotle's Syllogistic from the Standpoint of Modern Formal Logic'', Oxford: Clarendon Press <sup>2</sup>1957, danach Taylor & Francis 1987, ISBN 0-8240-6924-2. und Oxford University Press 1998 (=Oxford University Press Academic Monograph Reprints), ISBN 0-19-824144-5. (Standardwerk der modernen Syllogismusforschung)
** Paul Thom: ''The Syllogism'', München: Philosophia 1981, ISBN 3-88405-002-8.
 
== Weblinks ==
{{Commonscat|Syllogisms|Syllogismen}}
{{Wiktionary}}
* {{SEP|http://plato.stanford.edu/entries/aristotle-logic/|Aristotle's Logic|Robin Smith}}
* {{SEP|http://plato.stanford.edu/entries/medieval-syllogism/|Medieval Theories of the Syllogism|Henrik Lagerlund}}
* {{SEP|http://plato.stanford.edu/entries/square/|The Traditional Square of Opposition|Terence Parsons}}
* Niko Strobach: [http://www.philo.uni-saarland.de/people/analytic/strobach/neueseite/pdfs/homburg.pdf Neuere Interpretationen der aristotelischen Syllogistik] (PDF; 112&nbsp;kB)
* Edward D. Buckner. (Hg.): [http://www.logicmuseum.com/opposition/opposition.htm Square of Opposition] (Textsammlung, engl.)
* [http://www.begriffslogik.de/online/aristo/index.html syllogistisches Online-Programm]
* {{Webarchiv | url=http://webapp5.rrz.uni-hamburg.de/syllogism/aristotelianlogic | wayback=20090717150556 | text=Computational Aristotelian Term Logic}} – ausführliches Syllogistisches Online-Programm in englischer Sprache
 
== Einzelnachweise ==
<references />
 
{{Normdaten|TYP=s|GND=4184185-2}}
 
[[Kategorie:Wikipedia:Lesenswert]]
 
{{Wikipedia}}

Version vom 23. November 2019, 09:02 Uhr

Wolfgang, ich bin sauer

Ich bin schon weider stink sauer auf dich, dass Du im Anthrowiki immer den gleichen Schmarren unterzubringen versucht: Alchemie, Dante, Epiphänomenologie, und jetzt den Actus purus... Das ist alles reiner Satan... Joachim Stiller (Diskussion) 07:08, 23. Nov. 2019 (UTC)

Weißt Du, ich hatte mit dem Thema ontologisch eigentlich noch was vor, und jetzt fällst Du mir buchstäblich in den Rücken... Und das praktisch "ohne" äußeren Anlass... Joachim Stiller (Diskussion) 07:19, 23. Nov. 2019 (UTC)
Und komm bitte nicht auf die Ideee, auch noch einen Artikel zur evidenzbasierten Medizin anzulegen... Joachim Stiller (Diskussion) 07:53, 23. Nov. 2019 (UTC)
Leute, Ihr müsst den Satan scheneiden, nicht hofieren... Der Pöbel macht das, aber nicht der Eingeweihte... Joachim Stiller (Diskussion) 07:56, 23. Nov. 2019 (UTC)
Und wehe, jemand erstellt jemals einen Artikel zu richard Wagner... Dann wede ich den eigenhändig wieder löschen... 08:02, 23. Nov. 2019 (UTC)