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)

This paper contrasts individual and collective listening to music, with particular regard to the expressive qualities of music. In the first half of the paper a general model of joint attention is introduced. According to this model, perceiving together modifies the intrinsic structure of the perceptual task, and encourages a convergence of responses to a greater or lesser degree. The model is then applied to music, looking first at the silent listening situation typical to the classical concert hall, and second (...) the noisy listening situation typical to rock or jazz concerts. (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)

It is an important feature of creatures like us that our various motivations compete for control over our behaviour, including mental behaviour such as imagining and attending. In large part, this competition is adjudicated by the stimulation of affect — the intrinsically pleasant or unpleasant aspects of experience. In this paper I argue that the motivation-affect system controls a sub-type of attention called 'alerting attention' to bring various goals and stimuli to consciousness and thereby prioritize those contents for action. This (...) view allows me to flesh out the global workspace theory of consciousness, as well as some of the phenomenal characteristics of conscious experience. (shrink)

If we were to connect two individuals’ brains together, how would this affect the individuals’ conscious experiences? In particular, it is possible for two people to share any of their conscious experiences; to simultaneously enjoy some token experiences while remaining distinct subjects? The case of the Hogan twins—craniopagus conjoined twins whose brains are connected at the thalamus—seems to show that this can happen. I argue that while practical empirical methods cannot tell us directly whether or not the twins share conscious (...) experiences, considerations about the locality of content processing in the brain entails that they most likely do so. (shrink)

In this article we examine obsessive compulsive disorder (OCD). We examine and reject two existing models of this disorder: the Dysfunctional Belief Model and the Inference‐Based Approach. Instead, we propose that the main distinctive characteristic of OCD is a hyperactive sub‐personal signal of being in error, experienced by the individual as uncertainty about his or her intentional actions (including mental actions). This signalling interacts with the anxiety sensitivities of the individual to trigger conscious checking processes, including speculations about possible harms. (...) We examine the implications of this model for the individual's capacity to control his or her thoughts. (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)

This book defends Aestheticism- the claim that everything is aesthetically valuable and that a life lived in pursuit of aesthetic value can be a particularly good one. Furthermore, in distilling aesthetic qualities, artists have a special role to play in teaching us to recognize values; a critical component of virtue. I ground my account upon an analysis of aesthetic value as ‘objectified final value’, which is underwritten by an original psychological claim that all aesthetic values are distal versions of practical (...) values. This is followed by systematic accounts of beauty, sublimity, comedy, drama, and tragedy, as well as appendix entries on the cute, the cool, the kitsch, the uncanny, the horrific, the erotic, and the furious. (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 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 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 argue for the possibility of an extremely intimate connection between the emotional content of the music and the emotional state of the person who produces that music. Under certain specified conditions, the music may not just influence, but also partially constitute the musician’s emotional state.

I argue that while the feeling of bodily responses is not necessary to emotion, these feelings contribute significant meaningful content to everyday emotional experience. Emotional bodily feelings represent a ‘state of self’, analysed as a sense of one's body affording certain patterns of interaction with the environment. Recognising that there are two sources of intentional content in everyday emotional experience allows us to reconcile the diverging intuitions that people have about emotional states, and to understand better the long-standing debate between (...) bodily feeling-based and appraisal-based theories of emotion. (shrink)

The literature on the venerable aesthetic category of the sublime often provides us with lists of sublime phenomena — mountains, storms, deserts, volcanoes, oceans, the starry sky, and so on. But it has long been recognized that what matters is the experience of such objects. We then find that one of the most consistent claims about this experience is that it involves an element of fear. Meanwhile, the recognition of the sublime as a category of aesthetic appreciation implies that attraction, (...) admiration or pleasure is also present.1However, there is also a sense of fear and attraction when we watch car chases or fights. Neither of these is an occasion for the sublime so much as a visceral sort of excitement.2 As .. (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)

This paper examines the causal basis of our ability to attribute emotions to music, developing and synthesizing the existing arousal, resemblance and persona theories of musical expressivity to do so. The principal claim is that music hijacks the simulation mechanism of the brain, a mechanism which has evolved to detect one's own and other people's emotions.

In this paper I present an account of musical arousal that takes into account key demands of formalist philosophers such as Peter Kivy and Nick Zangwill. Formalists prioritise our understanding and appreciation of the music itself. As a result, they demand that any feelings we have in response to music must be directed at the music alone, without being distracted by non-musical associations. To accommodate these requirements I appeal to a mechanism of contagion which I synthesize with the expectation-based arousal (...) mechanism proposed by Leonard Meyer. This account connects musical expressivity and arousal in a way that formalists have rejected, but I argue that it provides the best explanation of our observations of listener responses while also focusing on the music itself. (shrink)

I examine the role that the musical instrument plays in shaping a performer's expressive activity and emotional state. I argue that the historical development of the musical instrument has fluctuated between two key values: that of sharing with other musicians, and that of creatively exploring new possibilities. I introduce 'the mood organ'- a sensor-based computer instrument that automatically turns signals of the wearer's emotional state into expressive music.

In this chapter I analyse group flow: a state in which performers report intense interpersonal absorption with the music and each other. I compare group flow to individual flow, and argue that the same essential structure can be discerned. I argue that group flow does not justify an anti-representationalist enactivist interpretation. However, I claim that the cognitive task in which the music is produced is irreducibly collective.

I claim that the significance of comic works to influence our attitudes is limited by the conditions under which we find things funny. I argue that we can only find something funny if we regard it as norm-violating in a way that doesn’t make certain cognitive or pragmatic demands upon us. It is compatible with these conditions that humour reinforces our attitude that something is norm-violating. However, it is not compatible with these conditions that, on the basis of finding it (...) funny, we come to reject some existing attitude. Such a rejection would require that we recognize our attitude as norm-violating in a way that has pragmatic force. Thus if a humorous work reveals the absurdity of something, we can either find it funny and not have our attitudes significantly influenced, or else be significantly influenced but not find it funny. (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)

The author proposes a dimensional model of our emotion concepts that is intended to be largely independent of one’s theory of emotions and applicable to the different ways in which emotions are measured. He outlines some conditions for selecting the dimensions based on these motivations and general conceptual grounds. Given these conditions he then advances an 8-dimensional model that is shown to effectively differentiate emotion labels both within and across cultures, as well as more obscure expressive language. The 8 dimensions (...) are: (1) attracted—repulsed, (2) powerful—weak, (3) free—constrained, (4) certain—uncertain, (5) generalized—focused, (6) future directed—past directed, (7) enduring—sudden, (8) socially connected—disconnected. (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 identifies a tension between the commitment to forming rationally justified emotions and the happy life. To illustrate this tension I begin with a critical evaluation of the positive psychology technique known as ‘gratitude training’. I argue that gratitude training is at odds with the kind of critical monitoring that several philosophers have claimed is regulative of emotional rationality. More generally, critical monitoring undermines exuberance, an attitude that plays a central role in contemporary models of the happy life. Thus, (...) prominent notions of what it takes to maintain emotion rationality and what it takes to maintain happiness are in tension. To resolve this tension, I argue that some people have good reason to depreciate critical monitoring—even while maintaining the requirement of emotion rationality that we be sensitive to facts about how our concerns are faring. (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.

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

This article defends a persona theory of musical expressivity. After briefly summarising the major arguments for this view, it applies persona theory to the issue of whether music can express complex emotions. The expression of jealousy is then discussed by analysis of two examples from Piazzolla and Janacek.

The fear of death resists philosophical attempts at reconciliation. Building on theories of emotion, I argue that we can understand our fear as triggered by a de se mode of thinking about death which comes into conflict with our will to live. The discursive mode of philosophy may help us to avoid the de se mode of thinking about death, but it does not satisfactorily address the problem. I focus instead on the voluntary diminishment of one’s will to live. I (...) argue that we can encourage a natural tendency for the will to live to decline as we approach death. I then consider two objections: Is not the will to live too fundamental for us to control? And even if we can control it, would not a declining will to live result in a general despair that it is better to resist? I argue that both of these objections can be overcome. (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)

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 article reviews some of the ways in which philosophical problems concerning music can be informed by approaches from the cognitive sciences (principally psychology and neuroscience). Focusing on the issues of musical expressiveness and the arousal of emotions by music, the key philosophical problems and their alternative solutions are outlined. There is room for optimism that while current experimental data does not always unambiguously satisfy philosophical scrutiny, it can potentially support one theory over another, and in some cases allow us (...) to synthesize or reject traditional philosophical differences. (shrink)

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

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.

This paper develops a mechanistic account of basic mental agency by identifying similarities between two of its major exemplars: endogenous attention and imagination. Five key similarities are identified: i) that both capacities are driven by currently prioritised goals that are either person-level or apt to become person-level. ii) that both deliver their outputs to the working memory iii) that both range across all and only conceptual contents; iv) that both proceed under the guidance of norms and/or habits; and v) that (...) both directly activate rather than inhibit content. These five features are consolidated by proposing that basic mental agency is essentially the power to call for conceptual content and hold it within our working memories. (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)

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

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

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.

A summary of The Emotional Mind: A Control Theory of Affective States is presented: I claim that a convincing account of the emotions requires a rethink of how the mind as a whole is structured. I provide this reconceptualization by introducing a fundamental type of mental concept called “valent representation" and then systematically elaborating this fundamental type in stages. In this way, accounts are provided of the various sorts of affective states ranging from pains and pleasures to character traits.

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)

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)

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

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

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)