Lexikon der Argumente

 

V 111
Urteilsfunktion/Quine: statt der mehrwertigen Logik: wenn Bsp weder "Es ist eine Maus" noch "Es ist ein Eichhörnchen" behauptet wird, lehnt man die Konjunktion ab. Aber bei dem Bsp "Es ist eine Maus"/"Es ist in der Küche" wird man die Konjunktion offen lassen, wenn keiner der Teile behauptet oder verneint wird. >Urteile/Quine.
IX 17f
Funktionen/Quine: Funktionen können als Relationen interpretiert werden. Bsp die Funktion "Quadrat von" kann als die Relation {xy: x = y²} zwischen Quadrat und Wurzel erklärt werden. Aber nicht jede Relation ist eine Funktion. Entscheidend ist, dass wir von dem R von x sprechen können, wenn es überhaupt eins gibt: "das Quadrat von n".
Def "Funk R": steht für "R I ^R ⊆ I" oder "∀x∀y∀z[(xRz ∧ yRz) > x = y]" (Identität).
Das bedeutet, dass nicht zwei Dinge zu demselben Ding in der Relation R stehen.
Nicht-Funktion: auch wenn R eine Nicht-Funktion ist, ist es bequem zu sagen, dass genau ein Ding zu einem Ding x in der Relation R steht. x ist dann das Argument von R.