Predicting Presupposition Projection : some alternatives in the strong Kleene tradition ∗

This paper presents an architecture for evaluating presuppositional expressions that predicts the projection behavior of functions from their (bivalent) truth-conditional contributions. The resulting system demonstrates how a static, trivalent account can compete with other alternatives to address certain theoretical complaints raised against older projection theories, and makes a number of interesting new predictions. 1 Some Problems for a Theory of Presupposition