In a growing number of papers, one encounters arguments to the effect that certain philosophical views are objectionable because they would imply that there are necessary truths for whose necessity there is no explanation. That is, they imply that there are propositions p such that (a) it is necessary that p, but (b) there is no explanation why it is necessary that p. For short, they imply that there are “brute necessities.” Therefore, the arguments conclude, the views in question should (...) be rejected in favor of rival views under which the necessities would be explained. This style of argument raises a number of important and difficult questions. Do necessary truths really require explanation? Are they not paradigms of truths that either need no explanation or automatically have one, being in some sense self‐explanatory? If some necessary truths do require or admit of explanation, what types of explanation, are available? Are some necessary truths explained by other necessary truths? Are some necessary truths self‐explanatory? Are all necessary truths either self‐explanatory or explained by others? Or are there some necessary truths that are truly brute? This article surveys several representative arguments from brute necessity as well as a variety of answers to the questions above, noting their bearing on arguments from bruteness. (shrink)

Gaskin's book The Unity of the Proposition is very rich in material. I will focus only on its central thesis: Gaskin holds that Bradley's regress (more precisely, one particular version of it) is not only innocent, but in fact philosophically significant because it plays a crucial role in solving what Gaskin calls the problem of the unity of the proposition . In what follows, I first explain what that problem is meant to be ( section 1 ), then I present (...) and criticise Gaskin's proposal about how Bradley's regress bears on the problem ( section 2 ), and finally I sketch an alternative approach to the problem ( section 3 ). (shrink)

In Plato’s Euthyphro, Euthyphro proposes to analyse the pious as that which is beloved of the gods. In the most widely discussed argument of the dialogue, Socrates tries to show that Euthyphro’s analysis fails. The argument crucially involves an ingenious use of the explanatory connective ‘because’. This paper presents a detailed reconstruction and defence of the argument. It starts with a rigorous analysis of its logical form, explains and justifies its premises, and closes with a defence of the argument against (...) the strongest common objection. (shrink)

In spite of its significance for everyday and philosophical discourse, the explanatory connective has not received much treatment in the philosophy of logic. The present paper develops a logic for based on systematic connections between and the truth-functional connectives.