Here's the thing: when you look at it from just the right angle, it's entirely obvious how semantics for second-order relevant logics ought to go. Or at least, if you've understood how semantics for first-order relevant logics ought to go, there are perspectives like this. What's more is that from any such angle, the metatheory that needs doing can be summed up in one line: everything is just as in the first-order case, but with more indices. Of course, it's no (...) small matter finding the magical angle from which everything becomes obvious. And even having found this perspective, one cannot assume one's audience will find things as obvious as oneself. All that to say this: if the results in the paper below strike you as obvious, pay attention to the perspective that makes that possible. And if they don't, feel free to ignore this preamble in its entirety. (shrink)

I present a version of Kit Fine's stratified semantics for the logic RWQ and define a natural family of related structures called RW hyperdoctrines. After proving that RWQ is sound with respect to RW hyperdoctrines, we show how to construct, for each stratified model, a hyperdoctrine that verifies precisely the same sentences. Completeness of RWQ for hyperdoctrinal semantics then follows from completeness for stratified semantics, which is proved in an appendix. By examining the base category of RW hyperdoctrines, we find (...) reason to be worried about the ontology of stratified models. (shrink)

There is a natural story about what logic is that sees it as tied up with two operations: a ‘throw things into a bag’ operation and a ‘closure’ operation. In a pair of recent papers, Jc Beall has fleshed out the account of logic this leaves us with in more detail. Using Beall’s exposition as a guide, this paper points out some problems with taking the second operation to be closure in the usual sense. After pointing out these problems, I (...) then turn to fixing them in a restricted case and modulo a few simplifying assumptions. In a followup paper, the simplifications and restrictions will be removed. (shrink)

Professor Fletcher challenges the traditional account of the development of tort doctrine as a shift from an unmoral standard of strict liability for directly causing harm to a moral standard based on fault. He then sets out two paradigms of liability to serve as constructs for understanding competing ideological viewpoints about the proper role of tort sanctions. He asserts that the paradigm of reciprocity, which looks only to the degree of risk imposed by the parties to a lawsuit on (...) each other, and to the existence of possible excusing conditions, provides greater protection of individual interests than the paradigm of reasonableness, which assigns liability instrumentally on the basis of a utilitarian calculus. Finally, Professor Fletcher examines stylistic differences between the two paradigms which may explain the modern preference for the paradigm of reasonableness. (shrink)

So-called theories of well-being (prudential value, welfare) are under-represented in discussions of well-being. I do four things in this article to redress this. First, I develop a new taxonomy of theories of well-being, one that divides theories in a more subtle and illuminating way. Second, I use this taxonomy to undermine some misconceptions that have made people reluctant to hold objective-list theories. Third, I provide a new objective-list theory and show that it captures a powerful motivation for the main competitor (...) theory of well-being (the desire-fulfilment theory). Fourth, I try to defuse the worry that objective-list theories are problematically arbitrary and show how the theory can and should be developed. (shrink)

A discussion of several tensions between Thomistic philosophy and modern Darwinian theory as well as several recent Thomistic criticisms of intelligent design.

Formal symptoms of relevance usually concern the propositional variables shared between the antecedent and the consequent of provable conditionals. Among the most famous results about such symptoms are Belnap’s early results showing that for sublogics of the strong relevant logic R, provable conditionals share a signed variable between antecedent and consequent. For logics weaker than R stronger variable sharing results are available. In 1984, Ross Brady gave one well-known example of such a result. As a corollary to the main result (...) of the paper, we give a very simple proof of a related but strictly stronger result. (shrink)

This chapter is divided into three parts. First I outline what makes something an objective list theory of well-being. I then go on to look at the motivations for holding such a view before turning to objections to these theories of well-being.

Relevant logics infamously have the property that they only validate a conditional when some propositional variable is shared between its antecedent and consequent. This property has been strengthened in a variety of ways over the last half-century. Two of the more famous of these strengthenings are the strong variable sharing property and the depth relevance property. In this paper I demonstrate that an appropriate class of relevant logics has a property that might naturally be characterized as the supremum of these (...) two properties. I also show how to use this fact to demonstrate that these logics seem to be constructive in previously unknown ways. (shrink)

Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the proportion of papers (...) using probabilistic methods was approximately three times higher in the late 2010s than it was in the late 2000s. Further analyses explored this change by looking more closely at specific methods, specific levels of technical engagement, and specific subdisciplines within philosophy. These analyses indicate that the increasing proportion of papers using probabilistic methods was pervasive, not confined to particular probabilistic methods, levels of sophistication, or subdisciplines. (shrink)

In 1988, Kit Fine published a semantic theory for quantified relevant logics. He referred to this theory as stratified semantics. While it has received some attention in the literature, 1–20, 1992; Mares & Goldblatt, Journal of Symbolic Logic 71, 163–187, 2006), stratified semantics has overall received much less attention than it deserves. There are two plausible reasons for this. First, the only two dedicated treatments of stratified semantics available are, 27–59, 1988; Mares, Studia Logica 51, 1–20, 1992), both of which (...) are quite dense and technically challenging. Second, there are a number of prima facie reasons to be worried about stratified semantics. The purpose of this paper is to revitalize research on stratified semantics. I will do so by giving a ‘user friendly’ presentation of the semantics, and by giving reasons to think that the prima facie reasons to be worried about it are too simplistic. (shrink)

Philosophers have long theorized about which things make people’s lives go well, and why, and the extent to which morality and self-interest can be reconciled. Yet little time has been spent on meta-prudential questions, questions about prudential discourse. This is surprising given that prudence is, prima facie, a normative form of discourse and, as such, cries out for further investigation. Chapter 4 takes up two major meta-prudential questions. It first examines whether there is a set of prudential reasons, generated by (...) evaluative prudential properties, and defends the view that evaluative well-being facts generate agent-relative reasons for the relevant agent. It also investigates whether prudential discourse is normative. It is proposed that prudential discourse is normative by arguing that prudential judgements are normative judgements. The case for this is presented by analogy with moral discourse by showing that the features of moral judgements that metaethicists appeal to when articulating, explaining, and justifying the claim that moral judgements are normative are also possessed by prudential judgements. Various objections to the analogy are also considered. (shrink)

In this article, I examine two of the standard objections to forms of value hedonism. The first is the common claim, most famously made by Bradley and Moore, that Mill's qualitative hedonism is inconsistent. The second is the apparent problem for quantitative hedonism in dealing with malicious pleasures. I argue that qualitative hedonism is consistent, even if it is implausible on other grounds. I then go on to show how our intuitions about malicious pleasure might be misleading.

This paper aims to cast doubt upon a certain way of analysing prudential value (or good for ), namely in the manner of a ‘buck-passing’ analysis. It begins by explaining why we should be interested in analyses of good for and the nature of buck-passing analyses generally (§I). It moves on to considering and rejecting two sets of buck-passing analyses. The first are analyses that are likely to be suggested by those attracted to the idea of analysing good for in (...) a buck-passing fashion (§II). The second are the buck-passing analyses of good for proposed by John Skorupski (§III), Henry Sidgwick (§IV), and Stephen Darwall (§V). Along the way the paper shows that Michael Smith’s and Peter Railton’s analyses of other concepts—analyses that could be (and have been) taken to be analyses of good for —are similarly unsuitable as analyses of it. The paper concludes by suggesting that the fact that none of the buck-passing accounts of good for considered here is satisfactory, coupled with an appreciation of the various problems that a buck-passing analysis of good for would have to avoid, suggests that we should be sceptical about the prospects of finding such an analysis and should look for one of a different type. (shrink)

It is still a live question in epistemology and philosophy of science as to what exactly evidence is. In my view, evidence consists in experiences called “seemings.” This view is a version of the phenomenal conception of evidence, the position that evidence consists in nonfactive mental states with propositional content. This conception is opposed by sense-data theorists, disjunctivists, and those who think evidence consists in physical objects or publicly observable states of affairs—call it the courtroom conception of evidence. Thomas Kelly (...) has recently argued that the phenomenal conception cannot play all the roles evidence plays and is thus inadequate. Having first explained the nature of seemings, in this essay I utilize Kelly’s own understanding of the four major roles of evidence and argue that the phenomenal conception can play each one. Experience is a good candidate for evidence. (shrink)

This paper examines perfectionist attempts to explain the prudential badness of pain (its badness for those who experience it). It starts by considering simple perfectionist explanations, finding them wanting, before considering the most sophisticated perfectionist attempt to explain prudential badness: Gwen Bradford’s tripartite perfectionism. The paper argues that Bradford’s view, though an improvement on earlier perfectionist proposals, still does not satisfactorily explain the full set of prudentially bad pains. It ends by showing how this provides grounds for a general kind (...) of pessimism about perfectionism and the badness of pain and how this case undermines a general purported advantage of perfectionism over the objective list theory. (shrink)

For some years now, Michael Bergmann has urged a dilemma against internalist theories of epistemic justification. For reasons I explain below, some epistemologists have thought that Michael Huemer’s principle of Phenomenal Conservatism can split the horns of Bergmann’s dilemma. Bergmann has recently argued, however, that PC must inevitably, like all other internalist views, fall prey to his dilemma. In this paper, I explain the nature of Bergmann’s dilemma and his reasons for thinking that PC cannot escape it before arguing that (...) he is mistaken: PC can indeed split its horns. (shrink)

We criticize the proper functionalist approach to religious epistemology as articulated by Tyler McNabb from the perspective of phenomenal conservatism.

This paper explores personal identity and persistence through time in the Many Worlds Interpretation (MWI) of quantum mechanics (QM). First, I will motivate the MWI’s relevance in the domain of metaphysics. Second, I will define endurantism. Third, I will explain the foundational physics underlying the MWI which entails branching worlds. Finally, I will argue that the privileged branch view best captures endurantist judgments about personal identity and persistence through time in the many-worlds framework. (Note that this work is in its (...) early draft stages - later versions will be updated and revised). (shrink)

This paper is an attempt to undermine a basic assumption of theories of well-being, one that I call well-being invariabilism. I argue that much of what makes existing theories of well-being inadequate stems from the invariabilist assumption. After distinguishing and explaining well-being invariabilism and well-being variabilism, I show that the most widely-held theories of well-being—hedonism, desire-satisfaction, and pluralist objective-list theories—presuppose invariabilism and that a large class of the objections to them arise because of it. My aim is to show that (...) abandoning invariabilism and adopting variabilism is a sensible first step for those aiming to formulate more plausible theories of well-being. After considering objections to my argument, I explain what a variabilist theory of well-being would be like and show that well-being variabilism need not be any threat to the project of formulating theories of well-being that deliver general principles concerning well-being enhancement. (shrink)

Consider the set of inferences that are acceptable to use in all our theory building endeavors. Call this set of inferences the universal theory building toolkit, or just ’the toolkit’ for short. It is clear that the toolkit is tightly connected to logic in a variety of ways. Beall, for example, has argued that logic just is the toolkit. This paper avoids making a stand on that issue and instead investigates reasons for thinking that, logic or not, the toolkit is (...) substructural. It is presented as a dialogue for the simple reason that it summarizes a range of dialogues on this subject that the author has had with various folks over the past few years. The method I use to investigate the toolkit is inspired in both philosophical and technical details by Alasdair Urquhart’s work on semantics for relevance logics from the early 1970s. (shrink)

THE STRUCTURE OF THIS PAPER IS AS FOLLOWS. I begin §1 by dealing with preliminary issues such as the different relations expressed by the “good for” locution. I then (§2) outline the Locative Analysis of good for and explain its main elements before moving on to (§3) outlining and discussing the positive features of the view. In the subsequent sections I show how the Locative Analysis can respond to objections from, or inspired by, Sumner (§4-5), Regan (§6), and Schroeder and (...) Feldman (§7). I then (§8) reply to an imagined objector who claims that the Locative Analysis generates implausible results with respect to punishment, virtue and agent-centered duties. (shrink)

In this chapter, Logan Paul Gage examines the only real attempt to disprove God’s existence by a New Atheist: Richard Dawkins’s “Ultimate 747 Gambit.” Central to Dawkins’s argument is the claim that God is more complex than what he is invoked to explain. Gage evaluates this claim using the main extant notions of simplicity in the literature. Gage concludes that on no reading does this claim survive scrutiny. Along the way, Dawkins claims that there are no good positive arguments (...) for God’s existence. Gage attempts to show that Dawkins’s argument depends upon distinctively philosophical assumptions that do not appear to withstand scrutiny. (shrink)

A common starting point for ‘going hybrid’ is the thought that moral discourse somehow combines belief and desire-like aspects, or is both descriptive and expressive. Hybrid meta-ethical theories aim to give an account of moral discourse that is sufficiently sensitive to both its cognitive and its affective, or descriptive and expressive, dimensions. They hold at least one of the following: moral thought: moral judgements have belief and desire-like aspects or elements; moral language: moral utterances both ascribe properties and express desire-like (...) attitudes. This entry concerns hybrid theories of moral language. The main division within such theories is between those treating the expression of desire-like attitudes as semantic and those treating it as pragmatic. This entry exclusively focuses on pragmatic forms of and examines the prospects for treating moral attitude expression as working via certain standard pragmatic mechanisms. I explain these mechanisms, outline the properties that standardly define them, and test to see whether moral attitude expression matches them. At the end, I briefly explain a more minimal pragmatic alternative. The main conclusions are that we should disregard presupposition and conventional implicature views and that the most plausible options for a pragmatic hybrid view are a generalised conversational implicature view and a more minimal pragmatic view. (shrink)

Claims about needs are a ubiquitous feature of everyday practical discourse. It is therefore unsurprising that needs have long been a topic of interest in moral philosophy, applied ethics, and political philosophy. Philosophers have devoted much time and energy to developing theories of the nature of human needs and the like. -/- Philosophers working on needs are typically committed to the idea that there are different kinds of needs and that within the different kinds of needs is a privileged class (...) of needs that is especially normatively significant. -/- Some philosophers go further and make rather grand claims about needs. They claim that needs are central or fundamental to moral thinking and that we must have a needs-centred moral theory or a general reorientation of moral philosophy around needs. -/- In this paper I aim to do two things. First, to show how applying recent work on modal terms can help us to understand thought and talk about needs. This is the positive part. I then use these ideas to cast doubt on the more ambitious claims about needs. Put briefly, a proper understanding of claims about needs undermines the idea that the concept of needs is fundamental in moral thought or in moral philosophy. Ambitious needs theory fails. (shrink)

Abstractionism in the philosophy of mathematics aims at deriving large fragments of mathematics by combining abstraction principles (i.e. the abstract objects $\S e_1, \S e_2$, are identical if, and only if, an equivalence relation $Eq_\S$ holds between the entities $e_1, e_2$) with logic. Still, as highlighted in work on the semantics for relevant logics, there are different ways theories might be combined. In exactly what ways must logic and abstraction be combined in order to get interesting mathematics? In this paper, (...) we investigate the matter by deriving the axioms of second-order Peano Arithmetic from Frege's Basic Law V (the extension of $F$ is identical with the extension of $G$ if, and only if, $F$ and $G$ are extensionally equivalent) in the presence of a relevant higher-order logic. The results are interesting. Not only must we take on logic as true, and not only must we apply our logic to abstraction principles, but also we have to apply our theory of abstraction back to the logic in order to arrive at arithmetic. Thus, what Abstractionism gives us is not simply what we get from abstraction via logic, but also what we get from logic via abstraction. (shrink)

This paper presents a new semantics for the weak relevant logic DW that makes the role of the infamous Routley star more explicable. Central to this rewriting is combining aspects of both the American and Australian plan for understanding negations in relevance logics.

In this chapter, we argue for a phenomenal conservative perspective on religious epistemology and attempt to answer some common criticisms of this perspective.

In this paper, we provide a semantics for a range of positive substructural logics, including both logics with and logics without modal connectives. The semantics is novel insofar as it is meant to explicitly capture the computational flavor of these logics, and to do so in a way that builds in both nondeterministic and nonconcurrent computational processes.

A brief introduction to a diverse and interesting group of papers in contemporary epistemology.

Contextualism (the view that ‘knowledge’ and its variants are context-sensitive) has been supported in large part through appeal to intuitions about Keith DeRose’s Bank Cases. Recently, however, the contextualist construal of these cases has come under fire from Kent Bach and Jennifer Nagel who question whether the Bank Case subject’s confidence can remain constant in both low- and high-stakes cases. Having explained the Bank Cases and this challenge to them, I argue that DeRose has given a reasonable reply to this (...) initial challenge. However, I proceed to argue that the current stalemate can be broken. Seeking to extend the Bach-Nagel critique, I offer a novel interpretation of the Bank Cases according to which the subject’s evidence changes between low- and high-stakes cases. If I am correct, then, given the amount of support the Bank Cases have been thought to lend contextualism, the case for contextualism is seriously weakened. (shrink)

The role of certitude in our mental lives is, to put it mildly, controversial. Many current epistemologists (including epistemologists of religion) eschew certitude altogether. Given his emphasis on certitude, some have maintained that John Henry Newman was an infallibilist about knowledge. In this paper, we argue that a careful examination of his thought (especially as seen in the Grammar of Assent) reveals that he was an epistemic fallibilist. We first clarify what we mean by fallibilism and infallibilism. Second, we explain (...) why some have read Newman as an infallibilist. Third, we offer two arguments that Newman is at least a fallibilist in a weak sense. In particular, the paradox he seeks to resolve in the Grammar and his dispute with John Locke both indicate that he is at least a weak fallibilist. We close with a consideration of whether Newman is a fallibilist in a much stronger sense as well. (shrink)

In this paper we introduce a novel way of building arithmetics whose background logic is R. The purpose of doing this is to point in the direction of a novel family of systems that could be candidates for being the infamous R#1/2 that Meyer suggested we look for.

In a time when conservatives believe that the traditional family is under increasing fire, some think an appeal to Darwinian science may be the answer. I argue that these conservatives are wrong to maintain that Darwinian theory can serve as the intellectual foundation for the traditional conception of the family. Contra Larry Arnhart and James Q. Wilson, a Darwinian philosophy of nature simply lacks the stability the traditional family requires; it cannot support the traditional conception of human nature and the (...) normativity it was thought to contain. If conservatives are to maintain these traditional ideas, the theoretical foundation must lie elsewhere. (shrink)

Stephen Kearns and Daniel Star have recently proposed this thesis: [Reasons as Evidence: Necessarily, a fact F is a reason for an agent A to PHI.

Recent authors, emphasizing Newman’s distaste for natural theology—especially William Paley’s design argument—have urged us to follow Newman’s lead and reject design arguments. But I argue that Newman’s own argument for God’s existence (his argument from conscience) fails without a supplementary design argument or similar reason to think our faculties are truth-oriented. In other words, Newman appears to need the kind of argument he explicitly rejects. Finding Newman’s rejection of natural theology to stem primarily from factors other than worries about cogency, (...) however, I further argue that there is little reason not to pursue design arguments in order to save the argument from conscience. (shrink)

Linnebo and Pettigrew present some objections to category theory as an autonomous foundation. They do a commendable job making clear several distinct senses of ‘autonomous’ as it occurs in the phrase ‘autonomous foundation’. Unfortunately, their paper seems to treat the ‘categorist’ perspective rather unfairly. Several infelicities of this sort were addressed by McLarty. In this note I address yet another apparent infelicity.

Towards the end of A System of Logic, John Stuart Mill makes some intriguing, suggestive, and neglected claims about what he calls “The Art of Life”. Despite the comparatively little attention that the Art of Life has received in the extensive scholarly literature on Mill, it turns out to be extremely important to understanding his moral philosophy and his practical philosophy more generally. It reveals Mill to be a considerably more subtle philosopher than it would otherwise seem. It also insulates (...) him from many unwarranted criticisms. In this entry I proceed by picking out some elements of Mill's discussion of the Art of Life, explaining them and then examining their significance. These include the metaethical distinction between sciences and arts, the relation between the art of life and morality, and the significance of his art of life in understanding normative ethical views, such as those defended in Utilitarianism. (shrink)

In this essay, I describe my journey to Catholicism and explain one of the many reasons I became Catholic--namely, an argument from the canon of Scripture.

A critical notice of Roger Crisp's Reasons and the Good.

A brief introduction to the life and work of William Paley, including a discussion of the structure of his famous design argument.

Despite its apparent ubiquity, philosophers have not talked much about sentimental value. One exception is Anthony Hatzimoysis (The Philosophical Quarterly 53:373–379, 2003). Those who wish to take sentimental value seriously are likely to make use of Christine Korsgaard’s ideas on two distinctions in value. In this paper I show that Hatzimoysis has misrendered Korsgaard’s insight in his discussion of sentimental value. I begin by briefly summarising Korsgaard’s idea before showing how Hatzimoysis’ treatment of it is mistaken.

A brief introduction to the life and key work of Rudolf Carnap with special attention to his work on inductive logic.

Categorial logic, as its name suggests, applies the techniques and machinery of category theory to topics traditionally classified as part of logic. We claim that these tools deserve attention from a greater range of philosophers than just the mathematical logicians. We support this claim with an example. In this paper we show how one particular tool from categorial logic---hyperdoctrines---suggests interesting metaphysics. Hyperdoctrines can provide semantics for quantified languages, but this account of quantification suggests a metaphysical picture quite different from the (...) one suggested by standard model-theoretic semantics. (shrink)

This essay shows how John Henry Newman reconciled the certitude of faith with a fallibilist epistemology. While Newman holds that many of our beliefs are held with certitude, he does not conceive of all certitude as Cartesian, apodictic certitude. In this way, he walks a middle road between rationalism and fideism.