 Frege’s position, according to Church, is that “there are two such things as truth and falsehood” (1956a: §4). Of course, it also follows from Church’s semantic theory together with his criterion of ontological commitment that there are two such things as truth and falsehood. What, then, is the disagreement with Frege? It appears to be that because Church postulated the two truth values relative to a logistic theory, and because he did not claim to have demonstrated conclusively the truth of one such theory, he still saw room for consideration of competing logistic theories, and so competing ontologies, which do not postulate truth values as objects (cf. 1966).