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)

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)

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.

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)

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)

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)

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 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 her latest book, The End of Progress, Amy Allen embarks on an ambitious and much-needed project: to decolonize contemporary Frankfurt School Critical Theory. As with all of her books, this is an exceptionally well-written and well-argued book. Allen strives to avoid making assertions without backing them up via close and careful textual reading of the thinkers she engages in her book. In this article, I will state why this book makes a central contribution to contemporary critical theory (...) (in the broader sense), after which I pose a few questions. These questions are not meant to prove that there are any serious problems with her argumentation. Instead, they are meant in the spirit of dialogue and allow her to elaborate her work for her audience. (shrink)

In her latest book, The End of Progress, Amy Allen embarks on an ambitious and much-needed project: to decolonize contemporary Frankfurt School Critical Theory. As with all of her books, this is an exceptionally well-written and well-argued book. Allen strives to avoid making assertions without backing them up via close and careful textual reading of the thinkers she engages in her book. In this article, I will state why this book makes a central contribution to contemporary critical theory (...) (in the broader sense), after which I pose a few questions. These questions are not meant to prove that there are any serious problems with her argumentation. Instead, they are meant in the spirit of dialogue and allow her to elaborate her work for her audience. (shrink)

This paper is intended to persuade an uncommitted audience that free will is illusory. I examine free will through the lens of three interpretations of quantum theory: dynamical collapse theories, hidden variable theories, and many-worlds theories. Dynamical collapse theories, hereon called collapse theories, are the primary focus of this work since they are the most widely accepted in the current philosophy of physics climate. The core postulations and mechanics of the collapse theories are articulated. Accompanying these postulations are a few (...) assumptions regarding the role quantum mechanics may have in one’s decisions. The postulations and assumptions together lead to the conclusion that agents are not free in the collapse theory framework. Then, I anticipate and respond to the following objections. First, that agents are at least partially free through their ability to control and change personal dispositions. Second, that the psychological level is the most appropriate scale for discussions regarding freedom. Finally, I extend my argument against free will to the hidden variables and many-worlds theories. (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)

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)

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)

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

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 discussion of several tensions between Thomistic philosophy and modern Darwinian theory as well as several recent Thomistic criticisms of intelligent design.

Epistemic akrasia arises when one holds a belief even though one judges it to be irrational or unjustified. While there is some debate about whether epistemic akrasia is possible, this paper will assume for the sake of argument that it is in order to consider whether it can be rational. The paper will show that it can. More precisely, cases can arise in which both the belief one judges to be irrational and one’s judgment of it are epistemically rational in (...) the sense that both are supported by sufficient evidence. (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.

A review of Edward Feser's Five Proofs of the Existence of God.

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)

Recently, the Intelligent Design (ID) movement has challenged the claim of many in the scientific establishment that nature gives no empirical signs of having been deliberately designed. In particular, ID arguments in biology dispute the notion that neo-Darwinian evolution is the only viable scientific explanation of the origin of biological novelty, arguing that there are telltale signs of the activity of intelligence which can be recognized and studied empirically. In recent years, a number of Catholic philosophers, theologians, and scientists have (...) expressed opposition to ID. Some of these critics claim that there is a conflict between the philosophy of St. Thomas Aquinas and that of the ID movement, and even an affinity between Aquinas’s ideas and theistic Darwinism. We consider six such criticisms and find each wanting. (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)

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.

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

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

We criticize the proper functionalist approach to religious epistemology as articulated by Tyler McNabb 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.

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.

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

A review of Thomas Nagel's book Mind and Cosmos.

Behavioural flexibility is often treated as the gold standard of evidence for more sophisticated or complex forms of animal cognition, such as planning, metacognition and mindreading. However, the evidential link between behavioural flexibility and complex cognition has not been explicitly or systematically defended. Such a defence is particularly pressing because observed flexible behaviours can frequently be explained by putatively simpler cognitive mechanisms. This leaves complex cognition hypotheses open to ‘deflationary’ challenges that are accorded greater evidential weight precisely because they offer (...) putatively simpler explanations of equal explanatory power. This paper challenges the blanket preference for simpler explanations, and shows that once this preference is dispensed with, and the full spectrum of evidence—including evolutionary, ecological and phylogenetic data—is accorded its proper weight, an argument in support of the prevailing assumption that behavioural flexibility can serve as evidence for complex cognitive mechanisms may begin to take shape. An adaptive model of cognitive-behavioural evolution is proposed, according to which the existence of convergent trait–environment clusters in phylogenetically disparate lineages may serve as evidence for the same trait–environment clusters in other lineages. This, in turn, could permit inferences of cognitive complexity in cases of experimental underdetermination, thereby placing the common view that behavioural flexibility can serve as evidence for complex cognition on firmer grounds. (shrink)

A review of Robert. B. Stewart's edited volume concerning a discussion between William Dembski and Michael Ruse. Further contributions are included from William Lane Craig and others.

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

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

A brief review of Michael Ruse's 2010 book Science and Spirituality: Making Room for Faith in the Age of Science (Cambridge University Press).

A review of Jerry Root's book C.S. Lewis and a Problem of Evil.

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

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)

In this article, we examine in detail the New Atheists' most serious argument for the conclusion that God does not exist, namely, Richard Dawkins's Ultimate 747 Gambit. Dawkins relies upon a strong explanatory principle involving simplicity. We systematically inspect the various kinds of simplicity that Dawkins may invoke. Finding his crucial premises false on any common conception of simplicity, we conclude that Dawkins has not given good reason to think God does not exist.

In this article, we argue that John Henry Newman was right to think that our passional nature can play a legitimate epistemic role. First, we unpack the standard objection to Newman’s understanding of the relationship between our passional nature and the evidential basis of faith. Second, we argue that the standard objection to Newman operates with a narrow definition of evidence. After challenging this notion, we then offer a broader and more humane understanding of evidence. Third, we survey recent scholarship (...) arguing that emotions, a key aspect of our passional nature, are cognitive. In this light, they plausibly have a proper epistemic role. Fourth, we defend Newman’s reliance on the passional nature in epistemic matters by showing how reasonable it is in light of this recent work on evidence and the nature of emotions. Newman’s insistence that the formation of a right state of heart and mind is crucial for epistemic success is far from untenable. (shrink)

: Agents are enkratic when they intend to do what they believe they should. That rationality requires you to be enkratic is uncontroversial, yet you may be enkratic in a way that does not exhibit any rationality on your part. Thus, what I call the enkratic requirement demands that you be enkratic in the right way. In particular, I will argue that it demands that you base your belief about what you should do and your intention to do it on (...) the same considerations. The idea is that, if you base your belief and your intention on different considerations, then you are inconsistent in your treatment of those considerations as reasons. The enkratic requirement demands that you be enkratic by treating considerations consistently as reasons. (shrink)

Appeals to the idea of human nature are frequent in the voluminous literature on the ethics of enhancing human beings through biotechnology. Two chief concerns about the impact of enhancements on human nature have been voiced. The first is that enhancement may alter or destroy human nature. The second is that if enhancement alters or destroys human nature, this will undercut our ability to ascertain the good because, for us, the good is determined by our nature. The first concern assumes (...) that altering or destroying human nature is in itself a bad thing. The second concern assumes that human nature provides a standard without which we cannot make coherent, defensible judgments about what is good. I will argue (1) that there is nothing wrong, per se, with altering or destroying human nature, because, on a plausible understanding of what human nature is, it contains bad as well as good characteristics and there is no reason to believe that eliminating some of the bad would so imperil the good as to make the elimination of the bad impermissible, and (2) that altering or destroying human nature need not result in the loss of our ability to make judgments about the good, because we possess a conception of the good by which we can and do evaluate human nature. I will argue that appeals to human nature tend to obscure rather than illuminate the debate over the ethics of enhancement and can be eliminated in favor of more cogent considerations. (shrink)