Nichtprädikative Definition
Definition, in die der zu bestimmende Gegenstand mittels einer Menge eingeführt wird, zu der dieser Gegenstand als Element gehört, "Der Mitarbeiter, der die Lohnabteilung leitet".In der Sprache der mathematischen Logik kann man eine nichtprädikative Definition folgendermaßen charakterisieren: Eine Menge M und ein Objekt m sind derart definiert, dass einerseits m Element von M ist, und andererseits die Definition von m von M abhängt. Eine derartige Definition von m und M heißt nichtprädikativ.
Nach Ansicht von Kleene ist die nichtprädikative Definition eine Definition, die zumindest der Form nach den logischen Fehler circulus vitiosus enthält.
Aber es gibt auch nichtprädikative Definitionen, die korrekt sind, z. B. "Zwei ist eine Zahl, die zu sich selbst addiert, genau ihr Quadrat ergibt".
Der Terminus nichtprädikative Definition wurde von Poincaré eingeführt.
a – Axiom | Badische Schule – Buridians Esel | C – covering-law model | Daimonion – Dysteleologie | e – externe Relation | fallacia – Für-Wahr-Halten | G43-Implikation – Gruppe, Berliner | Halbierungsparadoxie – Hysteresis | i – Isosthenie der Argumente | judicium | K – Kyrieuon | language of thought – Lust, sinnliche | M – Münchhausentrilemma | N – nyāya-Schule | o – Oxymoron | P – Pythagoreismus | Quadrat, logisches – Quodlibetarier | R – Russell’s Antinomie | S – Szientismus | t – twin earth | Übel – utraque praemissa … | Vagheit – Vulgärmaterialismus | w – Würde | x – XYZ | Yager-Intersection – Yoga | Zadeh-1-Implikation – Zynismus