Divine necessity is the thesis that God must exist. In this paper, I give a brief survey of what the thesis is more exactly, the main arguments for it, and the main arguments against it.

I describe a new argument for the existence of God, and argue one of its steps. En route I criticize class-nominalist theories of attributes, and sketch an alternate theory involving God.

Many philosophers believe that when a theory is committed to an apparently unexplainable massive correlation, that fact counts significantly against the theory. Philosophical theories that imply that we have knowledge of non-causal mind-independent facts are especially prone to this objection. Prominent examples of such theories are mathematical Platonism, robust normative realism and modal realism. It is sometimes thought that theists can easily respond to this sort of challenge and that theism therefore has an epistemic advantage over atheism. In this paper, (...) I will argue that, contrary to widespread thought, some versions of theism only push the challenge one step further and thus are in no better position than atheism. (shrink)

It is widely believed that some a priori necessary truths are not analytic in the sense of transformable by substitution of synonyms into logical truths. One much-cited example comes from the supposed incompatibility between colour predicates. The idea is that sentences like “Nothing is both blue all over (or uniformly or at a point) and also red” are not transformable into a logical truth in the same way as “Nothing is both a bachelor and married” because the requisite conceptual link (...) between “bachelor” and “not married” is absent between “blue” and “not red”. This paper examines whether colour exclusion may be more like the bachelor case than it initially appears. It transpires that the most promising line of thought is not, however, as has been argued at length in the literature, that “blue” in some more or less convoluted way manages to mean “not red”. Instead it is suggested that the requisite conceptual link may reside in the oft-ignored qualifications (“all over”, “uniformly”, etc.), without which there is no incompatibility in the first place. (shrink)