 It should be emphasized that Church’s realism about propositions is not supposed to follow from their role in causal explanations but from his view that no logistic theory that is both true and humanly understandable can do without them. It is to this that we now turn.