Players of videogames describe their gameplay in the first person, e.g. “I took cover behind a barricade.” Such descriptions of gameplay experiences are commonplace, but also puzzling because players are actually just pushing buttons, not engaging in the activities described by their first-person reports. According to a view defended by Robson and Meskin (2016), which we call the fictional identity view, this puzzle is solved by claiming that the player is fictionally identical with the player character. Hence, on this view, (...) if the player-character fictionally performs an action then, fictionally, the player performs that action. However, we argue that the fictional identity view does not make sense of players' gameplay experiences and their descriptions of them. We develop an alternative account of the relationship between the player and player-character on which the player-character serves as the player's fictional proxy, and argue that this account makes better sense of the nature of videogames as interactive fictions. (shrink)

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)

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)

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.

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)

We criticize the classical evidentialist approach to religious epistemology as articulated by John DePoe from the perspective of phenomenal conservatism.

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)

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

In this chapter, Gage and McAllister respond to various objections to the phenomenal conservative position in religious epistemology. In particular, they respond to the objections that seemings are the ultimate source of justification, that PC makes epistemic justification too easy, that PC involves conceptual circularity, and that PC lacks an objective connection to truth.

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)

Artificial intelligence (AI) and machine learning (ML) models have undoubtedly become useful tools in science. In general, scientists and ML developers are optimistic – perhaps rightfully so – about the potential that these models have in facilitating scientific progress. The philosophy of AI literature carries a different mood. The attention of philosophers remains on potential epistemological issues that stem from the so-called “black box” features of ML models. For instance, Eamon Duede (2023) argues that opacity in deep learning models (DLMs) (...) is epistemically problematic in the context of justification, though not in the context of discovery. -/- In this paper, I aim to show that a similar epistemological concern is echoed in the epistemology of imagination literature. It is traditionally held that, given its black box features, reliance on the imagination is epistemically problematic in the context of justification, though not in the context of discovery. The constraints-based approach to the imagination answers the epistemological concern by providing an account of how we can rely on the imagination in the context of justification by way of constraints. I argue by analogy that a similar approach can be applied to the opaque DLM case. Ultimately, my goal is to explore just how far this analogy extends, and whether a constraints-based approach to opaque DLMs can answer the epistemological concern surrounding their black box features in the context of justification. -/- (Note that this paper is IN PROGRESS and UNPUBLISHED). (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)

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.

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)

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)

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)

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)

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)

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.

In this paper, I will analyze Rawad El Skaf’s (2017 & 2021) account of thought experiments (TEs) in physics. I will argue that El Skaf’s account is strengthened by taking on Amy Kind’s (2016 & 2018) constraints-based approach to the imagination, which highlights the epistemic significance of imaginative processes. First, I will present El Skaf’s step-by-step structure of TEs wherein he discusses their form, content, and epistemic function. Second, I will explain a canonical TE in physics known as the clock-in-the-box. (...) In turn, I will lay out El Skaf’s analysis of the clock-in-the-box TE. Then, I will present Amy Kind’s constraints-based approach to the imagination. I will then offer three critiques of El Skaf’s account and suggest that each critique is resolved by applying a constraints-based approach to his view. Once the hybrid view is laid out, I will discuss incompatible constraints on the imagination, which I call the home and away constraints. I will argue that a thought experimenter (TEer) may overcome this incompatibility by transforming away constraints into home constraints via metaphor. Lastly, I will argue that physics TEs are special since it is an essential feature of theirs that they ask the TEer to consider incompatible constraints on the imagination. (shrink)

What is the role of affect in moral epistemology? Sentimentalists assert that moral knowledge is rooted in knowledge of specific situational moral truths, which affect is a necessary means for attaining. Rationalists claim moral knowledge is rooted in moral principles, knowledge of which is acquired a priori through reason alone; affect is unnecessary. Note that in this way of framing the debate, the issue concerns solely moral knowledge. Recent epistemology, however, has also highlighted the importance of understanding as an epistemic (...) good separate from knowledge. As such, moral understanding might have value over and above mere moral knowledge. Some philosophers have pointed to the importance moral understanding possesses for reliably doing the right thing, justifying yourself to others, developing virtue, and performing morally worthy action. In this paper, I argue that the sentimentalist account of understanding both specific moral truths and moral principles has significant advantages over, and can ground, the rationalist alternative. (shrink)

We criticize the approach of covenantal epistemology to religious epistemology as articulated by Scott Oliphint from the perspective of phenomenal conservatism.

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

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

We critique MacIntyre's traditions-based perspectivalist approach to religious epistemology as articulated by Erik Baldwin from the perspective of phenomenal conservatism.

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 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.

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)

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.

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

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

This is an extension of my earlier work, How in the World Are There Many Worlds and it's a lot more interesting! This paper explores personal identity and persistence through time in the many-worlds framework, governed by the Many Worlds Interpretation (MWI) of quantum mechanics (QM). First, I will motivate our consideration of the MWI in this context. Second, I will introduce endurantism, which is one answer to the puzzle concerning persistence through time. Third, I will explain the foundational physics (...) underlying the MWI that lends itself to branching worlds. In turn, I will explain what exactly a world amounts to in this picture. Then, I will present three views on personal identity and persistence through time: the bye-bye Betty view, the every-branch view, and the privileged branch view. I will argue that the privileged branch view is the most attractive of the bunch for determining the best candidate among close continuers. Finally, I will discuss knowledge, attitudes, and moral responsibility within the privileged branch view. (shrink)

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)

It is unlikely that when my the grandfather of Cometan, Derrick Taylor, sat down to participate in an interview with his good friend Judith Shean now almost thirty years ago that all those years later his grandson would have written a book analysing that very interview. On 22nd February 1995, Derrick Taylor agreed to participate in an interview at his home 222 Longmeanygate to reveal his experience as a Protestant turned Catholic. During the interview, Derrick Taylor provided (...) a realistic view of what his life had been like detailing loss, tragedy and suffering. By contrast, he also detailed his predisposition for experiencing interior locutions – divine communications to the ear – which filled him with great elation in times of spiritual crisis. This interview was titled Light a Candle for Me as based on Derrick Taylor's very first interaction with the Sacred Heart of Jesus when he was just seven years old in which he asked his friend's mother to light a candle for him as a metaphor for his journey to Catholicism. What we ultimately learn of Derrick Taylor's character in this 1995 interview is that he held such a dedication to the Catholic faith that he found it difficult to reconcile the fact that the world and the Church were changing. In this interview, which is now often titled the Sceptre Bulletin Interview, Derrick Taylor tells us in his own words what he thought of the reforms of the Second Vatican Council. This book, the Catholic Conversion, is an exegetical work written by Derrick's grandson Cometan some 27 years later that develops his grandfather's words into a set of theological concepts that come to form Derrick Taylor's definitive approach to Catholicism. (shrink)

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)

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)

Nietzsche (1844–1900) struggles with complexity and many-sidedness throughout his life. He is a nuanced thinker who offers fragments instead of a rigid philosophical system, yet he admires the ‘virtuous energy’ with which systematic thinkers, especially the pre-Socratic philosophers, express themselves. His ability to write with comparable energy is hindered by university philosophy, which privileges restraint and consistency. Therefore, he adopts a practice of spontaneous life writing in order to become simple and honest in thought and life. Inspired by figures such (...) as Emerson, Diogenes, and Sterne, he grasps the ‘nearest shoddy words’ and continually produces new insights in disjointed monologues and aphorisms. Nietzsche's vague metaphors, loose language, inconsistency, and hyperbole stem from this practice, and his autobiography, Ecce Homo (1888), is the closest that he ever comes to rekindling the energy of the pre-Socratics. (shrink)

An attractive form of social stability is realized when the members of a well-ordered society give that society’s organizing principles their free and reflective endorsement. However, many political philosophers are skeptical that there is any requirement to show that their principles would engender this kind of stability. This skepticism is at the root of a number of objections to political liberalism, since arguments for political liberalism often appeal to its ability to be stable in this way. The aim of this (...) paper is to address skepticism about the stability condition by putting forward a novel defense of it. My defense builds on the claim that stable principles are necessary to secure the full autonomy of those who live under them. (shrink)

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)

I argue that considerations pertaining to constitutive luck undermine historicism—the view that an agent’s history can determine whether or not she is morally responsible. The main way that historicists have motivated their view is by appealing to certain cases of manipulation. I argue, however, that since agents can be morally responsible for performing some actions from characters with respect to which they are entirely constitutively lucky, and since there is no relevant difference between these agents and agents who have been (...) manipulated into acting from a character bestowed upon them by their manipulators, we should give up historicism. After presenting this argument and defending it against some potential objections, I briefly criticize the standard structuralist alternative and propose a new structuralist position that is shaped by reflection on constitutive luck. (shrink)

In recent years, Duncan Pritchard has developed a position in religious epistemology called quasi‐fideism that he claims traces back to John Henry Newman's treatment of the rationality of religious belief. In this paper, we give three reasons to think that Pritchard's reading of Newman as a quasi‐fideist is mistaken. First, Newman's parity argument does not claim that religious and non‐religious beliefs are on a par because both are groundless; instead, for Newman, they are on a par because both often stem (...) from implicit rather than explicit reasoning. Second, pace Pritchard, Newman's distinction between simple and complex assent does not map onto the Wittgensteinian distinction between groundless hinge commitments and beliefs that flow from these hinges. For Newman, simple and complex assent differ in terms of the believer's level of awareness of their grounds. Third, and finally, Newman does not reject Locke's evidentialism in toto. Instead, he argues that certitude is not restricted to beliefs stemming from intuition and demonstration but often rightly includes probabilistically supported (or fallibly evidenced) beliefs. (shrink)

The vast literature on negative treatment of outgroups and favoritism toward ingroups provides many local insights but is largely fragmented, lacking an overarching framework that might provide a unified overview and guide conceptual integration. As a result, it remains unclear where different local perspectives conflict, how they may reinforce one another, and where they leave gaps in our knowledge of the phenomena. Our aim is to start constructing a framework to help remedy this situation. We first identify a few key (...) ideas for creating a theoretical roadmap for this complex territory, namely the principles of etiological functionalism and the dual inheritance theory of human evolution. We show how a “molecular” approach to emotions fits into this picture, and use it to illuminate emotions that shape intergroup relations. Finally, we weave the pieces together into the beginnings of a systematic taxonomy of the emotions involved in social interactions, both hostile and friendly. While it is but a start, we have developed the argument in a way that illustrates how the foundational principles of our proposed framework can be extended to accommodate further cases. (shrink)

The initial foundations to the notion that Cometan's grandparents, Irene Mary Taylor and Derrick Taylor, should be recognised for their life as laypeople in the Roman Catholic Church first emerged in January 2020 and October 2021 respectively. Irene Mary was well known for her devotion to Catholicism among her family and acquaintances, yet Cometan saw in her icon and life events an opportunity to reinvigorate Catholic fervour in England and abroad. In his own endeavour as a religious figure (...) and philosopher as the founder of Astronism, Cometan had made it clear that his paternal grandmother had played a large role in his religious life from infancy and so Irene Mary's Cause for Beatification was the culmination of this destined religious figureship. The Beatification Story of Irene Mary Taylor holds the responsibility of presenting Irene Mary for the recognition in the Roman Catholic Church in whichever capacity the Church deems suitable. The book explores the major remembered life events of Irene Mary Taylor, relates them to Catholic doctrine, and systematises them to form Irenianism, Irene Mary's eponymous Catholic system of thought. (shrink)

A brief review of John Polkinghorne's 2011 book Science and Religion in Quest of Truth (Yale University Press).