Exclusi tertii (medii) principium: Satz vom ausgeschlossenen Dritten (Mittleren): A ist B oder Nicht-B, ein Drittes ist unmglich. Von zwei Urteilen, die einander kontradiktorisch entgegengesetzt sind, mu eines wahr sein; es knnen nicht beide Urteile zugleich und in derselben Beziehung wahr oder falsch sein. Der Satz folgt unmittelbar aus dem Satze des Widerspruches (s. d.).
Schon ARISTOTELES spricht das Prinzip aus: tn d' antikeimenn antiphases men ouk esti metaxy (Met. X 7, 1057 a 33). Bei den Scholastikern findet es sich wiederholt (vgl. PRANTL, G. d. Log. IV). Nach G. E. SCHULZE drckt der Satz diejenige Einrichtung des Verstandes aus, vermge welcher der einander unmittelbar entgegengesetzten Begriffe immer nur zwei (nicht drei, non datur tertium, oder noch mehrere) mglich sind (Grunds. d. allg. Log.3, S. 34). Nach FRIES lautet der Satz: Jedem Gegenstand kommt entweder ein Begriff oder dessen Gegenteil zu (Syst. d. Log. S. 176). Nach HEGEL: Von zwei entgegengesetzten Prdikaten kommt dem Etwas nur das eine zu, und es gibt kein Drittes (Encykl. 119). Der Satz des ausgeschlossenen Dritten ist der Satz des bestimmten Verstandes, der den Widerspruch von sich abhalten will und, indem er dies tut, denselben begeht. A soll entweder + A oder - A sein; damit ist schon das Dritte, das A ausgesprochen, welches weder + noch - ist, und das ebensowohl auch als + und als - A gesetzt ist (ib.). HEBBART errtert den Satz ausfhrlich (De princ. leg. excl. med. 1833). SCHOPENHAUER formuliert: Jedem Subjekt ist jegliches Prdikat entweder beizulegen oder abzusprechen. Hier liegt im Entweder-Oder schon, das nicht beides zugleich geschehen darf, folglich eben das, was die Gesetze der Identitt und des Widerspruches besagen: Diese wrden also als Corollarien jenes Satzes hinzukommen, welcher eigentlich besagt, da jegliche zwei Begriffssphren entweder als vereint oder als getrennt zu denken sind, nie aber als beides zugleich (W. a. W. u. V. II. Bd., C 9). Nach SIGWART besagt der Satz, da von zwei contradictorisch entgegengesetzten Urteilen das eine notwendig wahr ist (Log. I, 196); nach B. ERDMANN: Wenn ein bejahendes Urteil als wahr gegeben ist, so ist das widersprechende verneinende falsch und umgekehrt (Log. I, 366). WUNDT bestimmt den Satz als Grundgesetz der disjunktiven Urteile. In der Formel, A ist entweder B oder non-B' ist das Ideal einer logischen Disjunktion aufgestellt, insofern die Begriffe B und non-B einerseits schlechthin voneinander verschieden sind, anderseits aber ein dritter Begriff zwischen ihnen nicht existiert (Log. I, 509). SCHUPPE meint, es lasse sich bei der Unbestimmtheit der Begriffe und der Mehrdeutigkeit der Worte nur behaupten, da jeder in einem Ganzen ins Auge gefate Einzelzug mit jeder Prdikatsvorstellung entweder identisch ist oder nicht (Log. S. 43). Nach SCHUBERT-SOLDERN spricht der Satz nur aus, da zwei Inhalte oder die Beziehungen zweier Inhalte entweder vereinbar oder unvereinbar, trennbar oder untrennbar, unterscheidbar oder ununterscheidbar seien (Gr. e. Erk. S. 175). Vgl. HAGEMANN, Log. u. Noet.5, S. 23).
