Analytic philosophy has recently demonstrated a revived interest in metaphysical problems about possibility and necessity. Graeme Forbes here provides a careful description of the logical background of recent work in this area for those who may be unfamiliar with it, moving on to d discuss the distinction between modality de re and modality de dicto and the ontological commitments of possible worlds semantics. In addition, Forbes offers a unified theory of the essential properties of sets, organisms, artefacts, substances, and events, (...) based on the doctrine that identity facts must be intrinsically grounded, and analyzes and rejects apparent counterexamples to this doctrine. (shrink)

The Growing-Block view of time has some problems with the past. It is committed to the existence of the past, but needs to say something about the difference between the past and present. I argue that we should resist Correia and Rosenkranz’ response to Braddon-Mitchell’s argument that the Growing-Block leads to scepticism about whether we are present. I consider an approach, similar to Peter Forrest, and show it is not so counter-intuitive as Braddon-Mitchell suggests and further show that it requires (...) no ‘semantic and metaphysical gymnastics’, as Chris Heathwood has suggested. In doing these things I make the problem of the past on the Growing-Block view a problem in its history, not its present. (shrink)

Ascriptions of mental states to oneself and others give rise to many interesting logical and semantic problems. Attitude Problems presents an original account of mental state ascriptions that are made using intensional transitive verbs such as 'want', 'seek', 'imagine', and 'worship'. Forbes offers a theory of how such verbs work that draws on ideas from natural language semantics, philosophy of language, and aesthetics.

Growing-Block theorists hold that past and present things are real, while future things do not yet exist. This generates a puzzle: how can Growing-Block theorists explain the fact that some sentences about the future appear to be true? Briggs and Forbes develop a modal ersatzist framework, on which the concrete actual world is associated with a branching-time structure of ersatz possible worlds. They then show how this branching structure might be used to determine the truth values of future contingents. They (...) point out three different ways of interpreting the logical connectives, which give rise to three different logics of the open future: one supervaluationist, one corresponding to Lukasiewicz's strong Kleene logic, and one intuitionist. (shrink)

In this article, we consider two independently appealing theories—the Growing-Block view and Humean Supervenience—and argue that at least one is false. The Growing-Block view is a theory about the nature of time. It says that past and present things exist, while future things do not, and the passage of time consists in new things coming into existence. Humean Supervenience is a theory about the nature of entities like laws, nomological possibility, counterfactuals, dispositions, causation, and chance. It says that none of (...) these entities are fundamental, since if they were, this would entail the existence of irreducible necessary connections between matters of fact. Instead, these entities supervene on a fundamental, non-nomological ‘Humean mosaic’ of property instances at spacetime points. We will further explain and motivate the Growing-Block view and Humean Supervenience in Sects. 2 and 3, but first, we turn to our master argument. (shrink)

This paper is about a substitution-failure in attitude ascriptions, but not the one you think. A standard view about the semantic shape of ‘that’-clause attitude ascriptions is that they are fundamentally relational. The attitude verb expresses a binary relation whose extension, if not empty, is a collection of pairs each of which consists in an individual and a proposition, while the ‘that’-clause is a term for a proposition. One interesting problem this view faces is that, within the scope of many (...) attitude verbs, ‘that’-clauses are not interchange able with certain other terms which stand for the same propositions as the clauses are supposed to. For example, (1a) below may be true, but (1c) is probably not: (1) a. Holmes {fears/suspects} that Moriarty has returned. b. That Moriarty has returned is the proposition that Moriarty has re turned. c. Holmes {fears/suspects} the proposition that Moriarty has returned. For only the exceptionally timorous fear propositions, and, excluding contexts in which we speak of a ‘suspect premise’, only the unusually paranoid suspect them. The truth-conditional change eVected by substituting propositional descrip tion for ‘that’- clause illustrated in (1) occurs with a wide range of attitude verbs. If you understand that the window of opportunity is closing, perhaps you should act before it is too late, but if you mere-. (shrink)

We show that five important elements of the ‘nomological package’— laws, counterfactuals, chances, dispositions, and counterfactuals—needn’t be a problem for the Growing-Block view. We begin with the framework given in Briggs and Forbes (in The real truth about the unreal future. Oxford studies in metaphysics. Oxford University Press, Oxford, 2012 ), and, taking laws as primitive, we show that the Growing-Block view has the resources to provide an account of possibility, and a natural semantics for non-backtracking causal counterfactuals. We show (...) how objective chances might ground a more fine-grained concept of feasibility, and furnished a places in the structure where causation and dispositions might fit. The Growing-Block view, thus understood, provides the resources to explain the close link between modality and tense, so that it predicts modal change as time passes. This account lets us capture not only what the future might hold for us, and also what might have been. (shrink)

Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing texts, Modern Logic (...) gives equal weight to semantics and proof theory and explains their relationship, and develops in detail techniques for symbolizing natural language in first-order logic. After a general introduction featuring the notion of logical form, the book offers sections on classical sentential logic, monadic predicate logic, and full first-order logic with identity. A concluding section deals with extensions of and alternatives to classical logic, including modal logic, intuitionistic logic, and fuzzy logic. For students of philosophy, mathematics, computer science, or linguistics, Modern Logic provides a thorough understanding of basic concepts and a sound basis for more advanced work. (shrink)

A verb is transitive iff it usually occurs with a direct object, and in such occurrences it is said to occur transitively . Thus ‘ate’ occurs transitively in ‘I ate the meat and left the vegetables’, but not in ‘I ate then left’ (perhaps it is not the same verb ‘left’ in these two examples, but it seems to be the same ‘ate’). A verb is intensional if the verb phrase (VP) it forms with its complement is anomalous in at (...) least one of three ways: (i) interchanging expressions in the complement referring to the same entity can change the truth-value of the sentence embedding the VP; (ii) the VP admits of a special “unspecific” reading if it contains a quantifier, or a certain type of quantifier; and (iii) the normal existential commitments of names and existential quantifiers in the complement are suspended even when the embedding sentence is negation-free. (shrink)

This is a study of Hume's political thought based on a survey of all his writings in their original and revised versions, with very full reference to the works of predecessors and contemporaries, including journalists, pamphleteers and historians. Hume's political thinking is presented in its historical context as a modem, 'philosophical', empirically based system of politics for a new post-revolutionary age, and a political education for parochial, backward-looking party men.

This paper is about the cluster of issues that orbit a well-known thesis of Quine’s, as it applies to attitude ascriptions.

This paper discusses some recent responses to Kripke’s modal objections to descriptivism about names. One response, due to Gluer-Pagin and Pagin, involves employing "actually" operators in a new way. Another, developed mainly by Chalmers, involves distinguishing the dimension of meaning modal operators affect from the dimension other operators, especially epistemic ones, affect. I argue that both these moves run into problems with "mixed" contexts involving factive verbs such as "know", "establish", "prove", etc. In mixed contexts there are both modal and (...) epistemic operators, and it seems that some contradictory examples, such as "possibly (Hesperus has a moon and someone establishes that Hesperus has no moon)", are classified as true according to these views. (shrink)

In a recent article in Analysis, Graeme Hunter and William Seager (1981) attempt to rescue counterpart theory (CT) from some objections of Hazen 1979. They see these objections as arising from ‘uncritical use of the translation scheme originally proposed by Lewis’, and intend to meet them by refraining from use of that scheme. But they do not offer a new scheme; they say ‘…it is no more necessary to have one to capture the sense of modal idiom than it is (...) to capture the sense of quantificational idiom…Appeal to truth value is the single most important criterion of correct translation’ (Hunter and Seager 1981:72). Thus, where the scheme of Lewis (1968) translates a truth by a falsehood or conversely, Hunter and Seager simply produce a sentence which they claim to be a better translation, without articulating any structural principles they employ to arrive at their candidate. A friend of CT should not be happy with this procedure. Let Lm be first-order modal language and Lc be the language of counterpart theory. Sentences of Lc are intended to interpret or elucidate the meanings of Lm-sentences in the strong sense that they should be the outputs of an adequate theory of meaning, which we can formulate as a model theory, for Lm, written in Lc plus set theory. The interest of CT resides in its potential to provide an alternative approach to the model theory of modal logic, and from the clauses of any such alternative model theory we should be able to read off a translation scheme for Lm into Lc, just as we can in the standard case. If CT’s motivation is sound, which Hunter and Seager do not dispute, yet there is no translation scheme and so no counterpart-theoretic model theory, one might suspect some defect in the original language Lm. And in fact, Hunter and Seager find certain Lm-sentences multiply ambiguous with respect to Lc; but if a counterpart-theoretic model theory is possible, to say.. (shrink)

It has become apparent that the debate between scientific realists and constructive empiricists has come to a stalemate. Neither view can reasonably claim to be the most rational philosophy of science, exclusively capable of making sense of all scientific activities. On one prominent analysis of the situation, whether we accept a realist or an anti-realist account of science actually seems to depend on which values we antecedently accept, rather than our commitment to “rationality” per se. Accordingly, several philosophers have attempted (...) to argue in favour of scientific realism or constructive empiricism by showing that one set of values is exclusively best, for anyone and everyone, and that the downstream choice of the philosophy of science which best serves those values is therefore best, for anyone and everyone. These efforts, however, seem to have failed. In response, I suggest that philosophers of science should suspend the effort to determine which philosophy of science is best for everyone, and instead begin investigating which philosophy of science is best for specific people, with specific values, in specific contexts. I illustrate how this might be done by briefly sketching a single case study from the history of science, which seems to show that different philosophies of science are better at motivating different forms of scientific practice. (shrink)

Mary Astell is a fascinating seventeenth‐century figure whose work admits of many interpretations. One feature of her work that has received little attention is her focus on bad custom. This is surprising; Astell clearly regards bad custom as exerting a kind of epistemic power over agents, particularly women, in a way that limits their intellectual capacities. This article aims to link two contemporary sociopolitical/social‐epistemological projects by showing how a seventeenth‐century thinker anticipated these projects. Astell's account of bad custom shows that (...) she was attuned to the kinds of institutional or structural explanations theorized by Sally Haslanger, and that she acknowledges that bad custom—as an institutional or structural explanation—is intimately linked with epistemic injustice, albeit a kind not yet captured by contemporary social epistemologists. I call this form of epistemic injustice found in Astell epistemic internalization injustice. I argue that the epistemic significance of Astell's notion of bad custom is that it enables us to understand how bad custom conditions human relations in such a way as to result in epistemic injustice. Through coming to understand her notion of bad custom, we can expand our understanding of social epistemic phenomena like epistemic injustice. (shrink)

This paper is about two puzzles, or two versions of a single puzzle, which deserve to be called paradoxes, and develops some apparatus in terms of which the apparently conflicting principles which generate the puzzles can be rendered consistent. However, the apparatus itself is somewhat controversial: the puzzles are modal ones, and the resolution to be advocated requires the adoption of a counterpart theoretic semantics of essentially the kind proposed by David Lewis, which in turn requires qualified rejection of certain (...) modal theses about identity which are valid in S5. (shrink)

European Journal of Philosophy, EarlyView.

I aim to sketch a view of a methodology for metaphysics, suggested by Hookway’s reading of C. S. Peirce, that allows one to hold realist metaphysical views (i.e. ones that avoid anti-realism, or idealism) about some questions, but avoids merely verbal disputes, and ‘unwieldy realism’. It is named for Peirce’s ‘Critical Commonsensism’, and uses pragmatic transcendental arguments to defend realism about non-optional basic commitments, e.g. to generality, agency, normativity, modality, change, concrete substances, and other minds. It is critical because we (...) are entitled to hope that the presuppositions of our most basic non-optional commitments obtain, and commonsensical because we begin with our current practices and proceed with anti-sceptical fallibilism. I consider a number of objections to the proposed methodology, including concerns associated with our identification of presuppositions, with the basic non-optional commitments they are presuppositions of, and the community who are so committed. These questions, I will claim, are open to empirical and anthropological investigation, but can begin with careful observation of human practices of action, inquiry, explanation, and justification. I will defend the view we end up with as realist, rather than anti-realist or quasi-realist, and argue that, given holism of confirmation, we are plausibly justified in believing (rather than merely hoping) a number of metaphysical theses that have stood the test of time. (shrink)

A New Route to the Necessity of Origin’, Guy Rohrbaugh and Louis deRossett argue for the Necessity of Origin in a way that they believe avoids use of any kind of transworld constitutional sufficiency principle. In this discussion, we respond that either their arguments do imply a sufficiency principle, or else they entirely fail to establish the Necessity of Origin.

The Football Association has been under pressure to allow girls to play in mixed teams since 1978, following 12-year old Theresa Bennett’s application to play with boys in a local league. In 1991, over a decade after Bennett’s legal challenge, the FA agreed to remove its ban on mixed football and introduced Rule C4 in order to permit males and females to play together in competitive matches under the age of 11. More recently, following a campaign by parents, coaches, local (...) Members of Parliament and the Women’s Sport Foundation, the FA agreed to trial mixed football for the under-12 to under-15 age categories in order to establish, among other things, the risk of injury to players in sex-integrated competitions. A series of exponential changes ensued: between 2010 and 2014, the age at which mixed football was permitted increased from U11 to U16. In 2015, the FA announced the decision to raise the age limit on mixed football from U16 to U18 for the forthcoming 2015–2016 season. We critically examine th... (shrink)

We examine the role flexible working has for gender equality during the pandemic, focusing on arrangements that give workers control over when and where they work. We use a survey of dual-earning working parents in the United Kingdom during the peak of the first lockdown, namely, between mid-May and mid-June 2020. Results show that in most households in our survey, mothers were mainly responsible for housework and child care tasks both before and during the lockdown period, although this proportion has (...) slightly declined during the pandemic. In households where fathers worked from home during the pandemic, respondents were less likely to say that mothers were the ones solely or mostly responsible for housework and child care. Fathers who worked from home were more likely to say that they were doing more housework and child care during the lockdown period than they were before. Finally, we explore what we expect to happen in the postpandemic times in relation to flexible working and gender equality. The large expansion of flexible working we expect to happen may help reduce some of the gender inequalities that have exacerbated during the pandemic, but only if we reflect on and change our existing work cultures and gender norms. (shrink)

This philosopher’s introduction to the nature of time could radically alter how you see your past and imagine your future.

The delicate point in the formalistic position is to explain how the non-intuitionistic classical mathematics is significant, after having initially agreed with the intuitionists that its theorems lack a real meaning in terms of which they are true (S. C. Kleene, 1952).