It is generally agreed that there are two kinds of indicative conditionals that do not contain conditional ‘then.’ There are hypothetical conditionals such as ‘If Mary has done the groceries, there is beer in the fridge’ and there are biscuit conditionals such as ‘If you are thirsty, there is beer in the fridge.’ There is also broad consensus that we cannot find an analogous distinction between hypothetical and biscuit conditionals within indicative conditionals that do feature ‘then.’ Conditionals containing ‘then,’ it is assumed, are uniformly read as hypothetical conditionals. In this article, I shall argue that there are biscuit conditionals featuring ‘then.’ This result, I take it, is not only interesting on its own. It also puts pressure on the popular view that conditional ‘then’ triggers the presupposition that in some situations in which the conditional’s antecedent is not true, its consequent is not true either.

In this paper, I ask whether there is a defensible philosophical view according to which everybody is beautiful. I review two purely aesthetical versions of this claim. The No Standards View claims that everybody is maximally and equally beautiful. The Multiple Standards View encourages us to widen our standards of beauty. I argue that both approaches are problematic. The former fails to be aspirational and empowering, while the latter fails to be sufficiently inclusive. I conclude by presenting a hybrid ethical–aesthetical view according to which everybody is beautiful in the sense that everybody can be perceived through a loving gaze (with the exception of evil individuals who are wholly unworthy of love). I show that this view is inclusive, aspirational and empowering, and authentically aesthetical.

Most philosophers seem to be under a misleading impression about the difference between ‘and’ and ‘but’. They hold that they are truth-functional equivalents but that ‘but’ adds a Gricean ‘conventional implicature’ to ‘and’. Frege thought that the implicature attached to ‘but’ was that the second clause is unlikely given the first; others have simply said they express a contrast between the two. Though the second formulation may seem more general, in practice writers seem to agree with Frege’s idea. The present note will argue against this conventional view. Indeed, ‘and’ and ‘but’ may both convey conflicting implicatures; and the traditional characterization of the implicature of ‘but’ is outright mistaken, or at least misleading.

Halbach has argued that Tarski biconditionals are not ontologically conservative over classical logic, but his argument is undermined by the fact that he cannot include a theory of arithmetic, which functions as a theory of syntax. This article is an improvement on Halbach’s argument. By adding the Tarski biconditionals to inclusive negative free logic and the universal closure of minimal arithmetic, which is by itself an ontologically neutral combination, one can prove that at least one thing exists. The result can then be strengthened to the conclusion that infinitely many things exist. Those things are not just all Gödel codes of sentences but rather all natural numbers. Against this background inclusive negative free logic collapses into noninclusive free logic, which collapses into classical logic. The consequences for ontological deflationism with respect to truth are discussed.

This paper addresses the question of what is distinctive about classical mathematics. The answer given is that it depends on a certain notion of conditionality, which is best understood as telling us something about the structure of themathematics in question, and not something about the logical particle ‘if’.

Numbers Skeptics deny that when faced with a choice between saving some innocent people from harm and saving a larger number of different, though equally innocent, people from suffering a similar harm you ought to save the larger number. In this article, I aim to put pressure on Numbers Skepticism.

In a range of recent and not so recent work (Moltmann 2003a, 2003b, 2004, 2013, 2014, 2016b, 2016d), I have developed a novel semantics of attitude reports on which the notion of an attitudinal object or cognitive product takes center stage, that is, entities such as thoughts claims and decisions. The purpose of this note is to give a brief summary of this account against the background of the standard semantics of attitude reports and to show that the various sorts of criticism that Felappi (2014) recently advanced against it are mistaken.

Lange (2009) offers an argument that, according to him, “does not show merely that some proofs by mathematical induction are not explanatory. It shows that none are […]” (p. 210). The aim here is to present a counterexample to his argument.

Whenever a fact P grounds another fact Q, one may ask why that is so. Karen Bennett (2011) and Louis deRosset (2013) independently argue that grounding facts—such as the fact that P grounds Q—are always grounded in their grounds-part (what stands in P’s position). Bennett calls this the view that grounding is superinternal. My aim in this paper is to argue that grounding is not superinternal. I will do so by showing that superinternality, together with some widely accepted formal features of grounding—namely, transitivity and necessitation—yield implausible claims about how necessities are explained. Then, I will discuss how my argument compares with Dasgupta’s (2014) argument against superinternality.

In the face of the puzzles of material constitution, some philosophers (hylomorphists) have been moved to posit a distinction between an object’s matter and its form. A familiar difficulty for contemporary hylomorphism is to say which properties are eligible as forms: for example, it seems that it would be intolerably arbitrary to say that being statue shaped is embodied by some material object, but that other complex shape properties aren’t. Anti-arbitrariness concerns lead quickly to a plenitudinous ontology. The usual complaint is that the super-abundance of material objects is too extraordinary to accept, but I want to raise a different worry: I argue that the most natural way of developing this picture is already inconsistent. I show that a simple version of plenitudinous hylomorphism is subject to a Russellian argument, but argue that we cannot treat the problem straightforwardly as an instance of Russell’s Paradox of Sets.

It is commonly held that the ascription of truth to a sentence is intersubstitutable with that very sentence. However, the simplest subclassical logics available to proponents of this view, namely K3 and LP, are hopelessly weak for many purposes. In this article, I argue that this is much more of a problem for proponents of LP than for proponents of K3. The strategies for recapturing classicality offered by proponents of LP are far less promising than those available to proponents of K3. This undermines the ability of proponents LP to engage in public reasoning in classical domains.

David Lewis (1976a: 22) defends the following "non-circular definition of personhood": "something is a continuant person if and only if it is a maximal R-interrelated aggregate of person-stages. That is: if and only if it is an aggregate of person-stages, each of which is R-related to all the rest (and to itself), and it is a proper part of no other such aggregate." I give a counterexample, involving a person who is a part of another, much larger person, with a separate mental life. I then offer an easy repair, which preserves the virtues of Lewis’s definition without introducing any new vices.

One strategy for defending paraconsistent logics involves raising ‘normative arguments’ against the inference rule explosion. Florian Steinberger systematically criticises a wide variety of formulations of such arguments. I argue that, for one such formulation, Steinberger’s criticisms fail. I then sketch an argument, available to those who deny dialetheism, in defence of the formulation in question.