Wahrheitskriterium des Euklid
Wahrheitskriterium des Euklid nennt man ein Beweisverfahren, das man symbolisch mit Hilfe der aussagenlogischen Tautologie (&;A &;A) &;A) ausdrücken kann. D. h.: wenn unter der Annahme der Negation &;A einer Aussage A ableitbar ist, dass A wahr ist, so ist A tatsächlich wahr.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