Innere und äußere Wahrheitswertfunktion
Bo&;var unterscheidet in der mehrwertigen Logik zwischen inneren und äußeren Wahrheitswertfunktionen.Die inneren Wahrheitswertfunktionen bilden die von 0, 1 verschiedenen Quasiwahrheitswerte stets wieder auf solche Quasiwahrheitswerte ab.
Die äußeren Wahrheitswertfunktionen nehmen nur die Werte 0, 1 als Funktionswerte an.
Diese Klassifikation ist freilich nicht vollständig.
Ein Beispiel für eine innere Negation ist die Negation der mehrwertigen Logik von &;ukasiewicz und Tarski, deren dreiwertige Variante auch von Bo&;var in seinen Systemen benutzt wurde.
Ein Beispiel für die äußere Negation ist die Gödel-Negation.
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