 If logical truth are ones whose truth is guaranteed as long as the meaning of the logical constants is kept fixed then logical truths are good candidates for being analytic truths. Can analytic truths imply the existence of any entities? This is an old debate, often conducted using “conceptual truths” instead of “analytic truths”. The most prominent debate of this kind is the debate about the ontological argument for the existence of God. Many philosophers have maintained that there can be no conceptual contradiction in denying the existence of particular entities, and thus there can be no proof of their existence with conceptual truths alone. In particular, an ontological argument for the existence of God is impossible. A famous discussion to this effect is Kant’s discussion of the ontological argument in (Kant 1781/7), namely (KrV A592/B620 ff.) On the other hand, many other philosophers have maintained that such an ontological argument is possible, and they have made a variety of different proposals how it can go. We will not discuss the ontological argument here, however, it is discussed in detail in different formulations in the entry on  ontological arguments  in this encyclopedia.