In this paper I present critical evaluations of Ayer and Putnam's views on the analyticity of geometry. By drawing on the historico-philosophical work of Michael Friedman on the relativized apriori; and Roberto Torretti on the foundations of geometry, I show how we can make sense of the assertion that pure geometry is analytic in Carnap's sense.

In a series of recent papers John Martin Fischer argues that the Molinist solution to the problem of reconciling divine omniscience with human freedom does not offer such a solution at all. Instead, he maintains, Molina simply presupposes theological compatibilism. However, Fischer construes the problem in terms of sempiternalist omniscience, whereas classical Molinism adopts atemporalism. I argue that, moreover, an atemporalist reformulation of Fischer’s argument designed to show that Molinism is not even consistent is unsuccessful as well, since it employs (...) a transfer principle about causal inaccessibility that Molina rightfully rejects. (shrink)

While Kant’s position concerning human freedom and divine foreknowledge is perhaps the least Molinist element of his multifaceted take on free will, Kant’s Molinism (minimally defined) is undeniable when it comes to the threat ensuing from the idea of creation. In line with incompatibilism and with careful qualifications in place, he ultimately suggests regarding free agents as uncreated. Given the limitations of our rational insight, this assumption is indispensable for granting that finite free agents can acquire their intelligible characters by (...) themselves. Nonetheless, Kant concedes that creation may, as a matter of fact, be compatible with what for Molina is the pre-volitionality of the counterfactuals of freedom. (shrink)

Assume that, even with a time machine, Tim does not have the ability to travel to the past and kill Grandfather. Why would that be? And what are the implications for traditional debates about freedom? We argue that there are at least two satisfactory explanations for why Tim cannot kill Grandfather. First, if an agent’s behavior at time _t_ is causally dependent on fact _F_, then the agent cannot perform an action (at _t_) that would require _F_ to have not (...) obtained. Second, if an agent’s behavior at time _t_ is causally dependent on fact _F_, then the agent cannot perform an action (at _t_) that would prevent _F_ from obtaining. These two explanations have distinct upshots for more traditional debates over freedom. The first implies that causal determinism is incompatible with the ability to do otherwise and also raises questions about the traditional arguments for the incompatibility of divine foreknowledge and the ability to do otherwise; the second does neither. However, both explanations imply that the Molinist account of divine providence renders agents unable to do otherwise, at least in certain circumstances. (shrink)