Satz vom zureichenden Grunde

Satz vom zureichenden Grunde (lat. lex rationis determinantis sive sufficientis) oder Prinzip vom zureichenden Grunde ist einer der vier Hauptsätze der klassischen formalen Logik. Diesem Satz zufolge muß jeder wahre Gedanke durch einen anderen Gedanken begründet werden, dessen Wahrheit bewiesen ist.

Schon Leukipp und Demokrit kannten den Satz vom zureichenden Grunde.Sie sagten: Kein Ding entsteht ohne Ursache, alles entstehtaus irgendeinem Grunde und mit Notwendigkeit.

Demokrit interpretiert den Satz vom zureichenden Grunde ontologisch:

"Nichts geschieht ohne Ursache, sondern alles hat einen zureichenden Grund."

Er sagt auch:

"Nicht ein Ding entsteht ohne Ursache, sondern alles entsteht aus irgendeinem Grund und mit Notwendigkeit."

Die Entdeckung des Satzes vom zureichenden Grunde wird gewöhnlich Leibniz zugeschrieben.

Leibniz formulierte: "Im Sinne des zureichenden Grundes [raison suffisante] finden wir, dass keineTatsache als wahr oder existierend und keine Aussage als wahr betrachtet werden kann, ohne dass ein zureichender Grund vorhanden wäre, warum es so ist und nicht anders …" [1]

Den Satz vom zureichenden Grunde betrachtete Leibniz als Prinzip aller Erfahrungswahrheiten, im Unterschied zum Satz vom Widerspruch, der von ihm als Prinzip aller Wahrheiten des Verstandes interpretiert wurde.

Der Satz des zureichenden Grundes hat seine ontologische Entsprechung im Satz des Grundes.

[1] Leibniz, G. W.: Monadologie, &; 33, Nr. 32

Schadenfreude

Die Schadenfreude scheint mir als ethische Kategorie – wie viele ähnliche – noch unerforscht. Allerdings teilt Seneca mit:

"Nur drängende Not zwingt die Tiere anderen zu schaden. Sie werden durch Hunger oder Furcht zum Kampf gedrängt. Dem Menschen aber macht es Freude, seine Mitmenschen ins Verderben zu stürzen." [L. A. Seneca: Mächtiger als das Schicksal. Leipzig 1942, 658].

Russell’s Antinomie

Russells Antinomie (1901) ist eine logische Antinomie. Sie geht in der mengentheoretischen Formulierung davon aus, dass eine Menge dadurch bestimmt ist, dass ihre Elemente eine bestimmte Bedingung erfüllen. Gewisse Mengen scheinen zudem Elemente von sich selbst sein zu können, so die Menge der Mengen. Betrachtet man z. B. die Menge der Mengen, die nicht Element von sich selbst sind, und nennt sie S. S ist entweder Element von sich oder nicht. Im ersten Fall ist S Element der Menge der Mengen, die nicht Element ihrer selbst sind. S ist deshalb nicht Element von sich selbst. Wenn S jedoch nicht Element von sich selbst ist, ist S Element der Menge der Mengen, die nicht Element von sich selbst sind. S ist deshalb Element von sich selbst. Folglich: S ist Element von sich selbst, dann und nur dann, wenn S nicht Element von sich selbst ist.

Diese Antinomie besitzt eine logische Variante, in der die Eigenschaft nicht Eigenschaft seiner selbst sein oder die Eigenschaft, imprädikabel zu sein, betrachtet wird. Es lässt sich zeigen, dass imprädikabel imprädikabel ist, eben wenn imprädikabel nicht imprädikabel ist.

Sekundäre Induktion

Nach dem Charakter des Ergebnisses unterscheidet man bei den Induktionen die primäre Induktion von der sekundären Induktion.

Das Ergebnis einer sekundären Induktion ist eine Theorie. Aus einer Reihe von allgemeinen Sätzen wird eine Theorie erschlossen.

Substantieller Kontextualismus

In Analogie zur Unterscheidung zwischen dem formalen Fundamentalismus und dem substantiellen Fundamentalismus unterscheide ich den formalen Kontextualismus vom substantiellen Kontextualismus.

Der substantielle Kontextualismus fügt dem formalen Kontextualismus Aussagen darüber hinzu, welche Meinungen basale Meinungen sind und wie sie vom Kontext abhängen.