Books on Amazon
|Multi-valued Logic||II 144
Three-valued logic/Kleene/Field: Def correct/Kleene: an assertion is correct only if it has the highest of the three truth values. Field: Problem: not all of Tarski’s biconditionals remain correct. Even E.g. "If A, then A" is not generally assertible. Therefore, the Kleene logic is weak. - "If A then A" is not generally assertible -> Restall: "n-fold jump" ... + ...
Material conditional/Three-valued logic/Kleene/Field: the materal conditional is a conditional that has one of the two highest truth values. - So the Curry paradox is impossible: "If this statement is true, then p".
Realism, Mathematics and Modality Oxford New York 1989
Truth and the Absence of Fact Oxford New York 2001
Science without numbers Princeton New Jersey 1980